Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/ib/paper-1/12a/iii/solution

Assume (iii). Take and let be the two coordinate projections, continuous by the definition of the product topology. Their equality set is the diagonal, so it is closed. For distinct , the point lies in its open complement. Choose a basic rectangle containing it and contained in that complement. If were nonempty, a point in their intersection would give in the rectangle, impossible. Thus are disjoint open neighborhoods of , proving that is Hausdorff. Hence (iii) implies (i), completing all three equivalences.

New to topics? Read the docs here!