Topologies on X as points within 2^ P(X)

DOI10.1016/J.TOPOL.2012.05.014MaRDI QIDQ439300zbMATH OpenOpenAlexFDO

Authors Jorge L. Bruno, Aisling E. McCluskey

Publication date 16 August 2012

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

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

zbMATH Keywords

subspaces of \(2^{P(X)}\)Top(X)

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Stone spaces (Boolean spaces) and related structures (06E15) Several topologies on one set (change of topology, comparison of topologies, lattices of topologies) (54A10)

Abstract: A topology on a nonempty set $X$ specifies a natural subset of $mathcalP(X)$. By identifying $mathcalP(mathcalP(X))$ with the totally disconnected compact Hausdorff space $2^{mathcalP(X)}$, the lattice $Top(X)$ of all topologies on $X$ is a natural subspace therein. We investigate topological properties of $Top(X)$ and give sufficient model-theoretic conditions for a general subspace of $2^{mathcalP(X)}$ to be compact.

Review text

In the 1930's, \textit{G. Birkhoff} introduced and studied the order-theoretic aspects of the set \(Top(X)\) of all topologies on a set \(X\), [Fundam. Math. 26, 156--166 (1936; Zbl 0014.28002)]. The present work analyzes families of subsets of a set \(X\) naturally identified with members of the Boolean space \(2^{P(X)}\) (a product of the discrete space \(2 = \{0,1\}\)): The main interest lies on the set \(Top(X)\) and on the set \(Lat(X)\) (respect., \(LatB(X)\)) of all sublattices (respect., \textit{bounded} sublattices) of \(P(X)\). Many sets are shown to be closed subsets: For instance, the set of all \(T_1\) topologies on \(X\) is closed in \(Top(X)\) and the sets \(Lat(X)\) and \(LatB(X)\) are closed in \(2^{P(X)}\).NEWLINENEWLINEThe main results in the paper are: (i) the subset \(Top(X) \subset LatB(X)\) is a dense and co-dense subset with empty interior; (ii) \(LatB(X)\) is a Hausdorff compactification of \(Top(X)\); (iii) \(Top(X)\) is not locally compact. Also the authors introduce an expansion of the first-order language of Boolean algebras by a unary predicate symbol. In this language it is proved that a subspace of \(2^{P(X)}\) is compact when it has a definition expressible by a collection of universal sentences, thus \(Top(X)\) is not first-order definable by first-order universal sentences.

Recommendations

• Topologies as points within a Stone space: lattice theory meets topology
• Lattice operators and topologies
• scientific article; zbMATH DE number 5717048
• scientific article; zbMATH DE number 7066040
• Topologies generated by nested collections
• Condition for inducing topology in a vector lattice by the order completion
• Order topology in vector lattices with closure by one step
• Ordered structure of the set of compact filtered topologies
• scientific article; zbMATH DE number 3871358
• scientific article; zbMATH DE number 2121545

Cites work

• Basic intervals in the lattice of topologies
• Basic intervals in the partial order of metrizable topologies
• Finite intervals in the partial orders of zero-dimensional, Tychonoff and regular topologies
• scientific article; zbMATH DE number 1237866 (Why is no real title available?)
• scientific article; zbMATH DE number 1258296 (Why is no real title available?)
• scientific article; zbMATH DE number 824731 (Why is no real title available?)
• Measurable cardinals and finite intervals between regular topologies
• On the combination of topologies
• Set theory. An introduction to independence proofs. 2nd print
• The lattice of topologies: a survey

Cited in

(4)

• The Khalimsky topologies are precisely those simply connected topologies on \(\mathbb Z^n\) whose connected sets include all 2\(n\)-connected sets but no (3\(^{n}-1\))-disconnected sets.
• Topologies as points within a Stone space: lattice theory meets topology
• The elementary-equivalence classes of clopen algebras of P-spaces
• A hit-and-miss topology for 2^X, C_n(X) and F_n(X)

This page was built for publication: Topologies on \(X\) as points within \(2^{{\mathcal P}(X)}\)

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