The Bolzano-Weierstrass theorem states that every bounded sequence in has a convergent subsequence. More generally, a bounded sequence in has a subsequence converging to a point of .
Take . Every subsequence has the form , with , so it tends to positive infinity and cannot converge to a real number. Thus this sequence has no convergent subsequence.
Define and . The odd-indexed terms are unbounded, while the even-indexed subsequence is identically zero and hence converges to zero. This gives an unbounded sequence with a convergent subsequence.
The floor function has even value on indices congruent to zero or one modulo four, and odd value on indices congruent to two or three. Accordingly the displayed sequence has terms in the first two residue classes and in the other two. In particular,Every term is within of the set . If a subsequence converged to , its eventual distance from that set would be bounded below by a positive constant, contradicting this bound. The complete set of subsequential limits is .
Articles by others on the same topic
There are currently no matching articles.