Satz von Mazur (Schwache und starke Konvergenz)

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

Bearbeiten

  sei ein normierter Vektorraum und   eine gegen   schwach konvergente Folge. Dann existiert eine Folge   von Konvexkombinationen der   (d. h.   mit  ), so dass   stark (also bzgl. der Norm von  ) gegen   konvergiert.

Beweisskizze

Bearbeiten

Man benötigt zwei Resultate aus der Funktionalanalysis: (1) In lokalkonvexen 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   (die sog. konvexe Hülle). Deren Norm-Abschluss ist wieder konvex (2), damit ist die abgeschlossene konvexe Hülle der   schwach abgeschlossen (1). Nun ist   als schwacher Grenzwert von Elementen aus der abgeschlossenen konvexen Hülle ein Element dieser. Damit muss   Grenzwert einer Folge von Konvexkombinationen der   sein.