ソボレフ空間は分離可能であり、一様凸であり、反射的であることの証明ソボレフ空間は分離可能であり、一様凸であり、反射的であることの証明
定理
1≤p<∞ のとき、ソボレフ空間 Wm,p は 分離可能である。また、1<p<∞ のとき、ソボレフ空間は 反射的で一様凸である。
説明
内積が定義されているベクトル空間を内積空間と言い、完備な内積空間を特にヒルベルト空間と呼ぶ。Wm,p が完備であるため、以下のように内積を定義すれば、Wm, 2 は分離可能なヒルベルト空間となる。
⟨u, v⟩m=0≤∣α∣≤m∑⟨Dαu, Dαv⟩
このとき、⟨⋅,⋅⟩ は L2 空間での内積である。
証明
Wm,p にはノルムが定義されているため、距離空間となる。そして、Lp 空間は完備距離空間である。
補題
(X,d) を距離空間としよう。(Y,d’) を完備距離空間としよう。すると、等距離写像である埋め込み f:X→Y が存在する。
従って、以下のように等距離写像である埋め込みが存在する。
P:Wm,p→Lp
このとき、P(Wm,p)=W としよう。P が埋め込みであるため、W⊂Lp が成り立つ。また、Wm,p が完備であり、P が等距離写像であるため、W も完備である。
補題
M が完備距離空間だとしよう。S が M の部分空間だとしよう。すると、次の二つの命題が成り立つ:
- S は M の中で閉じている。
- S は完備である。
上記の定理により、W は Lp の閉じた部分空間である。
補題
X をバナッハ空間としよう。M を X の閉じた部分空間としよう。すると、
- M もバナッハ空間である。
- X が分離可能なら、M も分離可能である。
- X が反射的なら、M も反射的である。
- X が一様凸なら、M も一様凸である。
Lp 空間が 1≤p<∞ のとき分離可能で、1<p<∞ のとき一様凸で反射的であるため、上記の補題により W も 1≤p<∞ のとき分離可能で、1<p<∞ のとき一様凸で反射的である。
その一方で、P が埋め込みであるため、P=(Wm,p)=W と Wm,p は位相同型である。したがって、W が分離可能であれば、Wm,p も分離可能である。また、P が等距離写像であるため、一様凸の定義により、W が一様凸であれば Wm,p も一様凸である。
補題
一様凸なバナッハ空間は反射的である。
Wm,p はバナッハ空間であるため、Wm,p は反射的である。
■