Schwache Topologie

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

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.[1]

Gegeben sei ein lokalkonvexer Hausdorff-Raum wie beispielsweise ein normierter Raum, versehen mit der Normtopologie. Sei der Dualraum von .

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 auf als die Initialtopologie auf bezüglich definiert.[2] Sie ist somit die gröbste Topologie auf , so dass alle stetig sind. Als Initialtopologie besitzt sie die Subbasis

und wird durch diese eindeutig bestimmt.

Für den Zugang mittels einer Nullumgebungsbasis definiert man

,

wobei hier ist. Die schwache Topologie ist dann diejenige Topologie auf mit der Nullumgebungsbasis

und wird durch diese eindeutig bestimmt.[3]

Offene Mengen in der schwachen Topologie

[Bearbeiten | Quelltext bearbeiten]

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 der schwachen Topologie. Sie besteht aus Urbildern von offenen Mengen in unter den Elementen von . Alle Mengen in sind offen in der schwachen Topologie. Anschließend bildet man die Menge aller Schnitte von endlich vielen Mengen aus der Subbasis :

.

bildet dann eine Basis der schwachen Topologie und alle Mengen aus 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 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

ist offen in der schwachen Topologie für alle existiert ein , so dass ist.

Dies nutzt einerseits aus, dass eine Menge genau dann eine Umgebung eines Punktes ist, wenn sie eine Menge der Umgebungsbasis von enthält, und dass die Umgebungsbasis von im Falle der schwachen Topologie genau entspricht.

  • Die schwache Topologie macht zu einem lokalkonvexen Raum.
  • Die abgeschlossene Einheitskugel von ist genau dann schwach kompakt, wenn 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.

Bezeichnungen und Notation

[Bearbeiten | Quelltext bearbeiten]

Zur genaueren Abgrenzung von der schwachen Topologie wird die Topologie auch als Ausgangstopologie[4] bezeichnet, im Falle eines normierten Raumes auch als Originaltopologie, starke Topologie oder Normtopologie.[5]

Mengen aus der schwachen Topologie werden mit dem Präfix "schwach" gekennzeichnet. So heißt eine Menge

  • schwach abgeschlossen, wenn sie das Komplement einer Menge in der schwachen Topologie ist.
  • schwach kompakt, wenn zu jeder Überdeckung mit Mengen aus der schwachen Topologie eine endliche Teilüberdeckung existiert.

Ebenso ist der schwache Abschluss einer Menge die kleinste schwach abgeschlossene Menge, die enthält. Die weitere Benennung folgt diesem Schema.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Werner: Funktionalanalysis. 2011, S. 405.
  2. Kaballo: Aufbaukurs Funktionalanalysis und Operatortheorie. 2014, S. 150.
  3. Werner: Funktionalanalysis. 2011, S. 410–411.
  4. Kaballo: Aufbaukurs Funktionalanalysis und Operatortheorie. 2014, S. 175.
  5. Dobrowolski: Angewandte Funktionalanalysis. 2010, S. 55.