[論文レビュー] Luzin and anti-Luzin almost disjoint families

Judith Roitman, Lajos Soukup|arXiv (Cornell University)|Dec 1, 1997

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

ひとこと要約

この論文は、異なる集合論的公理の下での非可算なほぼ互いに素な族の構造を調査する。MA_{ω₁}のもとでは、任意の非可算なほぼ互いに素な族は、反ルジン族であるか、非可算なルジン部分族を含む——この二分法はCHのもとでは成立しない。研究は集合論と論理学における関連する組合せ的性質を検討する。

ABSTRACT

Under MA_{omega_1} every uncountable almost disjoint family is either anti-Luzin or has an uncountable Luzin subfamily. This fails under CH. Related properties are also investigated.

研究の動機と目的

• 集合論のモデルにおける非可算なほぼ互いに素な族の構造を分析すること。
• すべての非可算なほぼ互いに素な族が、反ルジン族であるか、非可算なルジン部分族を含む必要があるかどうかを特定すること。
• 特にMA_{ω₁}とCHを含む集合論的公理が、このような部分族の存在を決定づける役割を調査すること。
• ほぼ互いに素な族の文脈におけるルジン族と反ルジン族の性質の論理的関係を明確にすること。
• 無限集合論における関連する組合せ的性質と、それらが強制公理に依存する仕組みを探索すること。

提案手法

• ほぼ互いに素な族の構造を分析するために、背景仮定としてMA_{ω₁}（ℵ₁に対するマーティンの公理）を用いる。
• 集合論における強制法と組合せ的技法を用いて、特定の種類のほぼ互いに素な族の構成または除外を行う。
• ルジン族の概念を用いる：非可算なほぼ互いに素な族で、ある固定された非可算集合と非可算な交わりを持つような任意の非可算部分族を含むもの。
• 非可算なルジン部分族を含まない族を反ルジン族と定義する。
• 組合せ的および位相的性質の観点から、ルジン族と反ルジン族の二分法を分析する。
• 強制法からの独立性結果を用いて、MA_{ω₁}とCHの下でのほぼ互いに素な族の振る舞いを比較する。

実験結果

リサーチクエスチョン

• RQ1 MA_{ω₁}のもとで、任意の非可算なほぼ互いに素な族は、非可算なルジン部分族を含むか、反ルジン族であるか？
• RQ2 連続体仮説（CH）は、ルジン族と反ルジン族のほぼ互いに素な族における二分法にどのように影響を与えるか？
• RQ3 ほぼ互いに素な族が反ルジン族であるための必要十分条件は何か？
• RQ4 集合論のモデルにおいて、ルジン族と反ルジン族を区別する組合せ的性質は何か？
• RQ5 ほぼ互いに素な族の性質が、基礎となる集合論的公理にどの程度依存するか？

主な発見

• MA_{ω₁}のもとでは、任意の非可算なほぼ互いに素な族は、反ルジン族であるか、非可算なルジン部分族を含む。
• 連続体仮説（CH）のもとでは、反ルジン族とルジン族の二分法は成立しない。
• CHのもとでは、すべての非可算なほぼ互いに素な族に非可算なルジン部分族が存在するとは限らない。
• この結果は、MA_{ω₁}を満たすモデルとCHを満たすモデルにおけるほぼ互いに素な族の振る舞いの明確な違いを示している。
• 反ルジン族であるという性質が、すべてのモデルにおいて非可算なルジン部分族の存在の有無と同値でないことが示された。
• 本研究は、強制公理に依存する組合せ的基数不変量の理解に貢献している。