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 $\mathbb {K} \in \{\mathbb {R} ,\mathbb {C} \}$. Ein $\mathbb {K}$-Vektorraum $E$, der zugleich topologischer Raum ist, heißt topologischer Vektorraum, wenn folgende Verträglichkeitsaxiome gelten:

• Die Vektoraddition $E\times E\to E$ ist stetig,
• Die Skalarmultiplikation $\mathbb {K} \times E\to E$ ist stetig.

Bemerkungen

• Es ist wichtig, dass die beiden genannten Abbildungen nicht nur komponentenweise stetig sind.
• Manchmal wird auch zusätzlich gefordert, dass $E$ ein Kolmogoroff-Raum (d. h. T₀-Raum) ist, also verschiedene Punkte stets topologisch unterscheidbar sind. Daraus folgt für topologische Vektorräume bereits die Hausdorffeigenschaft (d. h. T₂-Raum).
• $(E,+)$ ist eine topologische Gruppe.
• Für einen topologischen Vektorraum $E$ lässt sich in sinnvoller Art und Weise der topologische Dualraum $E'$ erklären.
• 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.

Beispiele

• Die wichtigsten Beispiele sind die normierten Vektorräume, darunter die Banachräume. Wichtige konkrete Beispiele sind hier der Euklidische Vektorraum, die $L^{p}$-Räume (mit $1\leq p\leq \infty$) und Sobolev-Räume.

• Allgemeinere Beispiele sind die lokalkonvexen Räume, darunter die Fréchet-Räume. Wichtige konkrete Beispiele sind hier die Räume der Distributionentheorie, also ${\mathcal {D}}\left(\Omega \right)$, ${\mathcal {S}}\left(\Omega \right)$, ${\mathcal {E}}\left(\Omega \right)$, ${\mathcal {E}}'\left(\Omega \right)$, ${\mathcal {S}}'\left(\Omega \right)$ und ${\mathcal {D}}'\left(\Omega \right)$.

• Die Menge $\textstyle \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 $\textstyle 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,\mu )$ ein Maßraum und $0<p<1$. Dann macht die Metrik $\textstyle d_{p}(f,g):=\int _{X}|f(x)-g(x)|^{p}\mathrm {d} \mu (x)$ den L^p-Raum $L^{p}(X,\mu )$ zu einem topologischen Vektorraum, der im Allgemeinen nicht lokalkonvex ist. Ist $X={\mathbb {N} }$ und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} das Zählmaß, so erhält man das obige Beispiel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^p} . Der Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p([0,1])} besitzt außer dem Nullfunktional kein weiteres stetiges lineares Funktional.

• Jeder Vektorraum ist mit der chaotischen Topologie, das heißt 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 R₀-Raum und erfüllt das Trennungsaxiom T₃ (in der Bedeutung, dass T₀ 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} gilt: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ist T₀ Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Leftrightarrow} Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ist T₁ Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Leftrightarrow} Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ist T₂ Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Leftrightarrow} Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ist ein Tychonoff-Raum.
• Jeder topologische Vektorraum besitzt eine Nullumgebungsbasis aus abgeschlossenen und ausgewogenen Mengen. Nach dem Normierbarkeitskriterium von Kolmogoroff ist ein hausdorffscher topologischer Vektorraum genau dann normierbar, wenn er eine beschränkte und konvexe Nullumgebung besitzt.
• 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p([0,1])} , ist das Nullfunktional das einzige stetige lineare Funktional.

Siehe auch

• Topologische Algebra

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.