[論文レビュー] On a Glimm -- Effros dichotomy and an Ulm--type classification in Solovay model

Vladimir Kanovei|arXiv (Cornell University)|Jul 26, 1995

Advanced Topology and Set Theory参考文献 6被引用数 10

ひとこと要約

この論文は、ソロヴェイ模型におけるギルム＝エフロス型の二分法を確立する：すべてのOD同値関係は、可算な2進列上の等価関係へのOD還元か、E₀への連続的埋め込みのどちらかを満たす。Σ₁¹（それぞれΣ₁²）関係については、還元がΔ₁（それぞれΔ₂）関数を用いて達成可能である。この結果は、OD集合によって生成される位相に依存しており、この集合論的文脈におけるウルム型分類の拡張を可能にする。

ABSTRACT

We prove that in Solovay model every OD equivalence E on reals either admits an OD reduction to the equality on the set of all countable (of length < omega_1) binary sequences, or continuously embeds E_0, the Vitali equivalence. If E is a Sigma_1^1 (resp. Sigma_1^2) relation then the reduction in the ``either'' part can be chosen in the class of all Delta_1 (resp. Delta_2) functions. The proofs are based on a topology generated by OD sets.

研究の動機と目的

• すべての実数の部分集合がルベーグ可測であり、ベール性質を持つソロヴェイ模型において、ギルム＝エフロスの二分法を拡張すること。
• すべてのOD同値関係が、可算な2進列上の等価関係に還元されるか、E₀（バチリの同値関係）を連続的に埋め込むかのどちらかであるかどうかを調査すること。
• 特にΣ₁¹およびΣ₁²関係に対して、その還元の定義可能性の強度を特定すること。
• 選択公理の欠如下においても、定義可能同値関係を分析するための位相的枠組みをOD集合に基づいて構築すること。
• 選択公理のないモデルにおける定義可能同値関係の分類に、ウルム型不変量を応用することによる貢献。

提案手法

• すべての実数の部分集合がルベーグ可測であり、ベール性質を持つソロヴェイ模型を用いることで、選択公理に依存しないようにする。
• OD（順序数によって定義可能な）集合によって生成される実数上の位相を構成し、定義可能同値関係を分析するための基礎的構造とする。
• 記述的集合論的技法を用いて、OD還元における同値関係の複雑さを分析する。
• 連続的埋め込みを用いて、OD同値関係が可算2進列上の等価関係への還元を持たない場合、E₀を連続的に埋め込む必要があることを示す。
• ソロヴェイ模型において、すべてのΣ₁¹およびΣ₁²関係が射影的に定義可能であり、したがってΔ₁およびΔ₂関数による解析が可能であるという事実を活用する。
• Σ₁¹およびΣ₁²関係に対して、それぞれΔ₁およびΔ₂関数に還元写像が定義可能であるという事実を用いて、二分法の鋭さを確立する。

実験結果

リサーチクエスチョン

• RQ1 ソロヴェイ模型における実数上のOD同値関係は、可算2進列上の等価関係への還元か、E₀への連続的埋め込みのどちらかを満たすか？
• RQ2 二分法における還元を、Σ₁¹関係ではΔ₁クラスで、Σ₁²関係ではΔ₂クラスで定義可能にできるか？
• RQ3 OD集合によって生成される位相が、定義可能同値関係の分類にどのように影響するか？
• RQ4 選択公理のないモデル、たとえばソロヴェイ模型において、ウルム型分類技法をどの程度まで適応可能にすることができるか？
• RQ5 定義可能性（ODおよびΔクラスによる）は、連続還元下での同値関係の構造を決定づける役割を果たすか？

主な発見

• ソロヴェイ模型において、すべてのOD同値関係はギルム＝エフロス型の二分法を満たす：E₀を連続的に埋め込むか、すべての可算2進列の集合上の等価関係への還元が可能である。
• Σ₁¹関係については、可算2進列上の等価関係への還元がΔ₁関数を用いて達成可能である。
• Σ₁²関係については、還元がΔ₂関数を用いて達成可能であり、還元プロセスにおける定義可能性の階層を示している。
• このような還元の存在は、OD集合によって生成される位相を用いて確立され、分析のための定義可能な枠組みを提供する。
• 選択公理が存在しない状況下でも、定義可能同値関係に対して強い分類結果が成り立つことを示している。
• 本論文は、定義可能同値関係とウルム型不変量との間の関係を確立し、古典的な分類技法をソロヴェイ模型へと拡張した。