Kompaktheit (Topologie)

Sei \(X\) ein topologischer Raum. Eine Menge \(M \subseteq X\) heißt kompakt, wenn jede offene Überdeckung \((U_{i})\) von \(M\) eine endliche Teilüberdeckung besitzt

oft wird noch die Hausdorff-Eigenschaft gefordert