Collectionwise normality and selections into Hilbert spaces (Q924284)

For a topological space \(X\), let \(\varphi(X)\) be the statement that for every Hilbert space \(Y\), every lower semi-continuous mapping \(\Phi:X\to{\mathcal F}_c(Y)\) admits a continuous selection, where \({\mathcal F}_c(Y)\) is the set of all closed, convex sets in \(Y\). In this paper, the author proves that a \(T_1\)-space \(X\) is countably paracompact and collectionwise normal if and only if \(\varphi(X)\) holds. The following is a brief history of this beautiful theorem. The most famous selection theorem by E. Michael asserts that a \(T_1\)-space \(X\) is paracompact if and only if for every Banach space \(Y\), every lower semi-continuous mapping \(\Phi:X\to{\mathcal F}_c(Y)\) admits a continuous selection. \textit{S. Nedev} [C. R. Acad. Bulg. Sci. 40, No. 11, 13--14 (1987; Zbl 0632.54014)] showed that Michael's theorem fails if ``Banach space'' is replaced by ``Hilbert space'' by proving that \(\varphi(\omega_1)\) holds, where \(\omega_1\) is the space of countable ordinal numbers with the usual order topology. On the other hand, it had been known that for a \(T_1\)-space \(X\), \(\varphi(X)\) implies countable paracompactness and collectionwise normality of \(X\). Thus, M. Choban, V. Gutev and S. Nedev naturally asked if \(\varphi(X)\) holds for every countably paracompact and collectionwise normal \(T_1\)-space \(X\). Let \(\psi(X)\) be the same statement as \(\varphi(X)\), but with \({\mathcal F}_c(Y)\) replaced by the set of all bounded, closed, convex sets in \(Y\). The author [ibid. 53, No. 7, 5--8 (2000; Zbl 0958.54016)] proved that \(\psi(X)\) implies \(\varphi(X)\) for every countably paracompact space \(X\). Finally, the author establishes the main theorem stated above by proving that \(\psi(X)\) holds for every collectionwise normal space \(X\).