6

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.

Jānis Lazovskis
  • 1,192
  • 2
  • 15
  • 24
  • The irrationality of $\pi$ shows that $\sin(n)$ is dense in $[0,1]$... – N. S. Oct 23 '12 at 02:46
  • @N.S. How about a proof of that? – Jānis Lazovskis Oct 23 '12 at 02:52
  • 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$. – N. S. Oct 23 '12 at 02:57
  • @N.S. OK, so [here](http://math.stackexchange.com/a/73272/30265) 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. – Jānis Lazovskis Oct 23 '12 at 03:07
  • @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. – Will Jagy Oct 23 '12 at 03:17
  • In general, you can easily prove that if a subset $A$ of $\mathbb{R}$ is such that $A+ 2 \pi \mathbb{Z}$ is dense in $\mathbb{R}$ then $\sin(A)$ is dense in $[-1,1]$. I don't know if (but I think that) this applies to your case. – Martino Oct 23 '12 at 11:12

1 Answers1

2

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.

Will Jagy
  • 130,445
  • 7
  • 132
  • 248
  • 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? – Jānis Lazovskis Oct 23 '12 at 02:49