Theorem
If
is a Haudorff space and if
is a finite subset of
then
is closed.
Proof
Let
and![]()
A neighbourhood
of
exists such that![]()

Hence
and
is open and
is closed.
By induction, any finite subset
is closed.
Theorem
If
is a Haudorff space and if
is a finite subset of
then
is closed.
Proof
Let
and![]()
A neighbourhood
of
exists such that![]()

Hence
and
is open and
is closed.
By induction, any finite subset
is closed.