The theorem of Bolzano-Weierstrass motivates the following definition:

Definition: Accumulation Point (Real Numbers)

A real number \(a\) is called an accumulation point of a real sequence \((a_n)_{n\in\mathbb N}\), if it contains a subsequence \((a_{n_k})_{k\in\mathbb N}\) that is convergent to \(a\).

Notes

Examples: 1

  1. Proposition: Limit Superior is the Supremum of Accumulation Points of a Bounded Real Sequence
  2. Proposition: Limit Inferior is the Infimum of Accumulation Points of a Bounded Real Sequence
  3. Definition: Isolated Point (Real Numbers)

Examples: 1
Proofs: 2 3 4 5 6
Propositions: 7 8 9 10 11 12
Theorems: 13


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Forster Otto: "Analysis 1, Differential- und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983
  2. Kane, Jonathan: "Writing Proofs in Analysis", Springer, 2016