[論文レビュー] Some Notes on Standard Borel and Related Spaces

Chris Preston|ArXiv.org|Sep 18, 2008

Advanced Topology and Set Theory参考文献 12被引用数 8

ひとこと要約

本稿では、標準的ボレル空間および解析的空間の代替的アプローチを提示する。その際、普遍的モデルとしてカントール空間 $Μ = \{0,1\}^\mathbb{N}$ を用いる。可算生成な可測空間は、ちょうど $Μ$ に埋め込まれることを確立し、分離性を要件としない標準的ボレル空間の一般化である「型 $\mathcal{B}$」空間を導入する。これにより、コルモゴロフ拡張定理や条件付き分布の存在といった、より広い設定下でも成り立つ重要な結果が得られる。

ABSTRACT

These notes give an elementary approach to parts of the theory of standard Borel and analytic spaces.

研究の動機と目的

• 標準的ボレル空間の理論を、ポリッシュ空間理論に依存せずに、普遍的モデルとしてカントール空間 $\mathsf{M} = \{0,1\}^\mathbb{N}$ を用いて再構築すること。
• 分離性の条件を緩和したが、重要な構造的性質を保つ「型 $\mathcal{B}$」空間を導入することで、標準的ボレル空間を一般化すること。
• 可測選択子、条件付き分布、コルモゴロフ拡張性といった基礎的結果が、型 $\mathcal{B}$ 空間のより広いクラスにおいても成立することを確立すること。
• 可測写像 $\mathsf{M}$ への写像が、可算生成な可測空間の標準的表現を担う枠組みを提供すること。
• 標準的ボレル空間を要請する多くの古典的確率論の結果が、型 $\mathcal{B}$ 空間のより一般な設定下でも有効であることを示すこと。

提案手法

• 可測構造の普遍的モデルとして、積位相とボレル $\sigma$-代数 $\mathcal{B}$ を備えたカントール空間 $\mathsf{M} = \{0,1\}^\mathbb{N}$ を用いる。
• 写像 $f: (X,\mathcal{E}) \to (\mathsf{M}, \mathcal{B})$ が「ちょうど可測」である、すなわち $f^{-1}(\mathcal{B}) = \mathcal{E}$ を満たすように定義し、可測空間と $\mathsf{M}$ の部分集合との同型を可能にする。
• 可算生成な可測空間 $ (X,\mathcal{E}) $ が $ (\mathsf{M}, \mathcal{B}) $ にちょうど可測な写像を備え、その像が $\sigma$-代数 $\mathcal{D} \supseteq \mathcal{B}$ に含まれる場合に「型 $\mathcal{D}$」空間を導入する。ここで $\mathcal{D}$ は有限交差に関して閉じている。
• 極限 $\pi_n$ の核から成る準確率核 $\pi$ を構成し、トレース $\sigma$-代数 $\mathcal{E}_\infty$ と集合 $E' = \{x \in E' : \text{分散項が消える}\}$ を用いる。
• 補題 13.6 を適用して、二乗核の積分とその $L^2$-ノルムを等置し、すべての $\mu \in \mathcal{G}$ に対して $\mu(E_E) = 1$ が成り立つことを証明する。これにより、$E_E$ 上にほとんど確実にサポートを持つことが保証される。
• 3つの公理を満たすことで、定理 13.2 を証明する：(1) $\pi(x, \Delta_x) = 1$ 几乎 everywhere、(2) $\pi(x, X \setminus \Delta_x) = 0$、(3) $\mu = \mu\pi$ であることと $\mu \in \mathcal{G}$ であることが同値であること。

実験結果

リサーチクエスチョン

• RQ1 標準的ボレル空間の理論は、ポリッシュ空間の構造に依存せずに、カントール空間 $\mathsf{M}$ を普遍的モデルとして用いて構築可能だろうか？
• RQ2 標準的ボレル空間の分離性条件を緩和した場合に、どのような性質が保たれ、このような一般化された空間はどのように特徴づけられるだろうか？
• RQ3 非分離な可測空間において、可測選択子や条件付き分布の存在が成り立つ条件は何か？
• RQ4 コルモゴロフ拡張定理は、基礎となる可測空間が非分離である場合にも拡張可能だろうか？
• RQ5 カントール空間 $\mathsf{M}$ は、ちょうど可測な写像を通じて、可算生成な可測空間をどのように標準的表現するのか？

主な発見

• 任意の可算生成な可測空間は、カントール空間 $\mathsf{M}$ へのちょうど可測な写像を備える。これにより、標準的表現が確立される。
• 可測空間が標準的ボレル空間であることと、それが $\mathsf{M}$ のボレル部分集合と同型であることとは同値であり、その同型はちょうど可測な写像によって誘導される。
• 型 $\mathcal{B}$ 空間は、分離性の要件を除外することで標準的ボレル空間を一般化するが、同型が非可算な $\mathsf{M}$ のボレル部分集合であるという重要な性質を保つ。
• 分散項が $L^2$-積分で消えることにより、$\mu = \mu\pi$ であることと $\mu \in \mathcal{G}$ であることの同値性が保証される準確率核 $\pi$ の存在が示される。
• 任意の $\mu \in \mathcal{G}$ に対して、集合 $E_E = \{x \in E' : \int (\pi'(y,E))^2 \pi'(x,dy) = (\pi'(x,E))^2 \}$ は $\mu(E_E) = 1$ を満たし、これは核が決定的である点にほとんど確実にサポートを持つことを保証する。
• 集合 $\pi(x,E)$ を、$x \in E$ ならば $\pi'(x,E)$、それ以外は 0 と定義することで、正規バージョンのマルコフ核を満たす可測な準確率核が構成される。