Definition:Alexandroff Extension

From ProofWiki
Jump to navigation Jump to search


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 if and only if:

$U$ is an open set of $T$


$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

  • Results about Alexandroff extensions can be found here.

Source of Name

This entry was named for Pavel Sergeyevich Alexandrov.