ボレル=カンテリの補題
📂距離空間ボレル=カンテリの補題
定理
距離空間 (X,ρ) について、以下はすべて同等である。
(a) X はコンパクト空間である。
(b) X は順序的にコンパクトである。
(c) X は完備空間であり、全有界空間である。
説明
距離空間の X が順序的コンパクトsequentially compactであるとは、X内のすべてのシーケンスが、X内のある点に収束する部分列を持つことを意味する。Borel-Lebesgueの定理は、距離空間内でのコンパクトさのいくつかの必要十分条件を提供する。しかし、この名前はあまり有名ではなく、距離空間内でのコンパクトさの同等条件として紹介されることが多い。
証明
{xn}n∈N がX で定義されたコーシーシーケンスだとしよう。X が順序的にコンパクトであるならば、シーケンス {xn}n∈N は収束する部分列 {xnk}k∈N を持つ。言い換えれば、k→∞ のとき、ある x∈X に対してxnk→x であり、与えられた ε>0 に対して、i,j≥N が何であれρ(xi,xj)<ε/2 が成り立つように十分大きな N∈N を選ぼう。そして、
ρ(x,xN)≤==ρ(x,xnk)+ρ(xnk,xN)ε/2+ε/2ε
したがって、X は完備空間である。次に、X が全有界空間であることを示すために、X が有限個の半径 ε の球でカバーされないと仮定しよう。次のようなシーケンス {xn}n∈N を考える。
x1∈Xx2∈X∖Bρ(x1;ε)x3∈X∖Bρ(x1;ε)∖Bρ(x2;ε)⋮
このシーケンスは収束する部分列を持たないため、X が順序的にコンパクトであるという仮定に矛盾する。したがって、X は全有界空間でなければならない。
X⊂Bρ(y1(n);n1)∪⋯∪Bρ(ykn(n);n1)
を満たす有限なシーケンス Sn:={y1(n),⋯,ykn(n)} が存在する。ここで、X で定義された任意のシーケンス {xn}n∈N に対して、次の方法で収束する部分列 {zn}n∈N を直接見つけようとする。
S1 は有限集合なので、最後の要素 yk1(1) を特定でき、Bρ(yk1(1);11) は{xn}n∈N の点を無数に持っている。その中の一つを選んで z1∈Bρ(yk1(1);11) を定義する。同様に、s2 も有限集合なので、最後の要素 yk2(2) を特定でき、同じように z2∈Bρ(yk1(1);11)∩Bρ(yk2(2);21) を定義する。全ての m∈N に対して zk∈i=1⋂mBρ(yki(i);m1) を選べば、{zn} は自然にコーシーシーケンスになり、X が完備空間であるため、zn はX のある点に収束する。任意のシーケンス {xn}n∈N に対して収束する部分列 {zn}n∈N が存在することを示したので、X は順序的にコンパクトである。
(b) ⟹ (a)
X のオープンカバー {Ui:i∈I} と r>0 が与えられたとき、すべての i∈I に対して、Bρ(x;r)⊈Ui を満たすx∈X が存在すると仮定しよう。すると、すべての i∈I に対してBρ(xn;1/n)⊈Ui を満たすようなシーケンス {xn}n∈N を一つ選べるはずだ。X が順序的にコンパクトであるとは、シーケンス {xn}n∈N が収束する部分列 {xnk}k∈N を持つということである。つまり k→∞ のとき、x が属するオープンセット Ui0 が存在するはずだ。Ui0 はオープンセットなので、Bρ(x;r0)⊆Ui0 を満たす r0 が存在する。これに対して、ρ(x,xN)<r0/2 と 1/N<r0/2 を満たすような十分に大きな自然数 N∈N を選ぼう。もし y∈Bρ(xN;1/N) ならば、
ρ(x,y)≤<=ρ(x,xN)+ρ(xN,y)r0/2+r0/2r0
となり、y∈Bρ(x;r0)⊆Ui0 である。すなわち、
Bρ(xN;1/N)⊆Bρ(x;r0)⊆Ui0
これは矛盾であり、すべての x∈X に対していくつかの i∈I が Bρ(x,r)⊆Ui を満たすような r>0 が存在しなければならないことを意味する。** (b) ⟹ (c) **で順序的にコンパクトな空間は全有界であることが示されたので、X⊂i=1⋃nBρ(y1;r) を満たす有限の点 y1,⋯,yn∈X が存在する。もちろん、それぞれの yi はいくつかの ki∈I に対して Br(yi)⊂Uki であり、したがって {Uk1,⋯,Ukn} はオープンカバー {Ui:i∈I} の有限部分カバーとなる。したがって、X はコンパクトである。
■