[论文解读] Topological properties of Taimanov semigroups

Олег Гутік|arXiv (Cornell University)|Dec 27, 2016

Advanced Topology and Set Theory参考文献 11被引用 9

一句话总结

该论文证明了Taimanov半群——具有唯一零元和一个特殊无穷元的交换半群——在连续平移的$T_1$-拓扑下不存在非离散的拓扑结构。论文证明了任何此类拓扑必为离散拓扑，Taimanov半群在包含它们的$T_1$-拓扑半群中是闭的，且所有非同构的同态像均为零半群，因此在任何拓扑下都是拓扑半群。这些结果推广并加强了Taimanov关于不可拓扑化半群的早期工作。

ABSTRACT

A semigroup $T$ is called Taimanov if $T$ contains two distinct elements $0,\infty$ such that $xy=\infty$ for any distinct points $x,y\in T\setminus\{0,\infty\}$ and $xy=0$ in all other cases. We prove that any Taimanov semigroup $T$ has the following topological properties: (i) each $T_1$-topology with continuous shifts on $T$ is discrete; (ii) $T$ is closed in each $T_1$-topological semigroup containing $T$ as a subsemigroup; (iii) every non-isomorphic homomorphic image $Z$ of $T$ is a zero-semigroup and hence $Z$ is a topological semigroup in any topology on $Z$.

研究动机与目标

• 研究在具有连续平移的$T_1$-拓扑下Taimanov半群的拓扑实现性。
• 通过证明更强的闭包与离散性性质，推广Taimanov关于半群非离散拓扑化的原始结果。
• 刻画Taimanov半群的非同构同态像的结构及其拓扑行为。
• 在$T_1$-拓扑半群类中建立Taimanov半群的代数完备性。

提出的方法

• 通过二元运算定义Taimanov半群：任意两个不同的非零、非无穷元相乘结果为无穷元，其余所有乘积结果为零元。
• 利用平移连续性与$T_1$分离性，证明在任何具有连续平移的$T_1$-拓扑下，点$0_T$与$\infty_T$均为孤立点。
• 通过反证法证明每个非零、非无穷元也必为孤立点，利用左乘与右乘的连续性。
• 通过分析核结构与乘积行为，证明Taimanov半群的任意非同构同态像必为零半群。
• 利用零半群的乘法运算为常值函数的性质，证明其在任何拓扑下均连续，从而表明此类像在任何拓扑下均为拓扑半群。
• 应用上述结果，证明Taimanov半群在$T_1$-拓扑半群中是闭的，且在该类中具有代数完备性。

实验结果

研究问题

• RQ1 Taimanov半群是否可能拥有一个非离散的$T_1$-拓扑，且其左平移与右平移均连续？
• RQ2 当Taimanov半群作为子半群包含于某个$T_1$-拓扑半群中时，它是否必然为闭集？
• RQ3 Taimanov半群的任意非同构同态像具有何种结构？
• RQ4 Taimanov半群的每个非同构同态像是否在任何拓扑下都成为拓扑半群？
• RQ5 在$T_1$-拓扑半群类中，Taimanov半群是否具有代数完备性？

主要发现

• 在任意Taimanov半群上，只要具有连续平移的$T_1$-拓扑，其必为离散拓扑，无论其基数如何。
• Taimanov半群在任何包含它作为子半群的$T_1$-拓扑半群中都是闭集。
• Taimanov半群的任意非同构同态像均为零半群。
• 由于零半群的乘法运算为常值函数，因此在任何拓扑下均连续，故其为拓扑半群。
• Taimanov半群在$T_1$-拓扑半群类中具有代数完备性，即其在任何包含它的此类半群中均为闭集。
• 平方映射的连续性对于闭包结果至关重要；仅连续性满足更高次幂映射（如$ x \mapsto x^m $，$ m \geq 3 $）不足以保证闭包性质。