Eine Sammlung B offener Teilmengen eines topologischen Raums X derart, dass jede offene Menge in X eine Vereinigung von Elementen aus B ist und für jedes x∈X und B1,B2∈B mit x∈B1∩B2 ein B3∈B existiert mit x∈B3⊆B1∩B2; B heißt Basis der Topologie.

Prinzip

Zwei definierende Regeln: (1) Überdeckung — Vereinigungen von Basiselementen erzeugen alle offenen Mengen; (2) lokale Schnitt‑Eigenschaft — endliche Schnitte von Basiselementen um einen Punkt enthalten ein weiteres Basiselement, was die lokale Kohärenz der erzeugten Topologie sichert.

Demonstration

Standardbeispiel: auf R mit der üblichen Topologie bildet die Menge aller offenen Intervalle (a,b) eine Basis, da jede offene Menge eine Vereinigung solcher Intervalle ist und der Schnitt zweier Intervalle um einen Punkt ein kleineres Intervall enthält.

Fehlanwendung

Jede erzeugende Menge ohne Prüfung der Schnitt‑Eigenschaft als 'Basis' zu bezeichnen oder eine topologische Basis mit einer Vektorraumbasis (lineare Unabhängigkeit und Erzeugnis) zu verwechseln, was zu kategorial fehlerhaften Argumenten führt.

Konsequenz

Eine Basis vereinfacht Konstruktion und Überprüfung von Topologien, Stetigkeit und Konvergenz: Zur Überprüfung der Stetigkeit genügt es, Urbilder der Basiselemente zu prüfen, und Basen liefern explizite lokale Beschreibungen, die bei Produkt‑ und Unterraumkonstruktionen nützlich sind.

Umkehrung

Gegeben eine Topologie τ kann man die Konstruktion umkehren: Die Topologie bestimmt viele mögliche Basen (z. B. ist die Menge aller offenen Mengen selbst eine Basis); umgekehrt konstruiert man aus einer Basis die eindeutige von ihr erzeugte Topologie.

Abgrenzung

Gilt speziell für topologische Räume und Sammlungen offener Mengen; eine Basis muss aus offenen Mengen für die beabsichtigte Topologie bestehen und die beiden Regeln erfüllen — Sammlungen ohne Schnitt‑Eigenschaft sind keine Basen, auch wenn sie als Subbasis eine Topologie erzeugen können.

Semantische Spannung

Spannung besteht zwischen 'Umgebungsbasen' und 'algebraischen Basen': Eine Umgebungsbasis an einem Punkt ist eine lokale Notion (sie erzeugt nicht unbedingt die ganze Topologie), während eine algebraische Basis nichts damit zu tun hat; unterscheidet sich außerdem von einer 'Subbasis', die durch endliche Schnitte zu einer Basis führt.

Synthese

Eine topologische Basis ist eine lokal kohärente erzeugende Familie offener Mengen, deren Vereinigungen alle offenen Mengen ergeben und deren lokale Schnitte um Punkte innerhalb der Familie darstellbar bleiben, wodurch eine effiziente lokale Beschreibung einer Topologie entsteht.