見出し画像

書記が数学やるだけ#317 Heine–Borelの定理,最大値・最小値の定理

n次元ユークリッド空間において開区間はコンパクトでないことは以前に示した。今回は,n次元ユークリッド空間において閉区間はコンパクトであることについて,Heine–Borelの定理を証明することで示す。

以前の解説:


問題

スクリーンショット 2022-04-05 18.20.07


説明

n次元ユークリッド空間におけるコンパクト集合について,Heine–Borelの定理より有界閉集合であることと同値である。

スクリーンショット 2022-04-05 18.21.16


このことから,解析学で有名な最大値・最小値の定理が証明できる。

スクリーンショット 2022-04-05 18.22.36


解答

背理法によりコンパクトでないことを仮定して話を進める。

数学やるだけ解答#317_page-0001


区間縮小列を作ると,カントールの共通部分定理から共通部分の点が存在することが言える。

数学やるだけ解答#317_page-0002


しかし,そうすると有限被覆で覆えることになり,これは仮定に矛盾する。よって,n次元立方体はコンパクトである。

数学やるだけ解答#317_page-0003


これがわかると,ユークリッド空間においてコンパクトと有界閉集合が同値であることが言える。すると,ユークリッド空間では有界閉集合であればコンパクトの性質を使うことができ色々便利になる。

数学やるだけ解答#317_page-0004


最大値・最小値の定理は,上限・下限の存在から容易に示せる。

数学やるだけ解答#317_page-0005


最後に,今までの定理のふり返り。仮定による式変化がはまっていく感覚を覚えておきたい。

数学やるだけ解答#317_page-0006


本記事のもくじはこちら:


学習に必要な本を買います。一覧→ https://www.amazon.co.jp/hz/wishlist/ls/1XI8RCAQIKR94?ref_=wl_share