Eine Menge X, versehen mit einer Sammlung τ von Teilmengen, genannt offene Mengen, so dass die leere Menge und X in τ liegen, beliebige Vereinigungen von Elementen von τ in τ liegen und endliche Schnitte von Elementen von τ in τ liegen.

Prinzip

Die Topologie abstrahiert qualitative Vorstellungen von Nähe und Stetigkeit, indem sie axiomatisiert, welche Teilmengen ‚offen‘ sind; diese Struktur bestimmt stetige Abbildungen, Konvergenz von Netzen oder Folgen und Trennungseigenschaften ohne Bezug auf Abstände.

Demonstration

Die reelle Gerade R mit der Standardtopologie hat als offene Mengen beliebige Vereinigungen offener Intervalle (a,b); diese Topologie macht Polynome und stetige Funktionen tatsächlich stetig und liefert die üblichen Begriffe von Konvergenz und Kompaktheit der Analysis.

Fehlanwendung

Eine Topologie mit einer Metrik zu verwechseln oder anzunehmen, jede topologische Raum sei metrisierbar, führt zu Fehlern; nicht jede Topologie stammt von einer Metrik, und das Vertrauen auf metrische Eigenschaften wie die Charakterisierung der Stetigkeit durch Folgen kann in nicht metrisierbaren Räumen scheitern.

Konsequenz

Aus einer Topologie lassen sich stetige Funktionen, Grenzwerte, Kompaktheit, Zusammenhang und verschiedene Trennungssätze definieren; diese Konsequenzen strukturieren weite Bereiche der Analysis und Geometrie und bestimmen, welche Konstruktionen (Produkt, Quotient, Unterraum) Stetigkeit oder Kompaktheit erhalten.

Umkehrung

Die duale Betrachtung sieht das Verbandsgefüge der abgeschlossenen Mengen (Komplemente der offenen) oder gröbere/feinere Topologien vor: die diskrete Topologie (alle Teilmengen offen) ist maximal bezüglich Offenheit, während die triviale/indiskrete Topologie ({∅,X}) minimal ist und viele Trennungs- und Konvergenzeigenschaften umkehrt.

Abgrenzung

Ein topologischer Raum kodiert nur Informationen über offene Mengen und schließt zusätzliche Strukturen wie Maße, Metriken, differenzierbare Strukturen oder algebraische Operationen aus; zusätzliche Axiome sind erforderlich, um solche feineren Strukturen zurückzugewinnen.

Semantische Spannung

Es besteht Spannung zwischen punktmengen-topologischen Eigenschaften (z. B. Kompaktheit, Zusammenhang) und stärkeren geometrischen oder analytischen Strukturen (Mannigfaltigkeit, metrischer Raum); einige Resultate beruhen nur auf Topologie, andere benötigen Zusatzausstattung.

Synthese

Ein topologischer Raum ist der minimale abstrakte Rahmen für die Behandlung von Stetigkeit und qualitativer Nähe: eine Menge zusammen mit einer Topologie legt fest, welche Teilmengen offen sind und steuert so stetige Abbildungen, Konvergenz und grundlegende globale Eigenschaften, ohne sich auf Abstände oder Maße festzulegen.