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

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

Mathematics Subject Classification ID

Stone spaces (Boolean spaces) and related structures (06E15) 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)

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.

Review text

This paper deals with a common approach both to the discrete and to the non-discrete region-based theory of space. It presents the proofs of the results announced in the first seven sections of [\textit{G. Dimov} and \textit{D. Vakarelov}, Lect. Notes Comput. Sci. 3929, 1--16 (2006; Zbl 1185.68665)] as well as many new additional results and applications. From the authors' abstract: ``The notions of 2-precontact and 2-contact spaces are introduced. Using them, new representation theorems for precontact and contact algebras are proved. They incorporate and strengthen both the discrete and topological representation theorems from several papers. 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 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

• 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
• 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?)
• 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

(14)

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

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)