TheoremBase

Completeness of the Real Numbers for Sequences: Monotone Convergence, the Bolzano-Weierstrass Theorem and Cauchy Sequences

In the real numbers, 1/n and rnr^n for |r| < 1 tend to 0, a monotone bounded sequence converges to the supremum or infimum of its terms, every bounded sequence has a convergent subsequence, and a sequence converges exactly when it is a Cauchy sequence.

Statement

In the setting of The Real Numbers, with the Natural Numbers, Integers and Rationals Identified with Subsets of the Reals, and Completeness, let convergence be as in Convergent Sequences of Real Numbers §converges; monotone, bounded and Cauchy sequences as in Monotone Sequences §monotone, Bounded Sequences of Real Numbers §bounded and Cauchy Sequences of Real Numbers §cauchy; and subsequences as in Subsequences §subsequence.

1/n→01/n\to0.

If r∈Rr\in\mathbb{R} and ∣r∣<1|r|<1, then rn→0r^{n}\to0.

Let (an)(a_{n}) be a sequence in R\mathbb{R}.

If (an)(a_{n}) is nondecreasing and bounded above, then an→sup⁡{an:n∈N}a_{n}\to\sup\{a_{n}:n\in\mathbb{N}\}; if it is nonincreasing and bounded below, then an→inf⁡{an:n∈N}a_{n}\to\inf\{a_{n}:n\in\mathbb{N}\}.

If (an)(a_{n}) is bounded, then it has a convergent subsequence.

(an)(a_{n}) is convergent if and only if it is a Cauchy sequence.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…