Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/ib/paper-1/12a/iii/solution
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 1 12A iii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
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!