[论文解读] Beyond Lebesgue and Baire IV: Density topologies and a converse Steinhaus-Weil Theorem

Ν. H. Bingham, A. J. Ostaszewski|arXiv (Cornell University)|Jun 30, 2016

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

一句话总结

本文研究拓扑群中的密度拓扑，以建立Steinhaus-Weil定理的逆定理，表明在某些拓扑条件下，Steinhaus-Weil性质蕴含平移紧致性。通过引入群范数并改进拓扑结构，作者统一了测度与范畴的方法，证明在满足Kemperman性质的拓扑下，可分度量群中具有Steinhaus-Weil性质的集合是平移紧致的，从而扩展了调和分析与正则变体中的经典结果。

ABSTRACT

The theme here is category-measure duality, in the context of a topological group. One can often handle the (Baire) category case and the (Lebesgue, or Haar) measure cases together, by working bi-topologically: switching between the original topology and a suitable refinement (a density topology). This prompts a systematic study of such density topologies, and the corresponding $σ$-ideals of negligibles. Such ideas go back to Weil's classic book, and to Hashimoto's ideal topologies. We make use of group norms, which cast light on the interplay between the group and measure structures. The Steinhaus-Weil interior-points theorem (`on $AA^{-1}$') plays a crucial role here; so too does its converse, the Simmons-Mospan theorem.

研究动机与目标

• 通过识别在何种条件下Steinhaus-Weil性质在拓扑群中蕴含平移紧致性，建立Steinhaus-Weil定理的逆定理。
• 系统发展密度拓扑理论，作为原始拓扑的精化，受范畴-测度对偶性的启发。
• 通过群范数和理想拓扑，统一拓扑群中的测度论与范畴论方法。
• 阐明非局部紧致和波兰群中Steinhaus-Weil性质、Kemperman性质与平移紧致性之间的关系。
• 将Haar零集与普遍可测集的结果推广至更广泛的拓扑群类，包括非局部紧致群。

提出的方法

• 作者使用右不变度量，并定义群范数 ||t|| := d_R^G(1_G, t) 以分析邻域及其平移的结构。
• 他们引入密度拓扑 D_L 作为原始拓扑的精化，其中开集通过Lebesgue密度点定义，从而实现测度论性质的范畴论类比。
• 关键技术在于在平移不变拓扑下分析形如 AA^{-1} 和 AB^{-1} 的集合的相对内部，特别是在Steinhaus-Weil性质与Kemperman性质的背景下。
• 他们应用Effros开映射原理与序列方法，避免可分性假设，使结果适用于非可分和非局部紧致群。
• 论文使用左-Haar零集与左-Haar疏集的概念，通过普遍可测集与普遍Baire集定义，将测度与范畴对偶性推广至非局部紧致群之外。
• 弱与强Steinhaus-Weil型性质等价性的证明依赖于三个拓扑限制，包括Kemperman性质，该性质确保某些集合的平移具有非空内部。

实验结果

研究问题

• RQ1 在何种条件下，拓扑群中的Steinhaus-Weil性质蕴含平移紧致性？
• RQ2 如何系统构造密度拓扑，以反映拓扑群中范畴-测度对偶性？
• RQ3 群范数在连接非局部紧致群中的拓扑、测度论与范畴论结构中起什么作用？
• RQ4 在何种情形下，Steinhaus-Weil性质与Kemperman性质重合，它们与平移紧致性有何关系？
• RQ5 如何通过拓扑与理想拓扑将Haar零集与普遍可测集的理论推广至非局部紧致波兰群？

主要发现

• 当拓扑满足Kemperman性质时，在可分度量拓扑群中，Steinhaus-Weil性质蕴含平移紧致性，从而建立了经典Steinhaus-Weil定理的逆定理。
• 对于拓扑群G中具有Steinhaus-Weil性质的任意集合A，集合AA^{-1}包含单位元的邻域，且在本文引入的三个拓扑限制下，该性质与平移紧致性等价。
• 强Kemperman性质，表达为 |U ∩ (t + U)| ≥ ε（当 |t| < δ 时），等价于范数 ||t||_U := |U Δ (t + U)| 的连续性，该性质对R中的Lebesgue可测集成立。
• 在非局部紧致阿贝尔波兰群中，存在闭集A和B，它们不是Haar零集或Haar疏集，但A + B的内部为空，表明Steinhaus-Weil性质在这些群中并非普遍成立。
• 左-Haar零集族具有左Kemperman性质，即对任意两个此类集合A和B，存在g ∈ G使得gA ∩ B也是左-Haar零集，将经典结果推广至非局部紧致情形。
• 论文证明在波兰阿贝尔群中，Haar零集族与左-Haar零集族重合；在局部紧致第二可数群中，它们与Haar测度为零的集合重合，通过Fubini型论证实现。