Topologie/Grundbegriffe/Kompaktheit/Überdeckungskompakt/Definition
Erscheinungsbild
Kompakt (Überdeckungskompakt)
Ein topologischer Raum heißt kompakt (oder überdeckungskompakt), wenn es zu jeder offenen Überdeckung
eine endliche Teilmenge derart gibt, dass
ist.