2
$\begingroup$

Prove or disprove the following statements of sequences:

  1. There is a bounded sequence ${a_n}$ with three limit points -8, 22 and 23.
  2. There is an unbounded sequence ${a_n}$ with three limit points -8, 22 and 23.
  3. There is a monotonic sequence ${a_n}$ with three limit points -8, 22 and 23.
  4. There is a Cauchy sequence ${a_n}$ with three limit points -8, 22 and 23.

My problem is that I don't really know how to do this...

1) I would say that there is such a bounded sequence,
f.ex. the sequence ${a_n}=(-1)^n$ if $n=2k |\forall k \in \mathbb{N}$then ${a_n}+14$ else
if $n=2k+1$ then ${a_n}*8$ so that there are the lpts (lpt=limit point) -8 and 22 and 23

2)..

3)If ${a_n}$ is monotonic: then $a_n+1>a_n$ or $a_n+1,
so that $a_n = -8$ and $a_(n+1) = 22$ and $a_(n+2) = 23$
so that it works, and there also is such a sequence with these limit points.

4)It is not possible because every real Cauchy sequence converges and therefore only has one limit a, which is also the only limit point.

1 Answers 1

2

(1) You’re working much harder than necessary: what’s wrong with $\langle -8,22,23,-8,22,23,\dots\rangle$?

(2) Instead of repeating the block $-8,22,23$ over and over, why not use $-8,22,23,n$, where $n$ is the number of the block?

$$\langle-8,22,23,1,-8,22,23,2,-8,22,23,3,-8,22,23,4,-8,22,23,5,\dots\rangle$$

(3) No, you can’t make the sequence monotonic and keep all three cluster points. If $-8$ is a cluster point, there are arbitrarily large $n$ with $a_n\in(-9,-7)$, and if $22$ is a cluster point, there are also arbitrarily large $n$ with $a_n\in(21,23)$. Show that $\langle a_n:n\in\Bbb N\rangle$ has a subsequence $\langle a_{n_k}:k\in\Bbb N\rangle$ such that $a_{n_k}\in(-9,-7)$ when $n$ is even, and $a_{n_k}\in(21,23)$ when $n$ is odd, and explain why this subsequence shows that $\langle a_{n_k}:k\in\Bbb N\rangle$ cannot be monotone.

(4) You’re right, and your reasoning is correct.

  • 0
    (1) that 22 is too near to 23 f.ex. an oscillating sequence?2012-12-20
  • 0
    For (3) you can ignore $23$: the point is that if the original sequence has at least two cluster points, it must have a subsequence that oscillates between rising and falling.2012-12-20
  • 0
    If I would connect each point of a oscillating sequence, would the cluster point become/has to be a sort of a saddle point?(1)so if the 22 is a cluster point there will be arbitrarily large n with $a_n \in (21,23)$ and if there is also 23 as a cluster point there is be arbitrarily large n with $a_n \in (22,24)$, wouldn't there be a sort of interference of both points, so that the middle point between 22 and 23 would be a cluster point?2012-12-20
  • 0
    @phil: You keep trying to make it too hard. Pick any two of the cluster points $-$ I chose $-8$ and $22$, but that was an arbitrary choice $-$ pick subsequences converging to each, and show that this means that the original sequence has an oscillating subsequence and therefore cannot be monotone. The third cluster point of the original sequence is completely irrelevant.2012-12-20
  • 0
    this comment was for the (1) and (2).For (3): $a_(n_k) = -8$ then $\lim\limits_{n\rightarrow\infty} (n_k) = -8$,$a_(n_{k+1}) = 22$ then $\lim\limits_{n\rightarrow\infty} (n_{k+1}) = 22$, in both cases the subsequence converges, that means that the sequence diverges, and therefore the sequence cannot be monotonic and bounded.So it is impossible to be monotonic.Is that correct?2012-12-20
  • 0
    For (1) I believe that the sequence only can have 2 boundaries, -8 and 23.Which are also 2 cluster points.Is it then possible to have a third cluster point?2012-12-20
  • 0
    @phil: For (1) I gave you an example of a sequence that has $-8,22$, and $23$ as cluster points: $a_0=a_3=a_6=\ldots=-8$, $a_1=a_4=a_7=\ldots=22$, and $a_2=a_5=a_8=\ldots=23$. It’s just as easy to form a sequence with $300$ cluster points: just have the sequence cycle through them over and over again. Your reasoning for (3) is not correct, I’m afraid. As I set up the subsequence, it has $a_{n_{2k}}\in(-9,-7)$ and $a_{n_{2k+1}}\in(21,23)$ for all $k$, so $$a_{n_0}a_{n_2}a_{n_4}\ldots\;,$$ which fails badly to be monotone, and shows that the original sequence is ...2012-12-21
  • 0
    ... neither increasing nor decreasing.2012-12-21
  • 0
    I think now I have understood (3), thank you.2012-12-22
  • 0
    @phil: You’re welcome.2012-12-23