Alexandroff-Urysohn の距離化定理
以前紹介した Urysohn の距離化定理は初等的な距離化定理として有名ですが、あれが最初の距離化定理というわけではありません。今回は最初の距離化定理といわれている定理の話をします。
位相空間はすべて とする.
距離の公理の第三のもの,いわゆる三角不等式について,典型的な議論ではフルパワーで用いられていないと感じはしないだろうか.典型的な議論というのは, について添字が隣り合うものの距離が十分小さくできれば も十分小さくできる,というようなものである.これは三角不等式を次のもので置き換えてもできる.
3 点 に対して, となる.
だが実は三角不等式の代わりにこの条件を満たす「距離関数」により位相を定めた空間は自然なやり方で距離空間となる.
定理.(Chittenden) 集合 に対し次の条件を満たす関数 が存在するとする.
i) について
ii) について
iii) について
このとき任意の について となるような距離関数 が存在する.
証明. を の点とすると
である.これを示そう.背理法による.
(1) が成り立たない最小の の値があるので,それを とする.条件 iii) より
であるから である.
となるような が存在し,各 について または のどちらかが成り立つ.後者の式を (2) とおく.
とすると であったから (2) が成り立つ.同様に とすると (2) は成り立たない.(2) が成り立つような の最大値を とする.,, となる.よって である.
に対して (1)は成り立つので
であり,辺々足して先の不等式と併せることで
となり,これは矛盾である.よって示された.
について, とする.ただし下限はすべての正整数 とすべての の選び方にわたる.すると上の主張より である. は明らかに距離の公理をすべて満たす. //
定義. を集合 の部分集合族, とするとき, とおき,これを の に関する星という. が 1 点集合 のとき中括弧を省略して書く.位相空間 において被覆の列 は任意の について が の近傍基をなすとき被覆の基本列であるという[ここだけの用語である].開被覆からなる被覆の基本列は展開列と呼ばれる[こっちはいくらか一般的な用語,児玉永見に載っていた development の訳語].展開列をもつ空間を展開空間という.
1923 年 Alexandroff と Urysohn は上の命題を用いて次の定理を証明し発表した.最初の距離化定理として知られている.
定理.(Alexandroff-Urysohn) 位相空間が次の条件をみたすような被覆の基本列 をもつとする.
(正則性) ,, ならば であって となるようなものがある.
このとき は距離化可能である.
証明. とおく. について, を となるような が存在するような非負整数すべてにわたるとして とする. が Chittenden の定理の ii) を満たすことは明らかである. が基本列をなすことから i) も満たされ各点でこの による 近傍は近傍基をなす.iii) は正則性から従う.
よって Chittenden の定理より は距離化可能である. //
すべての 近傍からなる被覆を考えることで,逆も成り立つことが知られる.
ここで構成される距離は次のようなものとして記述できる.ある点から,全体集合という一元集合を 0 番目として付け加えた被覆の基本列で 番目のものに属する元でその点と別のある点を含むものをとって,その別の点に,コスト を支払うことで移動できるとし,2 点間の距離はこのような移動の繰り返しで片方から他方へ行くのにかかるコストの合計の下限として定まる.
上の証明からは定理として言明したより多くのことがわかる.たとえば,三角不等式を満たすと限らない「距離関数」が各点で 近傍を近傍基とすることで位相を定めているような空間は半距離空間と呼ばれるが,正則展開空間(Moore 空間と呼ばれる)は半距離空間であることがわかる.さらに一様空間論を被覆系を用いて展開するときなどに中心的な役割を果たす「ゲージ化補題」(誰が呼んだか知らないが)において問題となる擬距離(異なる点に対して 0 を返しうる「距離関数」; 近傍が開であることも課しておこう)はまさに上のようにして構成される.
記号. 集合 の部分集合族 について , とおく.
定理.(ゲージ化補題) を (細分する)なる空間 の開被覆の列とする.このとき X の擬距離 が存在して,そのすべての 近傍がなす被覆 が各 について ならしめる. //
記号を導入したついでに Alexandroff-Urysohn の定理の別の形も紹介しよう.
定義. 空間 の任意の開被覆 に対しある開被覆 が存在して となるとき は全体正規であるという.
定理. 全体正規展開空間は距離化可能である. //
「第一可算っぽい」性質と「全体正規っぽい」性質を併せると距離化可能が出ると言明する定理はよく見る.これはその代表例と言えよう.Bing や Arhangel'skii などによるより強い結果も知られている.ちなみに全体正規空間はパラコンパクトでありパラコンパクト Hausdorff 空間は全体正規である.