Separation properties of metric spaces

[4/0%]
LaTeX

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 XX be a compact metric space, let f∈C(X)f \in C(X), and let ε>0\varepsilon >0. Suppose that {Fk}k=1n\left\{ F_{k}\right\}_{k=1}^{n} are disjoint closed subsets of XX. Prove that there exist disjoint open sets {Gk}k=1n\left\{ G_{k}\right\}_{k=1}^{n} such that, for all 1≤k≤n,Fk⊂Gk1 \leq k \leq n, F_{k} \subset G_{k} and inf⁡{f(x):x∈Gk}≥inf⁡{f(x):x∈Fk}−ε\inf \left\{ f(x): x \in G_{k}\right\} \geq \inf \left\{ f(x): x \in F_{k}\right\} -\varepsilon.

?

Let AA and BB be disjoint nonempty closed sets in a metric space XX, and define

f(p)=ρA(p)ρA(p)+ρB(p)(p∈X) f(p) = \frac{\rho _{A}(p)}{\rho _{A}(p)+\rho _{B}(p)} \quad (p \in X)

Show that ff is a continuous function on XX whose range lies in [0,1][0,1], that f(p)=0f(p) = 0 precisely on AA and f(p)=1f(p) = 1 precisely on BB. This establishes a converse of Exercise 3: Every closed set A⊂XA \subset X is Z(f)Z(f) for some continuous real ff on XX. Setting

V=f−1([0,12)),W=f−1((12,1]) V = f^{-1}\left(\left[0, \frac{1}{2}\right)\right), \quad W = f^{-1}\left(\left(\frac{1}{2}, 1\right]\right)

show that VV and WW are open and disjoint, and that A⊂V,B⊂WA \subset V, B \subset W. (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).

?

References

[ККЧ+03] Кудрявцев Л.Д., Кутасов А.Д., Чехлов В.И., Шабунин М.И. Функции многих переменных. 2-е изд., ФИЗМАТЛИТ, 2003.
[Pet25] Petrovic J.S. Measure and Integral: Theory and Practice. CRC Press, 2025.
[Rud76] Rudin W. Principles of Mathematical Analysis. 3rd ed., McGraw-Hill, 1976.