Präregulärer Raum

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Präregulär)
Zur Navigation springen Zur Suche springen

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.

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.

  • 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.
  • 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 | Quelltext 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