Solution

ID: past-exam-of-the-options-i-course-of-the-university-of-oxford/2007/e/e2/i/solution

For , the inverse image under inclusion is , which is open in the subspace topology by definition. The inverse-image criterion for continuity therefore proves the inclusion is continuous.

New to topics? Read the docs here!