[论文解读] Decomposing Borel functions using the Shore-Slaman join theorem

Takayuki Kihara|arXiv (Cornell University)|Apr 2, 2013

Computability, Logic, AI Algorithms参考文献 15被引用 6

一句话总结

本文利用递归理论中的Shore-Slaman并集定理，建立了Jayne-Rogers定理的超限推广。结果表明，在具有小超限归纳维数的波兰空间中，当 $\alpha \leq \beta < \alpha \cdot 2$ 时，一个函数是 $\Sigma_{\alpha+1,\beta+1}^{\to}$-可测的，当且仅当它可以分解为可数多个具有 $\Delta^{0}_{\beta+1}$ 定义域的Baire类 $\gamma$ 函数，其中 $\gamma + \alpha \leq \beta$。该结果为Borel函数在有限与超限层次上的长期存在的可分解性猜想提供了部分解法。

ABSTRACT

Jayne and Rogers proved that every function from an analytic space into a separable metric space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each $F_σ$ set under it is again $F_σ$. Many researchers conjectured that the Jayne-Rogers theorem can be generalized to all finite levels of Borel functions. In this paper, by using the Shore-Slaman join theorem on the Turing degrees, we show the following variant of the Jayne-Rogers theorem at finite and transfinite levels of the hierarchy of Borel functions: For all countable ordinals $α$ and $β$ with $α\leqβ

研究动机与目标

• 解决Borel层次中有限与超限层次下Borel函数的可分解性猜想。
• 将Jayne-Rogers定理从 $\mathbf{\Sigma}_{2,2}$ 情况推广至Borel层次的更高及超限层次。
• 建立递归理论中的Shore-Slaman并集定理与描述集合论中Borel函数可分解性之间的联系。
• 引入并分析类 $\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}$，即那些对 $\mathbf{\Sigma}^{0}_{\alpha+1}$ 集的原像具有连续编码的函数。
• 确定 $\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}$ 函数可分解为可数个具有 $\mathbf{\Delta}^{0}_{\beta+1}$ 定义域的 $\mathbf{\Sigma}^{0}_{\gamma+1}$-可测函数的精确条件。

提出的方法

• 依赖Shore-Slaman并集定理分析图灵度的结构及其在分解Borel函数中的作用。
• 将类 $\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}$ 定义为：其对 $\mathbf{\Sigma}^{0}_{\alpha+1}$ 集的原像通过连续编码映射为 $\mathbf{\Sigma}^{0}_{\beta+1}$。
• 通过预言机实现相对化，将可计算情形下的结果推广至更一般的Borel设定。
• 应用波兰空间中“小超限归纳维数”的概念，以限制所考虑的函数类。
• 采用 $\Delta^{0,X}_{\beta+1}$ 划分的递归构造，将函数分解为 $\mathbf{\Sigma}^{0,X}_{\gamma+1}$-可计算的片段。
• 依赖 $\beta\hat{-}\alpha$ 为极限序数的概念，以确保对分解后函数的Baire类的递归界成立。

实验结果

研究问题

• RQ1 在何种条件下，$\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}$ 函数可分解为可数个具有 $\mathbf{\Delta}^{0}_{\beta+1}$ 定义域的 $\mathbf{\Sigma}^{0}_{\gamma+1}$-可测函数？
• RQ2 对于所有 $\alpha \leq \beta < \alpha \cdot 2$，等式 $\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}(\mathcal{X},\mathcal{Y}) = \mathbf{dec}_{\beta+1}\mathbf{\Sigma}_{1,\beta\hat{-}\alpha}(\mathcal{X},\mathcal{Y})$ 是否成立？
• RQ3 可分解性结果能否超越范围 $\alpha \leq \beta < \alpha \cdot 2$，推广至所有可数序数 $\alpha, \beta < \omega_1$？
• RQ4 对于所有可数序数 $\alpha, \beta < \omega_1$，类 $\mathbf{\Sigma}_{\alpha,\beta}$ 与 $\mathbf{\Sigma}_{\alpha,\beta}^{\to}$ 是否一致？
• RQ5 每个布尔代数同构 $\mathbf{\Delta}^{0}_{\beta+1}(\mathcal{X})$ 到 $\mathbf{\Delta}^{0}_{\alpha+1}(\mathcal{Y})$ 是否都由某个 $\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}$-同构诱导？

主要发现

• 对于所有满足 $\alpha \leq \beta < \alpha \cdot 2$ 的可数序数 $\alpha$ 与 $\beta$，在具有小超限归纳维数的波兰空间之间，一个函数是 $\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}$-可测的，当且仅当它可以分解为可数个具有 $\mathbf{\Delta}^{0}_{\beta+1}$ 定义域的 $\mathbf{\Sigma}^{0}_{\gamma+1}$-可测函数，其中 $\gamma + \alpha \leq \beta$。
• 证明依赖于Shore-Slaman并集定理，构造一个 $\Delta^{0,X}_{\beta+1}$ 划分，使得函数的每一部分都是 $\mathbf{\Sigma}^{0,X}_{\gamma+1}$-可计算的，其中 $\gamma < \beta\hat{-\alpha}$。
• 该结果适用于具有小超限归纳维数的拟波兰空间，扩展了其在标准波兰空间之外的适用范围。
• 作者证明了在相同范围内有 $\mathbf{dec}_{\beta+1}\mathbf{\Sigma}_{1,\beta\hat{-\alpha}}(\mathcal{X},\mathcal{Y}) \subseteq \mathbf{\Sigma}_{\alpha+1,\beta+1}(\mathcal{X},\mathcal{Y}) \subseteq \mathbf{dec}\mathbf{\Sigma}_{1,\beta\hat{-\alpha}}(\mathcal{X},\mathcal{Y})$，从而确认了可分解性猜想的一个精细化版本。
• 条件 $\beta < \alpha \cdot 2$ 是必要的；若 $\beta\hat{-\alpha}$ 为后继序数，则递归构造中会出现矛盾，表明该方法的边界。
• 本文未解决 $\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}(\omega^{\omega},\omega^{\omega}) = \mathbf{\Sigma}_{\alpha+1,\beta+1}(\omega^{\omega},\omega^{\omega})$ 对所有 $\alpha, \beta < \omega_1$ 是否成立的问题，提示了未来研究的关键方向。