Separation properties of metric spaces
[4/0%]Prove the stated assertion. In any normed space there exist two disjoint open sets that are not contained in any disjoint closed sets.
Prove the stated assertion. A metric space is a Hausdorff topological space if its topology is understood as the collection of all its open sets, defined by means of the metric.
Let be a compact metric space, let , and let . Suppose that are disjoint closed subsets of . Prove that there exist disjoint open sets such that, for all and .
Let and be disjoint nonempty closed sets in a metric space , and define
Show that is a continuous function on whose range lies in , that precisely on and precisely on . This establishes a converse of Exercise 3: Every closed set is for some continuous real on . Setting
show that and are open and disjoint, and that . (Thus pairs of dis joint closed sets in a metric space can be covered by pairs of disjoint open sets. This property of metric spaces is called normality).