Metrisierbarer Raum

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Vollständig metrisierbar)
Zur Navigation springen Zur Suche springen

Im Teilgebiet Topologie der Mathematik ist ein metrisierbarer Raum ein topologischer Raum mit zusätzlichen besonderen Eigenschaften.

Da die metrischen Räume Spezialfälle der topologischen Räume sind, liegt es nahe, zu fragen, wann ein topologischer Raum metrisierbar ist, das heißt, welche zusätzlichen Forderungen ein topologischer Raum erfüllen muss, damit es eine Metrik gibt, die die Topologie induziert. Dieser Artikel gibt einen Überblick über notwendige und hinreichende Bedingungen für die Metrisierbarkeit, die in den Artikeln ausführlicher erklärt werden, auf die von hier aus verwiesen wird. Sätze, die schwache hinreichende Bedingungen oder gleichwertige Bedingungen zur Metrisierbarkeit formulieren, werden in der Literatur als Metrisationssätze bezeichnet.

Notwendige Bedingungen

[Bearbeiten | Quelltext bearbeiten]

Jede topologische Eigenschaft, die metrische Räume stets erfüllen, stellt selbstverständlich eine notwendige Bedingung für die Metrisierbarkeit beliebiger topologischer Räume dar. Von besonderem Interesse sind aber solche Eigenschaften, die den Raum der Metrisierbarkeit „nahebringen“.

Hinreichende Bedingungen

[Bearbeiten | Quelltext bearbeiten]

Gleichwertige Bedingung

[Bearbeiten | Quelltext bearbeiten]

Metrisationssatz von Nagata-Smirnow: Ein topologischer Raum ist genau dann metrisierbar, wenn er ein regulärer Hausdorff-Raum ist und eine σ-lokal-endliche Basis besitzt.

Metrisierbarkeit topologischer Vektorräume

[Bearbeiten | Quelltext bearbeiten]

Vollständig metrisierbare Räume

[Bearbeiten | Quelltext bearbeiten]

Beispiele, Konstruktion einer Metrik

[Bearbeiten | Quelltext bearbeiten]

Am einfachsten lässt sich die Metrik konstruieren, wenn der topologische Raum ein endliches Produkt metrischer Räume ist. Man kann dann zum Beispiel die Metriken einfach addieren:

Ähnlich kann man vorgehen, wenn der topologische Raum ein abzählbares Produkt metrischer Räume ist. Dann muss man durch eine positive Folge die Konvergenz der „unendlichen Summe“ erzwingen und gegebenenfalls die Metriken di durch topologisch gleichwertige, durch eine gemeinsame Schranke beschränkte Metriken ersetzen. Beides leistet die Definition:

  • Die Produkttopologie von mindestens zweipunktigen metrischen Räumen ist nicht metrisierbar, wenn die Indexmenge überabzählbar ist.
  • Die erste nicht abzählbare Ordinalzahl , versehen mit ihrer Ordnungstopologie ist nicht parakompakt und daher nicht metrisierbar.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Schubert: Topologie. 1975, S. 97.
  2. Eduard Čech: On Bicompact Spaces. In: Annals of Mathematics. Band 38. Jahrgang, Nr. 4, 1937, S. 823–844, doi:10.2307/1968839.
  3. Stephen Willard: General Topology. Addison-Wesley, Reading MA u. a. 1970, S. 180.