Eine Topologie auf einer Menge X, die als die gröbste Topologie definiert ist, welche eine gegebene Familie von Abbildungen {f_i:X→Y_i} stetig macht; äquivalent zur initialen Topologie bezüglich dieser Familie, charakterisiert dadurch, dass Konvergenz über die Bilder unter diesen Abbildungen geprüft wird.

Prinzip

Man bildet die kleinste Topologie auf dem Träger, die die Stetigkeit der vorgegebenen Abbildungen erhält; offene Mengen und Konvergenz werden nur über diese Abbildungen gesteuert, was meist eine gröbere Topologie als stärkere uniforme Forderungen ergibt.

Demonstration

Auf einem Banachraum X ist die schwache Topologie σ(X,X*) die gröbste Topologie, die jede stetige lineare Funktionale ℓ∈X* stetig lässt; ein Netz x_α→x konvergiert schwach genau dann, wenn ℓ(x_α)→ℓ(x) für alle ℓ∈X*.

Fehlanwendung

Die schwache Topologie so zu behandeln, als bewahre sie alle metrischen oder uniformen Eigenschaften einer stärkeren Topologie (etwa die Normkonvergenz in einem Banachraum), führt zu falschen Schlüssen über Grenzwerte und Kompaktheit.

Konsequenz

Richtig angewandt bleiben die von der Familie bestimmten Abbildungen stetig und Konvergenz lässt sich über die Bilder prüfen; schwache Topologien vergrößern oft die Klasse der kompakten Mengen und erleichtern Dualitätsargumente.

Umkehrung

Die zugehörige starke (finale) Topologie wäre die feinste Topologie, die diese Abbildungen stetig macht; in Funktionräumen sind gleichmäßigere Konvergenztopologien normalerweise feiner als die schwache Topologie.

Abgrenzung

Hängt vollständig von der gewählten Abbildungsfamilie ab: trennt die Familie Punkte, ist die Topologie Hausdorff, sonst kann sie nicht-Hausdorff sein; die Konstruktion gilt allgemein, verleiht aber keine Metrik oder Vollständigkeit.

Semantische Spannung

Steht im Wettbewerb mit Begriffen wie weak*, Produkttopologie und der Unterscheidung punktweiser versus uniformer Konvergenz; das Adjektiv „schwach“ kann in verschiedenen Kontexten unterschiedliche Initialitätsbezüge haben.

Synthese

Die schwache Topologie ist die initiale Topologie zur gewählten Familie von Beobachtungen: minimal, um Stetigkeit und Konvergenz über diese Beobachtungen zu prüfen, wobei globale topologische Eigenschaften zugunsten lokaler Prüfgrößen geopfert werden.