T0-Raum


T0-Raum
topologischer Raum

berührt die Spezialgebiete

ist Spezialfall von

umfasst als Spezialfälle

In der Topologie und verwandten Gebieten der Mathematik bezeichnet ein Kolmogoroff-Raum (benannt nach dem Mathematiker Andrei Nikolajewitsch Kolmogorow), auch T0-Raum genannt, eine große Klasse "gutartiger" topologischer Räume. Das T0-Axiom ist eines der Trennungsaxiome.

Inhaltsverzeichnis

Topologische Unterscheidbarkeit

Um T0 zu definieren, führen wir zuerst das Konzept der topologischen Unterscheidbarkeit ein. In einem topologischen Raum X heißen zwei Punkte x und y topologisch nicht unterscheidbar, falls eine der folgenden äquivalenten Bedingungen erfüllt ist:

  • x und y besitzen die gleichen Umgebungen, d.h. jede offene Menge U enthält x, genau dann wenn sie y enthält.
  • x ist ein Element des Abschlusses von {y} und y gehört zum Abschluss von x.
  • x und y haben dieselben Abschlüsse.

Andernfalls heißen x und y topologisch unterscheidbar. Vereinfacht ausgedrückt bedeutet dies, dass die Topologie auf X in der Lage ist, zwischen den Punkten x und y zu unterscheiden.

In einem indiskreten Raum sind zum Beispiel zwei beliebige Punkte topologisch nicht unterscheidbar.

Definition

Ein topologischer Raum X ist ein T0-Raum, wenn jedes Paar von verschiedenen Punkten topologisch unterscheidbar ist.

Topologisch unterscheidbare Punkte sind automatisch verschieden. Andererseits sind für zwei getrennte einpunktige Mengen {x} und {y} die Punkte x und y immer topologisch unterscheidbar. Das heißt es gilt

getrennttopologisch unterscheidbarverschieden.

Im Allgemeinen ist die Bedingung topologisch unterscheidbar zu sein strenger als die, verschieden zu sein, und schwächer als diejenige, getrennt zu sein. In einem T0-Raum gilt auch die Umkehrung des zweiten Pfeils: zwei Punkte x und y sind genau dann verschieden, wenn sie topologisch unterscheidbar sind. Dies ist die Beziehung des Trennungsaxioms T0-Raum zu den anderen Trennungsaxiomen.

Eine weitere äquivalente Definition ist: X ist genau dann ein T0-Raum, wenn für zwei beliebige Punkte in X eine offene Menge in X existiert, die genau einen der beiden Punkte enthält. Im Gegensatz zur analogen Charakterisierung eines T₁-Raumes, kann nicht vorausgesagt werden, welcher der beiden Punkte zur offenen Menge gehört.

T0-Räume sind schön

Fast alle topologischen Räume, die in der Mathematik studiert werden, erfüllen das Axiom T0. Für den Fall, dass einem trotzdem ein topologischer Raum begegnet, der T0 nicht erfüllt, kann der Raum oft, besonders in der Analysis, durch einen T0-Raum ersetzt werden. Dies erweist sich in vielen Fällen als nützlich. Die folgenden Ausführungen präzisieren dies: Bei einer gegebenen Menge X, wo aber die Möglichkeit, die Topologie in gewissen Grenzen zu variieren, existiert, kann es unerwünscht sein, die Topologie zu zwingen T0 zu sein, da nicht T0-Räume oft wichtige Spezialfälle sind. So ist es wichtig, von verschiedenen Bedingungen an Topologien jeweils sowohl die Version mit als auch ohne T0 zu kennen.

Um die allgemeinen Ideen zu motivieren, beginnen wir mit einem bekannten Beispiel. Der Raum \mathcal{L}^2(\R) besteht aus allen messbaren Funktionen f:\R\to\Bbb C, so dass das Lebesgue-Integral von | f(x) | 2 über \R endlich ist. Durch die Definition \|f\| = \sqrt{\int_{\R}|f(x)|^2 \,\mathrm dx} wird dieser Raum mit einer Halbnorm ausgestattet. Man möchte aber lieber einen normierten Vektorraum erhalten. Das Problem ist, dass von der Nullfunktion verschiedene Funktionen existieren, die die Halbnorm 0 haben (Verletzung der Definitheitsforderung). Die Standardlösung ist es nun, zu einem Raum L^2(\R) von Äquivalenzklassen überzugehen. Dies ergibt einen Faktorraum des ursprünglichen Vektorraumes, und dieser Faktorraum ist ein normierter Raum, der aber verschiedenste Eigenschaften des halbnormierten Raumes erbt.

Sowohl bei der Problemstellung als auch bei der Lösung sind in erster Linie die durch die Norm und Halbnorm erzeugten Topologien involviert. Eine Funktion mit Halbnorm 0 ist von der Nullfunktion topologisch nicht unterscheidbar. Die miteinander identifizierten Funktionen sind genau die im ursprünglichen halbnormierten Raum topologisch nicht unterscheidbaren "Punkte" (hier Funktionen).

Der Kolmogoroff-Quotientenraum

Topologische Nichtunterscheidbarkeit ist eine Äquivalenzrelation. Egal mit welchem topologischen Raum X wir starten, der Quotientenraum unter dieser Äquivalenzrelation ist ein T0-Raum. Dieser Quotient heißt Kolmogoroff-Quotient von X; er wird mit KQ(X) bezeichnet. Falls X bereits ein T0-Raum war, sind KQ(X) und X homöomorph.

Zwei topologische Räume heißem kolmogoroff-äquivalent, falls deren Kolmogoroff-Quotienten homöomorph sind. Das interessante an Kolmogoroff-Äquivalenz ist, dass viele Eigenschaften von topologischen Räumen unter dieser Äquivalenz erhalten bleiben, das heißt für zwei kolmogoroff-aquivalente Räume keiner oder beide eine solche Eigenschaft besitzen. Andererseits folgt aus verschiedenen anderen Eigenschaften topologischer Räume das T0-Axiom, das heißt, wenn ein Raum eine solche Eigenschaft erfüllt, so ist er ein T0-Raum. Es existieren nur wenige Ausnahmen, so zum Beispiel die Eigenschaft, ein indiskreter Raum zu sein. Oft ist die Situation noch komfortabler, denn viele Strukturen auf topologischen Räumen übertragen sich von X auf KQ(X) und umgekehrt. Das bedeutet, dass wenn man einen Raum ohne T0 hat, kann man mit dem Kolmogoroff-Quotienten KQ(X) einen T0-Raum mit derselben Struktur und denselben Eigenschaften konstruieren.

Das Beispiel L2(\mathbb{R}) (siehe Lp-Raum) kann als Demonstration dieser Möglichkeit dienen. Aus topologischer Sicht hat der halbnormierte Raum, mit dem wir gestartet sind, viele zusätzliche Strukturen. So ist L2(\mathbb{R}) ein Vektorraum, mit einer Halbnorm. Diese definiert eine Semimetrik und eine mit der Topologie verträglichen uniforme Struktur. Diese Struktur besitzt weitere Eigenschaften. So erfüllt die Seminorm die Parallelogrammgleichung und die uniforme Struktur ist vollständig. Der Kolmogoroff-Quotient, ebenfalls mit L2(\mathbb{R}) bezeichnet, behält diese Eigenschaften. L2(\mathbb{R}) ist ebenfalls ein vollständiger, halbnormierter Raum, dessen Halbnorm die Parallelogrammgleichung erfüllt. Wir erhalten aber sogar etwas mehr, denn der Raum ist ein T0-Raum. Da ein halbnormierter Raum, genau dann ein normierter Raum ist, wenn die unterliegende Topologie T0 erfüllt, ist L2(\mathbb{R}) ein vollständiger normierter Raum, dessen Norm die Parallelogrammgleichung erfüllt. Solche Räume heißen Hilbert-Räume. Wir haben es hier mit einem Beispiel zu tun, das sowohl in der Mathematik als auch in der Physik, speziell in der Quantenmechanik, untersucht wird.

Entfernen von T0

Wenn man die historische Entwicklung untersucht, wird man feststellen, dass obwohl die Norm zuerst definiert wurde, später die schwächere Halbnorm eingeführt wurde, also eine nicht-T0-Variante einer Norm. Es ist allgemein möglich, solche nicht-T0-Versionen sowohl für Eigenschaften als auch Strukturen für topologische Räume einzuführen. Beginnen wir mit der Eigenschaft eines topologischen Raumes ein Hausdorff-Raum zu sein. Man kann eine weitere Eigenschaft eines topologischen Raume definieren, indem man sagt, dass der Raum X genau dann diese Eigenschaft erfüllt, wenn der Kolmogoroff-Quotient KQ(X) ein Hausdorff-Raum ist. Dies durchaus eine sinnvolle Definition, auch wenn sie weniger bekannt ist. Solch eine Raum nennt man präregulären Raum. (Es zeigt sich, das eine direktere Definition der Präregularität existiert.) Nehmen wir nun eine Struktur, die auf einen topologischen Raum gelegt werden kann, wie zum Beispiel eine Metrik. Wir können eine neue Struktur auf einen topologische Raum legen, indem wir auf KQ(X) eine Metrik definieren. Auch hier erhalten wir eine bekannte Struktur, nämlich eine Pseudometrik. (Auch dies kann direkter definiert werden.)

Dies ergibt einen natürlichen Weg, die Eigenschaft T0 von den Anforderungen an eine Eigenschaft oder einer Struktur zu entfernen. Im Allgemeinen ist es einfacher, Räume zu untersuchen, die T0 erfüllen, aber es kann andererseits auch nützlich sein, Räume ohne T0 miteinzubeziehen, um ein vollständigeres Bild zu erhalten. Je nach Bedarf kann die Eigenschaft T0 mit Hilfe des Kolmogoroff-Quotienten hinzugefügt oder entfernt werden.


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Raum (Architektur) — Raum ist das primäre Medium der Architektur. Architektur schafft, gestaltet und gliedert Raum. Die Definition, Bemessung, Gliederung, Fügung und formale Gestaltung von Raum ist die wichtigste Aufgabe der Architektur. Inhaltsverzeichnis 1 Begriffe …   Deutsch Wikipedia

  • Raum the Old — (Old Norse: Raumr inn gamli ) is a legendary king in Norway in the Hversu Noregr byggdist and in Thorsteins saga Víkingssonar.In Hversu Noregr byggdist Raum and his sonsIn Heversu Noregr byggdist , Raum is one of the three sons of Nór, the… …   Wikipedia

  • Raum — (ahd. rūmi „weit“, „geräumig“) bezeichnet: Zimmer, ein zum Nutzen verwendeter, umschlossener Teil eines Gebäudes Volumen, eine in Länge, Breite, Höhe fest eingegrenzte Ausdehnung Raum (Physik), den physikalischen Raum als „Behälter“ aller Dinge… …   Deutsch Wikipedia

  • Raum — der; (e)s, Räu·me; 1 der Teil eines Gebäudes, der einen Fußboden, Wände und eine Decke hat ≈ Zimmer: eine Wohnung mit vier Räumen: Küche, Bad, Wohnzimmer und Schlafzimmer || K : Raumaufteilung, Raumgestaltung, Raumklima, Raumtemperatur || K:… …   Langenscheidt Großwörterbuch Deutsch als Fremdsprache

  • Raum (Stollberg) — Raum Stadt Stollberg/Erzgeb. Koordinaten …   Deutsch Wikipedia

  • Raum-Zeit — Raum Zeit,   Raumzeit, Relativitätstheorie: die Zusammenfassung der drei Raumdimensionen mit der Zeit als vierter Koordinate zu einem vierdimensionalen metrischen Raum (Raum Zeit Kontinuum, Raum Zeit Welt). Der Begriff der Raum Zeit ist Ausdruck… …   Universal-Lexikon

  • Raum- und Objektdesigner — ist die Berufsbezeichnung für einen staatlich geprüften Designer. Der Beruf ist im Handwerk verwurzelt, denn die Ausbildung zum Handwerksmeister bildet den Grundstock dieses Berufes . Seine besondere Voraussetzung ist ein Verständnis für Raum,… …   Deutsch Wikipedia

  • Raum — Saltar a navegación, búsqueda En demonología, Raum es un Gran Duque del Infierno que comanda treinta legiones de demonios. En Pseudomonarchia daemonum (1583) de Johann Wier se le describe de la siguente manera: Raum o Raim es un gran Conde, se… …   Wikipedia Español

  • Raum und Zeit in der Musik: Verräumlichte Zeiten —   Zeit als solche besitzt keine Eigenschaften, sie ist Abstraktion des Vor und Nacheinanders von Ereignissen und wird nur durch das Miterleben und Mitbewusstsein von Vorgängen konkret fassbar. Das Bewusstsein kann sich jedoch erst im Zeitstrom… …   Universal-Lexikon

  • Raum & Zeit — Raum Zeit ist eine alle zwei Monate im Ehlers Verlag erscheinende Zeitschrift. Ihre Verleger sehen sie als „wissenschaftliche, völlig unabhängige Fachzeitschrift“ an, die Informationen veröffentliche, „die besonders von Fachzeitschriften, aber… …   Deutsch Wikipedia

  • Raum — * Raum, er, ste, adj. et adv. einen beträchtlichen Raum enthaltend, so wohl in engerer Bedeutung, den zu gewissen körperlichen Veränderungen nöthigen Raum enthaltend, in der ersten Bedeutung des folgenden Hauptwortes. Ein raumes Zimmer. Das Haus… …   Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart