Proof That the Diagonal of a T2 Space is Closed


Ifis a T2 space then the setis closed.


Forthere are open setsandsuch thatand

Henceand sohence the diagonal of a T2 space is closed. The converse is also true, so that if the diagonal ofis closed, thenis a T2 space.