English

Topologies on $X$ as points in $2^{\mathcal{P}(X)}$

General Topology 2011-12-09 v2

Abstract

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

Keywords

Cite

@article{arxiv.1111.3212,
  title  = {Topologies on $X$ as points in $2^{\mathcal{P}(X)}$},
  author = {Jorge L. Bruno and Aisling E. McCluskey},
  journal= {arXiv preprint arXiv:1111.3212},
  year   = {2011}
}

Comments

First of two papers. 6 pages

R2 v1 2026-06-21T19:35:43.367Z