Normality of every metric space
ID: normality-of-every-metric-space
Every metric space is normal. For disjoint closed sets , the functionis continuous, equals zero on , and equals one on ; inverse images of disjoint neighbourhoods of zero and one separate the sets.
New to topics? Read the docs here!