[论文解读] Free paratopological groups

Ali Sayed Elfard|arXiv (Cornell University)|Dec 23, 2012

Advanced Topology and Set Theory参考文献 2被引用 29

一句话总结

本文研究了拓扑空间 X 上的自由抛拓群 FP(X) 和 AP(X)，特别关注 Pα-空间与亚历山德罗夫空间。研究证明，当 X 为亚历山德罗夫空间时，FP(X) 也是亚历山德罗夫空间，构造了在单位元处的显式邻域基，并证明了 FP(X) 是 T₀ 当且仅当 X 是 T₀。主要贡献在于刻画了 FP(X) 成为拓扑群的条件，以及其具备归纳极限性质的条件。

ABSTRACT

Let $\FP(X)$ be the free paratopological group on a topological space $X$ in the sense of Markov. In this paper, we study the group $\FP(X)$ on a $P_α$-space $X$ where $α$ is an infinite cardinal and then we prove that the group $\FP(X)$ is an Alexandroff space if $X$ is an Alexandroff space. Moreover, we introduce a neighborhood base at the identity of the group $\FP(X)$ when the space $X$ is Alexandroff and then we give some properties of this neighborhood base. As applications of these, we prove that the group $\FP(X)$ is $T_0$ if $X$ is $T_0$, we characterize the spaces $X$ for which the group $\FP(X)$ is a topological group and then we give a class of spaces $X$ for which the group $\FP(X)$ has the inductive limit property.

研究动机与目标

• 研究 Pα-空间与亚历山德罗夫空间上自由抛拓群 FP(X) 和 AP(X) 的结构。
• 确定 FP(X) 成为拓扑群的条件，即逆运算连续的条件。
• 建立 FP(X) 和 AP(X) 满足归纳极限性质的条件。
• 刻画当 X 为亚历山德罗夫空间时，FP(X) 在单位元处的邻域基。
• 证明 FP(X) 是 T₀ 当且仅当 X 是 T₀，将分离性质扩展至自由群构造。

提出的方法

• 采用马尔科夫自由抛拓群构造方法，将 FP(X) 定义为在 X 上的自由群，赋予最强的抛拓群拓扑，使其拓扑扩展 X 的原始拓扑。
• 应用 Pα-空间的概念——即任意少于 α 个开集的交集仍为开集——以分析 FP(X) 的拓扑性质。
• 利用亚历山德罗夫空间的结构，构造 FP(X) 在单位元处的邻域基，利用开集任意交仍为开集的性质。
• 通过从 X 到有限 T₀ 空间（如 R_n）的连续同态，分离群元素，以证明 FP(X) 的 T₀ 分离性。
• 通过证明若 X 是 T₁ P-空间，则 FP(X) 是子群 FP_n(X)（由长度不超过 n 的字构成）的归纳极限，应用归纳极限性质。
• 应用先前研究（如 [3]、[7]、[8]）关于自由抛拓群与分离公理的结果，推导出新的刻画。

实验结果

研究问题

• RQ1 在何种条件下，自由抛拓群 FP(X) 是亚历山德罗夫空间？
• RQ2 在何种条件下，自由抛拓群 FP(X) 是拓扑群，即逆运算连续？
• RQ3 当 X 为亚历山德罗夫空间时，FP(X) 在单位元处的邻域基是什么？
• RQ4 FP(X) 在何种条件下满足归纳极限性质？
• RQ5 X 的 T₀ 性质与 FP(X) 的 T₀ 性质之间有何关系？

主要发现

• 若 X 为亚历山德罗夫空间，则 FP(X) 也是亚历山德罗夫空间。
• 当 X 为亚历山德罗夫空间时，构造了 FP(X) 在单位元处的简单邻域基，其基于 X 的拓扑结构。
• FP(X) 是 T₀ 当且仅当 X 是 T₀，建立了 X 的分离公理与其自由抛拓群之间直接联系。
• FP(X) 是拓扑群当且仅当 X 是 T₀ 空间，并满足与逆运算连续性相关的附加结构条件。
• 若 X 是 T₁ P-空间，则 FP(X) 是子群 FP_n(X) 的归纳极限，其中 FP_n(X) 由长度不超过 n 的字构成。
• 自由交换抛拓群 AP(X) 具有类似性质：当 X 是 T₀ 时，AP(X) 也是 T₀，且在相同条件下具有归纳极限性质。