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

Publication date 28 February 2012

Abstract: For a non-empty set

X

, the collection

T o p (X)

of all topologies on

X

sits inside the Boolean lattice

P P (P P (X))

(when ordered by set-theoretic inclusion) which in turn can be naturally identified with the Stone space

p x

. Via this identification then,

T o p (X)

naturally inherits the subspace topology from

p x

(see cite{TopX1}). Extending ideas of Frink cite{MR0006496}, we establish an equivalence between the topological closures of sublattices of

p x

and their (completely distributive) completions. We exploit this equivalence when searching for countably infinite compact subsets within

T o p (X)

and in crystalizing the Borel complexity of

T o p (X)

. We exhibit infinite compact subsets of

T o p (X)

including, in particular, copies of the Stone-v{C}ech and one-point compactifications of discrete spaces.

This page was built for publication: $Top(X)$ within $\px$ ]{When lattices meet topology: $Top(X)$ within $\px$.}