logo

ループの定理の証明 📂位相幾何学

ループの定理の証明

定義

O\mathscr{O} を距離空間 (X,d)(X,d) の開集合カバーとする。

全ての部分集合 AXA \subset Xsup{d(a,b)  a,bA}<ε\sup \left\{ d(a,b) \ | \ a,b \in A \right\} < \varepsilon を満たし、ある OOO \in \mathscr{O} に対して AOA \subset O を満たす場合、ε>0\varepsilon > 0O\mathscr{O} に対するルベーグ数lebesgue numberという。

定理 1

  • [1] ルベーグの補助定理: XX が集積点コンパクトなら、XX の全ての開集合カバー O\mathscr{O} に対してルベーグ数が存在する。
  • [2] ルベーグの定理: XX がコンパクトなら、XX の全ての開集合カバー O\mathscr{O} に対してルベーグ数が存在する。

ルベーグ数についての説明は複雑に思えるけど、直感的に考えればそれほど難しくない。というのも、ε>0\varepsilon > 0 という表記が使われていること自体、私達がよく知ってるものと似ているからだ。特に、ルベーグの名前が付いているものは距離空間に関するものだと理解するといい。

コンパクトなら集積点コンパクトだという事実を覚えていれば、どれが定理でどれが補助定理だったか混同することはない。

証明

[1]

全ての ε>0\varepsilon > 0 に対して、 Bd(x,ε)OO B_{d } ( x , \varepsilon ) \nsubseteq O \in \mathscr{O} を満たす xXx \in X が存在すると仮定する。

すると、全ての nNn \in \mathbb{N} に対して、 Bd(xn,1n)OO B_{d } \left( x_{n} , {{1 } \over {n}} \right) \nsubseteq O \in \mathscr{O} を満たす xnXx_{n} \in X が存在する。O\mathscr{O}XX の開集合カバーなので、Bd(xn,εn)OnB_{d} ( x_{n} , \varepsilon_{n} ) \subset O_{n} を満たす εn>0\varepsilon_{n} >0xnOnOx_{n} \in O_{n} \in \mathscr{O} が存在する。もし全ての 1m<εn\displaystyle {{1} \over {m}} < \varepsilon_{n} に対して xn=xmx_{n} = x_{m} ならば、 Bd(xm,1m)=Bd(xn,1m)Bd(xn,εn)On B_{d } \left( x_{m} , {{1 } \over {m}} \right) = B_{d } \left( x_{n} , {{1 } \over {m}} \right) \subset B_{d } \left( x_{n} , \varepsilon_{n} \right) \subset O_{n} となり、xnxmx_{n} \ne x_{m} が必要だ。つまり、{xn  nN}\left\{ x_{n} \ | \ n \in \mathbb{N} \right\} は無限集合であり、XX が集積点コンパクトなので、{xn  nN}\left\{ x_{n} \ | \ n \in \mathbb{N} \right\} は集積点 aXa \in X を持つ。O\mathscr{O}XX の開集合カバーなので、aOOa \in O \in \mathscr{O} を満たす開集合 OO が存在する。OO が開集合なので、Bd(a,δ)OB_{d} (a , \delta ) \subset O を満たす δ>0\delta > 0 が存在する。aa{xn  nN}\left\{ x_{n} \ | \ n \in \mathbb{N} \right\} の集積点なので、Bd(a,δ2)\displaystyle B_{d} \left( a , {{\delta} \over {2}} \right){xn  nN}\left\{ x_{n} \ | \ n \in \mathbb{N} \right\} の無限部分集合を含む。そのため、 1n0<δ2xn0Bd(a,δ2) {{1 } \over {n_{0}}} < {{\delta} \over {2}} \\ x_{n_{0}} \in B_{d} \left( a , {{\delta} \over {2}} \right) を満たす n0Nn_{0} \in \mathbb{N} が存在する。しかしながら、任意の zBd(xn0,1n0)\displaystyle z \in B_{d} \left( x_{n_{0}} , {{1} \over {n_{0}}} \right) に対して、 d(a,z)d(a,xn0)+d(xn0,z)<δ2+1n0<δ2+δ2=δ d (a,z) \le d(a, x_{n_{0}} ) + d ( x_{n_{0 }} , z) < {{ \delta } \over {2}} + {{1} \over {n_{0}}} < {{ \delta } \over {2}} + {{ \delta } \over {2}} = \delta となり、 Bd(xn0,1n0)Bd(a,δ)OO B_{d} \left( x_{n_{0}} , {{1} \over {n_{0}}} \right) \subset B_{d} (a,\delta) \subset O \in \mathscr{O} となるが、これは仮定に矛盾する。

[2]

XX が距離空間である場合、XX がコンパクトであることと集積点コンパクトであることは同等であるので、XX は集積点コンパクトである。[1] ルベーグの補助定理により、XX にはルベーグ数がある。


  1. Munkres. (2000). Topology(2nd Edition): p175. ↩︎