Letbe a T2 space. If
is compact then we can define the Alexandroff compactification of
to be
itself.
Now supposeis not compact. Let
be any point not belonging to
Definethen the topology on
is such that
is open in
or if
then
is a compact subset of
The Alexandroff, or one - point compactification ofis defined as the set
with the topology defined above.
The pointis called the ideal point.
It can be shown that
-
is compact
-
is a topological space
-
is dense in