パラコンパクト多様体の距離化可能性への旅
パラコンパクト Hausdorff な局所 Euclid 位相空間(位相多様体)が距離化可能であることを、いくつかの距離化定理を経由して示します。10 日くらい前の記事で証明した Moore の距離化定理を出発点とします。
空間はすべて とする.
次は Moore の距離化定理の直接の系である.森田の定理と呼ばれることがある.またこの定理から Moore の定理を導くことも容易であることからか,この定理を Moore の定理と言うこともある.
定理 1. 各点 で が基本近傍系をなすような開被覆の列 が存在するとき は距離化可能である. //
この定理から次の定理が導かれる.
定理 2(Jones). の開被覆の列 であって,少なくとも一方はコンパクトな 2 つの閉集合 に対してある が存在して となるようなものが存在するとき, は距離化可能である.
証明. 先の記事でしたように,開被覆の列は包含について減少列であるとしてよい.
を開集合 の点とする.各正整数 について , , なる が存在すると仮定する. を の点とする.
は に収束する. とする.この 2 つは閉集合で はコンパクトである.各 について と のどちらかがこの両方と交わる の元となり,仮定に矛盾する.ゆえに開被覆の列は上の定理の条件を満たす. //
定義. 位相空間 上の非負値対称関数 であって,次の条件を満たすものは対称距離と言われる.
・
・ が閉であることとすべての に対して が成立することは同値である.ただし点と集合間,また集合間の「距離」は距離のときと同様下限によってはかられる.
次の定理は Arhangel'skii によるようである.対称距離が実際に距離であることを保証するものではない.
定理 3. 少なくとも一方がコンパクトな 2 つの閉集合が正の「距離」をもつような Hausdorff 対称距離空間は距離化可能である.
証明. 点 はその 近傍の内点である.背理法によりこれを示す. 近傍の補集合を とし とする. から距離 0 の点の集合を とする.これが閉集合ならば かつ でめでたく矛盾となる.
閉でないとすると上の定義より なる がある. における点列 を,各 について となるようにとる. の定義より各 について となるような の点 が存在する.
はコンパクトで仮定よりそれと交わらず距離 0 をもつ は閉でない.よって なる がある. とすると だが となり矛盾が導ける.
等しくないとすると の に収束する部分列 がとれる.この列の点とその極限を併せた集合は閉で と交わらないが距離は 0 となり,矛盾を生じる.
すべての 球の内部を集めたものを とすればこれは上の定理の条件を満たす. //
条件を「2 つのコンパクト集合が正の『距離』をもつ」に弱めた場合,任意の 球が内点をもたないような反例が作れるそうである.
一点の逆像がコンパクトな閉連続写像を完全写像という.コンパクト空間の上の連続関数っぽい性質を 2 つ抜き出したものである.完全写像は固有写像である.すなわち
補題. 完全写像 とコンパクト部分集合 について はコンパクトである.
証明. を の開被覆とする. に対してコンパクト集合 を被覆する有限部分集合を とする.
は を含む開集合である*1.被覆 の有限部分被覆を とする. とおくと は要求された有限部分被覆である. //
証明はつけないが定理 3 のような対称距離は完全写像で保たれることが上の補題から示される.
命題. を定理 3 の条件を満たす対称距離空間, を完全写像, について とおくと は定理 3 の条件を満たす対称距離空間となる. //
閉連続写像について次の事実が知られている.
命題. を正規空間から第一可算空間への閉連続写像とするとすべての について の可算無限部分集合は集積点をもつ.
証明. とし をその点での可算基本近傍系とする. を集積点をもたないような の可算無限部分集合とする.
これは の閉集合なのでその上の関数 は Tietze の拡張定理より 全体に拡張される.それを とする. とするとこれは疎な開集合族で である.
を正整数とする. は空でないのでその点 をとる.こうして作られる集合 は閉である.その像の補集合 は開集合で であるから となる.従って となる があるがこの について で の定め方に反する. //
距離空間の閉連続像の距離化可能性について述べるのが次の定理である.
定理 4(Morita-Hanai-Stone). 距離空間から位相空間の上への閉連続写像 について次は同値である.
i) は距離化可能である.
ii) は第一可算である.
iii)すべての について はコンパクトである.
証明. iii) i) のみ示せばよい. が距離空間の完全像として書けることを示す.各 について, のとき ,そうでないとき を の任意の点として とする. としこれから への包含写像を とおくと は距離空間 から の上への完全写像となる.ゆえに は距離化可能となる. //
次の定理は破片が距離化可能な空間の距離化可能性について論じたものである.長田により長田-Smirnov の定理を用いて証明された.
定理 5. を の局所有限閉被覆で各々の が距離化可能なものとする.このとき は距離化可能である.
証明. は距離化可能である.これから への明らかな写像は完全写像である. //
パラコンパクト空間の開被覆が局所有限な閉細分をもつことを考えると次の定理はこの系である.この定理は Smirnov によると言われている.
定理 6. 局所距離化可能なパラコンパクト空間は距離化可能である. //
ゆえに特に次が成り立つ.
定理 7. 局所 Euclid なパラコンパクト空間は距離化可能である*2. //