[论文解读] On H-closed paratopological groups

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

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

一句话总结

本文建立了阿贝尔拟拓扑群与拓扑群中 H-闭性的判定条件，表明在附加结构条件下，一个阿贝尔拓扑群是 H-闭的当且仅当它是 Rajkov 完备的，且存在某个 $ n ∈ \mathbb{N} $ 使得 $ nG $ 是预紧的。本文证明了 H-闭的阿贝尔群是紧子群的并集，且可除的 H-闭阿贝尔群必为紧致群，从而推广了拓扑群中完备性与预紧性方面的已知结果。

ABSTRACT

A Hausdorff paratopological group G is H-closed if G is closed in each Hausdorff paratopological group containing G. We obtain criteria of H-closedness for some classes of abelian paratopological groups. In particular, for topological groups.

研究动机与目标

• 通过完备性与预紧性条件，刻画 H-闭的阿贝尔拟拓扑群与拓扑群。
• 研究 H-闭阿贝尔群的结构，特别是其子群与闭包性质。
• 建立 H-闭性蕴含 $ nG $ 对某个 $ n $ 预紧的充分条件，并在附加拓扑约束下验证一个猜想。

提出的方法

• 利用 Pontrjagin 条件，通过邻域基定义拟拓扑群拓扑。
• 通过上一致覆盖 $ \mathcal{L} \vee \mathcal{R} $ 应用 Rajkov 完备性，将完备化 $ \hat{G} $ 定义为包含 $ G $ 稠密的唯一完备群。
• 运用超滤子收敛与柯西滤子技术分析拓扑群中的闭包与完备性。
• 在 $ G \times \mathbb{Z} $ 上构造拓扑，通过嵌入论证证明非 H-闭性。
• 对 $ \hat{G} $ 应用 Baire 范畴定理，推导出集合 $ G(n,k) = \{ x \in \hat{G} : nx \in L_k \} $ 具有非空内部，从而推出 $ mnG $ 的预紧性。
• 利用 $ \hat{G} $ 中的闭包与子群结构，证明 $ \overline{H}^{\hat{\sigma}} \cap G = H $，从而推出子群的 H-闭性。

实验结果

研究问题

• RQ1 在什么条件下，一个阿贝尔拓扑群是 H-闭的？其性质由哪些条件刻画？
• RQ2 在 H-闭阿贝尔群中，子群 $ nG $ 何时是预紧的？
• RQ3 每个 H-闭阿贝尔群是否都是紧子群的并集？
• RQ4 在附加结构假设下，H-闭性是否等价于 Rajkov 完备性与 $ nG $ 的预紧性？
• RQ5 能否通过其 Rajkov 完备化与商结构的性质来判定群的 H-闭性？

主要发现

• 若存在一个 $ \sigma $-紧子群 $ L $，使得 $ G/L $ 是周期群，且 $ (G, \tau') $ 的完备化为 Baire 空间，则一个阿贝尔拓扑群是 H-闭的当且仅当它是 Rajkov 完备的，且存在某个 $ n \in \mathbb{N} $ 使得 $ nG $ 是预紧的。
• 每个 H-闭阿贝尔拓扑群都是紧子群的并集，且每个元素都属于某个紧子群。
• 一个可除的阿贝尔 H-闭拓扑群必然是紧致群。
• 在任意 H-闭阿贝尔拓扑群中，交集 $ K = \bigcap_{n \in \mathbb{N}} \overline{nG} $ 是紧致的。
• 对每个零元的邻域 $ U $，存在 $ n \in \mathbb{N} $，使得 $ \overline{nG} \subset KU $，表明 $ K $ 是闭包结构中零元的紧邻域。
• H-闭阿贝尔群的闭子群自身也是 H-闭的，该性质在闭包下保持不变。