Schwache Topologie

Die Schwache Topologie ist eine spezielle Topologie und im Grenzgebiet der beiden mathematischen Teilgebiete der Topologie und Funktionalanalysis anzusiedeln. Sie wird auf normierten Räumen oder allgemeiner auf lokalkonvexen Hausdorff-Räumen definiert.

Die schwache Topologie ist eng mit der schwachen Konvergenz verbunden. Jedoch kann es vorkommen, dass die Charakterisierung topologischer Eigenschaften durch Folgen (was bei der schwachen Konvergenz geschieht) nicht mit der rein topologischen Charakterisierung (wie sie bei der schwachen Topologie geschieht) zusammenfällt. So ist es möglich, dass abgeschlossene Mengen in der schwachen Topologie nicht schwach folgenabgeschlossen sind.

Definition

Gegeben sei ein lokalkonvexen Hausdorff-Raum $(X,\tau _{0})$ wie Beispielsweise ein normierter Raum, versehen mit der Normtopologie. Sei $X'$ der Dualraum von $X$.

Die schwache Topologie lässt sich auf zweierlei äquivalente Arten definieren: Entweder als Initialtopologie oder über die Angabe einer Nullumgebungsbasis.

Über den Zugang als Initialtopologie ist die schwache Topologie $\tau _{w}$auf $X$ als die Initialtopologie auf $X$ bezüglich $X'$ definiert. Sie ist somit die gröbste Topologie auf $X$, so dass alle $x'\in X'$ stetig sind. Als Initialtopologie besitzt sie die Subbasis

${\mathcal {S}}_{w}:=\{{x'}^{-1}(O)\mid O\subset \mathbb {K} {\text{ offen }},\;x'\in X'\}$

und wird durch diese eindeutig bestimmt.

Für den Zugang mittels einer Nullumgebungsbasis definiere

$U_{F,\varepsilon }=\{x\in X\mid x'(x)\leq \varepsilon {\text{ für alle }}x'\in F\}$,

wobei hier $F\subset X'$ ist. Die schwache Topologie ist dann diejenige Topologie auf $X$ mit der Nullumgebungsbasis

${\mathcal {U}}_{0}=\{U_{F,\varepsilon }\mid F\subset X',\;|F|{\text{ endlich }},\varepsilon >0\}$

und wird dirch diese eindeutig bestimmt.

Offene Mengen in der schwachen Topologie

Je nach Definition werden die offenen Mengen in der schwachen Topologie anders konstruiert.

Bei der Konstruktion als Initialtopologie bildet man zuerst die bei der Definition angegebene Subbasis ${\mathcal {S}}_{w}$ der schwachen Topologie. Sie besteht aus Urbildern von offenen Mengen in $\mathbb {K}$ unter den Elementen von $X'$. Alle Mengen in ${\mathcal {S}}_{w}$ sind offen in der schwachen Topologie. Anschließend bildet man die Menge aller Schnitte von endlich vielen Mengen aus der Subbasis ${\mathcal {S}}_{w}$:

${\mathcal {B}}_{w}:=\{A\subset X\mid A{\text{ ist Schnitt endlich vieler Mengen aus }}{\mathcal {S}}_{w}\}$.

${\mathcal {B}}_{w}$ bildet dann eine Basis der schwachen Topologie und alle Mengen aus ${\mathcal {B}}_{w}$ sind dann offen bezüglich der schwachen Topologie. Die schwache Topologie selbst besteht dann aus allen Mengen, die eine Vereinigung von (beliebig vielen) Mengen aus ${\mathcal {B}}_{w}$ sind.

Bei der Konstruktion über die Nullumgebungsbasis nutzt man aus, dass eine Menge genau dann offen ist, wenn sie Umgebung jedes ihrer Punkte ist. Somit gilt dann

$A$ ist offen in der schwachen Topologie $\iff$ für alle $x\in A$ existiert ein $U\in {\mathcal {U}}_{0}$, so dass $x+U\subset A$ ist.

Dies nutzt einerseit aus, dass eine Menge genau dann eine Umgebung eines Punktes $x$ ist, wenn sie eine Menge der Umgebungsbasis ${\mathcal {U}}_{x}$ von $x$ enthält, und dass die Umgebungsbasis ${\mathcal {U}}_{x}$ von $x$ im Falle der schwachen Topologie genau $x+{\mathcal {U}}_{0}$ entspricht.

Eigenschaften

• Die schwache Topologie macht $X$ zu einem lokalkonvexer Raum
• Die abgeschlossene Einheitskugel von $X$ ist genau dann schwach kompakt, wenn $X$ ein reflexiver Banachraum ist.
• In lokalkonvexen topologischen Vektorräumen sind abgeschlossene und konvexe Teilmengen schwach abgeschlossen.
• Der Satz von Eberlein–Šmulian stellt die Äquivalenz von Kompaktheit und Folgenkompaktheit bzgl. der schwachen Topologie auf Banachräumen fest.

Merkregel zum Begriff „schwach“ in der Funktionalanalysis

„Schwach“ bedeutet so viel wie „bzgl. aller stetigen Linearformen …“.

Beispiele:

• Eine Folge ist genau dann schwach konvergent, wenn sie bzgl. aller stetigen Linearformen konvergiert.
• Eine Menge ist genau dann schwach folgenkompakt, wenn jede Folge daraus eine bzgl. aller stetigen Linearformen konvergente Teilfolge besitzt.
• Eine Menge ist genau dann schwach beschränkt, wenn unter jeder der in Betracht gezogenen stetigen Linearformen die zugehörige Bildmenge eine beschränkte Menge innerhalb des zugrundeliegenden Körpers ist. Man beachte: Wegen des Satzes von Banach-Steinhaus ist jede schwach beschränkte Menge immer normbeschränkt.

Weblinks

• M.I. Voitsekhovskii: weak topology. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org). 
• Eric W. Weisstein: Weak Topology. In: MathWorld (englisch).

Literatur

• Winfried Kaballo: Aufbaukurs Funktionalanalysis und Operatortheorie. Distributionen – lokalkonvexe Methoden – Spektraltheorie. 1. Auflage. Springer-Verlag, Berlin/Heidelberg 2014, ISBN 978-3-642-37793-8, doi:10.1007/978-3-642-37794-5. 
• Hans Wilhelm Alt: Lineare Funktionalanalysis. 6. Auflage. Springer-Verlag, Berlin Heidelberg 2012, ISBN 978-3-642-22260-3, doi:10.1007/978-3-642-22261-0. 
• Dirk Werner: Funktionalanalysis. 7., korrigierte und erweiterte Auflage. Springer-Verlag, Heidelberg Dordrecht London New York 2011, ISBN 978-3-642-21016-7, doi:10.1007/978-3-642-21017-4.