何か適当に数学する4
\(\ell^p\)の完備性
今回は,\(\ell^p\)の完備性について触れたいのですが,その前に今更ですが復習も兼ねて色々と基本事項を確認しましょう.
上では\(\cdot\)で書きましたが,省略することが多いです.また,スカラー倍が\(\mathbb{C}や\mathbb{R}\)でなく通常の体でも構いません.
また前回軽く述べましたが,\(\ell ^p\)は\(x=\{x_i\}_{i=1}^{\infty},\ y=\{y_i\}_{i=1}^{\infty}\in\ell^p,\ k\in\mathbb{C}\)に対して,
- 和\(\colon x+y=\{x_i+y_i\}_{i=1}^{\infty}\)
- スカラー倍\(\colon kx=\{kx_i\}_{i=1}^{\infty}\)
と定義すると,Minkowskiの不等式の時述べたように,きちんと和に関して閉じていて,スカラー倍も明らかに閉じているので,ベクトル空間となります.
次にノルムの定義についてです.
上の定義を見れば,こないだ定義した\(\ell^p\)-ノルムはきちんと\(\ell^p\)上のノルムになっていることがわかりますね.(三角不等式はMinkowskiの不等式そのものですし.)
形を見ると,絶対値の一般化みたいになっているのがわかるので,実数体のときと同様にCauchy列や収束列の定義がノルムベクトル空間ではできます.
従って,当然完備性を定義することができます.
Completeと聞くと何が完全なのかがよくわかりづらいですが,どちらかというとたっぷり詰まってるとか,満タンな状態と言ったほうが近いかもしれません.
とりあえず,基本事項は多分これだけで十分だと思いますので,いよいよ\(\ell^p\)の完備性を示していきましょう.
proof
証明ですが,Cauchy列を取らないと始まらないので,\(\ell^p\)上のCauchy列を\(\{x_n\}_{n=1}^{\infty}\)とします.
なぜわざわざ強調したかというと,これは初めてやる人にとっては非常に混乱の元だからです.\(\ell^p\)上のCauchy列ということは,列の項ひとつひとつが数列なんです.
だから第\(n\)項目\(x_n\)を取り出してみるとコイツ自身が数列なので,ちゃんと書くなら\(x_n=\{x_i^{(n)}\}_{i=1}^{\infty}\)という感じになっているわけですが,これではあまりにもややこしいので,
各\(n\in\mathbb{N}\)に対して,数列\(x_n\)の項は通常のベクトルと同じように,\(x_n=(x_1^{(n)},x_2^{(n)},\cdots )\)と書く事にして,
例えば\(x_n\)の1番目の項のことを\(n\)番目の第\(1\)成分ということにすれば,ごちゃつかないと思うのでそれでいきましょう.
さて,長々と注意したところで,まずCauchy列の定義から,
\[\forall\varepsilon>0,\ \exists N\in\mathbb{N};\ \forall n,m\geq N\Rightarrow\|x_n-x_m\|_{\ell^p}<\varepsilon\] が成り立ちます.
ここで,\(j\in\mathbb{N}\)をひとつ固定します.このとき,上のことから次が成り立ちます: \[n,m\geq N\Rightarrow \mid x_j^{(n)}-x_j^{(m)}\mid=\Bigl(\mid x_j^{(n)}-x_j^{(m)}\mid^p\Bigr)^{\frac{1}{p}}\leq\Bigl(\sum_{i=1}^{\infty}\mid x_i^{(n)}-x_i^{(m)}\mid^p\Bigr)^{\frac{1}{p}}=\|x_n-x_m\|_{\ell^p}<\varepsilon\]
これは何を意味するかというと,ある番号\(N\)より先の\(n\)番目の第\(j\)成分と,\(m\)番目の第\(j\)成分の差が,任意の正の数\(\varepsilon\)で抑えられるということなのでつまり,\(\{x_j^{(n)}\}_{n=1}^{\infty}\)は\(\mathbb{C}\)上のCauchy列であるということになります.
大事なのは\(\mathbb{C}\)上のというところで,なぜならば,\(\mathbb{C}\)は完備なので,上の列,すなわち,1番目,2番目・・・とすべての列の第\(j\)成分を集めてきて並べた数列は収束列になります.
従って,各\(j\in\mathbb{N}\)に対して,ある\(x_j\in\mathbb{C}\)が存在して,\(x_j^{(n)}\to x_j\ (as\ n\to\infty)\)となります.
よって,これらをすべて1から並べたものを,\(x=(x_1,\ x_2\cdots )\)とします.実はこいつが最初にとったCauchy列の収束先になります.次はそれを示します.
step1:\(\|x-x_n\|_{\ell^p}\to 0\ (as\ n\to \infty)\)
まず,\(x_n\)が\(x\)に\(\|\cdot\|_{\ell^p}\)に関して,収束することを示します. 今,任意の\(k\in\mathbb{N}\)に対して,\[S_n(k)=\Bigl(\sum_{i=1}^{k}\mid x_i-x_i^{(n)}\mid^p\Bigr)^{\frac{1}{p}}\] と置き,\(n\geq N\)となるように任意に固定するとき, \[\Bigl(\sum_{i=1}^{k}\mid x_i^{(m)}-x_i^{(n)}\mid^p\Bigr)^{\frac{1}{p}}\to S_n(k)\ (as\ m\to\infty)\]
となるから,\[\Bigl(\sum_{i=1}^{k}\mid x_i^{(m)}-x_i^{(n)}\mid^p\Bigr)^{\frac{1}{p}}\leq\|x_m-x_n\|<\varepsilon\ (n,m\geq N)\] に注意すれば,任意の\(n\geq N\)に対し, \[s_n(k)\leq\varepsilon\] が成り立って.さらに,\(s_n(k)\leq s_n(k+1)\)より,\(k\)に関して,単調増加かつ,上に有界であるから,\(k\to\infty\)としたときに収束するので,上の関係式から, \[s_n(k)\to \Bigl(\sum_{i=1}^{\infty}\mid x_i-x_i^{(n)}\mid^p\Bigr)^{\frac{1}{p}}=\|x-x_n\|_{\ell^p}\leq\varepsilon\] となって,これは\(\|x-x_n\|_{\ell^p}\to 0\ (as\ n\to \infty)\)を意味します.
step2:\(x\in\ell^p\)
上のことで多方話は終わったのですが,最後に\(x\in\ell^p\)を示す必要があります.ですがこれは簡単で,任意の\(k\in\mathbb{N}\)に対して,
\[\Bigl(\sum_{i=1}^{k}\mid x_i\mid^p\Bigr)^{\frac{1}{p}}\leq \Bigl(\sum_{i=1}^{k}\mid x_i-x_i^{(n)}\mid^p\Bigr)^{\frac{1}{p}}+\Bigl(\sum_{i=1}^{k}\mid x_i^{(n)}\mid^p\Bigr)^{\frac{1}{p}}\] がMinkowskiの不等式より成り立つので,両辺を\(k\to\infty\)とすれば, \[\|x\|_{\ell^p}\leq\|x-x_n\|_{\ell^p}+\|x_n\|_{\ell^p}<\infty\] となるので,以上より,\(x\in\ell^p\)がわかったので,\(\ell^p\)の完備性が示されたことになります. \(\Box\)
以上で,完備性については終わります.で,なんでこいつの話をしたかって言うと,コイツ自身も割とよく出てくるし大事ってのもあるんですが,本当は\(L^p\)をやろうと思ってたんですけど,測度の話をしていいのかよくわからなかったのでこれにしたというのが本音です.
次回は,せっかくなので\(\ell^p\)の可分性にでも触れようかなと思います.それではここまで読んでいただきありがとうございました.
間違い等ございましたらコメントかTwitterにて指摘してくださると幸いです.