[论文解读] Subgroups of the additive group of real line

Jitender Singh|arXiv (Cornell University)|Dec 26, 2013

Holomorphic and Operator Theory参考文献 2被引用 3

一句话总结

本文提供了关于实数加法群的每个真子群要么闭合要么稠密的全新直接证明，确立了一个基本的拓扑-代数二分法。该结果被推广至拓扑群，表明任何具有此子群性质的群必为连通或完全不连通，从而将子群的拓扑性质与群的整体结构联系起来。

ABSTRACT

Without assuming the field structure on the additive group of real numbers $\mathbb{R}$ with the usual order $

研究动机与目标

• 提供经典结果的直接、自包含证明：在(R, +)中，每个真子群要么闭合要么稠密。
• 将此二分法推广至任意拓扑群，识别出子群的拓扑条件，该条件可推出整体连通性或完全不连通性。
• 阐明子群二分法对环境群拓扑结构的结构性影响。
• 将结果应用于经典数论情境，如Kronecker逼近定理和{sin n}的稠密性。

提出的方法

• 使用拓扑群公理：群运算的连续性及通过左平移实现的齐性。
• 应用开子群必为闭子群的事实，以及包含单位元邻域的子群必为开子群的事实。
• 利用子群中非零元素绝对值的下确界来表征闭合性或稠密性。
• 使用同胚（例如平移和缩放映射）在实直线上转移稠密性或闭合性。
• 反证法：假设存在非闭合且非稠密的子群，通过区间覆盖和倍数的稠密性导出矛盾。
• 通过定理7进行推广：若所有真子群均为闭合或稠密，则该群必为连通或完全不连通。

实验结果

研究问题

• RQ1 在(R, +)中，真子群必然满足何种拓扑性质？为何这种二分法在R中成立，而在R^n或R×中不成立？
• RQ2 子群中非零元素绝对值的下确界如何决定该子群在R中是闭合还是稠密？
• RQ3 R中的子群二分法能否推广至任意拓扑群？其全局拓扑后果是什么？
• RQ4 子群结构与拓扑群整体连通性之间有何关系？
• RQ5 此结果如何应用于Kronecker逼近定理等经典结果？

主要发现

• 在(R, +)中，每个真子群H要么闭合要么稠密；这种二分法的存在是由于R的序结构与拓扑结构。
• 在(R, +)中，真子群H闭合当且仅当α = inf{|x| : x ∈ H \ {0}} ≠ 0，此时H = αZ为循环群。
• 在(R, +)中，真子群H稠密当且仅当α = 0，这意味着子群不是离散的。
• Kronecker逼近定理作为推论被重新获得：对无理数α，子群αZ + Z在R中稠密。
• 任何拓扑群，若其所有真子群均为闭合或稠密，则该群本身必为连通或完全不连通。
• 带有下限拓扑的实直线是完全不连通的，在此拓扑下，每个区间也完全不连通，说明子群二分法在此处不成立。