マズールの補題

数学におけるマズールの補題（マズールのほだい、）はバナッハ空間の理論における結果の一つであり、バナッハ空間で弱収束する任意の列に対して、列の要素の凸結合から作られる列であって同じ極限に強収束するようなものがとれることを主張する。この補題を使ってを証明することができる。

補題の主張

(X, || ||) をバナッハ空間とし、 (un)n∈N はある X の要素 u0 に弱収束する X の要素の列とする:

つまり、X∗（ X の双対ベクトル空間）に属する任意の連続線形作用素 f に対し

であるとする。

このとき、ある関数 N : N → N と実数の有限集合の列

 

が存在して、凸結合

で定義された X の要素の列 (vn)n∈N が u0 に強収束する、つまり

となるようにできる。

参考文献
 

関数解析学
バナッハ空間
数学に関する記事