可分距離空間についてすこし考える
確率論を用いている文献を見ていると,可分(separable)という概念を目にすることがあります.そこでモヤモヤしてしまうことが多いので,どのようなものか調べることにしました.可分性は位相空間に対して定義される性質ですが,歴史的には初めて導入されたときは距離空間に関する概念であったようです(文献[2]をぜひ参照してください).
本記事でも距離空間の可分性について考えます.文献[1]には可分の定義として以下の記述があります(和訳しています).
を距離空間とする.ボレル -加法族 は 上の全ての開集合を含む最小の -加法族である. の要素は のボレル集合と呼ばれる.距離空間 は加算な稠密部分集合をもつとき,すなわち となるような が存在するとき可分という( は の閉包とする).
同じく上記の直後に,役に立ちそうな補題があるのでメモします.証明は可分のイメージを深めるものだと思います(単なる和訳ではなく説明を追加しています)( -加法族については過去記事も参考になります).
補題 1.1.
が可分距離空間ならば,は の開(閉)球により生成される -加法族に等しい.
証明.
とする. は明らか.次に を の加算な稠密部分集合, を開集合とする. について,中心 ,半径 の開(閉)球 となるように をとり, をとる.すると となる. とおくと
となる.最後の は, のとり方より加算和であることからしたがう. は自由にとれるので がいえる.
可分性により集合をある種の加算和で表現可能となることがわかります.
以上,可分について考えてみました.関連する話題として1つ例を挙げます.確率解析でよく目にするウィナー空間は可分距離空間であり,ボレル集合体がシリンダー集合により生成されていることの証明に可分性を用います.とはいえそれはこの記事の範囲を超えるので,ここで終わりにすることにします.
参考文献
[1] Leiden University Onno van Gaans先生のセミナー資料 http://www.math.leidenuniv.nl/~vangaans/semEEPSCE_12_4.pdf
[2] 静岡大学 大田春外先生のページ 質問#01039 http://www12.plala.or.jp/echohta/top/QA/QA004.html