Proof That the Diagonal of a T2 Space is Closed

Theorem

Ifis a T2 space then the setis closed.

Proof

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.