Solution

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

Urysohn's lemma states that if is normal and are disjoint closed subsets, there is a continuous function with and . The values on the rest of remain in that interval. Interchanging or composing with an affine function gives any two prescribed real endpoint values. This is functional separation of closed sets, stronger than merely choosing disjoint open neighbourhoods.

New to topics? Read the docs here!