1
$\begingroup$

Any converging sequence is bounded.

This is a theorem in our book. It is proved by picking the first (finite) number of elements and show that the others are smaller than some constant. But, I can't agree with this theorem. For example, $a_n=\frac{1}{n-1}$ is not bounded (by $n=1$) (or is it)?

Regards

  • 1
    Did you mean to write $n > 1$? If yes then $a_n$ is bounded by 1.2011-10-28
  • 0
    I'm not sure what you mean by the sequence being bounded "by n=1", but this sequence is indeed bounded. Try drawing a picture. A sequence in $\mathbb{R}$ being bounded just means that there is some interval [a,b] which contains all of the points in that sequence. From the picture, it should be obvious that such an interval exists.2011-10-28
  • 2
    The sequence $a_n$ is not defined at $n=1$.2011-10-28
  • 3
    The theorem assumes (correctly so) that $a_1$ is a real number first. In your example, $a_1$ is $\frac{1}{0}$ which is not a meaningful expression at all.2011-10-28
  • 0
    Thanks, so $a_n=1/(n-1)$ can't even be a sequence (because it doesn't map from $N \rightarrow R$)?2011-10-28
  • 0
    I think he pictures it as a sequence with n tending to 1 as is $\lim_{x\rightarrow0}f(x)$ Unfortunately, in sequences, n is not supposed to tend to 1, it usually tends to infinity. Also, sequences are discrete, in the sense that if you make $n$ tend to some number $r \in \mathbb{N} $ , then n takes the values $1, 2, 3, ..., r-1, r$, it doesn't approach $r$ by numbers between r-1 and r. Hope this helps2011-10-28
  • 4
    @Kevin, there's a tacit convention that one doesn't care too much about whether the defining expression fails to make sense for the first few elements in the series, as long as the properties one is interested in are ones that cannot be affected by modifying finitely many elements of a sequence. Being bounded and being convergent are both properties of this kind, so the division by zero at $n=1$ would usually just be ignored without comment. We can just take the sequence to be defined for $n\ge 2$, which then has all the properties we're interested in.2011-10-28
  • 1
    @Kevin: Or to put Henning's comment another way: A sequence is supposed to be a function with domain $\mathbb{N}$. The formula you give makes no sense for $n=1$, so the formula you give does not define a function with domain $\mathbb{N}$; you have to either give an explicit definition for what your sequence will be at $n=1$, or make some modification so that you get a sequence (or change the meaning of "sequence", which one can also do). In any case, you never consider "$1/0$" when dealing with that sequence.2011-10-28
  • 0
    But in that case (when you neglect those first few items), then the statement 'Any converging sequence is bounded' is not true, is it? Because that is really a sequence and converging, but not bounded. $1/0 > $ any $M$, isn't it? If you take a look at the completeness axiom, every subset of R should have a supremum. Since any sequence maps from N to R, the set of all values from all sequences do have a supremum, so every sequence should be bounded (because we can find a supremum because ${a_n}$ is a subset of R)! Where am I thinking wrong?2011-10-29
  • 0
    http://www.proofwiki.org/wiki/Convergent_Sequence_is_Bounded2011-10-30

2 Answers 2

1

The definition of a convergent sequence is a sequence $a_n$ which has a limit $a$. We also know that:

$$\lim_{n\to\infty} a_n=a\iff\forall\varepsilon>0\exists N\in\mathbb N\forall n>N\colon|a_n-a|<\varepsilon$$

Note that as the comments indicate, we can always replace the first $k$ elements, for any given $k$, since we only care about what happens from some point.

Taking a limit is what happens after the fat lady sings, in some sense. It is an asymptotic behavior of a sequence, it occurs when the sequences eventually moves towards a certain point.

From the above definition it should be clear why every convergent sequence is bounded. For only finitely many elements are bigger than $a+\dfrac{1}{2}$, where $a$ is the limit of the sequence.

0

When you use a induction, you need follow the sentence below:

$(\forall P)[[P(0) \land ( \forall k \in \mathbb{N}) (P(k) \Rightarrow P(k+1))] \Rightarrow ( \forall n \in \mathbb{N} ) [ P(n) ]]$

In other words, you need prove to $P(0)$ and prove if works to $P(k)$ works to $P(k+1)$ too.

In your example, $P(k) \Rightarrow P(k+1)$ holds, but you $P(0)$ no, because, $a_1=\frac{1}{1-1}$ don't exists.

But for a convergence sequence (note $a_1$,$a_2$,$a_3$,..., isn't a convergent sequence, because, $a_1$ isn't not greater than $a_2$, $a_1$ is indefinite) that $P(0)$ and $P(k) \Rightarrow P(k+1)$ holds the theorem are ok.

Note too, $a_2,a_3,a_4,...$ is a convergence sequence and bounded.

PS.: A good propostion P to this case is ask, is P(k) limitated?