Metrisierbarer Raum

Metrisierbarer Raum

Ein Metrisierbarer Raum ist ein Begriff der Teildisziplin Topologie der Mathematik. 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.

Inhaltsverzeichnis

Notwendige Bedingungen

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

Gleichwertige Bedingung

Satz 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

  • Ein topologischer Vektorraum ist genau dann metrisierbar, wenn er das erste Abzählbarkeitsaxiom erfüllt. Die Metrik kann so gewählt werden, dass sie translationsinvariant ist und die offenen Kugeln um den Nullpunkt ausgewogen und, falls der Raum lokalkonvex ist, konvex sind.
  • Gibt es eine abzählbare separierende Familie von Halbnormen, so ist der Raum lokalkonvex und metrisierbar.
  • Ein Raum heißt vollständig metrisierbar, falls er homöomorph zu einem vollständigen metrischen Raum ist. Es gibt metrische Räume, die nicht vollständig sind, aber vollständig metrisierbar, wie zum Beispiel das offene Einheitsintervall oder die irrationalen Zahlen. Ein vollständig metrisierbarer lokalkonvexer Raum wird als Fréchet-Raum bezeichnet.

Topologische Begriffe zur Metrisierbarkeit

Hier werden technische Begriffe erklärt, die speziell im Zusammenhang mit der Metrisierbarkeit von Interesse sind und in anderen Zusammenhängen nicht oder nicht einheitlich verwendet werden.

  • Ein System von Teilmengen eines topologischen Raums heißt lokal endlich, wenn kein Punkt des Raumes in unendlich vielen Mengen des Systems enthalten ist.
  • Eine σ-lokal endliche Basis ist eine Basis, die sich als Vereinigungsmenge von höchstens abzählbar vielen lokal-endlichen Systemen offener Mengen darstellen lässt.
  • Eine Teilmenge G eines topologischen Raumes heißt Gδ-Menge, wenn sie als Durchschnitt abzählbar vieler offener Mengen dargestellt werden kann. (G für das „offene Gebiet“, δ für den abzählbaren Durchschnitt).
  • Eine Teilmenge F eines topologischen Raumes heißt Fσ-Menge, wenn sie als Vereinigung abzählbar vieler abgeschlossener Mengen dargestellt werden kann. (F für die „abgeschlossene (fermé) Menge“, σ für die abzählbare Vereinigung=„Summe“).

Beispiele, Konstruktion einer Metrik

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,\ldots,x_n),(y_1,y_2,\ldots,y_n))=d_1(x_1,y_1)+d_2(x_2,y_2)+\cdots+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

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

Quellen


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Metrisierbarer lokalkonvexer Raum — In der mathematischen Disziplin der Funktionalanalysis werden lokalkonvexe Räume, das sind Vektorräume mit einer topologischen Struktur, untersucht. Die wichtige topologische Eigenschaft der Metrisierbarkeit lässt sich in lokalkonvexen Räumen… …   Deutsch Wikipedia

  • Vollständiger Raum — Ein vollständiger Raum ist in der Analysis ein metrischer Raum M, in dem jede Cauchy Folge von Punkten aus M konvergiert. Zum Beispiel ist der Raum der rationalen Zahlen nicht vollständig, weil etwa die Zahl nicht rational ist, es jedoch Folgen… …   Deutsch Wikipedia

  • Lokal konvexer Raum — Lokalkonvexer Vektorraum berührt die Spezialgebiete Mathematik Topologie Abstrakte Algebra Lineare Algebra Analytische Geometrie Funktionalanalysis ist Spezialfall von …   Deutsch Wikipedia

  • DF-Raum — (DF) Räume sind eine im mathematischen Teilgebiet der Funktionalanalysis betrachtete Klasse spezieller lokalkonvexer Räume, die eine wichtige Rolle in der Dualitätstheorie von Frécheträumen spielt. Dualräume von Frécheträumen sind (DF) Räume und… …   Deutsch Wikipedia

  • GDF-Raum — (DF) Räume sind eine im mathematischen Teilgebiet der Funktionalanalysis betrachtete Klasse spezieller lokalkonvexer Räume, die eine wichtige Rolle in der Dualitätstheorie von Frécheträumen spielt. Dualräume von Frécheträumen sind (DF) Räume und… …   Deutsch Wikipedia

  • Lokalkonvexer Raum — Lokalkonvexe Räume sind im mathematischen Teilgebiet der Funktionalanalysis untersuchte topologische Vektorräume mit zusätzlichen Eigenschaften. Es handelt sich dabei um topologische Vektorräume, die über „genügend viele“ konvexe Umgebungen des… …   Deutsch Wikipedia

  • (DF)-Raum — (DF) Räume sind eine im mathematischen Teilgebiet der Funktionalanalysis betrachtete Klasse spezieller lokalkonvexer Räume, die eine wichtige Rolle in der Dualitätstheorie von Fréchet Räumen spielt. Dualräume von Fréchet Räumen sind (DF) Räume… …   Deutsch Wikipedia

  • Distinguierter Raum — In der mathematischen Disziplin der Funktionalanalysis werden lokalkonvexe Räume, das sind Vektorräume mit einer topologischen Struktur, untersucht. Die wichtige topologische Eigenschaft der Metrisierbarkeit lässt sich in lokalkonvexen Räumen… …   Deutsch Wikipedia

  • Schwartz-Raum — Graph der zweidimensionalen Gauß schen Glockenkurve Der Schwartz Raum, benannt nach Laurent Schwartz, ist ein Teilraum der glatten Funktionen. Eine Besonderheit dieses Raumes ist, dass die Fouriertransformation einen linearen Automorphismus auf… …   Deutsch Wikipedia

  • Quasivollständigkeit — vollständiger Raum berührt die Spezialgebiete Mathematik Topologie Analysis Funktionalanalysis ist Spezialfall von topologischer Raum para …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”