A-U の距離化定理から Urysohn の距離化定理を導くこと
1923 年に距離化のための必要十分条件を与える Alexandroff-Urysohn の距離化定理、そして 1925 年に十分条件を与える Urysohn の距離化定理が世に出ました。言明を見ると、前者から後者はすぐには証明できそうにありません。かくして Urysohn の距離化定理で課されるよりも明らかに弱い基底の条件によって距離化を特徴付けたいという問題が現れました。この問題は Stone の定理「距離化可能空間はパラコンパクトである」に示唆を得て Bing と長田と Smirnov によって独立に解かれるのですが、今回は Alexandroff-Urysohn の定理から Urysohn の定理を証明することを試みます。2 通りの証明を与えます。行間多めです。
◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆
位相空間はすべて とする.
記号. 集合の部分集合族 に対し とする.これは対称的で結合的である.こうして新たに作られる部分集合族はもとの 2 つの部分集合族の細分になっている.*1
定義. 展開列 が近傍星型であるとは,その空間の開集合 とその元 について正整数 と の近傍 が存在して となることとする.
次の定理は Moore による出版されていない結果であると言われている.逆も成り立つ.
定理. 位相空間は近傍星型展開列をもつとき距離化可能である.
証明. を位相空間 の近傍星型展開列とする. の列は近傍星型展開列で包含関係において広義単調減少である. は最初からこのようなものであるとしてとってよい.
の元 は の元 が と交わるならば常に が被覆 のある元に包含されるとき, において「小さい」ということにしよう.
と定め,各正整数 について, を において小さい のすべての元からなる部分集合族とする.各 が を被覆するとすると,これが の正則展開列となることは容易にわかる.被覆となることを示そう.
数学的帰納法による.最初の場合は明らかである. を正整数, は を被覆するとし, とする. なる がある. の近傍 と整数 で, のとき常に となるようなものが存在する.このとき となるような整数 がとれる. となる をとると, は において小さい(確かめよ!).よって は を含む の元となる.これで帰納法は回り証明は完成する. //
Urysohn の定理の証明. を正則空間 の可算開基とするとき, なるすべての について と定めると,この可算集合を並べてできる列は近傍星型展開列となる. //
このようにして Alexandroff-Urysohn の定理から Urysohn の定理を示すことができた*2.次は Alexandroff-Urysohn の定理の記事で最後に述べた形を使うものである.正則第二可算ならば展開空間であることは上の証明のようにすればわかるので,全体正規であることを示せばよい.
定義. 集合 の部分集合族が星有限であるとは,その各々の元について,それと交わるような族の元が有限個しかないこととする.位相空間の星有限開被覆は局所有限である.
空間 の被覆 に対して となるような被覆 を の 細分という. 細分も同様である.
補題. を空間 の星有限開被覆, を各 について なる閉被覆とする.二元被覆 すべてのウェッジを と表わすとこれは の開 細分である(実は星有限にもなっている;というか本当はそっちがメイン).
証明. 空でない は により の形に書ける. は空でない有限集合である.これが開であることを示そう.
とするとこれも有限集合である.そして に対して となる.ゆえに でこれは開である.
とし, がこれを元として含むとする. を含む の元が に含まれることはないのでそれらはすべて に含まれる.つまり は の 細分である. //
定理. 正則 Lindelöf 空間は全体正規である*3.
証明. 任意の被覆に対して正則性から閉包の族がそれを細分する開被覆が,Lindelöf 性からその可算部分被覆が存在する.その各々の元についてそれを含むもとの被覆の元を 1 つずつとることで,可算開被覆 と可算閉被覆 で なるものがとれる.
に対して開集合 を となるようにとる.これは正規性より可能である. とおく.これは を被覆し,それぞれの閉包は次の番号のものに含まれる.
正整数 に対して とおく. は の閉被覆をなし なので も の閉被覆をなす.従って は開被覆で,しかも容易くわかるように星有限である.
補題より と にわたって二元被覆 すべてのウェッジをとるとこれが求める開 細分となる. //
これで示されるべきことはすべて示された.