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