[论文解读] 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

一句话总结

本文在索洛瓦模型中建立了类似Glimm–Effros的二分法：实数上的每个OD等价关系要么可经由OD映射归约到可数二进制序列上的相等关系，要么连续嵌入E₀。对于Σ₁¹（相应地Σ₁²）关系，该归约可通过Δ₁（相应地Δ₂）函数实现。该结果依赖于由OD集合生成的拓扑，将Ulm型分类推广至这一集合论背景。

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.

研究动机与目标

• 将Glimm–Effros二分法推广至索洛瓦模型，其中所有实数集均为勒贝格可测且具有贝尔性质。
• 研究实数上的每个OD等价关系是否要么归约到可数二进制序列上的相等关系，要么嵌入E₀（即维它利等价关系）。
• 确定此类归约的可定义性强度，特别是针对Σ₁¹和Σ₁²关系。
• 基于OD集合构建拓扑框架，以在无选择公理的背景下分析可定义等价关系。
• 通过Ulm型不变量在无选择模型中对可定义等价关系进行分类，作出贡献。

提出的方法

• 利用索洛瓦模型，其中所有实数集均为勒贝格可测且具有贝尔性质，以避免依赖选择公理。
• 构造由OD（序数可定义）集合生成的实数上的拓扑，作为分析可定义等价关系的基础结构。
• 应用描述集合论技术，分析在OD归约下等价关系的复杂性。
• 采用连续嵌入方法，证明若一个OD等价关系不能归约到可数二进制序列上的相等关系，则其必连续嵌入E₀。
• 利用在索洛瓦模型中所有Σ₁¹和Σ₁²关系均为投影可定义的性质，因此可借助Δ₁和Δ₂函数进行分析。
• 利用Σ₁¹和Σ₁²关系的归约映射分别属于Δ₁和Δ₂类的可定义性，确立二分法的精确性。

实验结果

研究问题

• RQ1 在索洛瓦模型中，实数上的每个OD等价关系是否要么归约到可数二进制序列上的相等关系，要么连续嵌入E₀？
• RQ2 该二分法中的归约是否可实现为Σ₁¹关系的Δ₁类函数，Σ₁²关系的Δ₂类函数？
• RQ3 由OD集合生成的拓扑如何影响可定义等价关系的分类？
• RQ4 在无选择模型（如索洛瓦模型）中，Ulm型分类技术能在多大程度上被适配？
• RQ5 可定义性（通过OD和Δ类）在决定连续归约下等价关系结构方面起什么作用？

主要发现

• 在索洛瓦模型中，每个实数上的OD等价关系均满足Glimm–Effros二分法：它要么连续嵌入E₀，要么归约到所有可数二进制序列集合上的相等关系。
• 对于Σ₁¹关系，其归约到可数二进制序列上的相等关系可通过Δ₁函数实现。
• 对于Σ₁²关系，归约可通过Δ₂函数实现，表明归约过程中存在可定义性的层级结构。
• 此类归约的存在性通过由OD集合生成的拓扑得以确立，该拓扑为分析提供了可定义的框架。
• 结果表明，即使在缺乏选择公理的情况下，可定义等价关系仍能获得强有力的分类结果。
• 本文建立了可定义等价关系与Ulm型不变量之间的联系，将经典分类技术推广至索洛瓦模型。