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

補題の主張

編集

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

 

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

 

であるとする。

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

 
 

が存在して、凸結合

 

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

 

となるようにできる。

参考文献

編集
  • Renardy, Michael & Rogers, Robert C. (2004). An introduction to partial differential equations. Texts in Applied Mathematics 13 (Second ed.). New York: Springer-Verlag. pp. 350. ISBN 0-387-00444-0