Hauptmenü öffnen

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 BedingungenBearbeiten

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 BedingungenBearbeiten

Gleichwertige BedingungBearbeiten

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. (Für eine eingehendere Betrachtung siehe Satz von Bing-Nagata-Smirnow.)

Metrisierbarkeit topologischer VektorräumeBearbeiten

Vollständig metrisierbare RäumeBearbeiten

Beispiele, Konstruktion einer MetrikBearbeiten

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:

 

GegenbeispieleBearbeiten

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

LiteraturBearbeiten

EinzelnachweiseBearbeiten

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