[論文レビュー] On the strength of Hausdorff's gap condition

James Hirschorn|ArXiv.org|Jun 29, 2008

Computability, Logic, AI Algorithms参考文献 4被引用数 5

ひとこと要約

この論文は、非可算個のランダム実数を用いたフォーシングを用いて、$π(\mathbb{N})/\text{Fin}$ における破壊不能な $(\omega_1,\omega_1)$ ガップを構成することにより、集合論における未解決問題を解決した。このガップはハウスドルフのギャップ条件を満たさないが、破壊不能性は保たれている。この結果により、ハウスドルフの条件は破壊不能性よりも厳密に強いことが示され、ブール代数におけるギャップ性質の階層について長年の疑問が解消された。

ABSTRACT

Hausdorff's gap condition was satisfied by his original 1936 construction of an (omega-1,omega-1) gap in P(N)/Fin. We solve an open problem in determining whether Hausdorff's condition is actually stronger than the more modern indestructibility condition, by constructing an indestructible (omega-1,omega-1) gap not equivalent to any gap satisfying Hausdorff's condition, from uncountably many random reals.

研究の動機と目的

• $(\omega_1,\omega_1)$ ガップについて、ハウスドルフのギャップ条件が破壊不能性条件よりも厳密に強いかどうかを特定すること。
• フォーシング下でのギャップ性質の論理的強さと独立性に関する、集合論における未解決問題を解決すること。
• ハウスドルフの条件を満たすいかなるギャップとも同値でない破壊可能なギャップが存在するモデルを構成すること。
• ハウスドルフの条件が破壊不能性に必要でないことを示し、ギャップ不変量の階層を明確にすること。

提案手法

• 非可算個のランダム実数の積を用いたフォーシングにより、ギャップがすべての $\omega_1$-保存拡張で破壊されないような一般化拡張を構成する。
• 関数 $s^\alpha_p, t^\alpha_p$ を用いて定義される条件の融合的反復を用い、適合性および測度条件を保証する。
• 条件 $p$ に添え字集合 $\varOmega_p$、関数 $s^\alpha_p, t^\alpha_p$、および測度構造を含むポセット $\mathcal{Q}$ を定義し、関連する $m$ に対して $\mu([s^\alpha_p(m)] \cdot [t^\beta_p(m)]) \leq 2^{-2i}$ が成り立つようにする。
• 一般化対象 $\dot{a}_\alpha, \dot{b}_\alpha$ が、$\|\dot{a}_\alpha \cap \dot{b}_\alpha = \emptyset\| = 1$ および $\alpha \neq \beta$ のとき $\|\dot{a}_\alpha \cap \dot{b}_\beta \neq \emptyset\| = 1$ を満たすようにして、ギャップを形成することを確認する。
• ccc性質と関連する分割 $K_0 \cup K_1$ に非可算な同調的集合が存在しないことにより、得られたギャップが破壊不能であることを確立する。
• ある $k \in \mathbb{N}$ に対して、集合 $\{\alpha < \beta : a_\alpha \cap b\_\beta \setminus k = \emptyset\}$ が無限大であるようにすることにより、ギャップがハウスドルフの条件を満たさないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 $(\omega_1,\omega_1)$ ガップについて、$\mathcal{P}(\mathbb{N})/\text{Fin}$ において、ハウスドルフのギャップ条件は破壊不能性条件よりも厳密に強いと言えるか？
• RQ2 ハウスドルフの条件を満たすいかなるギャップとも同値でない破壊可能な $(\omega_1,\omega_1)$ ガップを構成することは可能か？
• RQ3 このようなギャップの存在は、ZFCを越えた仮定を必要とするのか？ もし必要ならば、どのようなフォーシング公理や大基数仮説が必要か？
• RQ4 ZFCのモデルにおいて、ハウスドルフの条件を満たさない破壊可能なギャップが存在するか。すなわち、二つの性質を分離できるか？
• RQ5 ランダム実数を用いたフォーシングにより、ギャップの組合せ的構造を精緻化し、破壊不能性とハウスドルフの条件を区別できるか？

主な発見

• この論文は、$\mathcal{P}(\mathbb{N})/\text{Fin}$ における破壊不能な $(\omega_1,\omega_1)$ ガップを構成したが、これはハウスドルフのギャップ条件を満たさない。
• ギャップがすべての $\omega_1$-保存拡張で保たれるように保証するため、非可算個のランダム実数を用いたフォーシングを用いた。
• ハウスドルフの条件の有限性要件に反するため、ギャップはハウスドルフの条件を満たすいかなるギャップとも同値でない。具体的には、ある $k$ に対して $\{\alpha < \beta : a_\alpha \cap b_\beta \setminus k = \emptyset\}$ が無限大である。
• ギャップは破壊不能性を満たす。これは、cccフォーシング下でもギャップの性質が保たれ、関連する分割 $K_0 \cup K_1$ に非可算な同調的集合が存在しないことから示される。
• モデルはZFCを満たし、追加の公理（ZFCに加えてランダム実数の存在を除く）を仮定することなく、このようなギャップの存在が一貫している。
• 結果として、ハウスドルフの条件は破壊不能性よりも厳密に強いことが示された。すなわち、ハウスドルフの条件を満たさない破壊可能なギャップが存在しうる。