Topologischer Vektorraum


Topologischer Vektorraum

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

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

  • Die Addition E \times E \to E ist stetig,
  • Die Skalarmultiplikation K \times E \to E ist stetig.

Bemerkungen:

  • Manchmal wird auch zusätzlich gefordert, dass E ein Hausdorff-Raum ist. Für topologische Vektorräume ist diese Eigenschaft äquivalent dazu, dass alle einpunktigen Mengen abgeschlossen sind.
  • 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.
  • (E, + ) ist eine topologische Gruppe.
  • Es ist wichtig, dass die beiden genannten Abbildungen nicht nur komponentenweise stetig sind.

Beispiele

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

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.
  • Ein topologischer hausdorffscher Vektorraum besitzt genau dann ein vom Nullfunktional verschiedenes stetiges lineares Funktional, wenn er eine konvexe Nullumgebung besitzt. Diese Tatsache erlaubt es, für lokalkonvexe Räume eine reichhaltige Dualitätstheorie aufzustellen, die für allgemeine topologische Vektorräume in dieser Form nicht gilt. Im Extremfall, siehe obiges Beispiel Lp([0,1]), ist das Nullfunktional das einzige stetige lineare Funktional.

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.

Wikimedia Foundation.

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

  • topologischer Vektorraum — topologischer Vẹktorraum,   ein Vektorraum (V, +, ·) über einem topologischen Körper K, der mit einer topologischen Struktur versehen ist, sodass die Addition V × V → V, (x …   Universal-Lexikon

  • Vektorraum — Vektoraddition und Multiplikation mit Skalaren: Ein Vektor v (blau) wird zu einem anderen Vektor w addiert (rot, oben). Unten wird w um einen Faktor 2 gestreckt, das Ergebnis ist die Summe v + 2·w. Ein Vektorraum oder linearer Raum ist eine… …   Deutsch Wikipedia

  • Vektorraum — Vẹk|tor|raum, der (Math.): Menge mit einer Addition u. Vervielfachung, für die bestimmte Rechengesetze gelten, u. Vektoren als Elemente. * * * Vẹktor|raum   [v ], linearer Raum, ein Tripel (V, +, ·) über einem Körper K, bestehend aus einer… …   Universal-Lexikon

  • Reeller Vektorraum — Vektorraum berührt die Spezialgebiete Mathematik Lineare Algebra Geometrie ist Spezialfall von Abelsche Gruppe Modul umfasst als Spezialfälle …   Deutsch Wikipedia

  • Unitärer Vektorraum — Vektorraum berührt die Spezialgebiete Mathematik Lineare Algebra Geometrie ist Spezialfall von Abelsche Gruppe Modul umfasst als Spezialfälle …   Deutsch Wikipedia

  • Normierter Vektorraum — Dieser Artikel erklärt neben den gleichbedeutenden Begriffen normierter Raum und normierter Vektorraum per Weiterleitung auch die Begriffe Norm (Mathematik), Vektornorm, Halbnorm (Seminorm), Operatornorm, Matrixnorm und Frobeniusnorm. normierter… …   Deutsch Wikipedia

  • Geordneter Vektorraum — Eine geordneter Vektorraum ist eine mathematische Struktur. Es handelt sich um einen Vektorraum, auf dem zusätzlich eine mit der Vektorraum Struktur verträgliche Ordnungsrelation gegeben ist, die man üblicher Weise mit bezeichnet (man liest… …   Deutsch Wikipedia

  • Euklidischer Vektorraum — Zunächst bezeichnet der Begriff euklidischer Raum den „Raum unserer Anschauung“ wie er in Euklids Elementen durch Axiome und Postulate beschrieben wird (vgl. euklidische Geometrie). Bis ins 19. Jahrhundert wurde als selbstverständlich davon… …   Deutsch Wikipedia

  • Metriken im Vektorraum — metrischer Raum berührt die Spezialgebiete Mathematik Topologie Geometrie Analysis hat Eigenschaften von topologischer Raum normaler Raum …   Deutsch Wikipedia

  • Dualer Vektorraum — Der (algebraische) Dualraum ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Zu einem Vektorraum V über einem Körper  K bezeichnet V * den zu  V gehörigen Dualraum, das heißt die Menge aller linearen Abbildungen von  V… …   Deutsch Wikipedia