Metrisierbarer Raum

topologischer Raum, homöomorph zu einem metrischen Raum

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

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

Gleichwertige Bedingung

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

Vollständig metrisierbare Räume

Bearbeiten

Beispiele, Konstruktion einer Metrik

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:

 

Gegenbeispiele

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

Literatur

Bearbeiten

Einzelnachweise

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.