[论文解读] A De Vries-type Duality Theorem for Locally Compact Spaces -- II

Georgi Dimov|ArXiv.org|Mar 14, 2009

Advanced Topology and Set Theory参考文献 23被引用 10

一句话总结

本文通过引入局部接触布尔代数（LCAs）的新范畴并证明这些结构的完备化定理，建立了局部紧致空间的德·弗莱斯型对偶性。该研究通过在LCAs范畴与零维局部紧致豪斯多夫空间范畴之间构造反变伴随与对偶关系，将斯通对偶性推广至局部紧致空间，提供了π-权、权和度量性等拓扑性质的代数刻画，并给出了波诺马廖夫对伯克霍夫问题72的解的新直接证明。

ABSTRACT

In this paper some applications of the methods and results of its first part and of the results of M. Stone, H. de Vries, P. Roeper are given. In particular: some generalizations of the Stone Duality Theorem are obtained; a completion theorem for local contact Boolean algebras is proved; a direct proof of the Ponomarev's solution of Birkhoff's Problem 72 is found, and the spaces which are co-absolute with the (zero-dimensional) Eberlein compacts are described.

研究动机与目标

• 通过局部接触布尔代数（LCAs）将斯通对偶性推广至局部紧致空间，推广经典对偶结果。
• 通过LCAs的对偶范畴，提供π-权、权和度量性等拓扑性质的代数刻画。
• 证明LCAs的完备化定理，确立LCAs完备化的存在性与唯一性。
• 在对偶框架下，给出波诺马廖夫对伯克霍夫问题72（即给定连续像的紧致豪斯多夫空间的存在性）的全新直接证明。
• 通过其对偶LCAs上的代数条件，刻画与零维埃伯莱因紧致空间共绝对的空间。

提出的方法

• 构建五个范畴——${\bf LBA}$, ${\bf ZLBA}$, ${\bf PZLBA}$, ${\bf PLBA}$, 和 ${\bf GBPL}$——以推广局部紧致空间的斯通对偶性。
• 在${\bf LBA}$与零维局部紧致豪斯多夫空间及连续映射的范畴${\bf ZLC}$之间建立反变伴随关系。
• 证明该伴随关系限制为${\bf ZLBA}$与${\bf ZLC}$之间的对偶，以及${\bf PZLBA}$, ${\bf PLBA}$, ${\bf GBPL}$与${\bf PZLC}$（布尔空间与完美映射的范畴）之间的对偶。
• 利用对偶框架，对拓扑性质进行代数刻画：例如，空间的π-权仅由布尔代数$A$编码，而权则涉及所有组成部分$A$, $\rho$, 和${\rm I}\!{\rm B}$。
• 将对偶框架应用于描述度量性局部紧致空间的对偶对象，并刻画与埃伯莱因紧致空间共绝对的空间。
• 采用LCAs完备化技术，通过素元结构与dV-稠密性条件，证明LCAs完备化的存在性与唯一性。

实验结果

研究问题

• RQ1 如何通过局部接触布尔代数将斯通对偶性推广至局部紧致空间？
• RQ2 LCAs上的哪些代数条件对应于π-权、权和度量性等拓扑性质？
• RQ3 能否在对偶框架下，为波诺马廖夫对伯克霍夫问题72的解给出新的直接证明？
• RQ4 与零维埃伯莱因紧致空间共绝对的空间的代数刻画是什么？
• RQ5 在何种条件下，两个LCAs具有同胚的对偶空间？

主要发现

• 在局部接触布尔代数范畴${\bf LBA}$与零维局部紧致豪斯多夫空间范畴${\bf ZLC}$之间建立了反变伴随关系，且${\bf ZLBA}$与${\bf ZLC}$之间存在对偶。
• 该对偶关系限制为${\bf PZLBA}$, ${\bf PLBA}$, ${\bf GBPL}$与${\bf PZLC}$（布尔空间与完美映射的范畴）之间的对偶。
• 零维局部紧致空间的π-权可通过仅涉及布尔代数$A$的性质进行代数刻画。
• 局部紧致空间的权由涉及LCAs的三个组成部分$A$, $\rho$, 和${\rm I}\!{\rm B}$的条件刻画。
• 证明了LCAs的完备化定理：每个LCAs均存在唯一的（至同构）LCAs完备化，该完备化通过伴随关系$\Psi^a \dashv \Psi^t$构造。
• 给出了波诺马廖夫对伯克霍夫问题72的解的新直接证明，表明存在具有给定连续像的紧致豪斯多夫空间，当且仅当其对偶LCAs满足特定的稠密性与序条件。