Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.

DOI10.1016/J.TOPOL.2017.01.019MaRDI QIDQ2363289zbMATH OpenOpenAlexFDO

Authors Dimiter Vakarelov, Georgi D. Dimov

Publication date 13 July 2017

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1508.02220

zbMATH Keywords

Stone dualityStone space(complete) Boolean algebra(extremally) connected space(pre)contact algebra2-(pre)contact spaceC-semiregular spaces (extensions)Stone 2-spaceStone adjacency space

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Compactness (54D30) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Extremally disconnected spaces, (F)-spaces, etc. (54G05) Topological representations of algebraic systems (54H10) Stone spaces (Boolean spaces) and related structures (06E15)

Abstract: The notions of a {em 2-precontact space}/ and a {em 2-contact space}/ are introduced. Using them, new representation theorems for precontact and contact algebras are proved. It is shown that there are bijective correspondences between such kinds of algebras and such kinds of spaces. As applications of the obtained results, we get new connected versions of the Stone Duality Theorems for Boolean algebras and for complete Boolean algebras, as well as a Smirnov-type theorem for a kind of compact $T_0$-extensions of compact Hausdorff extremally disconnected spaces. We also introduce the notion of a {em Stone adjacency space}/ and using it, we prove another representation theorem for precontact algebras. We even obtain a bijective correspondence between the class of all, up to isomorphism, precontact algebras and the class of all, up to isomorphism, Stone adjacency spaces.

Recommendations

• Distributive contact lattices: topological representations
• A strict implication calculus for compact Hausdorff spaces
• Extended contact algebras and internal connectedness
• A generalization of de Vries duality theorem
• A generalization of the Stone duality theorem
• Topological Representation of Contact Lattices
• scientific article; zbMATH DE number 5117074
• scientific article; zbMATH DE number 5117075
• A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
• Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality

Cites work

• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 5117075 (Why is no real title available?)
• scientific article; zbMATH DE number 3768559 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 3074656 (Why is no real title available?)
• A proximity approach to some region-based theories of space
• A representation theorem for Boolean contact algebras
• Boolean \(\delta\)-algebras and quasiopen mappings
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Generalized region connection calculus
• Proximity structures and grills
• Region-based theory of discrete spaces: A proximity approach
• Region-based topology
• Relational Methods in Computer Science
• SHEAVES OF BANACH SPEACES
• The Theory of Representation for Boolean Algebras

Cited in

(12)

• On dimension andweight of a local contact algebra
• Representation theorems for connected compact Hausdorff spaces
• scientific article; zbMATH DE number 522768 (Why is no real title available?)
• Irreducible equivalence relations, Gleason spaces, and de Vries duality
• Extensions of dualities and a new approach to the Fedorchuk duality
• Relational Methods in Computer Science
• A generalization of the Stone duality theorem
• A generalization of de Vries duality theorem
• Subordinations on bounded distributive lattices
• Relational representation for subordination Tarski algebras
• Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
• Choice-free Stone duality

This page was built for publication: Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2363289)