Heine-Borelの被覆定理
カテゴリ:微積分
Heine-Borelの被覆定理とは
「閉区間を無限個の開区間で覆えるなら、無限個の開区間のうちから有限個の開区間で閉区間を覆える」
という定理です。
たぶんなにをいっているのかが、わからないと思うので例をあげて説明します。
開区間を開区間で覆う
はじめに開区間を開区間で覆ってみましょう。
ちなみに
のいみです。覆う際にたとえば
で覆うことができます。
では、無限個の開区間で覆うことはできないでしょうか?
もちろん、自然数において
という無限個の開区間で
を覆うことができます。しかし、この場合はの
だけで覆えます。このように無限個で囲んでも、有限個を選べば覆えてしまうものはいけないことにします。
そこで考えると自然数における開区間
で
を覆えることがわかります。実際に開区間の任意の点
はを
と選んでやれば開区間に入ります。
しかも、もし開区間のうち有限個をえらぶと
を囲うことができません。
なぜなら、最大のを
とすれば、
となるを覆うことができないからです。
いじょうのことより、開区間は無数の開区間で覆えることがわかります。
閉区間を無数の開区間で覆えるか
では続いて閉区間を無数の開区間で覆えるかについて考えてみます。
たとえば
を開区間で覆えるか考えてみてください。がんばって考え
と開区間を選んでも、これでは0や1を覆えないのでだめです。
次に
とすると、の開区間だけで覆えるのでだめです。
どうやら
閉区間を無数の開区間で覆うと、有限個の開区間で閉区間を覆える
というかんじになりそうです。
これがHeine-Borelの被覆定理です。
Heine-Borelの被覆定理の証明
では、Heine-Borelの被覆定理について述べます。
定理11. わくのない無数の円の一組が、全体として有界な閉集合Fを覆うなら、Fは有限個の円を選んで覆うことができる。
説明では一次元でやりましたが、ここでは二次元でのべています。
わくのない無数の円=開区間
閉集合F=閉区間
と考えてください。では証明します。
【証明】
背理法で証明します。
そこで、仮に定理11が正しくないとします。
すると、Fを含む一つの正方形Qをとって、正方形を4つの正方形に4等分すると、それらのうち少なくとも一つの正方形において定理11は正しくありません。
と
の共通部分を
とします。
そして、どうようの作業をへおこなうと
ができます。
であり4等分されていくのでは限りなく小さくなります。
ここで定理10を使うとすべてのにふくまれる点が一点存在します。
これをとおきます。
は
に含まれるので、
はあたえられた円のある一つに含まれます。
しかし、十分に大きいにおいて
はその円内に含まれます。
このことが、を含む任意の円で成り立ち、有限個の円で覆うことがきることを意味します。
これはにおいて定理11が真でないことに矛盾します。
よって、定理11は真であることが証明されます。
著者:安井 真人(やすい まさと)
@yasui_masatoさんをフォロー