Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/ii/paper-3/21g/a/solution

Let be disjoint closed subsets of the metric space ; the cases where one is empty are immediate. The distance functions
are continuous, because each is 1-Lipschitz. Their sum is strictly positive: if both distances vanished, closedness would put in . Therefore
is continuous, equals zero on , and equals one on . The sets
are disjoint open neighbourhoods of and . Thus every metric space is a normal topological space; this is the normality of every metric space.

New to topics? Read the docs here!