[論文レビュー] Filtrations of random processes in the light of classification theory. I. A topological zero-one law

Boris Tsirelson|arXiv (Cornell University)|Jul 17, 2001

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

ひとこと要約

この論文は記述的集合論を用いて、ランダム過程のフィルトレーションに対して位相的ゼロ-イニシャル法則を確立する。任意のポーランド $G$-空間における $G$-不変性でベール性を持つ性質について、その性質はコメージャー的多くのフィルトレーションで成り立つ、あるいはその否定が成り立つ。主な結果は、ほとんどすべてのフィルトレーション（ベールカテゴリの意味で）が条件付きに非原子的であることを示しており、これはフィルトレーション空間におけるエルゴディシティと軌道構造を結びつける。

ABSTRACT

Filtered probability spaces (called "filtrations" for short) are shown to satisfy such a topological zero-one law: for every property of filtrations, either the property holds for almost all filtrations, or its negation does. In particular, almost all filtrations are conditionally nonatomic. An accurate formulation is given in terms of orbit equivalence relations on Polish G-spaces. The set of all isomorphic classes of filtrations may be identified with the orbit space X/G for a special Polish G-space X. A "property of filtrations" means a G-invariant subset of X having the Baire property. "Almost all filtrations" means a comeager subset of X (the Baire category approach). The zero-one law is a kind of ergodicity of X. It holds for filtrations both in discrete and continuous time. The interplay between probability theory and descriptive set theory could be interesting for both parties.

研究の動機と目的

• 記述的集合論の道具を用いて、ランダム過程のフィルトレーションに対する位相的ゼロ-イニシャル法則を確立すること。
• ベールカテゴリに基づいた一般化された「ほとんどすべての」フィルトレーションの振る舞いを特徴づけることにより、測度論的「ほとんど確実」な記述を置き換えること。
• 自然な群作用の下で、フィルトレーション空間に単一の稠密な軌道が存在することを示し、それによってエルゴディシティを示すこと。
• ベールカテゴリの意味で「ほとんどすべての」フィルトレーションが条件付きに非原子的であることを示すこと。
• 確率論的コンセプト（ゼロ-イニシャル法則など）を、確率論的言語から位相的言語に翻訳することで、確率論と記述的集合論を橋渡しすること。

提案手法

• 論文は、フィルトレーションを、群 $G$（同型写像の群）がフィルトレーション空間に作用するポーランド $G$-空間 $X$ の要素としてモデル化する。
• ベールカテゴリ定理を用いて、「ほとんどすべての」フィルトレーションを、コメージャー集合に属するものとして定義し、無限次元設定におけるルベーグ測度の代わりに用いる。
• フィルトレーション空間には適切な距離が入れられ、その位相は関連する $$-代数における確率収束によって誘導される。
• 主な技術的道具は、ベール性を持つ集合に対してフビニの定理の位相的類似を提供する、クルツォフスキー＝ウラムの定理である。
• 証明は、部分 $\sigma$-代数空間における「サンドイッチ補題」に依拠しており、距離位相における収束の連続性を保証する。
• 軌道同値関係がフィルトレーションを分類するために用いられ、稠密な軌道の存在は作用のエルゴディシティを示唆する。

実験結果

リサーチクエスチョン

• RQ1 自然な測度が存在しない状況において、フィルトレーションの性質に対して位相的ゼロ-イニシャル法則が成り立つかどうか。
• RQ2 確率測度が存在しない無限次元空間において、「ほとんどすべての」フィルトレーションという概念を意味的に定義できるか。
• RQ3 条件付きに非原子的フィルトレーションの集合が、すべてのフィルトレーションの空間においてコメージャーか。
• RQ4 フィルトレーション空間への群作用が稠密な軌道を持つのか。これはエルゴディシティを示唆する。
• RQ5 フィルトレーションの文脈において、確率論的コンセプト（ゼロ-イニシャル法則など）をベールカテゴリ理論を用いて再定式化できるか。

主な発見

• ポーランド $G$-空間における $G$-不変な部分集合で、ベール性を持つものは、いずれかが劣微小集合（meager）またはコメージャー集合（comeager）である。これは、位相的ゼロ-イニシャル法則を確立する。
• 条件付きに非原子的フィルトレーションの空間は、すべてのフィルトレーション空間においてコメージャーである。これは、そのようなフィルトレーションがベールカテゴリの意味で一般的であることを意味する。
• 任意の条件付きに非原子的フィルトレーションの軌道は、すべてのフィルトレーションの空間において稠密である。これは、作用がエルゴディックであることを示唆する。
• 任意の有限時刻集合 $T_0 \subset T$ および任意の2つの条件付きに非原子的フィルトレーションに対して、$G^{\text{fav}}$ に属する群元が存在し、$T_0$ でそれらを一致させることができる。これは局所的な柔軟性を示す。
• $X_T$ であるすべてのフィルトレーションの空間は、エルゴディックである。これは、条件付きに非原子的フィルトレーションの軌道が稠密であることと、そのようなフィルトレーションが $X_T$ において稠密であることから導かれる。
• 結果は離散的および連続的時間の両方のフィルトレーションに適用可能であり、古典的ゼロ-イニシャル法則を位相的設定に一般化する。