Metrischer Raum/Kompaktheit/Charakterisierung/Fakt

Es sei ${}X$ ein metrischer Raum. Dann sind die folgenden Aussagen äquivalent.

1. ${}X$ ist kompakt.
2. ${}X$ ist folgenkompakt.
3. ${}X$ ist vollständig und total beschränkt.

Zum Beweis, Alternativen Beweis erstellen