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

DOI10.1016/J.TOPOL.2017.01.019zbMATH Open1377.54040arXiv1508.02220OpenAlexW2963436654MaRDI QIDQ2363289

Dimiter Vakarelov, Georgi D. Dimov

Publication date: 13 July 2017

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

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.

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)

Cites Work

• The Theory of Representation for Boolean Algebras
• Proximity structures and grills
• Region-based theory of discrete spaces: A proximity approach
• A representation theorem for Boolean contact algebras
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• A Proximity Approach to Some Region-Based Theories of Space
• Region-based topology
• Boolean \(\delta\)-algebras and quasiopen mappings
• Generalized region connection calculus
• Relational Methods in Computer Science
• SHEAVES OF BANACH SPEACES
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• On dimension andweight of a local contact algebra
• Irreducible equivalence relations, Gleason spaces, and de Vries duality
• Extensions of dualities and a new approach to the Fedorchuk duality
• A generalization of the Stone 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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Topological Representation of Contact Lattices 👍 👎
• Distributive contact lattices: topological representations 👍 👎
• A generalization of de Vries duality theorem 👍 👎
• A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I 👍 👎
• A strict implication calculus for compact Hausdorff spaces 👍 👎
• Extended contact algebras and internal connectedness 👍 👎
• A generalization of the Stone duality theorem 👍 👎
• Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological 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)