TheoremBase

Order Properties of Limits of Real Sequences

Statement

Let (an)n=1∞(a_{n})_{n=1}^{\infty}, (bn)n=1∞(b_{n})_{n=1}^{\infty} and (cn)n=1∞(c_{n})_{n=1}^{\infty} be sequences of real numbers, and let LL be a real number. Limits are as in that definition, and ∣x∣|x| denotes the absolute value of a real number xx, that is, xx if 0≤x0\le x and −x-x otherwise, which coincides with the modulus of xx regarded as a complex number by claim 8 of Properties of Complex Conjugation and Modulus. Then the following hold.

1. (Comparison) If (an)(a_{n}) converges to AA, (bn)(b_{n}) converges to BB, and an≤bna_{n}\le b_{n} for every nn, then A≤BA\le B.

2. (Squeeze) If an≤cn≤bna_{n}\le c_{n}\le b_{n} for every nn and both (an)(a_{n}) and (bn)(b_{n}) converge to LL, then (cn)(c_{n}) converges to LL.

3. (Domination by a null sequence) If ∣cn−L∣≤bn|c_{n}-L|\le b_{n} for every nn and (bn)(b_{n}) converges to 00, then (cn)(c_{n}) converges to LL.

4. (Absolute values) If (an)(a_{n}) converges to AA, then (∣an∣)(|a_{n}|) converges to ∣A∣|A|.

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…