*|*Interesting Limit Set*|*

  1. Not homework! Just curious ! :

    [tex]\text{Is} \; \mathop {\lim }\limits_{n \to \infty } \bigcup\limits_{i = 0}^n {\frac{i}
    {n}} = \mathbb{Q} \cap \left[ {0,1} \right] \; ? [/tex]

    If so, then I will:
    [tex] {\text{Prove that }}\mathop {\lim }\limits_{n \to \infty } \bigcup\limits_{i = 0}^n {\frac{i}{n}} = \mathbb{Q} \cap \left[ {0,1} \right] [/tex]
    :smile:
    If not, then I will:
    [tex] {\text{Prove that }}\mathop {\lim }\limits_{n \to \infty } \bigcup\limits_{i = 0}^n {\frac{i}{n}} \ne \mathbb{Q} \cap \left[ {0,1} \right] [/tex]
    :smile:
     
    Last edited: Oct 23, 2005
  2. jcsd
  3. AKG

    AKG 2,585
    Science Advisor
    Homework Helper

    By:

    [tex]\text{Is} \; \mathop {\lim }\limits_{n \to \infty } \bigcup\limits_{i = 0}^n {\frac{i}{n}} = \mathbb{Q} \cap \left[ {0,1} \right] \; ? [/tex]

    I suppose you mean:

    [tex]\text{Is} \; \mathop {\lim }\limits_{n \to \infty } \bigcup\limits_{i = 0}^n \left \{\frac{i}{n}\right \} = \mathbb{Q} \cap \left[ {0,1} \right] \; ? [/tex]

    Anyways, I believe the answer is "No". I'm not entirely certain on the definition of the limit of a sequence of sets, but I would suspect that if the limit were to be what you hypothesize it is, then for all q in [itex]\mathbb{Q} \cap [0,1][/itex], there exists N > 0 such that q is in

    [tex]\bigcup\limits_{i = 0}^n \left \{\frac{i}{n}\right \}[/tex]

    for all n > N.
     
    Last edited: Oct 23, 2005
  4. !Hey, are you referring to the set-theoretic limit ?
     
    Last edited: Oct 24, 2005
  5. AKG

    AKG 2,585
    Science Advisor
    Homework Helper

    Yes. So unless I made an error, the answer is "No," the limit is not [itex]\mathbb{Q} \cap [0,1][/itex].
     
  6. Hmm...it seems we have quite a spirited debate regarding that question on http://www.intpcentral.com/forums/showthread.php?t=7954.

    However, we don't use the set-theoretic limit...and thus comes the unruly debate :redface:

    (just thought I'd refer this thread here :shy:)

    Admittedly, most members of that site seem to be a little too..well, imprecise
     
  7. shmoe

    shmoe 1,994
    Science Advisor
    Homework Helper

    I only looked briefly at that other website, but replacing the "n" in the upper limit of the union to "n!" changes the limit (this is assuming you mean the usual set-theoretic limit like the one you linked to). With n! your limit will be all the rationals in [0,1], with n you will just get {0,1}.
     
  8. :approve: Thank you! :approve: Please sign into INTPC (that forum) and help me out!
     
    Last edited: Dec 18, 2005
  9. shmoe

    shmoe 1,994
    Science Advisor
    Homework Helper

    Help what out? If you understand what's going on, it looks like you need to explain to them what a set theoretic limit is. It looks like this is where the trouble is, and without understanding what you mean by the limit there is no hope at all of understanding your question.

    If you are having difficulty understanding something yourself, post here and I'll do my best.
     
  10. Thanks :smile:
    From my understanding of the set-theoretic limit, in order for
    [tex]\mathop {\lim }\limits_{n \to \infty } \bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} = \mathbb{Q} \cap \left[ {0,1} \right][/tex]

    I must show that
    [tex]\begin{gathered}
    \mathop {\lim }\limits_{n \to \infty } \inf \bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} = \mathop {\lim }\limits_{n \to \infty } \sup \bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} \Rightarrow \hfill \\
    \mathop {\lim }\limits_{k \to \infty } \bigcup\limits_k {\bigcap\limits_{n \geqslant k} {\bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} } } = \mathop {\lim }\limits_{k \to \infty } \sup \bigcap\limits_k {\bigcup\limits_{n \geqslant k} {\bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} } } \hfill \\
    \end{gathered} [/tex]

    However,
    Obviously, we know that
    [tex] \bigcup\limits_n^\infty {\bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}
    {{n!}}} \right\}} } = \mathbb{Q} \cap \left[ {0,1} \right] [/tex]

    Needless to say, we can also state that:
    [tex] \bigcup\limits_n^\infty {\bigcup\limits_{i = 0}^n {\left\{ {\frac{i}
    {n}} \right\}} } = \mathbb{Q} \cap \left[ {0,1} \right] [/tex]

    *For the limit supremum,
    [tex] \begin{gathered}
    \because \forall k \in \mathbb{N},\;\bigcup\limits_{n \geqslant k} {\bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} } = \mathbb{Q} \cap \left[ {0,1} \right] \Rightarrow \hfill \\ \therefore \mathop {\lim }\limits_{k \to \infty } \sup \bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} = \bigcap\limits_k {\bigcup\limits_{n \geqslant k} {\bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} } } = \mathbb{Q} \cap \left[ {0,1} \right] \hfill \\ \end{gathered} [/tex]

    The trouble is with the limit infinitum; although it is indeed intuitively plausible :biggrin:, how do I show mathematically that

    [tex]\bigcup\limits_k {\bigcap\limits_{n \geqslant k} {\bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} } } = \mathbb{Q} \cap \left[ {0,1} \right] [/tex]

    ?
     
  11. AKG

    AKG 2,585
    Science Advisor
    Homework Helper

    No, you need to show that:

    [tex]\mathop {\liminf} _{n \to \infty} \bigcup _{i=0} ^{n!} \left \{\frac{i}{n!}\right \} = \mathop {\limsup} _{n \to \infty} \bigcup _{i=0} ^{n!} \left \{ \frac{i}{n!}\right \} = \mathbb{Q} \cap [0,\, 1][/tex]

    and to show that, you need to show:

    [tex]\bigcup _{k = 0} ^{\infty} \bigcap _{n = k} ^{\infty} \bigcup _{i=0} ^{n!} \left \{ \frac{i}{n!}\right \} = \bigcap _{k = 0} ^{\infty} \bigcup _{n = k} ^{\infty} \bigcup _{i=0} ^{n!} \left \{ \frac{i}{n!}\right \} = \mathbb{Q} \cap [0,\, 1][/tex]

    Alternatively, you can use the first method on the link given, by looking at what they call "indicator variables." However, I think the method you started with is easy enough.

    [tex]\bigcup _{k = 0} ^{\infty} \bigcap _{n = k} ^{\infty} \bigcup _{i=0} ^{n!} \left \{ \frac{i}{n!}\right \} = \bigcup _{k = 0} ^{\infty} \bigcup _{i=0} ^{k!} \left \{ \frac{i}{k!}\right \} = \mathbb{Q} \cap [0,\, 1][/tex]

    The first equality holds because if m > n, then

    [tex]\bigcup _{i=0} ^{n!} \left \{ \frac{i}{n!}\right \} \subset \bigcup _{i=0} ^{m!} \left \{ \frac{i}{m!}\right \}[/itex]

    since if m > n, then 1/n! is just a multiple of 1/m!. The second equality holds because every fraction will occur, because the fraction a/b in [0, 1] will occur when k = b, since a/b is just a multiple of 1/b!, specifically a/b = [a(b-1)!] * (1/b!) and clearly [a(b-1)!] < b! otherwise a/b > 1.

    Also:

    [tex]\bigcap _{k = 0} ^{\infty} \bigcup _{n = k} ^{\infty} \bigcup _{i=0} ^{n!} \left \{ \frac{i}{n!}\right \} = \bigcap _{k = 1} ^{\infty} (\mathbb{Q} \cap [0,\, 1]) = \mathbb{Q} \cap [0,\, 1][/tex]

    The second equality holds for obvious reasons. The first is also obvious, especially given what I said about the liminf just before this, and you can figure that out on your own.
     
  12. shmoe

    shmoe 1,994
    Science Advisor
    Homework Helper

    Let A(n)={0, 1/n!, 2/n!,...,n!/n!}. Then A(n) is contained in A(n+1). The limit is then simply the union of these sets. Easy enough to show this is the rationals in [0,1]
     
  13. shmoe

    shmoe 1,994
    Science Advisor
    Homework Helper

    I thought about this a little more, and with an "n" the limit doesn't exist. The page you linked to gives an incorrect definition of the limit of a sequence of sets. The one with "indicator variables" is not equivalent to the limsup/liminf version.

    The liminf/limsup version is correct, the indicator variable one actually gives the liminf, which is all elements not in only a finite number of sets in your sequence. The limsup gives all elements in infinitely many of the sets in your sequence.

    This doesn't change my response with "n!" as it's a nested increasing sequence. With "n", the liminf and limsup are different (can you find them?).
     
    Last edited: Dec 19, 2005
  14. AKG

    AKG 2,585
    Science Advisor
    Homework Helper

    shmoe

    I thought the very same thing about the indicator variable formulation (although this was a while back when I saw this definition on wikipedia) and the two definitions actually are the same. You have to pay attention to the fine print:

    If the limit as i goes to infinity of xi exists for all x

    You will find that:

    [tex]\{x : \lim _{i \to \infty}x_i = 1\} = \liminf _{i \to \infty} A_i[/tex]

    and

    [tex]\{x : \lim _{i \to \infty}x_i = 0\} = (\limsup _{i \to \infty} A_i)^C[/tex]

    So the [itex]\lim _{i \to \infty}x_i[/itex] is defined for all x iff limsup = liminf.
     
  15. shmoe

    shmoe 1,994
    Science Advisor
    Homework Helper

    Ahh, good point. I missed the bit about the limit existing for all x. The limsup of the sets is all elements whose "indicator sequence" has limsup=1 (the usual limsup of a sequence here), the liminf of the sets is all elements whose indicator sequence has liminf=1. If the limits exist for all x, then the limsup and liminf of the sets are obviously equal, and vice versa.
     
  16. Hmm...
    Is this correct?
    [tex] \begin{gathered}
    \mathop {\lim }\limits_{n \to \infty } \bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} = \mathbb{Q} \cap \left[ {0,1} \right] \Rightarrow \hfill \\
    \mathop {\lim }\limits_{n \to \infty } \inf \bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} = \mathop {\lim }\limits_{n \to \infty } \sup \bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} = \mathbb{Q} \cap \left[ {0,1} \right] \Rightarrow \hfill \\
    \bigcup\limits_{k \geqslant 0} {\bigcap\limits_{n \geqslant k} {\bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} } } = \bigcap\limits_{k \geqslant 0} {\bigcup\limits_{n \geqslant k} {\bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} } } = \mathbb{Q} \cap \left[ {0,1} \right] \Rightarrow \hfill \\
    \bigcup\limits_{k \geqslant 0} {\bigcup\limits_{i = 0}^{k!} {\left\{ {\frac{i}{{k!}}} \right\}} } = \bigcap\limits_{k \geqslant 0} {\left( {\mathbb{Q} \cap \left[ {0,1} \right]} \right)} = \mathbb{Q} \cap \left[ {0,1} \right] \Rightarrow \hfill \\
    \mathbb{Q} \cap \left[ {0,1} \right] = \mathbb{Q} \cap \left[ {0,1} \right] = \mathbb{Q} \cap \left[ {0,1} \right]. \hfill \\
    \therefore \mathop {\lim }\limits_{n \to \infty } \bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} = \mathbb{Q} \cap \left[ {0,1} \right] \hfill \\
    \end{gathered} [/tex]
     
  17. shmoe

    shmoe 1,994
    Science Advisor
    Homework Helper

    As you've written it, not really. You're starting by assuming what you want to prove then have a bunch of one-way implications. These are all actually two way implications, "if and only ifs", but you don't mention this. Take a look again at how AKG organized it, considering the lim inf and lim sup seperately, and his justifications for each step.

    Incidently, if you can show that the lim inf is the rationals in [0,1] since you also know lim inf is contained in lim sup (which is clearly contained in the rationals in [0,1] here), you must have lim inf=lim sup.
     
  18. 1) For any sequence of sets where lim inf and lim sup exist, will lim inf always be a subset of lim sup ?

    2) Ok...notation-wise:

    *Is it:
    [tex]\mathop {\lim }\limits_{n \to \infty } \inf A_n [/tex]

    *Or:
    [tex]\mathop {\lim \inf }\limits_{n \to \infty } A_n [/tex]

    Which notation is correct? Where do we place the "[itex]n \to \infty[/itex]" ?

    3) Can I prove my statement otherwise, using the worded definitions of liminf and limsup, as such:

    [tex]
    \begin{gathered} \forall A \subset \mathbb{Q} \cap \left[ {0,1} \right],\; \hfill \\
    \exists N \in \mathbb{N}\;{\text{such that }}\forall n > N,\;A \subset \bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} , \hfill \\
    {\text{and }}\forall N \in \mathbb{N},\;\exists n > N\;{\text{such that }}A \subset \bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} \hfill \\ \end{gathered} [/tex]
     
    Last edited: Jan 2, 2006
  19. shmoe

    shmoe 1,994
    Science Advisor
    Homework Helper

    lim sup and lim inf always exist, and yes lim inf will be a subset of lim sup. lim inf is all elements that are excluded from a finite number of sets only, lim sup is all elements that are in infinitely many of the sets, excluded from finitely many=> included in infinitely many.

    Compare with the usual lim inf and lim sup of real sequances which always exist and are finite when the sequences are bounded. Any sequence of sets is "bounded" below by the empty set and above by the union of the sets (with the containment partial ordering).

    The second way, under both the lim and the inf. think of "lim inf" as one symbol. It's sometimes written as [tex]\underline{\lim}[/tex] for normal sequences (of real numbers) and I'd expect for sets as well ([tex]\overline{\lim}[/tex] for lim sup).

    It's maybe worth noting how latex handles it: [tex]\liminf _{n \to \infty}[/tex]

    I'm not sure what you're getting at here, since this is an increasing sequence the first statement follows from the second, and the second is a little silly-why bother with the N bound? Though these are certainly false if A is not finite.
     
    Last edited: Jan 2, 2006
  20. :redface: This may seem rather strange...
    Without any reference to a set-theoretic limit, someone on a different forum (not physicsforums) suggested that

    [tex]\mathop {\lim }\limits_{n \to \infty } \bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} = \left[ {0,1} \right][/tex]

    As it contains all Cauchy sequences whose terms are within the unit interval.

    For example, let
    [tex]A_n = \bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} [/tex]

    and let Cn represent the nth term in the Cauchy sequence (beginning with C1)
    [tex]\left\{ {0.3,0.31,0.314, \ldots } \right\} = \left\{ {\frac{3}{{10}},\frac{{31}}{{100}},\frac{{314}}{{1000}}, \ldots } \right\}[/tex]
    which converges to [itex]\pi / 10[/itex].

    As such,
    [tex]\forall n > 24,\;C_n \in A_n [/tex]
    -----------------------------------------------
    *Does, then,
    [tex]\mathop {\lim }\limits_{n \to \infty } \bigcup\limits_{i = 0}^{n!} {\left\{ {\frac{i}{{n!}}} \right\}} = \left[ {0,1} \right]\;?[/tex]

    (due to Cauchy sequences that converge to reals in [0,1])
     
    Last edited: Mar 7, 2006
  21. shmoe

    shmoe 1,994
    Science Advisor
    Homework Helper

    So they are taking those symbols (you limit of sets) to mean something else (who knows what, it looks like set closure for some reason) and get a different answer that has nothing to do with your problem? So what?
     
Know someone interested in this topic? Share this thead via email, Google+, Twitter, or Facebook

Have something to add?