Theorem
If
and
are homeomorphic then and
is a T0 space or a T1 space then so is![]()
Proof
Let
be a homeomorphism from
to
Every singleton set
of
is closed.
Let
be any point of
The set
is a singleton set in
and since
is T1, every singleton set of
is closed so
is closed in![]()
Since
is a homeomorphism it maps closed sets to closed sets so![]()
Hence
is a T1 space
The proof for
being a T0 space is similar.