English

$Top(X)$ within $\px$ ]{When lattices meet topology: $Top(X)$ within $\px$.}

General Topology 2012-03-21 v2

Abstract

For a non-empty set XX, the collection Top(X)Top(X) of all topologies on XX sits inside the Boolean lattice \PP(\PP(X))\PP(\PP(X)) (when ordered by set-theoretic inclusion) which in turn can be naturally identified with the Stone space \px\px. Via this identification then, Top(X)Top(X) naturally inherits the subspace topology from \px\px (see \cite{TopX1}). Extending ideas of Frink \cite{MR0006496}, we establish an equivalence between the topological closures of sublattices of \px\px and their (completely distributive) completions. We exploit this equivalence when searching for countably infinite compact subsets within Top(X)Top(X) and in crystalizing the Borel complexity of Top(X)Top(X). We exhibit infinite compact subsets of Top(X)Top(X) including, in particular, copies of the Stone-\v{C}ech and one-point compactifications of discrete spaces.

Keywords

Cite

@article{arxiv.1202.6180,
  title  = {$Top(X)$ within $\px$ ]{When lattices meet topology: $Top(X)$ within $\px$.}},
  author = {Jorge L. Bruno and Aisling E. McCluskey},
  journal= {arXiv preprint arXiv:1202.6180},
  year   = {2012}
}

Comments

10 pages