Urysohn の距離化定理とその周辺 その 1
この記事は春のつどいと先日のクリスマスセミナーで話した内容を書き起したものの前半です。定理を証明します。後半では(反)例を挙げます。Urysohn はふつうドイツ式で「ウリゾーン」と読まれるようですが私はロシア式で「ウリソーン」と読んでいます。この記事は主に寺澤順『トポロジーへの招待』を参考に書かれました。
◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆
距離化定理について述べるにあたって,「距離空間」と「距離化可能空間」は異なるということに注意しておく.距離化可能空間には確かにその位相を定める距離が存在するが,それがどんなものとは指定されていないからである.
位相空間が距離化可能,すなわちそれに同相な距離空間が存在するような空間だからと言って,その上の実数値連続関数が一様連続かどうか,点列が Cauchy 列かどうか,部分集合が有界かどうかなどが決まるわけではない.
距離空間 において, について とすると は距離の公理を満たし である.そして は常に有界である.
the metric が存在するのが距離空間,a metric が存在するのが距離化可能空間といえる.
ではなぜ距離化問題を考えるのか.
距離化可能空間は位相空間としていい性質を持っている.例えば第 1 可算である.関数 は連続で,その零点の集合は である.よってすべての閉集合はなんらかの実数値連続関数の零点の集合となる(このような空間は完全正規であるという).この関数は距離の取り方に依存するが,ピッタリその上で値 0 をとる関数の存在は距離の取り方に依存しないことに注意せよ.さらにパラコンパクトと呼ばれる性質も持っている.名前くらいは聞いたことがあるだろう.
距離化可能空間はその各々がいい性質を持つばかりでなく,いいクラスをなしもする.部分空間や可算積で保存されるという性質を持つのだ.実際 を可算無限個の距離空間とすると の 2 点 について とすればこの距離は積位相を定める.
いいクラスには特徴づけか十分条件がほしいものである.定義の「同相な距離空間の存在」というのはより大きな情報を持つ構造を必要としていて,使いやすい条件とは言えない.Urysohn の定理は空間の中の情報だけから(その上の被覆列の存在とかを要さず)距離化可能性を導いているのですごい.以下,空間は とする.
例.
において を開基として指定する.これが開基をなすことは手頃な演習問題である. は可算集合で,開かつ閉集合からなる.
定義.
開かつ閉集合からなる開基をもつ空間を 0 次元であるという.
次元というのも定義できるが,ここではしない.
を で定める. を で定める.これは連続である.像を とする.
による の逆像は で,これは開である. なので距離化可能となる.
は孤立点をもたないが,ここで実は次の定理が成り立つ.証明はしない.
定理(Sierpiński).
可算無限個の点からなる孤立点をもたない距離化可能空間は に同相である. //
定理.
を第 2 可算空間の開基とすると となるような開基 が存在する.
証明
を可算開基とする. に対して となるような が存在する場合その 1 つを とすると は の部分集合から への写像となり,その像は可算開基をなす.(発表の際証明が立ちゆかないように思えたがよく考えたら問題なかった.やってみてね) //
系
0 次元第 2 可算空間は に埋め込むことができる. //
なお は 0 次元第 2 可算である.このような空間は 0 次元第 2 可算空間の万有空間であるという.
今 0 次元空間を に埋め込んだように空間を に埋め込むことで距離化を考えたい.上の議論で開かつ閉集合,すなわちゼロイチ 2 点集合への連続写像による の逆像が開基をなしていたように,単位閉区間への連続写像による の逆像が開基をなせばよさそうである.
定義. 位相空間 が完全正則であるとはすべての点 とすべての開集合 について連続関数 が存在して となることとする.
定理.
完全正則第 2 可算空間は に埋め込むことができる.ただし は単位閉区間を表わす.
証明.
の元 に対して とする.これは開である. を開集合, をその点とすると なる関数 が存在する.このとき となる.よって は開基をなす.その可算部分開基を とする.
とする. とする. となるような開集合 がある. なる がある. より で,よって は単射となる.
の像を とすると より となる. //
次にこの「完全正則」の部分を「正則」に弱め(正則は自明に完全正則より弱い条件である)たい.その前に正規が完全正則を含意することを見る.次の定理は Urysohn の補題と呼ばれる大定理の帰結として述べられるのがふつうであるが,先にこちらを証明して Urysohn の補題を系として導くこともできる.春のつどいでは証明を行ったがついて来れた人は少なかったようである.図がないとわかりづらいので後日述べることにしたい.
定理.
を正規空間 の閉部分集合とする. とすると が存在して となる. //
系.
正規空間は完全正則である. //
実際,一点で 1 開近傍の外で 0 として定義した閉部分集合上の関数は連続で,よって全体へ拡張する.
次に,第 2 可算ならば満たされるある条件のもとで正則と正規が一致することを見る.
定義.
空間 が Lindelöf であるとは, のすべての開被覆が可算部分被覆をもつことである.
第 2 可算空間は Lindelöf である.また可算個の点からなる(より一般に,コンパクトな)空間も Lindelöf である.
定理.
正則 Lindelöf 空間は正規である.
証明.
を閉とする.正則性と Lindelöf 性より , となるような開集合 が存在する. と はそれぞれ を含む交わらない開集合である. //
以上より次の定理が示された.
定理.
正則第 2 可算空間は に埋め込むことができる.特に,距離化可能である. //
◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆
後半では、色々な例を通して正則空間にはやばいものが多くあることや正規空間のクラスはあまりいい性質をもたないことを見ます。そうすることでこの定義が人工的に見える完全正則空間というものがいいやつであることがわかってくるというわけです。