Quelltext der Seite Trennungsaxiom

[[Trennung]][[-s-]][[Axiom]]

= Trennungsaxiom =
In der [[Topologie (Mathematik)|Topologie]] und verwandten Gebieten der [[Mathematik]] betrachtet man oft nicht alle [[topologischer Raum|topologischen Räume]], sondern stellt bestimmte Bedingungen, die von den interessierenden Räumen erfüllt werden sollen. Einige dieser Bedingungen nennt man '''Trennungsaxiome''' oder '''Trennungseigenschaften'''. Sie werden nach [[Andrei Nikolajewitsch Tichonow]] manchmal auch als ''Tichonow-Trennungsaxiome'' (bzw. in älterer Transkription ''Tychonoff-Trennungsaxiome'') bezeichnet.

Die Trennungsaxiome sind [[Axiom]]e in dem Sinn, dass man bei der Definition eines topologischen Raums einige dieser Bedingungen zusätzlich fordern kann, um einen stärker eingeschränkten Begriff des topologischen Raums zu erhalten. Die moderne Herangehensweise besteht darin, die Axiome des topologischen Raums ein für alle Mal zu fixieren (wie sie im Artikel [[topologischer Raum]] gegeben sind) und dann von bestimmten Arten topologischer Räume zu sprechen. Der Name „Trennungsaxiom“ für diese Bedingungen hat sich aber bis heute erhalten. Viele Trennungsaxiome werden mit dem Buchstaben „T“ (für „Trennung“) bezeichnet.

Die genaue Bedeutung der Begriffe, die in den Trennungsaxiomen vorkommen, hat sich im Laufe der Zeit verändert. Beim Lesen älterer Literatur sollte man also darauf achten, die vom Autor verwendete Definition zu kennen.

Zur Formulierung der Trennungsaxiome benötigen wir einige Begriffe, die im Folgenden definiert werden.

== Getrennte Mengen und topologisch unterscheidbare Punkte ==

Die Trennungsaxiome machen Aussagen darüber, wie Punkte und Mengen mit topologischen Mitteln unterschieden werden können. Es reicht oft nicht, dass zwei Punkte eines topologischen Raums verschieden sind; man will sie ''topologisch unterscheiden'' können. Ebenso ist es oft nicht ausreichend, dass zwei Mengen [[disjunkt]] sind; wir wollen sie (auf verschiedenste Weisen) ''topologisch trennen'' können. Alle Trennungsaxiome fordern, dass Punkte oder Mengen, die in einem bestimmten schwachen Sinne unterscheidbar sind, auch in einem stärkeren Sinne unterscheidbar sind.

Sei <math>X</math> ein topologischer Raum. Zwei Teilmengen <math>A</math> und <math>B</math> von <math>X</math> heißen ''[[Separierte Mengen|separiert]]'', wenn jede der beiden disjunkt zur [[abgeschlossene Hülle|abgeschlossenen Hülle]] der anderen ist. Separierte Mengen sind immer disjunkt.

Es gibt noch andere, stärkere Formen der Separiertheit von Mengen: ''separiert durch [[Umgebung (Mathematik)|Umgebungen]]''; ''separiert durch abgeschlossene Umgebungen''; ''separiert durch eine stetige Funktion''. Siehe dazu [[Liste von Trennungseigenschaften von Mengen in topologischen Räumen]].

Wenn man die Terminologie von getrennten Mengen auf Punkte <math>x</math> und <math>y</math> anwendet, meint man die einelementigen Mengen <math>\left\{x\right\},\left\{y\right\}</math>. Sind <math>A</math> und <math>B</math> offene disjunkte Mengen, dann sind sie durch Umgebungen getrennt: Nimm <math>U=A</math> und <math>V=B</math> als Umgebungen. Aus diesem Grund wendet man viele Trennungsaxiome speziell auf abgeschlossene Mengen an.

Zwei Punkte <math>x</math> und <math>y</math> heißen ''topologisch unterscheidbar'', wenn sie nicht genau dieselben Umgebungen haben. Zwei topologisch unterscheidbare Punkte sind notwendig verschieden. Sind <math>x</math> und <math>y</math> getrennt (das heißt <math>\left\{x\right\}</math> und <math>\left\{y\right\}</math> sind getrennte Mengen), dann sind sie topologisch unterscheidbar.

== Definition der Trennungsaxiome ==

Viele der Namen haben im Laufe der Zeit ihre Bedeutung verändert, auch haben viele dieser Konzepte mehrere Namen. In dieser Enzyklopädie werden meist noch keine dieser Namen bevorzugt, die Reihenfolge ist also willkürlich (und aus dem englischen Artikel übernommen).

Die meisten der Axiome kann man auf verschiedene Weisen mit derselben Bedeutung definieren, die hier gegebene bezieht sich zuerst auf die Separiertheits-Begriffe des vorigen Abschnitts.

Sei im Folgenden <math>X</math> stets ein topologischer Raum.

*<math>X</math> ist ein ''[[Kolmogoroff-Raum]]'', wenn er das Axiom '''T<sub>0</sub>''' erfüllt: Je zwei verschiedene Punkte von <math>X</math> sind topologisch unterscheidbar, d.&nbsp;h., es gibt eine [[offene Menge]], die einen Punkt enthält, jedoch nicht den anderen. Unter den anderen Trennungsaxiomen gibt es oft eine Variante, die T<sub>0</sub> fordert, und eine andere, die dies nicht tut.

*<math>X</math> ist ein ''[[R0-Raum|R<sub>0</sub>-Raum]]'', oder ''symmetrischer Raum'', wenn je zwei topologisch unterscheidbare Punkte getrennt sind, wenn also die abgeschlossene Hülle jedes der beiden Punkte den jeweils anderen nicht enthält.

*<math>X</math> ist ein ''[[T1-Raum|T<sub>1</sub>-Raum]]'', oder hat eine ''Fréchet-Topologie'', wenn je zwei verschiedene Punkte [[Separierte Mengen|separiert]] sind. Das Axiom T<sub>1</sub> besteht also aus T<sub>0</sub> und R<sub>0</sub>. Gleichbedeutend ist die Bedingung, dass jede einelementige Menge [[Abgeschlossene Menge|abgeschlossen]] ist. Zu vermeiden ist hier die Bezeichnung „[[Fréchet-Raum]]“, die ein Begriff der [[Funktionalanalysis]] ist.

*<math>X</math> ist ein ''[[präregulärer Raum]]'', wenn er das Axiom '''R<sub>1</sub>''' erfüllt: Je zwei topologisch unterscheidbare Punkte werden durch Umgebungen getrennt. Das Axiom R<sub>1</sub> schließt R<sub>0</sub> ein.

*<math>X</math> ist ein ''[[Hausdorff-Raum]]'', wenn er das Axiom '''T<sub>2</sub>''' erfüllt: Je zwei verschiedene Punkte sind durch Umgebungen getrennt. Das Axiom T<sub>2</sub> besteht also aus T<sub>0</sub> und R<sub>1</sub>. Es schließt die Bedingung T<sub>1</sub> ein. Gleichbedeutend ist die Bedingung, dass je zwei verschiedene Punkte disjunkte Umgebungen besitzen.

*<math>X</math> ist ein ''[[nüchterner Raum]]'' (engl. ''sober space''), falls jede irreduzible abgeschlossene Menge Abschluss genau eines Punktes ist. Hausdorff-Räume sind nüchtern und nüchterne Räume sind T<sub>0</sub>.<ref>Gerhard Wilke: ''Eine Kennzeichnung topologischer Räume durch Vervollständigungen.'' In: ''[[Mathematische Zeitschrift]].'' Bd. 182, Nr. 3, 1983, S. 339–350, hier S. 341, {{doi|10.1007/BF01179754}}.</ref>

*<math>X</math> ist ein ''[[Urysohn-Raum]]'', wenn er das Axiom '''T<sub>2½</sub>''' erfüllt: Je zwei verschiedene Punkte sind durch abgeschlossene Umgebungen getrennt. Das Axiom T<sub>2½</sub> schließt T<sub>2</sub> ein, ein Urysohn-Raum ist also hausdorffsch.

*<math>X</math> ist ein ''[[vollständiger Hausdorff-Raum]]'' oder auch ''vollständig T<sub>2</sub>'', falls zwei beliebige Punkte durch eine Funktion getrennt sind. Jeder vollständig hausdorffsche Raum ist ein T<sub>2½</sub>-Raum.

*<math>X</math> ist ein ''[[regulärer Raum]]'', wenn jeder Punkt <math>x</math> von jeder abgeschlossenen Menge <math>F</math>, die <math>x</math> nicht enthält, durch Umgebungen getrennt ist. In einem regulären Raum sind <math>x</math> und <math>F</math> sogar durch abgeschlossene Umgebungen getrennt. Jeder reguläre Raum ist präregulär, und jeder reguläre T<sub>0</sub>-Raum ist hausdorffsch.

*<math>X</math> ist ein ''regulär hausdorffscher Raum'' oder auch ''T<sub>3</sub>-Raum'', falls er T<sub>0</sub> erfüllt und regulär ist. Ein T<sub>3</sub>-Raum ist immer ein T<sub>2½</sub>-Raum.

*<math>X</math> ist ein ''[[vollständig regulärer Raum]]'', falls jede abgeschlossene Menge <math>F</math> und jeder nicht in <math>F</math> liegende Punkt durch eine stetige Funktion getrennt sind. Jeder vollständig reguläre Raum ist regulär.

*<math>X</math> ist ein ''Tychonoff-Raum'' oder ein ''T<sub>3½</sub>-Raum'' oder ein ''T<sub>3a</sub>-Raum'' oder ein ''vollständiger T<sub>3</sub>-Raum'' oder ein ''vollständig regulärer hausdorffscher Raum'', falls <math>X</math> ein T<sub>0</sub>-Raum ist, der zugleich vollständig regulär ist.  Ein Tychonoff-Raum ist sowohl regulär hausdorffsch als auch vollständig hausdorffsch.

*Für das Trennungsaxiom ''[[normaler Hausdorff-Raum|T<sub>4</sub>]]'' und den Begriff eines ''[[normaler Raum|normalen Raums]]'' gibt es zwei Konventionen:
** entweder besagt T<sub>4</sub>, dass je zwei abgeschlossene disjunkte Teilmengen disjunkte offene Umgebungen haben, und ein normaler Raum ist ein Raum, der T<sub>2</sub> und T<sub>4</sub> erfüllt
** oder ein Raum heißt ''normal'', wenn je zwei abgeschlossene disjunkte Teilmengen disjunkte offene Umgebungen haben, und ein Raum erfüllt T<sub>4</sub>, wenn er normal und hausdorffsch ist (d.&nbsp;h. zusätzlich T<sub>2</sub> erfüllt). Diese Definition verwenden wir für den Rest des Artikels.

*<math>X</math> ist ein ''[[vollständig normaler Raum]]'', falls zwei getrennte Mengen immer durch Umgebungen getrennt sind. Ein vollständig normaler Raum ist immer normal.

*<math>X</math> ist ein ''vollständig normaler hausdorffscher Raum'' oder ein ''T<sub>5</sub>-Raum'' oder ein ''vollständiger T<sub>4</sub>-Raum'', falls <math>X</math> sowohl vollständig normal ist als auch T<sub>1</sub> erfüllt. Jeder T<sub>5</sub>-Raum ist auch ein T<sub>4</sub>-Raum.

*<math>X</math> ist ein ''[[perfekt normaler Raum]]'', falls zwei disjunkte abgeschlossene Mengen scharf durch eine Funktion getrennt sind. Jeder perfekt normale Raum ist vollständig normal.

*<math>X</math> ist ein ''perfekt normaler hausdorffscher Raum'' oder ein ''perfekter T<sub>4</sub>-Raum'', falls <math>X</math> perfekt normal ist und T<sub>1</sub> erfüllt. Jeder perfekte T<sub>4</sub>-Raum ist ein T<sub>5</sub>-Raum.

*<math>X</math> ist ein ''[[lokalkompakter Raum]]'', falls <math>X</math> Hausdorffsch ist und jeder Punkt eine kompakte Umgebung besitzt.

== Literatur ==
* [[Boto von Querenburg]]: ''Mengentheoretische Topologie'' (= ''Springer-Lehrbuch''). 3., neu bearbeitete und erweiterte Auflage. Springer, Berlin u. a. 2001, ISBN 3-540-67790-9.

== Einzelnachweise ==
<references />

{{Navigationsleiste Topologie}}

[[Kategorie:Trennbarkeit]]