Category:Compact Complement Topology

From ProofWiki
Jump to navigation Jump to search

This category contains results about Compact Complement Topology.

Let $T = \left({\R, \tau}\right)$ be the real number line under the usual (Euclidean) topology.

Let $\tau^*$ be the set defined as:

$\tau^* = \left\{{S \subseteq \R: S = \varnothing \text { or } \complement_\R \left({S}\right)}\right.$ is compact in $\left.{\left({\R, \tau}\right)}\right\}$

where $\complement_\R \left({S}\right)$ denotes the complement of $S$ in $\R$.

Then $\tau^*$ is the compact complement topology on $\R$, and $T^* = \left({\R, \tau^*}\right)$ is the compact complement space on $\R$.