Eine Sammlung S von Teilmengen einer Menge X, deren endliche Schnitte eine Basis für eine Topologie auf X bilden; die von S erzeugte Topologie besteht aus beliebigen Vereinigungen endlicher Schnitte von Elementen von S.

Prinzip

Erzeuge eine Topologie, indem man S zunächst unter endlichen Schnitten abschließt, um eine Basis zu erhalten, und dann beliebige Vereinigungen bildet; S dient als oft minimales erzeugendes System, das Beschreibungen und Beweise (z. B. Alexanders Subbasis‑Satz) vereinfacht.

Demonstration

Beispiel: Auf R ist die Sammlung aller Halbstrecken der Form (−∞,a) und (b,∞) eine Subbasis; endliche Schnitte erzeugen offene Intervalle (a,b), die eine Basis bilden, und Vereinigungen dieser Intervalle ergeben die übliche Topologie.

Fehlanwendung

Anzunehmen, endliche Vereinigungen von Subbasis‑Elementen genügen zur Bildung der Topologie, oder das Nichtdurchführen der Schnitte vor den Vereinigungen; Subbasis‑Elemente mit Basiselementen zu verwechseln führt zu falschen Berechnungen der erzeugten offenen Mengen.

Konsequenz

Subbasen bieten flexible Erzeuger für Topologien und spielen eine zentrale Rolle in Kompaktheitskriterien (Alexanders Subbasis‑Satz), wodurch einige Existenz‑ und Kompaktheitsargumente handhabbarer werden als die Arbeit mit Basen.

Umkehrung

Aus einer Basis kann man sie als aus einer Subbasis hervorgehend ansehen, indem man Basiselemente als Vereinigungen endlicher Schnitte zerlegt; umgekehrt macht das Überführen einer Subbasis in ihre erzeugte Basis den notwendigen endlichen Schnittschritt explizit.

Abgrenzung

Eine Subbasis muss nicht a priori aus offenen Mengen bestehen; sie ist ein rein erzeugendes Hilfsmittel — erst nach Bildung der erzeugten Topologie werden die Elemente offen. Subbasen unterscheiden sich von Umgebungsbasen und von beliebigen Erzeugern, die das Verfahren endlicher Schnitt→Vereinigung nicht respektieren.

Semantische Spannung

Spannung zur 'Basis': eine Subbasis ist schwächer und primitiver — jede Basis ist eine Subbasis, aber nicht umgekehrt; hinsichtlich 'erzeugender Menge' besteht auch Spannung bezüglich Minimalität und der Reihenfolge der Operationen Schnitt versus Vereinigung.

Synthese

Eine Subbasis ist eine erzeugende Sammlung, deren endliche Schnitte eine Basis liefern und deren beliebige Vereinigungen die Topologie ergeben; sie ist ein kompaktes, oft minimales Beschreibungsmittel einer Topologie und ein praktisches Werkzeug in Konstruktionen und Kompaktheitsargumenten.