An extension of de Vries duality to completely regular spaces and compactifications
compact Hausdorff spacecompactificationcomplete Boolean algebracompletely regular spacede Vries dualitymaximal de Vries extensionproximity
Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Categorical methods in general topology (54B30) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Compactness (54D30) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Proximity structures and generalizations (54E05)
A well-known theorem of Smirnov asserts that compactifications of a completely regular space $X$ can be described internally by means of proximities on $X$ compatible with the given topology. In 1962 H. de Vries has found an alternative proof of Smirnov's theorem by providing an algebraic description of the category \(\mathsf{KHaus}\) of compact Hausdorff spaces. Then he proved that \(\mathsf{KHaus}\) is dually equivalent to the category of complete Boolean algebras with a proximity on them, known as de Vries algebras. The goal of this article is to extend ``de Vries duality from the setting of compact Hausdorff spaces to that of completely regular spaces. \par The authors are doing this by introducing a category \(\mathsf{Comp}\), whose objects are compactifications $e:X\to Y$, where $X$ is a completely regular space, $Y$ is compact Hausdorff and $e$ is a dense embedding. For compactifications $e:X\to Y$, $e':X'\to Y'$, a morphism in this category is given by a pair $(f,g)$ of continuous maps with $f:X\to X'$, $g:Y\to Y'$ such that $g\circ e=e'\circ f$. After recalling Tarski duality, the category \(\mathsf{DeVe}\) of de Vries extensions is introduced, and then it is pointed out that \(\mathsf{Comp}\) and \(\mathsf{DeVe}\) are dually equivalent, thus generalizing de Vries and Tarski dualities. The last section of this paper deals with so-called maximal de Vries extensions, and it is shown that they correspond to Stone-Čech compactifications. As a corollary the authors derive that the category \(\mathsf{CReg}\) of completely regular spaces is dually equivalent to the full subcategory \(\mathsf{MDeVe}\) of \(\mathsf{DeVe}\) consisting of maximal de Vries extensions.
- An extension of de Vries duality to normal spaces and locally compact Hausdorff spaces
- Irreducible equivalence relations, Gleason spaces, and de Vries duality
- A generalization of Gelfand-Naimark-Stone duality to completely regular spaces
- A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
- scientific article; zbMATH DE number 7465766
- A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
- A proximity approach to some region-based theories of space
- Boolean \(\delta\)-algebras and quasiopen mappings
- scientific article; zbMATH DE number 3768559 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- scientific article; zbMATH DE number 3328048 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Local proximity spaces
- Pierce sheaves and commutative idempotent generated algebras
- Proximity frames and regularization.
- Stone duality and Gleason covers through de Vries duality
- Irreducible equivalence relations, Gleason spaces, and de Vries duality
- Proximity frames and regularization.
- Constructive strong regularity and the extension property of a compactification
- Categorical extension of dualities: from Stone to de Vries and beyond. I
- Extensions of dualities and a new approach to the Fedorchuk duality
- A generalization of Gelfand-Naimark-Stone duality to completely regular spaces
- An extension of de Vries duality to normal spaces and locally compact Hausdorff spaces
- De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces.
- scientific article; zbMATH DE number 4062129 (Why is no real title available?)
- scientific article; zbMATH DE number 4103730 (Why is no real title available?)
- scientific article; zbMATH DE number 1061222 (Why is no real title available?)
- scientific article; zbMATH DE number 7465766 (Why is no real title available?)
- scientific article; zbMATH DE number 7577568 (Why is no real title available?)
- A unified approach to Gelfand and de Vries dualities
- Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces
- A generalization of de Vries duality to closed relations between compact Hausdorff spaces
- A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
- Dualities induced by topological semirings
- Gelfand-Naimark-Stone duality for normal spaces and insertion theorems
This page was built for publication: An extension of de Vries duality to completely regular spaces and compactifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q670153)
