Präregulärer Raum

topologischer Raum
(Weitergeleitet von Präregulär)

In der Topologie und verwandten Gebieten der Mathematik sind präreguläre Räume spezielle topologische Räume, die gewisse Trennungseigenschaft besitzen. Sie erfüllen das Trennungsaxiom R1.

Definition

Bearbeiten

Sei X ein topologischer Raum. Zwei Punkte x und y in X heißen topologisch unterscheidbar, falls eine offene Menge existiert, die genau einen der beiden Punkte enthält. Weiter heißen sie durch Umgebungen getrennt, falls 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  , kann man auch definieren:

  • X heißt präregulärer Raum, falls je zwei Punkte x und y mit   disjunkte Umgebungen besitzen.[2]

Präreguläre Räume heißen auch R1-Räume. Man sagt auch, dass sie das Trennungsaxiom R1 erfüllen.

Beispiele

Bearbeiten
  • 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   mit der Topologie   ist nicht präregulär, denn die Punkte 0 und 1 sind mittels der offenen Menge   topologisch unterscheidbar, aber sie können nicht durch Umgebungen getrennt werden.

Eigenschaften

Bearbeiten
  • 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

Bearbeiten
  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