Topologischer Vektorraum - LinkFang.de





Topologischer Vektorraum


Ein topologischer Vektorraum ist ein Vektorraum, auf dem neben seiner algebraischen auch noch eine damit verträgliche topologische Struktur definiert ist.

Definition

Sei [math] K \in \{\R,\C \} [/math]. Ein [math]K[/math]-Vektorraum [math]E[/math], der zugleich topologischer Raum ist, heißt topologischer Vektorraum, wenn folgende Verträglichkeitsaxiome gelten:

Bemerkungen:

  • Manchmal wird auch zusätzlich gefordert, dass [math]E[/math] ein Kolmogoroff-Raum (d.h. T0-Raum) ist, also verschiedene Punkte stets topologisch unterscheidbar sind. Daraus folgt für topologische Vektorräume bereits die Hausdorffeigenschaft (d.h. T2-Raum).
  • Ist der topologische Vektorraum ein Hausdorff-Raum, so sind die Abbildungen, die eine Verschiebung um einen bestimmten Vektor oder eine Streckung um einen Skalar darstellen, Homöomorphismen. In diesem Fall reicht es, topologische Eigenschaften des Raumes im Ursprung zu betrachten, da jede Menge homöomorph in den Ursprung verschoben werden kann.
  • [math](E,+)[/math] ist eine topologische Gruppe.
  • Es ist wichtig, dass die beiden genannten Abbildungen nicht nur komponentenweise stetig sind.

Beispiele

  • Die Menge [math]\textstyle \ell^p := \{(x_n)_n\in{\mathbb K}^{\mathbb N};\,\sum_{n=1}^\infty |x_n|^p \lt \infty\}[/math] ist ein Vektorraum, der für [math]0\ltp\lt1[/math] mit der Metrik [math]\textstyle d_p((x_n)_n,(y_n)_n):=\sum_{n=1}^\infty |x_n - y_n|^p [/math] zu einem topologischen Vektorraum wird, der nicht lokalkonvex ist.
  • Allgemeiner seien [math](X,\mu)[/math] ein Maßraum und [math]0\ltp\lt1[/math]. Dann macht die Metrik [math]\textstyle d_p(f,g):=\int_X|f(x)-g(x)|^p \mathrm d\mu(x) [/math] den Lp-Raum [math]L^p(X,\mu)[/math] zu einem topologischen Vektorraum, der im Allgemeinen nicht lokalkonvex ist. Ist [math]X={\mathbb N}[/math] und [math]\mu[/math] das Zählmaß, so erhält man das obige Beispiel [math]\ell^p[/math]. Der Raum [math]L^p([0,1])[/math] besitzt außer dem Nullfunktional kein weiteres stetiges lineares Funktional.

Topologische Eigenschaften

  • Jeder topologische Vektorraum ist als abelsche, topologische Gruppe ein uniformer Raum. Damit ist er insbesondere stets ein R0-Raum und erfüllt das Trennungsaxiom T3 (in der Bedeutung, dass T0 nicht miteingeschlossen ist). Mittels dieser uniformen Struktur kann man Vollständigkeit und gleichmäßige Stetigkeit definieren. Jeder topologische Vektorraum kann vervollständigt werden und lineare stetige Abbildungen zwischen topologischen Vektorräumen sind gleichmäßig stetig.
  • Für einen topologischen Vektorraum [math]X[/math] gilt: [math]X[/math] ist T0 [math]\Leftrightarrow[/math] [math] X[/math] ist T1 [math]\Leftrightarrow[/math] [math] X[/math] ist T2 [math]\Leftrightarrow[/math][math] X[/math] ist ein Tychonoff-Raum.
  • In lokalkonvexen hausdorffschen topologischen Vektorräumen gilt der Satz von Hahn-Banach, sodass die Existenz „vieler“ stetiger linearer Funktionale gesichert ist. Diese Tatsache erlaubt es, für solche Räume eine reichhaltige Dualitätstheorie aufzustellen, die für allgemeine topologische Vektorräume in dieser Form nicht gilt. Im Extremfall, wie im obigen Beispiel [math]L^p([0,1])[/math], ist das Nullfunktional das einzige stetige lineare Funktional.

Siehe auch

Literatur

  • Helmut H. Schaefer: Topological Vector Spaces. Springer, New York u. a. 1971, ISBN 0-387-98726-6.
  • Hans Jarchow: Locally Convex Spaces. Teubner, Stuttgart 1981, ISBN 3-519-02224-9.

Kategorien: Topologischer Vektorraum

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Topologischer Vektorraum (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.