[论文解读] Pseudocompact paratopological groups

Alex Ravsky|arXiv (Cornell University)|Mar 28, 2010

Advanced Topology and Set Theory参考文献 33被引用 12

一句话总结

本文研究伪紧拟拓扑群，建立了此类群为拓扑群的必要与充分条件。构造了非拓扑的（2-）伪紧拟拓扑群，证明了2-伪紧群是伪紧的，并表明Hausdorff σ-紧伪紧拟拓扑群是紧致拓扑群，还得到了关于乘积与正规子群的附加结果。

ABSTRACT

We obtain many results and solve some problems about pseudocompact paratopological groups. In particular, we obtain necessary and sufficient conditions when such a group is topological. (2-)pseudocompact paratopological groups that are not topological are constructed. It is proved that each 2-pseudocompact paratopological group is pseudocompact and that each Hausdorff \sigma-compact pseudocompact paratopological group is a compact topological group. Our particular attention is devoted to periodic and topologically periodic groups. In addition, we prove that the product of a nonempty family of pseudocompact paratopological groups is pseudocompact. We show that a paratopological group G is pseudocompact provided it has a normal subgroup N such that both N and the quotient paratopological group G/N are pseudocompact.

研究动机与目标

• 确定伪紧拟拓扑群成为拓扑群的必要与充分条件。
• 构造非拓扑的（2-）伪紧拟拓扑群的例子。
• 研究Hausdorff拟拓扑群中伪紧性、σ-紧性与紧性之间的关系。
• 分析伪紧性在乘积与商构造下的行为。
• 在伪紧性背景下，研究周期性与拓扑周期性拟拓扑群的性质。

提出的方法

• 使用拓扑与代数技术分析在伪紧性条件下拟拓扑群的结构。
• 通过特定群拓扑构造反例，以展示（2-）伪紧群中非拓扑行为的存在。
• 应用正规子群与商群的性质，将伪紧性推广至整个群。
• 证明σ-紧性结合伪紧性与Hausdorff分离性可推出紧致性。
• 建立任意多组拟拓扑群乘积下伪紧性的闭包性质。
• 分析周期性与拓扑周期性，以在伪紧设定下推导结构约束。

实验结果

研究问题

• RQ1 在何种条件下，伪紧拟拓扑群必然是拓扑群？
• RQ2 是否存在非拓扑的（2-）伪紧拟拓扑群？若存在，如何构造？
• RQ3 每个2-伪紧拟拓扑群是否都是伪紧的？
• RQ4 非空族伪紧拟拓扑群的乘积是否仍保持伪紧性？
• RQ5 当拟拓扑群具有伪紧正规子群与伪紧商群时，其本身在何种条件下成为伪紧群？

主要发现

• 若一个拟拓扑群具有伪紧正规子群与伪紧商群，则该群是伪紧的。
• 任意非空族伪紧拟拓扑群的乘积仍是伪紧的。
• 每个2-伪紧拟拓扑群都是伪紧的。
• Hausdorff σ-compact 伪紧拟拓扑群是紧致拓扑群。
• 存在非拓扑的（2-）伪紧拟拓扑群，为潜在等价关系提供了反例。
• 伪紧性在商群构造、乘积构造以及正规子群扩张下均保持不变。