Fell continuous multi-sections (Q390801): Difference between revisions

Let \({\mathcal C}(Y)\) denote the set of all nonempty compact subsets of a space \(Y\). A mapping \(\varphi : X \to {\mathcal C}(Y)\) is said to be lower semicontinuous, or l.s.c., if for every open subset \(V\) of \(Y\), the set \(\{ x \in X: \varphi(x) \cap V \neq \varnothing\}\) is open in \(X\). Let \(\tau_V\) (resp.\ \(\tau_F\)) denote the Vietoris (resp.\ Fell) topology on \(\mathcal{C}(Y)\). A \(T_1\)-space \(X\) is said to be ultranormal if every two disjoint closed subsets are contained in disjoint clopen subsets. In [Fundam.\ Math.\ 211, No.\ 1, 85--99 (2011; Zbl 1239.54010)], the second author proved that a \(T_1\)-space \(X\) is ultranormal if and only if for every metrizable space \(Y\) every l.s.c.\ mapping \(\Phi : X \to {\mathcal C}(Y)\) admits a \(\tau_F\)-continuous mapping \(\varphi : X \to {\mathcal C}(Y)\) (i.e.\ a continuous mapping from \(X\) to \(({\mathcal C}(Y), \tau_F)\)) such that \(\varphi (x) \subset \Phi (x)\) for each \(x \in X\). In this paper, the authors introduce the concept of \(F\)-ultranormal spaces concerning ultranormality and superparacompactness (introduced by Pasynkov), and prove that a \(T_1\)-space is \(F\)-ultranormal if and only if for every completely metrizable space \(Y\), every l.s.c.\ mapping \(\Phi : X \to {\mathcal C}(Y)\) admits a \(\tau_F\)-continuous mapping \(\psi : X \to {\mathcal C}({\mathcal C}(Y), \tau_V)\) such that \(K \cap \Phi (x) \neq \varnothing\) for every \(K \in \psi (x)\) and \(x \in X\). Here, \({\mathcal C}({\mathcal C}(Y), \tau_V)\) is the set of all nonempty compact subsets of the space \(({\mathcal C}(Y), \tau_V)\), and the mapping \(\psi\) is called a multi-section of \(\Phi\). Some related covering properties are also characterized in terms of multi-sections.