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\).

- This theorem is a generalization of the corresponding theorem for real sequences.
- The theorem is named after Bernard Bolzano and Karl-Theodor Weierstrass.

| | | | | created: 2017-03-12 14:54:41 | modified: 2017-03-12 14:55:15 | by: *bookofproofs* | references: [582]

(none)

[582] **Forster Otto**: “Analysis 2, Differentialrechnung im \(\mathbb R^n\), Gewöhnliche Differentialgleichungen”, Vieweg Studium, 1984