Zum Inhalt springen

Axiomensysteme der Allgemeinen Topologie

aus Wikipedia, der freien Enzyklopädie

Die Allgemeine Topologie behandelt die Topologie auf Grundlage eines Axiomensystems im Kontext der Mengenlehre. Man nennt sie daher auch Mengentheoretische Topologie. Wie sich gezeigt hat, gibt es in diesem Rahmen eine Anzahl von gleichwertigen Möglichkeiten, die Struktur der topologischen Räume axiomatisch festzulegen. Stets wird dabei eine Grundmenge <math>X</math> vorausgesetzt, deren Elemente oft Punkte genannt werden. Die Menge <math>X</math> wird dann auch als Punktmenge bezeichnet. Die axiomatische Festlegung der topologischen Struktur erfolgt entweder dadurch, dass gewisse Teilmengensysteme innerhalb der zugehörigen Potenzmenge <math>\mathcal P(X) = \{ W \mid W \subseteq X \}</math> ausgezeichnet werden, oder auf dem Weg über die Festlegung gewisser Mengenoperatoren auf <math>\mathcal P(X) </math>, wobei jeweils das Erfülltsein einer Anzahl von Bedingungen, Axiome genannt, gefordert wird.

Offene Menge, Topologien, Axiome der offenen Mengen

Unter einem topologischen Raum versteht man nach heutiger Auffassung ein Paar <math>(X,\mathcal O) </math> mit einer Menge <math>X</math> sowie einem Teilmengensystem <math> \mathcal O \subseteq \mathcal P(X) </math> von offenen Mengen, so dass die folgenden Axiome gelten:

(O1)   <math> \emptyset \in \mathcal O </math>
(O2)   <math> X \in \mathcal O </math>
(O3)   <math> \forall \mathcal W \subseteq \mathcal O : {\bigcup {\mathcal W}} \in \mathcal O </math>
(O4)   <math>\forall n \in \mathbb N :\forall {W_1, W_2,\dotsc, W_n} \in \mathcal O : {W_1 \cap W_2 \cap \dotsb \cap W_n} \in \mathcal O </math>

Man nennt <math>\mathcal O </math> auch das System der <math>(X,\mathcal O) </math> - offenen Mengen. Statt von einer <math>(X,\mathcal O) </math> - offenen Menge spricht man auch nur von einer offenen Menge, wenn vorausgesetzt werden kann, dass aus dem Kontext klar ist, um welchen topologischen Raum <math>(X,\mathcal O) </math> es sich handelt.

Unter dieser Konvention lassen sich diese Axiome auch so angeben:

(O1)`   Die leere Menge ist offen.
(O2)`   Die Grundmenge <math>X</math> ist offen.
(O3)`   Beliebige Vereinigungen offener Mengen sind offen.
(O4)`   Beliebige endliche Durchschnitte offener Mengen sind offen.

Der Begriff der offenen Menge gilt heute als Grundbegriff der Axiomatik topologischer Räume. Die meisten modernen Autoren verstehen unter einer Topologie (engl. topology) das System der offenen Mengen eines topologischen Raumes.<ref>N. Bourbaki: General Topology. 1966, S. 17.</ref><ref>T. Camps, S. Kühling, G. Rosenberger: Einführung in die mengentheoretische und die algebraische Topologie. 2006, S. 7.</ref><ref>J. Dugundji: Topology. 1973, S. 62.</ref><ref>R. Engelking: Outline of General Topology. 1968, S. 26.</ref><ref>L. Führer: Allgemeine Topologie mit Anwendungen. 1977, S. 14.</ref><ref>H. Herrlich: Topologie I: Topologische Räume. 1986, S. 3.</ref><ref>E. Harzheim, H. Ratschek: Einführung in die Allgemeine Topologie. 1978, S. 14.</ref><ref>J. Nagata: Modern General Topology. 1985, S. 30.</ref><ref>G. Preuß: Allgemeine Topologie. 1972, S. 21.</ref><ref>J. L. Kelley: General topology. 1975, S. 37.</ref><ref>B. v. Querenburg: Mengentheoretische Topologie. 2001, S. 17.</ref><ref>W. Rinow: Lehrbuch der Topologie. 1975, S. 23.</ref><ref>S. Willard: General Topology. 1970, S. 23.</ref> Es gibt jedoch auch Ausnahmen.<ref group="EA">Kowalsky (S. 41) etwa verknüpft mit Topologie die Familie der Umgebungsfilter eines topologischen Raumes.</ref>

Abgeschlossene Menge, Axiome der abgeschlossenen Mengen, Dualität

Die abgeschlossenen Mengen der Topologie <math>(X,\mathcal O) </math> entstehen aus den offenen Mengen durch Komplementbildung und umgekehrt.

Das heißt:

(O-A)   <math> A \subseteq X </math> ist eine <math>(X,\mathcal O) </math> - abgeschlossene Menge beziehungsweise - gemäß Konvention (s. o.) - eine abgeschlossene Menge dann und nur dann, wenn <math> (X \setminus A) </math> eine <math>(X,\mathcal O) </math> - offene Teilmenge beziehungsweise offen ist.

Da nun Komplementbildung involutorisch auf der Potenzmenge <math>\mathcal P(X) </math> wirkt, ist das Axiomensystem (O1) - (O4) bezüglich des Systems der offenen Mengen <math>\mathcal O </math> in ein äquivalentes Axiomensystem bezüglich <math>\mathcal A = \{ X \setminus W \mid W \in \mathcal O \} </math>, des Systems der abgeschlossenen Mengen, übertragbar und umgekehrt.

Man hat damit die folgenden vier Axiome der abgeschlossenen Mengen:

(A1)   <math> X \in \mathcal A </math>
(A2)   <math> \emptyset \in \mathcal A </math>
(A3)   <math> \forall \mathcal A_0 \subseteq \mathcal A : {\bigcap {\mathcal A_0}} \in \mathcal A </math>
(A4)   <math>\forall n \in \mathbb N :\forall {A_1, A_2,\dotsc, A_n} \in \mathcal A : {A_1 \cup A_2 \cup \dotsb \cup A_n} \in \mathcal A </math>

In Worten lässt sich das Axiomensystem (A1) - (A4) auch so ausdrücken:

(A1)`   Die Grundmenge <math> X </math>   ist abgeschlossen.
(A2)`   Die leere Menge ist abgeschlossen.
(A3)`   Beliebige Durchschnitte abgeschlosser Mengen sind abgeschlossen.
(A4)`   Beliebige endliche Vereinigungen abgeschlosser Mengen sind abgeschlossen.

Ist also ein System abgeschlossener Mengen, welches das Axiomensystem (A1) - (A4) erfüllt, gegeben, so gewinnt man ein System von offenen Mengen, also die zugehörige Topologie, als Komplemente der abgeschlossenen Mengen:

(A-O)   <math>\mathcal O = \{ X \setminus A \mid A \in \mathcal A \} </math>

Die Axiomensysteme (O1) - (O4) und (A1) - (A4) sind also in einem dualen Sinne gleichwertig. Das heißt: Die beiden Axiomensysteme sind über die Komplementbildung umkehrbar eindeutig aufeinander bezogen und miteinander verknüpft. Man spricht in diesem Zusammenhang daher auch von der Dualität zwischen offenen und abgeschlossenen Mengen.<ref>W. Rinow: Lehrbuch der Topologie. 1975, S. 25.</ref>

Abgeschlossene Hülle, Kuratowskischer Hüllenoperator, Axiome von Kuratowski

Der Zugang zur Allgemeinen Topologie auf dem Wege über Hüllenoperatoren geht auf den polnischen Mathematiker Kazimierz Kuratowski zurück.<ref>L. Führer: Allgemeine Topologie mit Anwendungen. 1977, S. 24.</ref><ref>K. Kuratowski: Topology. Volume I. 1966, S. 38.</ref><ref>W. Rinow: Lehrbuch der Topologie. 1975, S. 7.</ref><ref>R. Vaidyanathaswamy: Set Topology. 1964, S. 54.</ref> Dieser Axiomatik zugrunde liegt ein (durch einen Querstrich gekennzeichneter) Mengenoperator auf <math>\mathcal P(X) </math>, welcher dadurch ausgezeichnet ist, dass er für Teilmengen <math> V \subseteq X </math> und <math> W \subseteq X </math> den folgenden vier Bedingungen genügt:

(AH1)   <math> W \subseteq \overline{W} </math>
(AH2)   <math> \overline{V \cup W } = \overline{V} \cup \overline{W} </math>
(AH3)   <math> \overline{\overline{W}} = \overline{W} </math>
(AH4)   <math> \overline{\emptyset} = \emptyset </math>

Man nennt diese vier Bedingungen Axiome von Kuratowski<ref>H. Schubert: Topologie. 1975, S. 20.</ref> oder Kuratowskische Hüllenaxiome<ref>H.-J. Kowalsky: Topologische Räume. 1961, S. 52.</ref><ref>G. Preuß: Allgemeine Topologie. 1972, S. 29.</ref> (engl. Kuratowski closure axioms<ref>J. L. Kelley: General topology. 1975, S. 43.</ref>) und einen diesen Bedingungen genügenden Mengenoperator einen Kuratowskischen Hüllenoperator<ref>E. Harzheim, H. Ratschek: Einführung in die Allgemeine Topologie. 1978, S. 23.</ref>.

Die Axiome von Kuratowski lassen sich zusammenfassen wie folgt:

(AH)`   Ein Kuratowskischer Hüllenoperator auf <math>\mathcal P(X) </math> ist ein Hüllenoperator, welcher die Bedingungen (AH2) und (AH4) erfüllt.

Ist ein Kuratowskischer Hüllenoperator gegeben, so sagt man:

(AH-A)   <math> W \subseteq X </math>   ist eine abgeschlossene Menge bzw. abgeschlossen genau dann, wenn <math> \overline{W} = W </math> ist.<ref>K. Kuratowski: Topology. Volume I. 1966, S. 43.</ref>

Das Teilmengensystem der (in diesem Sinne) abgeschlossenen Mengen ist das dem Hüllenoperator <math> W \mapsto \overline{W} </math> zugehörige Hüllensystem und genügt dem obigen Axiomensystem (A1) - (A4), führt folglich wie oben zu einer Topologie <math> \mathcal O </math> auf <math> X </math>.<ref>J. L. Kelley: General topology. 1975, S. 43.</ref> Dabei gilt:

(AH-O)   <math> \mathcal O : = \{W \subseteq X \mid W \cap { \overline {X \setminus W} } = \emptyset \}</math>
(AH-A)`   <math> \mathcal A : = \{ {\overline{W}} \mid W \subseteq X \}</math>

Diese Betrachtung lässt sich umkehren:

Ist eine Topologie <math> \mathcal O </math> auf <math> X </math> gegeben und dazu das Teilmengensystem <math> \mathcal A </math>, welches dem Axiomensystem (A1) - (A4) genügt, also wie beschrieben das System der abgeschlossenen Mengen des topologischen Raums <math> (X, \mathcal O )</math>, so liegt damit ein Hüllensystem auf <math>\mathcal P(X) </math> vor und den zugehörigen Hüllenoperator gewinnt man zurück durch:

(A-AH)   <math> \overline{W} := \bigcap \{ A \in {\mathcal A} \mid A \supseteq W \} </math>   ( <math> W \subseteq X </math>  )

Dieser Hüllenoperator erfüllt dann die Axiome (AH1) - (AH4), ist also ein Kuratowskischer Hüllenoperator.

In dieser Weise ist die Beziehung des Kuratowskischen Hüllenoperators <math> W \mapsto \overline{W} </math> zu <math> \mathcal A</math>, dem System der abgeschlossenen Mengen des topologischen Raums <math> (X, \mathcal O )</math>, und genauso zu der Topologie <math> \mathcal O </math> jeweils umkehrbar eindeutig.

Für eine Teilmenge <math> W \subseteq X </math> heißt <math> \overline{W} </math> die abgeschlossene Hülle, manchmal auch der topologische Abschluss von <math> W </math>. Die darin liegenden Elemente werden Berührungspunkte oder Berührpunkte von <math>W</math> genannt. Gemäß (A-AH) ist die abgeschlossene Hülle <math> \overline{W} </math> von <math> W \subseteq X </math> die bezüglich der Inklusionsrelation kleinste abgeschlossene Obermenge von <math> W </math> innerhalb des topologischen Raums <math> (X, \mathcal O )</math>.

Inneres, Kernoperator, Axiome des Inneren

Ausgehend von der Dualität zwischen offenen und abgeschlossenen Mengen erhält man in Übertragung von (A-AH) den zum topologischen Raum <math>(X,\mathcal O) </math> gehörigen Kernoperator <math> W \mapsto {W^\circ} </math> auf <math> \mathcal P(X) </math> mittels :

(O-OK) <math> {W^\circ}= \bigcup \{ W_0 \in {\mathcal O} | W_0 \subseteq W \} </math> (<math> W \subseteq X </math>)

zurück.

Der Kernoperator genügt für <math>V</math> und <math>W</math> den folgenden vier Axiomen:<ref>R. Vaidyanathaswamy: Set Topology. 1964, S. 57.</ref><ref>H. Schubert: Topologie. 1975, S. 15.</ref>

(OK1)   <math> {W^\circ} \subseteq W </math>
(OK2)   <math> {(V \cap W) }^\circ = {V^\circ} \cap {W^\circ} </math>
(OK3)   <math> {W^\circ}^\circ = {W^\circ} </math>
(OK4)   <math> {X^\circ} = X </math>

<math> {W^\circ}</math> ist wegen (O-OK) die bezüglich der Inklusionsrelation größte offene Teilmenge von <math> W </math> innerhalb des topologischen Raums <math>(X,\mathcal O) </math>. Ihre Elemente werden innere Punkte von <math> W </math> genannt. Zusammengenommen bilden also die inneren Punkte von <math> W </math> die Menge <math> {W^\circ} </math>, welche auch als das Innere oder der offene Kern von <math> W </math> bezeichnet wird.

Die Beziehungen zwischen dem Kernoperator und der Topologie <math> \mathcal O </math> und <math> \mathcal A </math>, dem System der abgeschlossenen Mengen von <math>(X,\mathcal O) </math> und schließlich dem zugehörigen Kuratowskischen Hüllenoperator sind paarweise umkehrbar eindeutig und dabei gilt:

(OK-O)   <math> \mathcal O = \{ {W^\circ} \mid W \subseteq X \}</math>
(OK-A)   <math> \mathcal A = \{ {X \setminus {W^\circ}} \mid W \subseteq X \}</math>
(AH-OK)   <math> W^\circ = X \setminus {\overline{(X \setminus W)}}</math>   ( <math> W \subseteq X </math>  )
(OK-AH)   <math> \overline{W} = X \setminus {(X \setminus W)^\circ }</math>   ( <math> W \subseteq X </math>  )

Rand, Randbildungsoperator, Axiome des Randes

Für eine Teilmenge <math> W </math> des topologischen Raums <math> (X,\mathcal O) </math> ist der Rand (auch als Grenze<ref>H. Herrlich: Topologie I: Topologische Räume. 1986, S. 18.</ref> oder als Begrenzung<ref>H.-J. Kowalsky: Topologische Räume. 1961, S. 53.</ref> bezeichnet; englisch frontier<ref>R. Vaidyanathaswamy: Set Topology. 1964, S. 57.</ref> oder auch boundary<ref>J. L. Kelley: General topology. 1975, S. 45.</ref><ref>J. Nagata: Modern General Topology. 1985, S. 34.</ref>) von   <math> W </math>   gegeben durch:

(AH-R)   <math>\partial W = \overline{W} \cap \overline{(X \setminus W)}</math>

Die Elemente von <math>\partial W</math> werden Randpunkte von <math> W </math> genannt. Ein Randpunkt von <math> W </math> zeichnet sich demnach dadurch aus, dass er sowohl Berührpunkt von <math> W </math>   ist als auch Berührpunkt von   <math> X \setminus W </math>. Andererseits ist ein jeder Berührpunkt von <math> W </math> entweder Element von <math> W </math> oder Randpunkt von <math> W </math>, und damit gilt:

(R-AH)   <math>\overline{W} = W \cup \partial W\,</math>   (  <math> W \subseteq X </math>   )

Für den topologischen Raum <math> (X,\mathcal O) </math> stellt also das Bilden des Randes einen Mengenoperator auf <math>\mathcal P(X) </math> dar. Dieser so zu <math>(X,\mathcal O) </math> gehörige Randbildungsoperator erfüllt für Teilmengen <math>V</math> und <math>W</math> von <math> (X,\mathcal O) </math> stets die folgenden vier Regeln:<ref>R. Vaidyanathaswamy: Set Topology. 1964, S. 57–58.</ref>

(R1)   <math> V \cap W \cap \partial (V \cap W) = V \cap W \cap (\partial V \cup \partial W ) </math>
(R2)   <math> \partial W = \partial (X \setminus W) </math>
(R3)   <math> \partial { \partial W } \subseteq \partial W </math>
(R4)   <math> \partial{\emptyset} = \emptyset </math>

Ausgehend vom Begriff des Randes kann nun die gesamte Axiomatik der Allgemeinen Topologie aufgebaut werden, indem man die vier Regeln (R1) - (R4) als Axiome versteht.<ref>R. Vaidyanathaswamy: Set Topology. 1964, S. 58.</ref> Damit ist die Struktur des topologischen Raum <math>(X,\mathcal O) </math> unzweideutig festgelegt. Der mittels der Gleichung (R-AH) definierte Mengenoperator auf <math>\mathcal P(X) </math> erweist sich nämlich als Kuratowskischer Hüllenoperator und ist in Verbindung mit (AH-R) umkehrbar eindeutig mit diesem und damit auch mit dem zugehörigen topologischen Raum <math>(X,\mathcal O) </math> verknüpft.

Dabei ergeben sich bezüglich <math> \partial </math> folgende Gleichungen:

(R-O)   <math>\mathcal O = \{W \subseteq X \mid {W \cap \partial W} = \emptyset\}</math>
(R-A)   <math>\mathcal A = \{A \subseteq X \mid {\partial A} \subseteq A \}</math>
(OK-R)   <math>\partial W = \overline{W} \setminus W^\circ </math>   (  <math> W \subseteq X </math>   )

Derivierte, Deriviertenoperator, Axiome der Derivierten

Eng verknüpft mit dem Kuratowskischen Hüllenoperator eines topologischen Raums   <math> (X,\mathcal O) </math>   - ähnlich wie der Randbildungsoperator - ist der Deriviertenoperator   <math>d</math>   , welcher einer Teilmenge   <math>W</math>   von   <math> (X,\mathcal O) </math>   ihre Derivierte<ref>W. Rinow: Lehrbuch der Topologie. 1975, S. 68–69.</ref>   (englisch derived set<ref>K. Kuratowski: Topology. Volume I. 1966, S. 75.</ref>)   <math>d(W)</math>   zuordnet. Statt von der Derivierten redet man auch von der Ableitung von   <math>W</math>   und schreibt   <math>W^\prime</math>   oder   <math>W^{\rm{d}}</math>   anstelle von   <math>d(W)</math>  .<ref group="EA">Vgl. Rinow, S. 68.! Gemäß Hausdorff (Grundzüge der Mengenlehre, S. 220) geht das Konzept auf Georg Cantor zurück. In Anbetracht der möglichen Verwechselung mit der Ableitung von Funktionen in der Differentialrechnung ist in der Topologie die Benennung Derivierte gegenüber Ableitung vorzuziehen.</ref>

Für eine Teilmenge   <math> W </math>   ist die Derivierte   <math>d(W)</math>   von   <math> W </math>   gleich der Menge ihrer Häufungspunkte (englisch accumulation points<ref>K. Kuratowski: Topology. Volume I. 1966, S. 75.</ref>), lässt sich also in Formeln darstellen als:

(AH-D)   <math> d(W) = \{ x \in X \mid {x \in \overline{(W \setminus \{x\} )} } \} </math>     <math>( W \subseteq X )</math>

Wie beim Rand von   <math> W </math>   gilt:

(D-AH)   <math>\overline{W} = W \cup d(W) </math>     <math>( W \subseteq X )</math>

Für den topologischen Raum   <math> (X,\mathcal O) </math>   genügt dieser Mengenoperator auf   <math>\mathcal P(X)</math>   für Teilmengen   <math>V</math>   und   <math>W</math>   von   <math> (X,\mathcal O) </math>   stets den folgenden vier Regeln:<ref>H.-J. Kowalsky: Topologische Räume. 1961, S. 53.</ref>

(D1)   <math> d(V \cup W) = d(V) \cup d(W) </math>
(D2)   <math> d(d(W)) \subseteq W \cup d(W) </math>
(D3)   <math> d(\emptyset) = \emptyset </math>
(D4)   <math> \forall x \in X: x \notin d( \{ x \}) </math>

Ausgehend vom Begriff der Derivierten und von (D1) - (D4) als Axiomensystem kann die Allgemeinen Topologie vollständig entwickelt werden<ref>H.-J. Kowalsky: Topologische Räume. 1961, S. 53.</ref>. Denn damit ist die Struktur des topologischen Raum  <math>(X,\mathcal O) </math>   unzweideutig festgelegt. Der mittels der Gleichung (D-AH) definierte Mengenoperator auf   <math>\mathcal P(X) </math>   ist ein Kuratowskischer Hüllenoperator und so in Verbindung mit (AH-D) umkehrbar eindeutig mit diesem und damit auch mit dem zugehörigen topologischen Raum  <math>(X,\mathcal O) </math>   verknüpft.

Dabei ergeben sich bzgl. <math> d </math>   die folgenden Gleichungen:

(D-O)   <math>\mathcal O = \{W \subseteq X \mid {W \cap d(X \setminus W)} = \emptyset\}</math>
(D-A)   <math>\mathcal A = \{A \subseteq X \mid d(A) \subseteq A \}</math>
(OK-D)   <math> d(W) = \{ x \in W \mid {x \notin {((X \setminus W) \cup \{x\} } ) }^\circ \} </math>     <math>( W \subseteq X )</math>

Umgebung, Umgebungsfilter, Umgebungsaxiome

Der axiomatische Aufbau der Allgemeinen Topologie unter Zugrundelegung des Begriffs der Umgebung eines Punktes geht auf Felix Hausdorff und seine Grundzüge der Mengenlehre zurück.<ref>E. Harzheim, H. Ratschek: Einführung in die Allgemeine Topologie. 1978, S. 2.</ref> Dieser klassische Ansatz benutzt als wichtigste Strukturen Umgebungssysteme. Hierbei ist jedem   <math> x \in X </math>   ein Teilmengensystem   <math> \mathcal U_x \subseteq \mathcal P(X) </math>   zugeordnet, für das jeweils die folgenden Regeln, genannt Umgebungsaxiome, als gegeben vorausgesetzt werden:<ref>L. Führer: Allgemeine Topologie mit Anwendungen. 1977, S. 14.</ref><ref>B. v. Querenburg: Mengentheoretische Topologie. 2001, S. 20.</ref>

(U1)   <math> \mathcal U_x </math> ist ein Filter innerhalb   <math> ( \mathcal P(X), \subseteq ) </math>   .
(U2)   <math> \forall U \in \mathcal U_x : x \in U</math>
(U3)   <math> \forall U \in \mathcal U_x : \exists V \in \mathcal U_x : \forall y \in V : U \in \mathcal U_y </math><ref group="EA">Das obige Axiomensystem weicht von dem, welches Hausdorff in den Grundzügen (S. 213) liefert, ab. Insbesondere nimmt Hausdorff stets die Gültigkeit des nach ihm benannten Trennungsaxioms als gegeben an, was nicht der modernen Fassung der Umgebungsaxiome entspricht.</ref>

Für <math> x \in X </math>   nennt man   <math> \mathcal U_x </math>   auch den Umgebungsfilter von   <math> x </math>   und jedes   <math> U \in \mathcal U_x </math>   eine Umgebung von   <math> x </math>   . Dabei ist stets   <math> X \in \mathcal U_x </math>  , also   <math> \mathcal U_x \neq \emptyset </math>  .

In einer weniger formalisierten Weise lassen sich die Umgebungsaxiome in Bezug auf einen beliebigen Punkt   <math> x \in X </math> auch folgendermaßen ausdrücken:<ref>J. Nagata: Modern General Topology. 1985, S. 32.</ref><ref>G. Preuß: Allgemeine Topologie. 1972, S. 24.</ref><ref>H. Schubert: Topologie. 1975, S. 13.</ref>

(U1)`   Die Grundmenge   <math> X </math>   ist Umgebung von   <math> x </math>   .
(U2)`   <math> x </math>   ist in jeder seiner Umgebungen als Punkt enthalten.
(U3)`   Jede Obermenge einer Umgebung von   <math> x </math>   ist ihrerseits Umgebung von   <math> x </math>  .
(U4)`   Der Durchschnitt endlich vieler Umgebungen von   <math> x </math>   ist Umgebung von   <math> x </math>  .
(U5)`   Ist   <math> U </math>   Umgebung von   <math> x </math>   , so umfasst   <math> U </math>   eine weitere Umgebung   <math> V </math>   von   <math> x </math>   derart, dass   <math> U </math>   selbst zu den Umgebungen eines jeden Punktes   <math> y \in V </math>   gehört.

Die oben beschriebene Struktur   <math>(X, ({\mathcal U}_x)_{x\in X}) </math>   wird auch als Umgebungsraum bezeichnet.<ref>L. Führer: Allgemeine Topologie mit Anwendungen. 1977, S. 14.</ref>

Ein solcher Umgebungsraum über   <math>X </math>   ist nun umkehrbar eindeutig verknüpft mit dem topologischen Raum   <math>(X,\mathcal O) </math>  , wenn man unter einer im Umgebungsraum offenen Menge folgendes versteht:

(U-O)   Die Teilmenge   <math> W \subseteq X </math>   ist offen dann und nur dann, wenn sie Umgebung jedes ihrer Punkte ist.

Also:

(U-O)`   <math> \mathcal O = \{W \subseteq X \mid {\forall x \in W : W \in {\mathcal U}_x} \}</math>

Hierbei lassen sich die zum topologischen Raum   <math>(X,\mathcal O) </math>   gehörigen Umgebungsfilter   <math> \mathcal U_x \subseteq \mathcal P(X) </math>     <math> ( x \in X ) </math>   zurückgewinnen durch:

(O-U)   Eine Teilmenge   <math> U \subseteq X </math>   ist Umgebung von   <math> x \in X </math>   dann und nur dann, wenn eine offene Teilmenge   <math> W \subseteq X </math>  , also ein   <math> W \in \mathcal O </math>  , existiert mit   <math> x \in W \subseteq U </math>.

Also:

(O-U)`   <math> {\mathcal U}_x = \{U \subseteq X \mid {\exists W \in \mathcal O: x \in W \subseteq U } \}</math>

Die Beziehungen zu den übrigen Strukturelementen sind wie folgt:

- in Hinblick auf die abgeschlossenen Mengen:
(U-A)   <math> A \subseteq X </math>   ist abgeschlossen genau dann, wenn für   <math> x \in X </math>   aus der Tatsache, dass jede Umgebung   <math> U \in {\mathcal U}_x </math>   eine   nicht-leere Schnittmenge mit   <math> A </math>   hat, schon   <math> x \in A </math>   folgt.

Also:

(U-A)`   <math> \mathcal A = \{A \subseteq X \mid {\forall x \in X : ({ \forall U \in {\mathcal U}_x : A \cap U \neq \emptyset } \Rightarrow x \in A }) \}</math>
- in Hinblick auf den Kuratowskischen Hüllenoperator :
(U-AH)   <math> \overline{W} := \{ x \in X \mid \forall U \in {\mathcal U}_x : {U \cap W \neq \emptyset} \} </math>     <math>( W \subseteq X )</math>  
- in Hinblick auf den Kernoperator :
(U-OK)   <math> {W^\circ} = \{ x \in W \mid \exists U \in {\mathcal U}_x : U \subseteq W \} </math>   <math>( W \subseteq X )</math>  
- in Hinblick auf den Randbildungsoperator :
(U-R)     <math>\partial W = \{ x \in X \mid \forall U \in {\mathcal U}_x : {U \cap W \neq \emptyset} \land {U \cap (X \setminus W) \neq \emptyset} \}</math>   <math>( W \subseteq X )</math>  
- in Hinblick auf den Deriviertenoperator :
(U-D)     <math>d(W) = \{ x \in X \mid \forall U \in {\mathcal U}_x : {{(U \setminus \{ x \})} \cap W \neq \emptyset} \}</math>   <math>( W \subseteq X )</math>  

Literatur

Einzelnachweise

<references />

Erläuterungen und Anmerkungen

<references group="EA" />

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Axiomensysteme_der_Allgemeinen_Topologie&oldid=2614057“