[论文解读] Variants on the Berz sublinearity theorem

Ν. H. Bingham, A. J. Ostaszewski|arXiv (Cornell University)|Dec 14, 2017

Advanced Topology and Set Theory参考文献 44被引用 3

一句话总结

本文使用选择公理的弱化形式——依赖选择公理（DC）而非全选择公理（AC），提出了贝尔兹次线性定理的变体，建立了实数上次线性函数为线性的条件。文中引入了‘稀释’版本，即将齐次性与次可加性条件限制在稠密加法子群上，通过连续性与有界性确保线性性。

ABSTRACT

We consider variants on the classical Berz sublinearity theorem, using only DC, the Axiom of Dependent Choices, rather than AC, the Axiom of Choice which Berz used. We consider thinned versions, in which conditions are imposed on only part of the domain of the function -- results of quantifier-weakening type. There are connections with classical results on subadditivity. We close with a discussion of the extensive related literature.

研究动机与目标

• 使用仅依赖选择公理（DC）建立群论中类似哈恩-巴拿赫延拓定理的结果，避免依赖全选择公理（AC）
• 研究贝尔兹次线性条件中的全称量词（即对所有实数 x 的 N-齐次性）是否可弱化为稠密加法子群 A ⊆ ℝ 中的条件
• 在仅使用 DC 的前提下，提供子加性、N-齐次函数在稠密子群 A 上延拓为 ℝ 上线性函数的条件
• 探讨在量词弱化条件下，连续性与局部有界性在确保线性性中的作用
• 通过公理化与拓扑方法，将这些结果与经典次可加性、正规变体以及金曼次可加遍历定理联系起来

提出的方法

• 利用定理 0（戈德利的连续性判据）证明：若子加性函数在 0 处连续且在 0 处取值为 0，则其在整个实数轴上连续
• 应用定理 0+（基于金曼的贝尔范畴定理的有界性）在较弱正则性条件下建立子加性函数的线性上界
• 对定义在 ℝ 上的函数 S 施加局部有界性与子加性条件，进而证明：若在 0 处连续，则在 ℝ₊ 和 ℝ₋ 上全局连续且线性
• 通过将 N-齐次性的定义域限制在稠密加法子群 A ⊆ ℝ 上，引入‘稀释’机制，同时保持子加性与局部有界性
• 通过分析 S(t)/t 在 0 与 ∞ 附近的渐近行为，推导出当齐次性限制在 A 上时，线性性的必要与充分条件
• 依赖 DC 而非 AC 来证明延拓定理，避免使用强选择公理，同时保留次线性性与同态延拓的关键结果

实验结果

研究问题

• RQ1 贝尔兹次线性定理能否仅使用依赖选择公理（DC）而非全选择公理（AC）来证明？
• RQ2 在何种条件下，定义在稠密加法子群 A ⊆ ℝ 上的子加性、N-齐次函数可延拓为 ℝ 上的线性函数？
• RQ3 在将 N-齐次性中的全称量词（从所有 x ∈ ℝ 弱化为 x ∈ A）后，确保线性性的必要与充分侧条件是什么？
• RQ4 在 DC 框架下，这些结果与经典次可加性定理（如希勒-菲利普斯与柯尔莫哥洛夫定理）有何关联？
• RQ5 在可分或可乘群设定下，是否能仅使用 DC 建立加法函数的哈恩-巴拿赫型延拓定理？

主要发现

• 仅使用 DC，局部有界的次线性函数 S: ℝ → ℝ 在整个 ℝ 上连续，且在 ℝ₊ 与 ℝ₋ 上线性
• 定理 3 建立了基于 DC 的加法函数哈恩-巴拿赫定理延拓，避免依赖 AC 或极大理想定理（PIT）
• 对于满足 S(0) = 0 的子加性函数 S: ℝ → ℝ，其在 0 处连续当且仅当存在某列 zₙ ↗ 0 使得 S(zₙ) → 0
• 当 N-齐次性限制在稠密加法子群 A ⊆ ℝ 上，且 S 局部有界时，S 在 ℝ 上线性当且仅当渐近比 S(t)/t 在 0 与 ∞ 处极限一致
• 结果可推广至取值于赋范空间的函数，其中 S(x) = ||x||S(uₓ) 对单位向量 uₓ 成立，且对所有 x ≠ 0，S(uₓ) 一致有界
• 本文表明，巴杜拉的群论型哈恩-巴拿赫结果的可分情形或可用 DC 证明，而完备性的作用尚待明确