[论文解读] Pseudocompact paratopological groups that are topological

Alex Ravsky|arXiv (Cornell University)|Jun 8, 2014

Advanced Topology and Set Theory参考文献 15被引用 14

一句话总结

本文建立了伪紧拟拓扑群成为拓扑群的必要且充分条件，构造了非拓扑群的2-伪紧和可数紧致拟拓扑群的例子，并证明了Hausdorff σ-紧致伪紧致拟拓扑群必为紧致拓扑群。此外，本文进一步分析了该类群中周期性与拓扑周期性结构。

ABSTRACT

We obtain necessary and sufficient conditions when a pseudocompact paratopological group is topological. (2-)pseudocompact and countably compact paratopological groups that are not topological are constructed. It is proved that each 2-pseudocompact paratopological group is pseudocompact and that each Hausdorff σ-compact pseudocompact paratopological group is a compact topological group. Our particular attention is devoted to periodic and topologically periodic pseudocompact paratopological groups.

研究动机与目标

• 确定伪紧致拟拓扑群成为拓扑群的必要且充分条件。
• 构造非拓扑群的2-伪紧致和可数紧致拟拓扑群的例子。
• 研究伪紧致性、2-伪紧致性与拓扑群结构之间的关系。
• 分析周期性和拓扑周期性伪紧致拟拓扑群的结构。

提出的方法

• 利用拓扑与代数性质刻画拟拓扑群何时成为拓扑群。
• 通过已知拓扑群构造方法及其变体，构造特定例子以确保伪紧致性但不具群拓扑。
• 应用σ-紧致性与Hausdorff分离公理，推导伪紧致情形下的紧致性。
• 在伪紧致拟拓扑群背景下分析周期性与拓扑周期性。
• 利用已知的伪紧致空间结果与拟拓扑群公理，推导结构蕴含关系。
• 通过拓扑覆盖与闭包论证，建立2-伪紧致性与伪紧致性之间的蕴含关系。

实验结果

研究问题

• RQ1 在何种条件下，伪紧致拟拓扑群必为拓扑群？
• RQ2 2-伪紧致或可数紧致的拟拓扑群是否可能不是拓扑群？若可，如何构造？
• RQ3 在拟拓扑群中，2-伪紧致性与伪紧致性之间存在何种关系？
• RQ4 周期性与拓扑周期性结构如何约束伪紧致拟拓扑群的拓扑？
• RQ5 在Hausdorff伪紧致拟拓扑群中，σ-compactness在何种情况下蕴含作为拓扑群的紧致性？

主要发现

• 每个2-伪紧致拟拓扑群均为伪紧致，确立了这些紧致性性质之间的层级关系。
• 存在非拓扑群的2-伪紧致拟拓扑群，表明2-伪紧致性不蕴含群拓扑。
• 存在非拓扑群的可数紧致拟拓扑群，表明可数紧致性本身不足以保证拓扑群结构。
• 每个Hausdorff σ-紧致伪紧致拟拓扑群均为紧致拓扑群，建立了紧致性与拓扑群结构之间的联系。
• 周期性与拓扑周期性伪紧致拟拓扑群表现出与紧致群已知性质一致的结构约束。