Selections, extensions and collectionwise normality (Q973985): Difference between revisions

The authors demonstrate that the classical Michael selection theorem for lower semi-continuous mappings with a collectionwise normal domain can be reduced only to compact-valued mappings modulo Dowker's extension theorem for such spaces. If \(X\) is a topological space, then \(2^X\) denotes the family of all nonempty subsets of \(X\), \(\mathcal F(X)\) the subfamily of \(2^X\) of all closed subsets in \(X\), \(\mathcal C(X)\) the subfamily of all compact members of \(\mathcal F(X)\), and \(\mathcal C'(X)=\mathcal C(X)\cup \{X\}\). A set-valued function \(f:X\to 2^Y\) is lower semi-continuous, abbreviated l.s.c., if the set \(\{x\in X\mid f(x)\cap U\neq \emptyset\}\) is open in \(X\) for every open set \(U\) in \(Y\). The space \(X\) is collectionwise normal, if it is \(T_1\) and for each discrete collection \(\mathcal D\) of closed subsets in \(X\) there is an open discrete family \(\{U_D\mid D\in \mathcal D\}\) such that for each \(D\in \mathcal D\), it holds that \(D\subseteq U_D\). The following is the main result of the paper. Let \(E\) be a Banach space. Then (a) and (b) are equivalent: {\parindent6mm \begin{itemize}\item[(a)] If \(X\) is a collectionwise normal space and \(\varphi: X\to \mathcal C(E)\) an l.s.c. convex-valued mapping, then \(\varphi\) has a continuous selection. \item[(b)] If \(X\) is a collectionwise normal space and \(\varphi: X\to \mathcal C'(E)\) an l.s.c. convex-valued mapping, then \(\varphi\) has a continuous selection. \end{itemize}}