How would I go about proving such a statement? Any help would be great thanks.

- October 11th 2009, 01:14 PMdannyboycurtisAny bounded seq. has a converging subseq. <=> every bounded monotone seq. converges
How would I go about proving such a statement? Any help would be great thanks.

- October 11th 2009, 02:03 PMPlato
First prove this theorem:

*Every sequence contains a monotone subsequence.*

Then prove that*Every bounded non-increasing (non-decreasing) sequence converges to its least upper bound (greatest lower bound).*

Suppose that is a sequence.

Define a set .

Take notice of this critical fact: .

There are two cases to consider: is infinite.

In this case there is an increasing subsequence.

If is finite then there is a non-increasing subsequence. - October 11th 2009, 11:48 PMdannyboycurtis
Im still not quite sure how this proves the two statements are equivalent.

Is this proof basically showing that an arbitrary monotone convergent sequence can be shown to be a subsequence of some other bounded sequence? - October 12th 2009, 06:19 AMHallsofIvy
Well, that would be trivial! Just add some numbers to your monotone sequence! For example, the monotone sequence is a subsequence of sequence

But what you want is the other way- that every sequence contains a monontone subsequence. I'll give you a start: Let S be the set of all indices i such that if j> i, then . In other words, i is in S if and only if is less than all**succeeding**numbers in the sequence. Now, consider two cases:

1) S is infinite.

2) S is either finite or empty. - October 12th 2009, 08:43 PMdannyboycurtis
How could I use the Bolzano Wierstrass theorem for sets to prove this?