ドジソンの本棚

上の『大学数学』から数学記事検索が簡単にできます

ドジソンの本棚

本サイトはプロモーションを含みます

【関数解析】ノルム空間Xにおいてコンパクトならば完備であること

ここでは『ノルム空間Xにおいてコンパクトならば完備である』ことの解説、証明をします。
関数解析としていますが、解析・位相として見てくれても問題ないです。

証明の流れ

いきなり証明に入っても分からないかもしれないので、順に確認しながら見ていきましょう。

ノルム空間ならば?

ノルム空間ならば、距離空間の話になるので、コンパクトと点列コンパクトが同値になります。
これに関しては覚えておいてもよいでしょう。
ボルツァーノワイエルシュトラスの定理を見ておくとより理解できるはずです。

点列コンパクトならば?

点列コンパクトならば、任意の点列が収束する部分列を含むことがいえます。
これを使って証明をします。

完備であるのは

簡単に言うと、完備であるのは、任意のコーシー列が収束することです。

証明

上の確認のもと、証明を進めていきます。

まず、Xの任意のコーシー列\{f_n\}を用意します。

ノルム空間Xがコンパクト、すなわち点列コンパクトなので、
任意の点列が収束する部分列をもつため、\left\{ f_{n}\right\}の中のこれ(部分列)を\{f_{n_{k}}\}としましょう。
また、上はfに収束するものとします。(実際の証明では、ここはしっかりと書くようにしましょう)

なので、
任意のkに対し、
\left\| f_{k}-f\right\| \leq \left\| f_{k}-f_{n_{k}}\right\| +\left\| f_{n_{k}}-f\right\|
となることがわかります。

右辺はコーシー列であることと、収束する部分列をもつことを使い、それぞれ\dfrac{\varepsilon }{2}に対するものだとします。
すると、その和が\varepsilonとなるので、
\left\| f_{k}-f\right\| <\varepsilonが言えます。

よって、\left\{ f_{n}\right\}が収束する(コーシー列が収束する)といえたので、完備であるわけです。

証明終了。

大学生必見!

おすすめ紹介!

大学生の皆さん必見! 教科書や参考書、日用品の買い物は ハピタスを経由すると、超お得なんです!
例えば、楽天の買い物も『ハピタス』経由でさらにポイント上乗せがあります!
筆者も買い物の際はハピタスを活用しているんですよ♪

そこで、大学生必須のポイントサイト『ハピタスをあなたも使ってみませんか?
利用者440万人超えの人気サイトを使って、普段の生活をもっとお得にしましょう!

さらに、今ならなんと!1000円分のポイントがもらえます!
≫ハピタス(特典付き)

※上の招待リンクから登録後、メール認証で特典の対象となります。

おわりに&おすすめ

最後に、大学数学のおすすめ参考書まとめの記事を紹介します。
当サイトで人気記事となっていますので、よければ読んでみてください。

≫線形代数(初心者向け)
≫線形代数(上級者向け)
≫集合位相
≫複素関数
≫微分方程式
≫関数解析
≫洋書(初心者向け)
≫洋書(上級者向け)
≫LaTeX効率化・おすすめ本

『大学数学記事まとめ』は下から!
dodgson.hatenablog.com