Proof That the Cartesian Product of a T2 Space is T2

• Print

Theorem

Ifandare T2 spaces thenis T2.

Proof

Supposeandare T2 spaces. Letbe distinct points inso that eitherorSupposeSinceis T2, open sets andexist such that

Therefore

The setsandare open and

Henceis T2.