The hyperspace of the regions below of continuous maps is homeomorphic to \(c_{0}\) (Q2502944)

For a compact metric space \(X\), let \(C(X)\) (resp., \(USC(X)\)) be the set of all continuous (resp., upper semi-continuous) maps from \(X\) to \(I=[0,1]\). For each map \(f: X\rightarrow I\) its region below \({\downarrow f} =\{(x,\lambda)\in X\times I: \lambda\leq f(x)\}\) is assigned. For a family \(A \subset USC(X)\), let \(\downarrow A = \{\downarrow f: f \in A\}\) (\(\downarrow A\) is a subspace of the hyperspace of all nonempty closed subsets of \(X\times I\) endowed with the Vietoris topology). Let \(Q\) denote the Hilbert cube and let \(c_0 = \{(x_{n})\in Q: \lim_{n \rightarrow \infty}x_n = 0\}\). Let \(X\) and \(Y\) be two spaces. For two subspaces \(A\) and \(B\) of \(X\) and \(Y\), respectively, if there exists a homeomorphism \(h:X \rightarrow Y\) such that \(h(A)=B\), then \((X,A)\) and \((Y,B)\) are called pair-homeomorphic and are denoted by \((X,A)\approx (Y,B)\). In this paper it is proved that: 1. If \(X\) is an infinite locally connected compact metric space, then \((\downarrow USC(X), \downarrow C(X)) \approx (Q, c_0 )\). (This is a generalization of the author's result that \(\downarrow USC(X)\) is homeomorphic to \(Q\) [Sci. China, Ser. A 48, 469--484 (2005; Zbl 1086.54009)].) 2. For a compactum \(X\), \(\downarrow C(X)\) is Baire if and only if the set of isolated points is dense in \(X\). 3. No \(\downarrow C(X)\) is a \(G_{\delta \sigma }\)-set of \(\downarrow USC(X)\) for any infinite compactum \(X\).