[論文レビュー] Club guessing for dummies

Dániel T. Soukup, Lajos Soukup|arXiv (Cornell University)|Mar 24, 2010

Advanced Topology and Set Theory被引用数 3

ひとこと要約

この論文は、非可算な正則な $\mu$ に対して $S^{\mu^+}_{\mu}$ 上のシャレーのクラブ推測定理について、自己完結的で簡潔な証明を提供する。$S$-クラブ系列が存在し、任意の $\lambda = \mu^+$ の部分集合 $E \subseteq \lambda$ に対して、$\delta \in S$ のうち、$\alpha^\delta_{\zeta+1} \in E$ となる $\zeta < \mu$ の集合がstationaryであるような $\delta$ がstationary many 存在することを確立する。証明は対角化法とクラブ系列の再帰的精錬を用いて、弱いが十分な意味でのクラブの「推測」を実現する系列を構成する。

ABSTRACT

We give a direct, detailed and relatively short proof of Shelah's theorem on club guessing sequences on $S^{μ^+}_μ$ (for any regular, uncountable cardinal $μ$).

研究の動機と目的

• 非可算な正則な $\mu$ に対して、$S^{\mu^+}_{\mu}$ 上のシャレーのクラブ推測定理について、明確でアクセス可能で自己完結的な証明を提供すること。
• 任意の $E \subseteq \lambda = \mu^+$ に対して、$\{\zeta < \mu : \alpha^{\delta}_{\zeta+1} \in E\}$ が stationary であるような $\delta \in S$ が stationary many 存在する $S$-クラブ系列の存在を確立すること。
• ZFC において $S^{\mu^+}_{\mu}$ 上に強いクラブ推測系列を構成するのを妨げる制限を克服するため、構成的で反復的な方法を開発すること。
• 完全なクラブ推測が不可能な状況下でも、後続要素による弱い推測という意味ある近似が達成可能であることを示すこと。

提案手法

• 任意の $\delta \in S$ に対して、順序型 $\mu$ の $C_\delta \subseteq \delta$ であるクラブを用いて、初期の $S$-クラブ系列 $\underline{C}_0$ を構成する。
• 再帰的対角化プロセスを用いる：各 $n \in \omega$ に対して、$C_\delta^{n+1} = C_\delta^n \cap e_\delta^n$ を定義し、$E_n$ によって定義される特定の区間を避けるように $e_\delta^n \subseteq \delta$ を選ぶ。これにより $C_\delta = \bigcap_n C_\delta^n$ がクラブのままであることが保証される。
• $f_{\delta,E}(\zeta) = \sup\bigl(E \cap (\alpha^\delta_\zeta, \alpha^\delta_{\zeta+1})\bigr)$ として部分関数を定義し、$E$ と系列の区間との交差を追跡する。
• 第二の対角化を適用して、$E_0 \subseteq \lambda$ となるクラブを特定し、すべての $E \subseteq E_0$ に対して、$\{\zeta < \mu : f_{\delta,E}(\zeta) = f_{\delta,E_0}(\zeta)\}$ が $\delta$ のうち stationarity many に対して stationary であることを保証する。これにより、区間交差の一貫性が確保される。
• 元の系列 $\langle C_\delta \rangle$ を、$\zeta \in \text{dom}f_{\delta,E_0}$ に対して $f_{\delta,E_0}(\zeta)$ を加えることで $\langle \tilde{C}_\delta \rangle$ に修正する。これによりクラブ性が保たれるとともに、推測能力が向上する。
• 修正された系列が望ましい性質を満たすことを証明する：任意のクラブ $D \subseteq \lambda$ に対して、$\alpha^{\delta}_{\zeta+1} \in D$ となる $\zeta$ の集合が stationarity many あるような $\delta$ が $S$ の中で stationarity many 存在する。

実験結果

リサーチクエスチョン

• RQ1 ZFC において、$S^{\mu^+}_{\mu}$ 上で、$\alpha^{\delta}_{\zeta+1} \in E$ となる $\zeta$ の集合が stationarity であるような弱い形のクラブ推測が達成可能か。
• RQ2 $S^{\mu^+}_{\mu}$ 上に $S$-クラブ系列を構成するための構成的かつ反復的な方法があるか。この系列が、任意の $E \subseteq \lambda$ に対して一様にクラブを「推測」する性質を持つか。
• RQ3 初期のクラブ系列を対角化法で精錬することで、任意のクラブとの区間交差に関して一貫性を持つ条件を満たす系列が得られるか。
• RQ4 $S^{\mu^+}_{\mu}$ 上で ZFC で一貫して達成可能なクラブ推測の最小限の形は何か。完全なクラブ推測が失敗する状況下で。
• RQ5 $\langle \alpha^\delta_\zeta \rangle_{\zeta < \mu}$ の構造をどのように変更すれば、$\alpha^{\delta}_{\zeta+1}$ が任意のクラブ $E$ に対して、$\zeta$ の stationarity many に対して $E$ に入るようになるか。

主な発見

• $C_\delta = \{\alpha^\delta_\zeta : \zeta < \mu\}$ であるような $S$-クラブ系列 $\underline{C} = \langle C_\delta : \delta \in S \rangle$ が存在し、任意の $E \subseteq \lambda = \mu^+$ に対して、$\{\zeta < \mu : \alpha^\delta_{\zeta+1} \in E\}$ が $S$ の中で stationarity many ある $\delta$ に対して stationary である。
• 証明は再帰的精錬プロセスを用いてそのような系列を構成する：初期の $S$-クラブ系列から出発し、将来的な推測を妨げる可能性のある区間を避けるように、クラブ $C_\delta^n$ を繰り返し細かくする。
• 重要な中間的結果として、任意の $E \subseteq E_0$ に対して、$\{\zeta < \mu : f_{\delta,E}(\zeta) = f_{\delta,E_0}(\zeta)\}$ が $\delta$ のうち stationarity many に対して stationary であるような $E_0 \subseteq \lambda$ が存在することが示される。これにより、区間交差の一貫性が保証される。
• 最終的な修正された系列 $\tilde{C}_\delta$ は、$\zeta \in \text{dom}f_{\delta,E_0}$ に対して $f_{\delta,E_0}(\zeta)$ を $C_\delta$ に加えることで得られ、これにより $\alpha^{\delta}_{\zeta+1} \in D$ となる $D = E \cap E_0$ に対して、$f_{\delta,E}(\zeta) = f_{\delta,E_0}(\zeta)$ ならば条件を満たす。
• 主張 2.2 の背理法では、無限に減少する順序数の列が存在できないという事実が利用されており、再帰的構成が stationarity を保つ形で安定化することを示す。
• 最終的な構成は望ましいクラブ推測性質を満たす：任意のクラブ $D \subseteq \lambda$ に対して、$\alpha^{\delta}_{\zeta+1} \in D$ となる $\zeta < \mu$ の集合が stationarity many あるような $\delta \in S$ が stationarity many 存在する。