Theorem: Theorem of Bolzano-Weierstrass

Let $X$ be a metric space and let \(A\subset X\) be a compact subset. Let $(x_n)_{n\in\mathbb N}$ be a sequence of points \(x_n\in A\). Then $(x_n)_{n\in\mathbb N}$ contains a subsequence $(x_{n_k})_{k\in\mathbb N}$, which converges against some point \(a\in A\).

Notes

Proofs: 1

Theorems: 1


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

Github:
bookofproofs


References

Bibliography

  1. Forster Otto: "Analysis 2, Differentialrechnung im \(\mathbb R^n\), Gewöhnliche Differentialgleichungen", Vieweg Studium, 1984