Solution

ID: past-exam-of-the-analytic-topology-and-axiomatic-set-theory-course-of-the-university-of-oxford/2009/a/2/iii/solution

For a strict-range modification of a continuous extension, the closed sets and are disjoint. Choose by Urysohn's lemma a continuous with and , and define
This function is continuous and agrees with on . On it vanishes. Off we have and , so . Hence its range lies strictly inside on all of . The construction also covers empty or empty by a constant separating function where appropriate.

New to topics? Read the docs here!