出典: フリー百科事典『ウィキペディア(Wikipedia)』
数学 におけるマズールの補題 (マズールのほだい、英 : Mazur's lemma )はバナッハ空間 の理論における結果の一つであり、バナッハ空間で弱収束 する任意の列に対して、列の要素の凸結合 から作られる列であって同じ極限に強収束するようなものがとれることを主張する。この補題を使ってトネリの定理 (英語版 ) を証明することができる。
補題の主張 [ 編集 ]
(X , || ||) をバナッハ空間とし、 (u n )n ∈N はある X の要素 u 0 に弱収束する X の要素の列とする:
u
n
⇀
u
0
as
n
→
∞
{\displaystyle u_{n}\rightharpoonup u_{0}{\mbox{ as }}n\to \infty }
つまり、X ∗ ( X の双対ベクトル空間 )に属する任意の連続線形作用素 f に対し
f
(
u
n
)
→
f
(
u
0
)
as
n
→
∞
{\displaystyle f(u_{n})\to f(u_{0}){\mbox{ as }}n\to \infty }
であるとする。
このとき、ある関数 N : N → N と実数 の有限集合の列
{
α
(
n
)
k
|
k
=
n
,
…
,
N
(
n
)
}
,
n
=
1
,
2
,
3
,
⋯
{\displaystyle \{\alpha (n)_{k}|k=n,\dots ,N(n)\},\ n=1,2,3,\cdots }
α
(
n
)
k
≥
0
,
∑
k
=
n
N
(
n
)
α
(
n
)
k
=
1
{\displaystyle \alpha (n)_{k}\geq 0,\ \sum _{k=n}^{N(n)}\alpha (n)_{k}=1}
が存在して、凸結合
v
n
=
∑
k
=
n
N
(
n
)
α
(
n
)
k
u
k
{\displaystyle v_{n}=\sum _{k=n}^{N(n)}\alpha (n)_{k}u_{k}}
で定義された X の要素の列 (v n )n ∈N が u 0 に強収束する、つまり
‖
v
n
−
u
0
‖
→
0
as
n
→
∞
{\displaystyle \|v_{n}-u_{0}\|\to 0{\mbox{ as }}n\to \infty }
となるようにできる。
参考文献 [ 編集 ]
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