Quelltext der Seite Basis (Topologie)

Eine '''Basis''' ist in der [[mengentheoretische Topologie|mengentheoretischen Topologie]], einer Grundlagendisziplin der Mathematik, ein [[Mengensystem]] von [[offene Menge|offenen Mengen]] mit gewissen Eigenschaften. Über Basen lassen sich [[Topologischer Raum|topologische Räume]] einfach definieren und klassifizieren. So erfüllen topologische Räume, die [[Abzählbarkeit|abzählbare]] Basen haben, das zweite [[Abzählbarkeitsaxiom]]. Sie können im topologischen Sinn als „klein“ gelten.

== Definition ==
Gegeben sei ein [[topologischer Raum]] <math> (X, \mathcal O) </math>, also eine Menge <math> X </math> und ein [[Mengensystem]] aus [[Offene Menge|offenen Mengen]] <math> \mathcal O  </math>. Es gelte die Konvention
:<math> \bigcup_{i \in \emptyset} M_i = \emptyset </math>

Eine Menge <math> \mathcal B  \subset \mathcal O </math> heißt eine ''Basis der Topologie'', wenn sich jede offene Menge <math> O </math> als Vereinigung beliebig vieler Mengen aus <math> \mathcal B </math> schreiben lässt.

== Beispiele ==
Für jeden beliebigen topologischen Raum <math> (X,\mathcal O) </math> bildet die Topologie selbst eine Basis
:<math> \mathcal B_1 = \mathcal O </math>.

Für die [[triviale Topologie]] <math> \mathcal O := \{X, \emptyset \} </math> ist
:<math> \mathcal B_2:= \{ X \} </math>

eine Basis. Dies folgt aus der oben angeführten Konvention über die Vereinigung über eine leere Indexmenge.

Für die [[diskrete Topologie]] <math> \mathcal O := \mathcal P(X) </math> bilden die Punktmengen eine Basis:
:<math> \mathcal B_3 := \{ \{x\} \mid x \in X \} </math>

Die natürliche Topologie auf <math> \R </math> besitzt (per Definition) die Basis
:<math> \mathcal B_4= \{ (a,b) \subset \R \mid a,b \in \R \} </math>.

Ebenso besitzt die natürliche Topologie auf einem [[metrischer Raum|metrischen Raum]] <math> (X,d) </math> (per Definition) die Basis
:<math> \mathcal B_5=  \{ B_r(x) \mid  r > 0, \; x \in X \} </math>.

Hierbei ist
:<math> B_r(x)= \{ y \in X \mid d(y,x) < r \} </math>

die offene Kugel um <math> x </math> mit Radius <math> r </math>.

== Eigenschaften ==
Eine Basis eines topologischen Raumes ist nicht eindeutig bestimmt. Dies wird an der Basis für die diskrete Topologie klar: Hier sind einerseits die Punktmengen bereits ausreichend, um eine Basis zu bilden. Andererseits bildet nach dem ersten Beispiel die gesamte Topologie eine Basis, in diesem Falle die Potenzmenge. Diese ist aber fast immer deutlich größer als die Menge, die nur die Punktmengen enthält.

Im Gegensatz dazu bestimmt eine Basis eine Topologie eindeutig, sprich ist <math> \mathcal B </math> eine Basis sowohl von <math> \mathcal O_1 </math> als auch von <math> \mathcal O_2 </math>, so ist <math> \mathcal O_1 = \mathcal O_2 </math>.

== Konstruktion von Topologien aus einer Basis ==
Die Tatsache, dass eine Basis die Topologie eindeutig bestimmt, kann zur Konstruktion von Topologien genutzt werden. Dafür erklärt man ein Mengensystem, das gewisse Voraussetzungen erfüllt, zur Basis. Genauer gilt:
: Ist <math> \mathcal M </math> ein beliebiges Mengensystem von Teilmengen von <math> X </math>, für das gilt:
:* Die Vereinigung aller Mengen aus <math> \mathcal M </math> ist gleich der Menge <math> X </math>.
:* Jeder Schnitt zweier Mengen aus <math> \mathcal M </math> lässt sich als Vereinigung einer beliebigen Anzahl von Mengen aus <math> \mathcal M </math> schreiben.
:Dann ist <math> \mathcal M </math> Basis einer eindeutig bestimmten Topologie auf <math> X </math>.

Die offenen Mengen in der so erzeugten Topologie sind dann genau diejenigen Mengen, die sich als Vereinigung von Mengen aus <math> \mathcal M </math> darstellen lassen.

== Bemerkungen ==
* Jede topologische Basis von <math>(X,\mathcal{O})</math> ist eine [[Subbasis]] von <math>(X,\mathcal{O})</math>, der Basisbegriff verschärft also den Begriff Subbasis.
*Der Begriff der topologischen Basis ist nicht zu verwechseln mit der [[Basis (Vektorraum)|Basis eines Vektorraumes]], erstere ist eine Menge offener Mengen, zweitere eine Menge von Vektoren, im Falle [[Topologischer Vektorraum|topologischer Vektorräume]] also eine Menge von Punkten. Die Begriffe weisen insofern eine Parallele auf, dass beide die Gesamtstruktur in einem gewissen Sinne ''erzeugen'', allerdings wird für eine topologische Basis in keiner Weise Minimalität gefordert.

== Basis der abgeschlossenen Mengen ==
Dual zu dem obigen Basisbegriff, der für die offenen Mengen gilt, lässt sich auch eine '''Basis der abgeschlossenen Mengen''' definieren. Dabei wird ein Mengensystem <math> \mathcal C </math> eine Basis der abgeschlossenen Mengen genannt, wenn sich jede abgeschlossene Menge der Topologie <math> \mathcal O </math> als Schnitt von Mengen aus <math> \mathcal C </math> schreiben lässt. Äquivalent dazu sind die folgenden beiden Charakterisierungen:
* Zu jeder abgeschlossenen Menge <math> A </math> und jedem <math> x </math> aus <math> X \setminus A </math> existiert ein <math> C \in \mathcal C </math>, so dass <math> A \subset C </math> und <math> x \notin C </math>.
* Jede Vereinigung von zwei Mengen aus <math> \mathcal C </math> lässt sich als Schnitt von Mengen aus <math> \mathcal C </math> darstellen und es gilt <math> \bigcap_{C \in \mathcal C} C = \emptyset </math>.

Basen der abgeschlossenen Mengen treten beispielsweise bei der Charakterisierung von [[T3a-Raum|T3a-Räumen]] auf.

== Weblinks ==
*{{EoM| Autor = M.I. Voitsekhovskii, M.I. Kadets| Titel = Basis| Url = https://www.encyclopediaofmath.org/index.php/Basis| id = }}
*{{MathWorld| id = TopologicalBasis| title = Topological Basis| author = }} 

== Literatur ==
* [[Gerhard Preuß (Mathematiker)|Gerhard Preuß]]: ''Allgemeine Topologie.'' 2., korrigierte Auflage. Springer, Berlin u. a. 1975, ISBN 3-540-07427-9, S. 34–41.
* {{Literatur|Autor=[[Boto von Querenburg]]|Titel=Mengentheoretische Topologie|Auflage=3.|Verlag=Springer-Verlag|Ort=Berlin Heidelberg New York|Datum=2001|ISBN=9783540677901|DOI=10.1007/978-3-642-56860-2}}

[[Kategorie:Mengentheoretische Topologie]]