[论文解读] Additivity, subadditivity and linearity: automatic continuity and quantifier weakening

Ν. H. Bingham, A. J. Ostaszewski|arXiv (Cornell University)|May 15, 2014

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

一句话总结

本文在弱化量词条件的框架下，建立了加法函数与次可加函数的自动连续性定理，表明在具有结构性质（如局部 Steinhaus-Weil 性质或平移紧致性）的稀疏集上连续，即可推出全局连续性与线性性。核心贡献在于提出一种量词弱化框架，减少了在正则变体与函数方程中对强正则性假设的依赖。

ABSTRACT

We study the interplay between additivity (as in the Cauchy functional equation), subadditivity and linearity. We obtain automatic continuity results in which additive or subadditive functions, under minimal regularity conditions, are continuous and so linear. We apply our results in the context of quantifier weakening in the theory of regular variation completing our programme of reducing the number of hard proofs there to zero.

研究动机与目标

• 通过弱化函数方程中的量词，减少正则变体中复杂证明的数量。
• 建立加法或次可加函数在仅于稀疏集上假设正则性时仍能实现连续性与线性性的条件。
• 通过用局部 Steinhaus-Weil 性质或平移紧致性等更弱的结构性条件替代全连续性，推广自动连续性结果。
• 利用拓扑与测度论工具，统一并拓展正则变体、函数方程与风险度量领域的结果。
• 证明在解析生成集上有界性可推出加法函数的连续性，从而解决同态理论中的一个长期问题。

提出的方法

• 利用局部 Steinhaus-Weil 性质，确保在零点附近的稀疏集支持次可加函数的连续性。
• 应用平移紧致性，以序列趋于零的较弱条件替代全连续性。
• 借助 Kestelman-Borwein-Ditor 定理与 Steinhaus 子群定理，从局部行为推导出全局连续性。
• 运用 Lusin 定理与稠密性-拓扑论证，在双拓扑设定下证明几乎处处线性性。
• 利用 Heiberg-Seneta 条件与解析生成集，将有界性扩展至加法函数的全连续性。
• 应用次可加遍历定理与一致风险度量框架，将结果置于概率与金融的语境中。

实验结果

研究问题

• RQ1 在何种弱化量词条件下，稀疏集上的可加性可推出全局连续性与线性性？
• RQ2 局部 Steinhaus-Weil 性质或平移紧致性如何替代次可加函数中的全连续性？
• RQ3 集合 Σ 的何种结构性条件可确保次可加性与在 Σ 上的有界性推出全局连续性？
• RQ4 如何通过函数方程中量词的弱化，简化正则变体理论？
• RQ5 在 ℝ 上，加法函数在解析生成集上有界性如何推出其连续性？

主要发现

• 若次可加函数 S 在具有局部 Steinhaus-Weil 性质的对称集 Σ 上于 0 处连续，则 S 处处连续，因而线性。
• 对于满足 S(0) = 0 的次可加函数 S，若在 0 处右连续，且存在满足 zₙ ↗ 0 且 S(zₙ) → 0 的序列，则 S 全连续。
• 若 S 是次可加函数，且在局部 Steinhaus-Weil 集 Σ ⊆ [0, ∞) 上线性有界，则 S 全局线性有界且连续。
• 若加法函数 A 在解析生成集 T 上有界，则其连续，因而线性，此结论源于 T 的结构与 Baire 族论证。
• 次可加性与在平移紧致集上的有界性结合，可推出全局连续性，从而推广了经典自动连续性定理。
• 通过 Kestelman-Borwein-Ditor 定理与 Steinhaus 子群定理（定理 S）统一了次可加函数及其推广的定理。