Eine Teilmenge C eines topologischen Raums (X, τ), deren Komplement X \ C offen ist; äquivalent: eine Menge, die alle ihre Häufungspunkte enthält oder mit ihrem Abschluss übereinstimmt.

Prinzip

Abgeschlossene Mengen sind abgeschlossen unter beliebigen Schnitten und endlichen Vereinigungen; die leere Menge und der Gesamtraum sind abgeschlossen. Abschluss, Grenzwerte und Anhaftung werden natürlich durch abgeschlossene Mengen beschrieben.

Demonstration

Auf der reellen Zahlengerade ist das abgeschlossene Intervall [0,1] abgeschlossen, da sein Komplement die Vereinigung zweier offener Strahlen ist; jede konvergente Folge in [0,1] hat ihren Limes in [0,1].

Fehlanwendung

Zu behaupten, eine Menge sei abgeschlossen, weil sie beschränkt ist (Verwechslung topologischer Abschluss mit metrischer Beschränktheit) oder Komplementäre ohne Topologieprüfung als offen anzusehen; solche Fehler führen zu falschen Aussagen über Konvergenz und Kompaktheit.

Konsequenz

Abgeschlossenheit ist der natürliche Kontext für Konvergenz, Kompaktheit und Stetigkeit aus Sicht des Zielraums (stetige Abbildungen ziehen abgeschlossene Mengen oft auf abgeschlossene zurück) und strukturiert Vollendung und Abschlussoperationen.

Umkehrung

Die duale Perspektive ist die der Offenheit; ausschließlich mit offenen Mengen zu arbeiten verschiebt den Schwerpunkt zu Nachbarschaften und Innerem statt zu Grenzwerten und Anhaftung.

Abgrenzung

Die Abgeschlossenheit hängt von der gewählten Topologie ab; abgeschlossene Mengen müssen keine komplementären algebraischen oder maßtheoretischen Eigenschaften besitzen. Abgeschlossenheit impliziert ohne zusätzliche Voraussetzungen weder Kompaktheit noch Endlichkeit.

Semantische Spannung

Es besteht Spannung zwischen Abgeschlossenheit und Offenheit (Mengen können beides oder keines sein) und zwischen beschreibungen mittels Abschlüssen und mittels Innerem; abgeschlossene Mengen stehen auch in konzeptueller Nähe zu messbaren oder dichten Mengen in der Analysis.

Synthese

Eine abgeschlossene Menge ist das Komplement eines offenen Mengenelements bzw. gleich ihrem Abschluss; sie beschreibt Grenzverhalten und liefert die natürliche Sprache für Konvergenz, Kompaktheit und Anhaftung in der Topologie.