Kolmogoroff-Raum

In der Topologie und verwandten Gebieten der Mathematik ist ein Kolmogoroff-Raum (benannt nach dem Mathematiker Andrei Nikolajewitsch Kolmogorow), auch T₀-Raum genannt, ein topologischer Raum, in dem es keine zwei verschiedenen Punkte gibt, die topologisch ununterscheidbar sind. Anschaulich gesprochen enthalten Kolmogoroff-Räume niemals mehrere Punkte am gleichen Ort, während die allgemeine Definition eines topologischen Raums dies erlaubt. Die Eigenschaft, ein Kolmogoroff-Raum zu sein, wird auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} -Axiom genannt und ist eines der üblichen Trennungsaxiome.

Topologische Unterscheidbarkeit

Um Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} zu definieren, führen wir zuerst das Konzept der topologischen Unterscheidbarkeit ein. In einem topologischen Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} heißen zwei Punkte $x$ und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} topologisch nicht unterscheidbar, falls eine der folgenden äquivalenten Bedingungen erfüllt ist:

• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} besitzen die gleichen Umgebungen, d. h. jede offene Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U} enthält genau dann Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} , wenn sie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} enthält.
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} ist ein Element des Abschlusses von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left\{y\right\}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} gehört zum Abschluss von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left\{x\right\}} .
• $\left\{x\right\}$ und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left\{y\right\}} haben dieselben Abschlüsse.

Andernfalls heißen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} topologisch unterscheidbar. Topologisch ununterscheidbare Punkte haben dieselben topologischen Eigenschaften, das heißt alle Eigenschaften eines Punktes, die sich mittels der Topologie des Raums definieren lassen, gelten gleichermaßen für topologisch ununterscheidbare Punkte (denn die Vertauschung zweier topologisch ununterscheidbarer Punkte ist ein Automorphismus, also ein Homöomorphismus in sich selbst). Die topologische Ununterscheidbarkeit geht jedoch über diese Eigenschaft hinaus: Auch anhand beliebiger Beziehungen zwischen den beiden Punkten, die sich durch die Umgebungen ausdrücken lassen, lässt sich die Ungleichheit nicht feststellen, was unmittelbar aus der Definition folgt. Das Vorhandensein zusätzlicher topologisch ununterscheidbarer Punkte beeinflusst nicht maßgeblich die Struktur des Raumes. Topologische Ununterscheidbarkeit ist erhalten unter stetigen Abbildungen, die Unterscheidbarkeit unter stetigen Urbildern.

Beispiel: In einem topologischen Raum, der mit der indiskreten Topologie ausgestattet ist, sind zwei beliebige Punkte topologisch nicht unterscheidbar.

Definition

Ein topologischer Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ist ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} -Raum, wenn jedes Paar von verschiedenen Punkten topologisch unterscheidbar ist.

Topologisch unterscheidbare Punkte sind automatisch ungleich und gleiche Punkte topologisch ununterscheidbar.

Eine weitere äquivalente Definition ist: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ist genau dann ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} -Raum, wenn für zwei beliebige Punkte in $X$ eine offene Menge in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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.

Kolmogoroff-Quotientenraum

Fast alle topologischen Räume, die in der Mathematik studiert werden, erfüllen das Axiom Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} . Für den Fall, dass einem trotzdem ein topologischer Raum begegnet, der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} nicht erfüllt, kann der Raum oft, besonders in der Analysis, durch einen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} -Raum ersetzt werden. Dies erweist sich in vielen Fällen als nützlich. Die folgenden Ausführungen präzisieren dies: Bei einer gegebenen Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} , wo aber die Möglichkeit, die Topologie in gewissen Grenzen zu variieren, existiert, kann es unerwünscht sein, die Topologie zu zwingen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} zu sein, da nicht Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} -Räume oft wichtige Spezialfälle sind. So ist es wichtig, von verschiedenen Bedingungen an Topologien jeweils sowohl die Version mit als auch ohne $T_{0}$ zu kennen.

Motivierendes Beispiel

Um die allgemeinen Ideen zu motivieren, beginnen wir mit einem bekannten Beispiel. Der Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{L}^2(\R)} besteht aus allen messbaren Funktionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\R\to\Complex} , so dass das Lebesgue-Integral von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |f(x)|^2} über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} endlich ist. Durch die Definition Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \textstyle \|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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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).

Definition

Topologische Nichtunterscheidbarkeit ist eine Äquivalenzrelation. Egal mit welchem topologischen Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} wir starten, der Quotientenraum unter dieser Äquivalenzrelation ist ein T₀-Raum. Dieser Quotient heißt Kolmogoroff-Quotient von $X$; er wird mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle KQ(X)} bezeichnet. Falls Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} bereits ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} -Raum war, sind Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle KQ(X)} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} homöomorph.

Zwei topologische Räume heißen kolmogoroff-äquivalent, falls ihre 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-äquivalente Räume keiner oder beide eine solche Eigenschaft besitzen. Andererseits folgt aus verschiedenen anderen Eigenschaften topologischer Räume das Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} -Axiom, das heißt, wenn ein Raum eine solche Eigenschaft erfüllt, so ist er ein $T_{0}$-Raum. Es existieren nur wenige Ausnahmen, so zum Beispiel die Eigenschaft, ein indiskreter Raum zu sein. Oft ist die Situation noch komfortabler, denn viele mathematische Strukturen auf topologischen Räumen übertragen sich von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle KQ(X)} und umgekehrt. Das bedeutet, dass wenn man einen Raum ohne Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} hat, kann man mit dem Kolmogoroff-Quotienten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle KQ(X)} einen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} -Raum mit derselben Struktur und denselben Eigenschaften konstruieren.

Das Beispiel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2(\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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2(\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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2(\R)} bezeichnet, behält diese Eigenschaften. $L^{2}(\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 T₀-Raum. Da ein halbnormierter Raum, genau dann ein normierter Raum ist, wenn die unterliegende Topologie T₀ erfüllt, ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2(\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 T₀

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-Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} -Variante einer Norm. Es ist allgemein möglich, solche nicht-Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} -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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} genau dann diese Eigenschaft erfüllt, wenn der Kolmogoroff-Quotient Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle KQ(X)} ein Hausdorff-Raum ist. Dies ist durchaus eine sinnvolle Definition, auch wenn sie weniger bekannt ist. Solch einen Raum nennt man präregulären Raum. (Die Präregularität lässt sich auch direkt innerhalb des Raums definieren: Zwei beliebige topologisch unterscheidbare Punkte sind durch Umgebungen getrennt.) 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 topologischen Raum legen, indem wir auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle KQ(X)} eine Metrik definieren. Auch hier erhalten wir eine bekannte Struktur, nämlich eine Pseudometrik. (Diese erlaubt verschiedene Punkte mit dem Abstand null.)

Dies ergibt einen natürlichen Weg, die Eigenschaft Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} von den Anforderungen an eine Eigenschaft oder einer Struktur zu entfernen. Im Allgemeinen ist es einfacher, Räume zu untersuchen, die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} erfüllen, aber es kann andererseits auch nützlich sein, Räume ohne T₀ miteinzubeziehen, um über Stellvertreter des Kolmogoroff-Quotienten direkt als Punkte reden zu können. Je nach Bedarf kann die Eigenschaft Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_0} mit Hilfe des Kolmogoroff-Quotienten hinzugefügt oder entfernt werden.

Kategorielle Eigenschaften

Der Kolmogoroff-Quotient ist ein kovarianter, voller, wesentlich surjektiver Funktor von der Kategorie Top der topologischen Räume in die Kategorie Top₀ der Kolmogoroff-Räume.

Der Kolmogoroff-Quotient ist eine Linksadjunktion der kanonischen Einbettung von Top₀ in Top.

Literatur

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