Definition:Alexandroff Extension

Definition
Let $T = \struct {S, \tau}$ be a non-empty topological space.

Let $p$ be a new element not in $S$.

Let $S^* := S \cup \set p$.

Let $\tau^*$ be the topology on $S^*$ defined such that $U \subseteq S^*$ is open :
 * $U$ is an open set of $T$

or
 * $U$ is the complement in $T^*$ of a closed and compact subset of $T$.

This topology is called the Alexandroff extension on $S$.

Also known as
The Alexandroff extension on $S$ is also known as:
 * the Alexandroff compactification topology on $S$.
 * the one point (or one-point) compactification topology on $S$.

Also see

 * Alexandroff Extension is Topology
 * Alexandroff Extension is Compact