[論文レビュー] Model theory of probability spaces with an automorphism

Alexander Berenstein, C. Ward Henson|ArXiv.org|May 18, 2004

Advanced Topology and Set Theory参考文献 11被引用数 19

ひとこと要約

本稿では、可分な一般化モデルが標準的ルベーグ空間に非周期的自己同型を備えた測度代数と同型であることを示し、測度空間に自己同型を備えたモデル理論が近似意味論における正の文によって公理化可能であることを確立する。得られる理論は完全で、安定であり、量化記号除去を許容し、標準的基底を内蔵しており、エントロピーと変換的型を用いた独立性および直交性の標準的特徴づけがなされる。

ABSTRACT

The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic structures of this kind are exactly the ones isomorphic to the measure algebra of a standard Lebesgue space equipped with an aperiodic measure-preserving automorphism. The corresponding theory is complete and has quantifier elimination; moreover it is stable with built-in canonical bases. We give an intrinsic characterization of its independence relation.

研究の動機と目的

• 近似意味論を用いて、自己同型を備えた測度空間のクラスにおける一般化構造を公理化すること。
• 可分な一般化モデルを、非周期的自己同型を備えた標準的ルベーグ空間の測度代数と同型であると特徴づけること。
• 対応する理論が完全で、安定であり、量化記号除去を許容し、標準的基底を内蔵していることを確立すること。
• この理論における独立関係の内在的特徴づけを提供すること。
• モデル理論とエルゴディック理論との関係、特にエントロピーと変換的型を通じての関係を調査すること。

提案手法

• 近似意味論によって解釈される正の文を用いて、非原子的測度空間における非周期的自己同型を捉えるために理論 $T_A$ を公理化する。
• 非周期写像と測度代数同型に関するロホリンの定理を用い、モデル理論的一般化とエルゴディック理論的非周期性を結びつける。
• 対称差測度によって定義される擬距離を用いた測度モデル理論の道具を用い、型空間と安定性を分析する。
• 素性部分構造が原子的分解と自己同型軌道を保存することを示すことにより、$T_A$ における量化記号除去を証明する。
• エントロピーと変換的独立性を用いて、非分割および独立性を特徴づけ、ACFAにおける直交性結果を一般化する。
• 任意の自己同型を備えた測度空間のモデル理論を、その非周期的部分に還元し、一般ケースを単純化する。

実験結果

リサーチクエスチョン

• RQ1 非周期的ケースを特徴づける、自己同型を備えた測度空間に対する近似正の公理化は何か？
• RQ2 自己同型を備えた測度空間の一般化理論における独立関係は、エルゴディック理論的エントロピーおよび変換的独立性とどのように関係するか？
• RQ3 この理論における型空間上の $d$-距離は、非自己同型の場合の補題3.8と同様に明示的に特徴づけられるか？
• RQ4 パラメータ集合に対して $d$-距離に関する $\tau$-型の空間の密度特性は何か？
• RQ5 $L_p(\mu)$-空間への自己同型の拡張を加えた場合、理論 $T_A$ はモデル補完を許容するか？

主な発見

• 自己同型を備えた測度空間の可分な一般化モデルのクラスは、正確に非周期的自己同型を備えた標準的ルベーグ空間の測度代数に一致する。
• 理論 $T_A$ は完全で、安定であり、近似正論理フレームワークにおいて量化記号除去を許容する。
• $T_A$ における独立関係は、変換的独立型が変換的定義可能型と直交することによって特徴づけられ、ACFAにおける結果を一般化する。
• 型空間上の $d$-距離は定義可能であり、理論は標準的基底を内蔵しており、強力なモデル理論的制御が保証される。
• 任意の自己同型を備えた測度空間のモデル理論は、その非周期的部分の理論に完全に還元され、一般ケースが単純化される。
• エントロピーはパラメータ集合上での主型と非主型を区別するランクを提供し、変換的独立な要素は変換的定義可能なものと直交する。