[论文解读] Bounded Topological Groups

Kazem Haghnejad Azar|arXiv (Cornell University)|Mar 15, 2010

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

一句话总结

本文引入了拓扑群中子集有界性的新概念，通过单位元邻域的有限次乘积来定义。建立了若干关键等价关系：在度量群中，拓扑有界性与度量有界性一致；有界性在商群和扩张下保持不变；紧致分支蕴含有界性。核心贡献在于对有界拓扑群的结构特征及其与紧致性、开性及局部性质之间相互作用的刻画。

ABSTRACT

In this note for a topological group $G$, we introduce a bounded subset of $G$ and we find some relationships of this definition with other topological properties of $G$.

研究动机与目标

• 通过邻域乘积形式化并分析拓扑群中的有界子集。
• 澄清在度量拓扑群中，拓扑有界性与左不变度量有界性之间的关系。
• 研究有界性在群同态、商映射和扩张下的行为。
• 确定有界性带来的拓扑后果，尤其是与紧致性和连通性相关的问题。
• 探讨局部紧致性和O维性在阻碍有界性方面的作用。

提出的方法

• 通过如下条件引入有界性：对每个单位元e的邻域V，存在n ∈ ℕ，使得E ⊆ Vⁿ。
• 使用左不变度量，比较度量拓扑群中拓扑有界性与度量有界性。
• 应用群论构造方法，如商群和乘积集，研究有界集的闭包与扩张性质。
• 运用拓扑工具，如闭包、紧致邻域以及O维空间中的开-闭基。
• 利用一般拓扑学中的已知定理（例如，[1, 定理4.10]）推导结构结果。
• 利用连续性与同构性质，实现有界性在同构拓扑群之间的传递。

实验结果

研究问题

• RQ1 根据新定义，在拓扑群G中，子集E ⊆ G在什么条件下是有界的？
• RQ2 在具有左不变度量d的度量拓扑群中，拓扑有界性是否与相对于d的有界性一致？
• RQ3 在何种条件下，群G的有界性可推出其紧致性或连通性？
• RQ4 有界性是否在群同态或商映射下保持不变？
• RQ5 哪些拓扑性质（如局部紧致性、O维性）会阻止一个群具有有界性？

主要发现

• 在具有左不变度量d的度量拓扑群中，G拓扑有界当且仅当其相对于d有界。
• 若H和G/H均为有界的正规子群，则G有界。
• 局部紧致拓扑群的每个闭有界子集都是紧致的。
• 局部紧致拓扑群的单位分支是有界的。
• 局部紧致、O维或完全不连通的豪斯多夫拓扑群是无界的。
• 连续群同构保持有界性；若陪域是局部紧致的，则该同构是紧致的（有界集的像相对紧致）。