[论文解读] Openly factorizable spaces and compact extensions of topological semigroups

Тарас Банах, Svetlana Dimitrova|arXiv (Cornell University)|Nov 26, 2008

Advanced Topology and Set Theory参考文献 7被引用 4

一句话总结

本文证明了伪紧、可分、开可分解的拓扑半群 S 的半群运算可连续地延拓至其 Stone-Čech 紧化 βS。核心贡献在于对开可分解空间的谱特征刻画，以及证明此类空间——尤其是伪紧且可分的空间——可连续地延拓半群运算至 βS，从而解决了半群紧化领域长期存在的问题。

ABSTRACT

We prove that the semigroup operation of a topological semigroup $S$ extends to a continuous semigroup operation on its the Stone-Čech compactification $βS$ provided $S$ is a pseudocompact openly factorizable space, which means that each map $f:S o Y$ to a second countable space $Y$ can be written as the composition $f=g\circ p$ of an open map $p:X o Z$ onto a second countable space $Z$ and a map $g:Z o Y$. We present a spectral characterization of openly factorizable spaces and establish some properties of such spaces.

研究动机与目标

• 确定拓扑半群 S 的半群运算在何种条件下可连续延拓至其 Stone-Čech 紧化 βS。
• 引入并研究开可分解空间类，其定义为：每个到第二可数空间 Y 的连续映射 f:S→Y 均可分解为 f=g∘p，其中 p:X→Z 为开映射且 Z 为第二可数空间。
• 利用第二可数空间的逆谱，对开可分解空间提供谱特征刻画。
• 研究开可分解空间与其他紧致空间类（如 Eberlein、Corson、Valdivia 和 Dugundji 紧致空间）之间的关系。
• 解决关于开可分解紧致空间的度量性与结构性质的开放问题。

提出的方法

• 通过因子分解性质引入开可分解空间的概念：每个到第二可数空间 Y 的连续映射 f:S→Y 均可表示为 f=g∘p，其中 p:X→Z 为开映射且 Z 为第二可数空间。
• 利用第二可数空间的逆谱，建立开可分解空间的谱特征刻画，证明此类空间是开连续 ω-完备逆谱的极限。
• 证明对于伪紧、可分、开可分解的拓扑半群 S，其半群运算可连续延拓至 βS。
• 利用 Hewitt 完备化 υX 和 Stone-Čech 紧化 βX，建立实完备性与伪紧性之间的关系，证明 υX=βX 当且仅当 X 是伪紧的。
• 应用 Shchepin 关于开正规函子的结果，证明开生成与开可分解紧致空间类在这些函子下保持不变。
• 分析紧致空间的层级结构，比较开可分解空间与 Dugundji、Eberlein、Corson 和 Valdivia 紧致空间，识别出非度量化的例子，如 [0,ω₁]。

实验结果

研究问题

• RQ1 在何种条件下，拓扑半群 S 的半群运算可连续延拓至其 Stone-Čech 紧化 βS？
• RQ2 每个开可分解紧致空间是否也是开生成的或 Dugundji 紧致的？
• RQ3 所有开可分解的 Eberlein 或 Corson 紧致空间是否必然度量？
• RQ4 对每个序数 λ，序空间 [0,λ] 是否都是开可分解的？
• RQ5 在散射或线性序紧致空间类中，开可分解空间的特征是什么？

主要发现

• 伪紧、可分、开可分解的拓扑半群 S 的半群运算可连续延拓至其 Stone-Čech 紧化 βS。
• 开可分解空间可表征为第二可数空间的开连续 ω-完备逆谱的极限。
• 序空间 [0,ω₁] 是开可分解的，但不是开生成的，也不是 Dugundji 紧致的，且不是 κ-adic 的，从而提供了一个非度量化的开可分解紧致空间的示例。
• 每个开生成的紧致空间都是开可分解的，但反之不成立，[0,ω₁] 即为反例。
• 开可分解空间类严格包含开生成空间类，且与 Eberlein 紧致空间类的交集仅出现在度量情形。
• 空间 [0,ω₂] 不是 Valdivia 紧致的，而 [0,ω₁] 是 Valdivia 紧致的，表明并非所有序空间都是 Valdivia 紧致的。