Topological representation of precontact algebras and a connected version of the Stone Duality Theorem – I

Abstract

The notions of a 2-precontact space and a 2-contact space 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 [5,6,8,9,21]. 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 [19] for Boolean algebras and for complete Boolean algebras, as well as a Smirnov-type theorem (in the sense of [17]) for a kind of compact T0-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.