Construction of intermediate differentiable functions (Q2417277)

Let \(X\) be a topological space. A pair of functions \(g,h:X\to\mathbb{R}\) such that \(g\) is upper semicontinuous, \(h\) is lower semicontinuous, and \(g\le h\), is called a \textit{Hahn pair} on \(X\). If \(g < h\) then a Hahn pair is called \textit{strict}. A function \(f:X\to\mathbb{R}\) such that \(g\le f\le h\) is called \textit{intermediate} for a pair \(g,h\). If, moreover, \(g(x)<f(x)<h(x)\) whenever \(g(x) < h(x)\) then \(f\) is called \textit{strictly intermediate}. The classical Hahn Theorem states that if \(X\) is a metric space then for any Hahn pair \(g,h\) on \(X\) there is a continuous intermediate function \(f:X\to\mathbb{R}\). Tong and Katetov established that such a property characterizes normal spaces in the class of all \(T_1\) spaces. Michael proved that a \(T_1\) space is perfectly normal iff each Hahn pair on \(X\) has a strictly intermediate continuous function. In the paper under review the authors continue their investigations begun in [Bukovyn. Mat. Zh. 6, No. 3--4, 103--106 (2018; Zbl 1424.54033)]. First, they construct a strictly intermediate infinitely differentiable function \(f\) with a given value \(f(x_0)=y_0\) for a strict Hahn pair \(g,h\) on a closed parallelepiped in \(\mathbb{R}^k\). Next, they prove the existence of a strictly intermediate infinitely Fréchet differentiable function for any strict Hahn pair on a separable Hilbert space. Finally, they propose a new method for the construction of a strictly intermediate infinitely Fréchet differentiable function on Asplund spaces.