[论文解读] Category-measure duality: convexity, mid-point convexity and Berz sublinearity

Ν. H. Bingham, A. J. Ostaszewski|arXiv (Cornell University)|Jul 19, 2016

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

一句话总结

本文建立了伯兹次线性定理的范畴论类比，证明在巴拿赫空间上具有贝尔性质的次线性函数，其图像构成一个锥——具体而言，在 ℝ 中为通过原点的两条射线，使用依赖选择公理（DC）而非全集选择公理。该结果推广了伯兹经典的测度论定理，并通过范畴方法扩展了中点凸函数的连续性结果。

ABSTRACT

Category-measure duality concerns applications of Baire-category methods that have measure-theoretic analogues. The set-theoretic axiom needed in connection with the Baire category theorem is the Axiom of Dependent Choice DC rather than the Axiom of Choice AC. Berz used the Hahn-Banach Theorem over $\mathbb{Q}$ to prove that the graph of a measurable sublinear function that is $\mathbb{Q}_{+}$-homogeneous consists of two half-lines through the origin. We give a category form of the Berz theorem. Our proof is simpler than that of the classical measure-theoretic Berz theorem, our result contains Berz's theorem rather than simply being an analogue of it, and we use only DC rather than AC. Furthermore, the category form easily generalizes: the graph of a Baire sublinear function defined on a Banach space is a cone. The results are seen to be of automatic-continuity type. We use Christensen Haar null sets to extend the category approach beyond the locally compact setting where Haar measure exists. We extend Berz's result from Euclidean to Banach spaces, and beyond. Passing from sublinearity to convexity, we extend the Bernstein-Doetsch theorem and related continuity results, allowing our conditions to be `local' -- holding off some exceptional set.

研究动机与目标

• 建立伯兹关于次线性函数的经典定理的范畴论类比，以贝尔范畴条件替代测度论假设。
• 证明在巴拿赫空间上具有贝尔可测性的次线性函数，其图像必为锥，将 ℝ 中的两条射线结构推广至无穷维空间。
• 通过范畴论方法扩展中点凸函数的自动连续性结果，特别是在非局部紧致空间中，利用克里斯滕森哈亚尔零测集。
• 表明范畴方法（贝尔）蕴含测度论版本（勒贝格可测），从而在函数方程中确立范畴与测度之间强度的层级关系。
• 使用拓扑与集合论工具（如 Steinhaus-Weil 性质和稠密拓扑）在更弱的局部条件下统一并推广次加性和凸函数的结果。

提出的方法

• 使用依赖选择公理（DC）而非全集选择公理（AC），确保结果在构造上更可取，并适用于泛函分析背景。
• 将贝尔范畴方法应用于巴拿赫空间上的次线性函数，证明具有贝尔性质的此类函数在通过原点的每条射线上必为线性函数。
• 运用 Steinhaus-Weil 性质和稠密拓扑分析次加性和中点凸函数的局部行为与连续性。
• 引入克里斯滕森哈亚尔零测集，将范畴论方法扩展至非局部紧致空间，使在一般巴拿赫空间中得以分析。
• 使用布卢姆伯格二分定理，将非可分巴拿赫空间中的连续性问题约化为可分子空间，利用可分子空间上的连续性可推出全局连续性的事实。
• 以局部化、基于范畴的形式应用 Bernstein-Doetsch 定理，证明在贝尔或普遍可测条件下中点凸函数的连续性。

实验结果

研究问题

• RQ1 伯兹关于次线性函数的定理能否在范畴论设定下重述，以贝尔性质替代可测性？
• RQ2 贝尔范畴方法是否能产生强于或更普遍的古典测度论版本伯兹定理的结果？
• RQ3 在非局部紧致空间中，使用范畴论工具能多大程度上将中点凸函数的自动连续性定理扩展？
• RQ4 克里斯滕森哈亚尔零测集的使用如何使范畴方法扩展至哈亚尔测度不存在的一般巴拿赫空间？
• RQ5 范畴论与测度论版本的伯兹定理之间存在何种逻辑关系？在基础假设方面，哪一者更强？

主要发现

• 贝尔版本的伯兹定理（定理 1B）指出：任何在 ℝ 上具有贝尔可测性的次线性函数，必须在 ℝ₊ 和 ℝ₋ 上分别线性，即当 x ≥ 0 时 S(x) = c⁺x，当 x ≤ 0 时 S(x) = c⁻x。
• 范畴论结果（定理 1B）蕴含经典测度论版本的伯兹定理（定理 1M），表明贝尔条件在逻辑上更强，且在推论上更具普遍性。
• 对于巴拿赫空间，具有贝尔性质的次线性函数的图像为锥，将 ℝ 中的两条射线结构推广至无穷维空间。
• 本文证明：在巴拿赫空间上具有贝尔可测性的中点凸函数必为连续函数，将 Bernstein-Doetsch 定理推广至范畴设定。
• 通过克里斯滕森哈亚尔零测集，作者将范畴方法扩展至非局部紧致空间，使结果适用于一般巴拿赫空间，而无需依赖哈亚尔测度。
• 范畴公理（如所有投影集的贝尔性质 BP）的一致性被证明与 ZFC 加一个不可达基数等价，凸显其基础稳健性。