6
$\begingroup$

Analysis question - given a sequence $\{a_n\}_{n=1}^\infty$, how many limit points can $\{a_n\}$ have? Initially I thought only $\aleph_0$, or countably many, because there are only countably many terms in such a sequence.

But then I thought about the sequence where $a_n = \sin(2^n)$, which looks like this for the first 1000 terms.

enter image description here

This sequence has no repeating terms, or else $\pi$ is rational. However I do not think every real number in $[0,1]$ appears in this sequence, as then the reals are countable, an absurd conclusion. It would not surprise me if this sequence has limit points, but how many? I do not immediately see any reason why $\sin(2^n)\notin (r-\epsilon,r+\epsilon)\subset[0,1]$, for $n$ large enough, because $r$ is arbitrary. This seems to imply that this sequence could have every point in $[0,1]\subset \mathbb R$ as a limit point, which slightly frightens me. So,

  • How many limit points does $\{\sin(2^n)\}_{n=1}^\infty$ have?

And in general,

  • How many limit points can a sequence with countably many terms have? What is an example of a sequence with the maximum number of limit points?

I would really like to see a proof of the answer to this last statement. I can easily come up with a sequence with $\aleph_0$ limit points, but I can't prove that is the upper bound.

Thanks for any help and tips on this topic.

$\endgroup$
  • $\begingroup$ The irrationality of $\pi$ shows that $\sin(n)$ is dense in $[0,1]$... $\endgroup$ – N. S. Oct 23 '12 at 2:46
  • $\begingroup$ @N.S. How about a proof of that? $\endgroup$ – Jānis Lazovskis Oct 23 '12 at 2:52
  • $\begingroup$ It is based on a theorem by Diricheclet: If $a$ is irrational, then $na+m$ is dense in $\mathbb R$... Use it for $\pi$, and then use $a=\pi$. $\endgroup$ – N. S. Oct 23 '12 at 2:57
  • $\begingroup$ @N.S. OK, so here is a detailed explanation of why $na+m$ is dense in $\mathbb R$. But why does that show $\{\sin(2^n): n\in \mathbb N\}$ is dense in $[0,1]$? The elements of the sequence are not integer multiples of some other element, so I don't quite follow. $\endgroup$ – Jānis Lazovskis Oct 23 '12 at 3:07
  • $\begingroup$ @JimboBimbo, he did not claim that $\sin (2^n)$ is dense in the unit interval, just $\sin n.$ Maybe there is some trick involving logarithm for that, but I do not immediately see it. $\endgroup$ – Will Jagy Oct 23 '12 at 3:17
2
$\begingroup$

The positive rationals are countable. meaning there is a sequence $x_n$ that includes every one. The set of limit points of this sequence is the entire positive real line. I'll see if I can dig up a picture for the ordering, it is this standard diagonal back and forth thing.

Oh, well. It is like the Cantor pairing function, except each pair $(x,y)$ is regarded as the rational number $\frac{x}{y}$ when $y \neq 0,$ plus you ignore any pair where $\gcd (x,y) > 1$ because you have already represented that fraction in lowest terms.

$\endgroup$
  • $\begingroup$ OH JESUS you are indeed right - let $\{r_n\}_{n=1}^\infty$ be an ordering of the rationals in $[0,1]$. Let $\{s_n\}_{n=1}^\infty$ be a sequence of rationals in $[0,1]$ converging to $r\in[0,1]\subset \mathbb R$. Clearly $\{s_n\}\subset \{r_n\}$. Nice. Now how about the number of limit points on that sin sequence I have? $\endgroup$ – Jānis Lazovskis Oct 23 '12 at 2:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.