Topologies on \(X\) as points within \(2^{{\mathcal P}(X)}\) (Q439300)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Topologies on \(X\) as points within \(2^{{\mathcal P}(X)}\)
scientific article

    Statements

    Topologies on \(X\) as points within \(2^{{\mathcal P}(X)}\) (English)
    0 references
    0 references
    0 references
    16 August 2012
    0 references
    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)}\). The 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.
    0 references
    Top(X)
    0 references
    subspaces of \(2^{P(X)}\)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references