Solution

ID: past-exam-of-the-topology-course-of-the-university-of-oxford/2015/1/a/iii/solution

If were a separation, then
would be disjoint nonempty relatively open sets covering . They are relatively open by continuity of the restriction . This contradicts connectedness of .
This is the continuous image of a connected space theorem; no separation property of the target is required.

New to topics? Read the docs here!