Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2002/ib/paper-4/4g/a/solution

The sets and are relatively open in the subspace topology on . They are disjoint and their union is . If both were nonempty, they would be a separation of , contradicting its connectedness. Therefore at least one is empty, and lies entirely in or entirely in . The assertion also holds for empty .

New to topics? Read the docs here!