Selections, extensions and collectionwise normality

Set-valued functions (26E25) Set-valued set functions and measures; integration of set-valued functions; measurable selections (28B20) Set-valued and variational analysis (49J53) Set-valued maps in general topology (54C60) Selections in general topology (54C65)

Abstract: We demonstrate that the classical Michael selection theorem for l.s.c. mappings with a collectionwise normal domain can be reduced only to compact-valued mappings modulo Dowker's extension theorem for such spaces. The idea used to achieve this reduction is also applied to get a simple direct proof of that selection theorem of Michael's. Some other possible applications are demonstrated as well.

Review text

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}}

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Selections, extensions and collectionwise normality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q973985)