Präregulärer Raum

In d​er Topologie u​nd verwandten Gebieten d​er Mathematik s​ind präreguläre Räume spezielle topologische Räume, d​ie gewisse Trennungseigenschaft besitzen. Sie erfüllen d​as Trennungsaxiom R₁.

Definition

Sei X e​in topologischer Raum. Zwei Punkte x u​nd y i​n X heißen topologisch unterscheidbar, f​alls eine offene Menge existiert, d​ie genau e​inen der beiden Punkte enthält. Weiter heißen s​ie durch Umgebungen getrennt, f​alls sie disjunkte offene Umgebungen besitzen.

• X heißt präregulärer Raum, falls zwei beliebige topologisch unterscheidbare Punkte durch Umgebungen getrennt sind.[1]

Da zwei Punkte x und y in X genau dann topologisch unterscheidbar sind, wenn ${\displaystyle {\overline {\{x\}}}\not ={\overline {\{y\}}}}$, kann man auch definieren:

• X heißt präregulärer Raum, falls je zwei Punkte x und y mit ${\displaystyle {\overline {\{x\}}}\not ={\overline {\{y\}}}}$ disjunkte Umgebungen besitzen.[2]

Präreguläre Räume heißen a​uch R₁-Räume. Man s​agt auch, d​ass sie d​as Trennungsaxiom R₁ erfüllen.

Beispiele

• Hausdorffräume sind präregulär, denn in ihnen liegt die Trennbarkeit für jedes Paar verschiedener Punkte vor, insbesondere für topologisch unterscheidbare.
• Ein Raum mit der trivialen Topologie ist präregulär, denn in ihm existieren keine topologisch unterscheidbaren Punkte, für die eine Trennbarkeitseigenschaft vorliegen müsste.
• Der Raum ${\displaystyle X=\{0,1\}}$ mit der Topologie ${\displaystyle \{\emptyset ,\{0\},X\}}$ ist nicht präregulär, denn die Punkte 0 und 1 sind mittels der offenen Menge ${\displaystyle \{0\}}$ topologisch unterscheidbar, aber sie können nicht durch Umgebungen getrennt werden.

Eigenschaften

• Ein topologischer Raum ist genau dann präregulär, wenn der Kolmogoroff-Quotient KQ(X) von X ein Hausdorff-Raum ist.

• Erfüllt ein präregulärer Raum zusätzlich Kompaktheitsbedingungen, so erfüllt er weit stärkere Trennungsaxiome: So ist zum Beispiel jeder präreguläre lokalkompakte Raum vollständig regulär. Kompakte präreguläre Räume sind sogar normal. Man beachte, dass einige Autoren die Begriffe kompakt, lokalkompakt, vollständig regulär und normal nur für Hausdorff-Räume verwenden.

Einzelnachweise

1. Cyrus F. Nourani: A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos, Apple Academic Press (2014), ISBN 978-1-926895-92-5, Kapitel 7.2
2. Ladislav Bican, T. Kepka, P. Němec: Rings, Modules, and Preradicals, M. Dekker (1982), ISBN 0-824-71568-3, 2.36