Metrisierbarer lokalkonvexer Raum

In der mathematischen Disziplin der Funktionalanalysis werden topologische Vektorräume, also Vektorräume mit einer geeigneten topologischen Struktur, untersucht. Insbesondere sind lokalkonvexe Räume von Interesse, da für diese der Satz von Hahn-Banach einen reichhaltigen topologischen Dualraum garantiert. Die wichtige topologische Eigenschaft der Metrisierbarkeit lässt sich in lokalkonvexen Räumen durch die Nullumgebungsbasen charakterisieren. Da die Vervollständigung eines metrisierbaren und lokalkonvexen Raumes ein Fréchet-Raum ist, nennt man solche Räume auch prä-F-Raum.

Charakterisierung

Bearbeiten

Ein lokalkonvexer Raum   ist genau dann metrisierbar, wenn er eine abzählbare Nullumgebungsbasis hat.

Ist nämlich   eine abzählbare Nullumgebungsbasis, so kann man die   ohne Einschränkung als absolutkonvex annehmen. Für jedes   definiert   dann eine Halbnorm auf   und

 

ist eine Metrik, die die Topologie auf   erzeugt. Die Umkehrung ist klar, da in einem metrischen Raum jeder Punkt eine abzählbare Umgebungsbasis hat.

Beispiele

Bearbeiten
  • Normierte Räume sind metrisierbar und lokalkonvex.
  •   mit der Produkttopologie ist ein Beispiel für einen metrisierbaren, lokalkonvexen Raum, der nicht normierbar ist.
  • Sei   der Vektorraum der stetigen Funktionen  . Für   sei   die durch   definierte Halbnorm. Dann ist   mit der durch diese Halbnormen definierten Topologie metrisierbar, sogar ein Fréchetraum.

Vererbungseigenschaften

Bearbeiten

Unterräume, Quotientenräume nach abgeschlossenen Unterräumen und abzählbare Produkte von metrisierbaren, lokalkonvexen Räumen sind wieder von dieser Art.

Eigenschaften, distinguierte Räume

Bearbeiten

Metrisierbare, lokalkonvexe Räume sind bornologisch und haben daher alle Eigenschaften bornologischer Räume.

Eine beschränkte Menge in einem topologischen Vektorraum ist eine Menge  , so dass es zu jeder Nullumgebung   ein   gibt mit  . Dies darf nicht mit der Beschränktheit im metrischen Sinne verwechselt werden. Eine metrisch beschränkte Menge, d. h. eine Menge mit endlichem Durchmesser bzgl. der Metrik, muss nicht im lokalkonvexen Sinne beschränkt sein.

Ist   ein lokalkonvexer Vektorraum, so definiert jede beschränkte Menge   in   eine Halbnorm   auf dem Dualraum  , indem man   setzt. Versehen mit der Menge der Halbnormen  , wobei   die beschränkten Mengen von   durchläuft, wird   zu einem lokalkonvexen Vektorraum, den man dann mit   bezeichnet.

Für einen metrisierbaren, lokalkonvexen Raum sind äquivalent:

Ein metrisierbarer lokalkonvexer Raum heißt distinguiert, falls er diese Bedingungen erfüllt. Normierte Räume, reflexive Fréchet-Räume oder quasinormierbare Fréchet-Räume sind distinguiert.

  • K. Floret, J. Wloka: Einführung in die Theorie der lokalkonvexen Räume, Lecture Notes in Mathematics 56, 1968
  • R. Meise, D. Vogt: Einführung in die Funktionalanalysis, Vieweg, 1992 ISBN 3-528-07262-8