Metrisierbarer Raum

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Metrisierbar)
Wechseln zu: Navigation, Suche

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 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äume[Bearbeiten]

Vollständig metrisierbare Räume[Bearbeiten]

  • Ein topologischer Raum heißt vollständig metrisierbar (auch topologisch vollständig), falls er homöomorph zu einem vollständigen metrischen Raum ist.
  • Es gibt metrische Räume, deren zu Grunde liegende Metrik keine vollständige Metrik ist, welche aber dennoch vollständig metrisierbar sind. Dazu zählen etwa das offene Einheitsintervall oder die Menge der irrationalen Zahlen.
  • Nach dem G_\delta-Satz von Hausdorff ist ein Teilraum eines vollständig metrisierbaren Raumes genau dann vollständig metrisierbar, wenn er eine G_\delta-Teilmenge ist.
  • Allgemein gilt der Satz von Čech: Ein topologischer Raum ist vollständig metrisierbar dann und nur dann, wenn er metrisierbar ist und zugleich topologisch vollständig ist. Dabei ist ein topologischer Raum topologisch vollständig genau dann, wenn er homöomorph zu einer G_\delta-Menge eines kompakten Hausdorff-Raums ist.[2][3]
  • Ein vollständig metrisierbarer lokalkonvexer topologischer Vektorraum wird als Fréchet-Raum bezeichnet.
  • Ein separabler vollständig metrisierbarer Raum heißt Polnischer Raum, solche Räume und insbesondere ihre Teilmengen bilden Untersuchungsgegenstand der deskriptiven Mengenlehre.

Beispiele, Konstruktion einer Metrik[Bearbeiten]

Am einfachsten lässt sich die Metrik konstruieren, wenn der topologische Raum X ein endliches Produkt metrischer Räume (M_i,d_i);\; 1\leq i\leq n ist. Man kann dann zum Beispiel die Metriken einfach addieren:

d((x_1,x_2,\dotsc,x_n),(y_1,y_2,\dotsc,y_n))=d_1(x_1,y_1)+d_2(x_2,y_2)+\dotsb+d_n(x_n,y_n)

Ähnlich kann man vorgehen, wenn der topologische Raum X ein abzählbares Produkt metrischer Räume (M_i,d_i);\; i\in\mathbb{N} 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:

d((x_i),(y_i))=\sum\limits_{i=0}^{\infty} 2^{-i} \frac{d_i(x_i,y_i)}{1+d_i(x_i,y_i)}

Gegenbeispiele[Bearbeiten]

  • Die Produkttopologie \textstyle X = \prod_{i\in I} M_i von mindestens zweipunktigen metrischen Räumen ist nicht metrisierbar, wenn die Indexmenge I überabzählbar ist.
  • Die erste nicht abzählbare Ordinalzahl \Omega_0, versehen mit ihrer Ordnungstopologie ist nicht parakompakt und daher nicht metrisierbar.

Literatur[Bearbeiten]

Einzelnachweise[Bearbeiten]

  1. Schubert, S. 97
  2. Eduard Cech: On Bicompact Spaces. In: Ann. Math.. 38, 1937, S. 823 - 844.
  3.  Stephen Willard: General Topology. Addison-Wesley, Reading MA 1970, S. 180.