Satz von Masur

Der Satz von Mazur (nach Stanisław Mazur) ist ein Satz aus der Funktionalanalysis, der einen Zusammenhang zwischen der schwachen und der starken Konvergenz angibt. Aus den Definitionen folgt sofort, dass jede stark konvergierende Folge auch schwach konvergiert, hingegen ist die schwache Konvergenz kein hinreichendes Kriterium für die starke Konvergenz. Der Satz von Mazur stellt nun fest, dass man aus Konvexkombinationen von Gliedern einer schwach konvergenten Folge eine stark konvergente Folge konstruieren kann.

Formulierung des Satzes

X sei ein normierter Vektorraum und $(x_n)_{n\in \mathbb{N}}$ eine gegen $x\in X$ schwach konvergente Folge. Dann existiert eine Folge y_n von Konvexkombinationen der x_n (d.h. $y_n=\sum_{k=1}^N\lambda_{k,n} x_k$ mit $\sum_{k=1}^N\lambda_{k,n} =1, \lambda_{k,n}\geq 0$), so dass y_n stark (also bzgl. der Norm von X) gegen x konvergiert.

Beweisskizze

Man benötigt zwei Resultate aus der Funktionalanalysis: (1) In lokal konvexen topologischen Vektorräumen sind abgeschlossene und konvexe Mengen schwach abgeschlossen. (2) Außerdem ist der Norm-Abschluss konvexer Mengen wieder konvex.

Jeder normierte Vektorraum ist ein lokalkonvexer topologischer Vektorraum.

Betrachte also die Menge aller Konvexkombinationen der x_n (die sog. konvexe Hülle). Deren Norm-Abschluss ist wieder konvex (1), damit ist die abgeschlossene konvexe Hülle der x_n schwach abgeschlossen (2). Nun ist x als schwacher Grenzwert von Elementen aus der abgeschlossenen konvexen Hülle ein Element dieser. Damit muss x Grenzwert einer Folge von Konvexkombinationen der x_n sein.