Proof That the Diagonal of a T2 Space is Closed
Theorem
If
is a T2 space then the set
is closed.
Proof
For
there are open sets
and
such that
and
Hence
and so
hence the diagonal of a T2 space is closed. The converse is also true, so that if the diagonal of
is closed, then
is a T2 space.
