距離空間の完備性について
距離空間が完備であるかどうかというのは位相不変ではありません。このことは、実数の空間は完備だが、それと同相である開区間は完備ではないことからわかります。また実数の空間の、すべての無理数からなる部分集合は完備ではありませんが、無理数の空間はある完備距離空間と同相です。一方有理数の空間はその位相を与えるどんな距離を入れても完備にはならないことが Baire の範疇定理から系として得られます。これらのことを考えると出てくるのが、位相空間や距離空間はいつ完備距離空間と同相になるか、言い換えると同じ位相を与える完備な距離が存在するかという問題です。このような位相空間の性質を完備距離化可能と呼ぶことにしましょう。この記事ではそれについて考えます。短い記事です
完備距離空間の開集合は完備距離化可能である.実際,完備距離空間 の開集合 について,実数値関数 を考えるとこのグラフは なる完備距離空間の閉部分集合で, に同相である.
次に完備距離空間の 集合,すなわち開集合の可算個の交叉として書かれる部分集合は完備距離化可能である.実際開集合 によって と表すと, には完備な距離が入っているとして,そのすべての直積 は を乗算し足し合わせて得られる距離によって完備になるが, は包含から誘導される写像によってこの空間の閉集合と同相になる.
では完備距離空間の でない部分集合が完備距離化可能になることがあるだろうか,というと,ない.
命題. Hausdorff 空間の稠密部分集合は完備距離化可能ならば である.
距離化可能空間の閉集合は であるということと合わせると距離空間の完備距離化可能な部分集合は となることがわかる.
証明. を Hausdorff 空間 の稠密部分集合 から完備距離空間 への同相写像とする. とおく.
の点 に対して,各 について の定義が存在を主張する を一つずつ選び,減少列になるようにする.その との交叉の による像は完備距離空間の部分集合の直径が 0 に収束する減少列なのでたった 1 点からなる交叉を持つ.それを として写像 を定義する.well-defined な の拡張であることは容易にわかる.また単射であることも Hausdorff 性から従う.
は必ず と一致する. も拡張になっていることと単射性から と一致しなければならない.以上より で,これは 集合である. //
ところで Baire の範疇定理が完備距離空間においても局所コンパクト Hausdorff 空間においても成立するが,上の事実と Hausdorff 空間の稠密部分集合が局所コンパクトならばそれは開集合であるという事実を見ると,完備距離化可能空間と局所コンパクト空間を統合するような空間のクラスとして,次のようなものが考えられる.
定義. Hausdorff 空間は,Hausdorff 空間に稠密部分集合として埋め込まれるとき常にその中で であるとき,絶対 であるという.
距離空間について,絶対 と完備距離化可能は同値である.実は絶対 空間においても Baire の範疇定理は成り立つ.それについてはまた後日記事を書きたい.続く!