Solution

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

Assume the diagonal is closed. For continuous , the map , , is continuous: the inverse image of a basic rectangle is . Therefore
is closed as the inverse image of a closed set under a continuous map. This proves (ii) implies (iii).

New to topics? Read the docs here!