logo

ソボレフ空間は分離可能であり、一様凸であり、反射的であることの証明

ソボレフ空間は分離可能であり、一様凸であり、反射的であることの証明

定理1

1p<1\le p <\infty のとき、ソボレフ空間 Wm,pW^{m, p}分離可能である。また、1<p<1< p < \infty のとき、ソボレフ空間は 反射的一様凸である。

説明

内積が定義されているベクトル空間を内積空間と言い、完備な内積空間を特にヒルベルト空間と呼ぶ。Wm,pW^{m, p} が完備であるため、以下のように内積を定義すれば、Wm, 2W^{m,\ 2} は分離可能なヒルベルト空間となる。

u, vm=0αmDαu, Dαv \langle u,\ v \rangle_{m} = \sum \limits_{0\le |\alpha | \le m } \left\langle D^\alpha u,\ D^\alpha v \right\rangle

このとき、,\langle \cdot, \cdot \rangleL2L^2 空間での内積である。

証明

Wm,pW^{m, p} にはノルムが定義されているため、距離空間となる。そして、LpL^{p} 空間は完備距離空間である。

補題

(X,d)(X, d) を距離空間としよう。(Y,d)(Y,d’)完備距離空間としよう。すると、等距離写像である埋め込み f:XYf : X \to Y が存在する。

従って、以下のように等距離写像である埋め込みが存在する。

P:Wm,pLp P : W^{m, p} \rightarrow L^{p}

このとき、P(Wm,p)=WP(W^{m, p})=W としよう。PP が埋め込みであるため、WLpW \subset L^{p} が成り立つ。また、Wm,pW^{m, p} が完備であり、PP が等距離写像であるため、WW も完備である。

補題

MM が完備距離空間だとしよう。SSMM の部分空間だとしよう。すると、次の二つの命題が成り立つ:

  • SSMM の中で閉じている。
  • SS は完備である。

上記の定理により、WWLpL^{p} の閉じた部分空間である。

補題

XX をバナッハ空間としよう。MMXX の閉じた部分空間としよう。すると、

  • MM もバナッハ空間である。
  • XX が分離可能なら、MM も分離可能である。
  • XX が反射的なら、MM も反射的である。
  • XX が一様凸なら、MM も一様凸である。

LpL^{p} 空間が 1p<1 \le p < \infty のとき分離可能で、1<p<1 < p < \infty のとき一様凸で反射的であるため、上記の補題により WW1p<1 \le p < \infty のとき分離可能で、1<p<1 < p < \infty のとき一様凸で反射的である。

その一方で、PP が埋め込みであるため、P=(Wm,p)=WP=(W^{m, p})=WWm,pW^{m, p}位相同型である。したがって、WW が分離可能であれば、Wm,pW^{m, p} も分離可能である。また、PP が等距離写像であるため、一様凸の定義により、WW が一様凸であれば Wm,pW^{m, p} も一様凸である。

補題

一様凸なバナッハ空間は反射的である。

Wm,pW^{m, p} はバナッハ空間であるため、Wm,pW^{m, p} は反射的である。


  1. Robert A. Adams and John J. F. Foutnier, Sobolev Space (第2版, 2003), p61-62 ↩︎