Subbasis

Eine Subbasis ist in der mathematischen Grundlagendisziplin der mengentheoretischen Topologie ein spezielles Mengensystem von offenen Mengen. Eine Subbasis bestimmt eine Topologie eindeutig und vereinfacht damit oftmals Beweise, da es ausreichend ist, sich auf die Mengen der Subbasis zu beschränken. Ebenso werden manche Eigenschaften von Topologien auch als Eigenschaften ihrer Subbasen definiert.

Umgekehrt lässt sich jedes Mengensystem als Subbasis auffassen und ermöglicht es so, gezielt Topologien mit bestimmten Eigenschaften zu konstruieren.

In der aus dem Russischen ins Englische übersetzten Literatur findet sich auch die Bezeichnung "Pre-Base" (deutsch: Prä-Basis) anstelle der typischen englischen Bezeichnungen subbase oder subbasis.

Definition

Es gelten die Konventionen

{\displaystyle \bigcap _{j\in \emptyset }A_{j}=X} und {\displaystyle \bigcup _{j\in \emptyset }A_{j}=\emptyset }.

Gegeben sei ein Topologischer Raum {\displaystyle (X,{\mathcal {O}})} sowie ein Mengensystem {\displaystyle {\mathcal {S}}\subset {\mathcal {O}}}. Dann heißt {\mathcal {S}} eine Subbasis der Topologie {\mathcal  O}, wenn eine der folgenden äquivalenten Bedingungen erfüllt ist:

{\displaystyle {\mathcal {B}}:=\lbrace M\subset X\,|\,M=\bigcap _{j\in J}S_{j},\;|J|<\infty \rbrace }
bildet eine Basis der Topologie {\mathcal  O}.
  • {\mathcal  O} die (bezüglich Teilmengenbeziehung) kleinste Topologie ist, die {\mathcal {S}} enthält und
  • jede weitere Topologie, die {\mathcal {S}} enthält, immer feiner ist als {\mathcal  O}.

Beispiele

Ist X eine beliebige Menge, so bildet die Menge aller endlichen Teilmengen einer vorgegebenen, endlichen Mächtigkeit, also

{\displaystyle {\mathcal {S}}:=\{M\subset X\,|\,|M|=n\}}

eine Subbasis der diskreten Topologie, die durch {\displaystyle {\mathcal {O}}_{D}:={\mathcal {P}}(X)} gegeben ist. Denn es gilt nach Auswahl geeigneter {\displaystyle S_{1},S_{2}} aus {\mathcal {S}}, dass {\displaystyle S_{1}\cap S_{1}=\{x\}} für ein vorgegebenes x\in X. Somit lassen sich aus {\mathcal {S}} alle einelementigen Teilmengen von X erzeugen. Diese bilden dann eine Basis der diskreten Topologie.

Eine Subbasis der natürlichen Topologie auf den reellen Zahlen ist gegeben durch

{\displaystyle {\mathcal {S}}:={\mathcal {S}}^{+}\cup {\mathcal {S}}^{-}},

wobei

{\displaystyle {\mathcal {S}}^{-}:=\{(-\infty ,b)\,|\,b\in \mathbb {R} \}} und {\displaystyle {\mathcal {S}}^{+}:=\{(a,+\infty )\,|\,a\in \mathbb {R} \}}

ist. Denn die Menge der offenen Intervalle bildet eine Basis der natürlichen Topologie, und jedes offene Intervall lässt sich aus der Subbasis durch

{\displaystyle (a,b)=(-\infty ,b)\cap (a,+\infty )}

erzeugen.

Eigenschaften

Nicht-Eindeutigkeit

Subbasen bestimmen zwar die Topologie eindeutig, im Allgemeinen besitzt eine Topologie aber mehr als eine Subbasis. So bilden sowohl

{\displaystyle {\mathcal {S}}_{1}:=\{\{1\},\{2\},\{3\}\}} als auch
{\displaystyle {\mathcal {S}}_{2}:=\{\{1,2\},\{2,3\},\{3,1\}\}}

eine Subbasis von {\displaystyle {\mathcal {O}}={\mathcal {P}}(\{1,2,3\})}. Ebenso besitzt die natürliche Topologie auf \mathbb {R} nicht bloß die oben als Beispiel angegebene Subbasis. Es genügt beispielsweise auch, Intervalle der Form {\displaystyle (-\infty ,a)} und {\displaystyle (b,+\infty )} für rationale Intervallgrenzen, also für {\displaystyle a,b\in \mathbb {Q} } zu betrachten.

Erzeugung von Topologien durch Subbasen

So wie eine Topologie ihre Subbasen bestimmt, kann man ebenso durch eine Subbasis eine Topologie bestimmen. Dazu wählt man ein beliebiges Mengensystem {\mathcal {M}} und erklärt dies zur Subbasis einer vorerst nicht näher präzisierten Topologie. Zu beachten ist hier, dass dies im Gegensatz zum analogen Verfahren mit Basen ohne jegliche Voraussetzung an das Mengensystem möglich ist.

Formell wird dieses Verfahren, das sich in der dritten der oben gegebenen Definitionen widerspiegelt, durch den Hüllenoperator

{\displaystyle \tau ({\mathcal {M}}):=\bigcap \{{\mathcal {E}}\subseteq {\mathcal {P}}(X)\,|\,{\mathcal {M}}\subseteq {\mathcal {E}},\,{\mathcal {E}}{\text{ ist Topologie auf }}X\}}.

Dieser Hüllenoperator liefert wieder eine Topologie, da der Schnitt von Topologien wieder eine Topologie ist. Des Weiteren ist diese Topologie die gröbste Topologie, die das vorgegebene Mengensystem {\mathcal {M}} enthält.

Wichtige Aussagen mittels Subbasen

Siehe auch

Trenner
Basierend auf einem Artikel in: externer Link Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung: Jena, den: 15.06. 2020