Consonance and Cantor set-selectors (Q1935619): Difference between revisions

For a topological space \(X\), let \({\mathcal F}(X)\) denote the collection of all nonempty closed subsets of \(X\). A space is said to be consonant if the co-compact topology on \({\mathcal F}(X)\) coincides with the upper Kuratowski topology. A mapping \(\varphi : Z \to {\mathcal F}(X)\) is said to be lower semicontinuous (respectively, upper semicontinuous) if for every open (respectively, closed) subset \(A\) of \(X\), the set \(\varphi ^{-1} [A] =\{ z \in Z : \varphi(z) \cap A \neq \varnothing\}\) is open (respectively, closed) in \(Z\). A subset \(A \subset X\) is called a section for \(\varphi :Z \to {\mathcal F}(X)\) if \(A \cap \varphi (z) \neq \varnothing\) for every \(z \in Z\). \textit{A. Bouziad} [Proc.\ Am.\ Math.\ Soc.\ 127, No.12, 3733--3737 (1999; Zbl 0976.54036)] proved that a space \(X\) is consonant if and only if for every (not necessarily Hausdorff) compact space \(Z\) and for every lower semicontinuous mapping \(\varphi : Z \to {\mathcal F}(X)\), every open section \(U \subset X\) for \(\varphi\) contains a compact section \(K\subset X\) for \(\varphi\). On the other hand, let \(\mathfrak{C}\) denote the Cantor space. A space \(X\) is called a \(\mathfrak{C}\)-selector (or Cantor set-selector) if for every lower semicontinuous mapping \(\varphi : \mathfrak{C} \to {\mathcal F}(X)\), there exists an upper semicontinuous mapping \(\theta : \mathfrak{C} \to {\mathcal F}(X)\) such that \(\theta (z) \subset \varphi (z)\) for every \(z \in \mathfrak{C}\). In this paper, the author proves that every metrizable consonant space is a \(\mathfrak{C}\)-selector, which gives an affirmative answer to a question posed by him in [Set-Valued Anal.\ 15, No. 3, 275--295 (2007; Zbl 1140.54003)]. The author also proves that a metrizable space \(X\) is consonant if and only if the space of all compact subsets of \(X\) with the Vietoris topology is consonant.