A function space from a compact metrizable space to a dendrite with the hypo-graph topology (Q317640)

Let \(X\) be a compact metrizable space without isolated points, \(Y\) a non-degenerate dendrite with a convex metric (for each two points there is a middle point) and a distinguished end point \(\mathbf{0}\). \(C(X,Y)\) is the set of all continuous mappings from \(X\) to \(Y\). For \(f \in C(X,Y)\) the hypo-graph of \(f\) with respect to \(\mathbf{0}\) is the set \(\downarrow_{\mathbf{0}}\!\!f = \bigcup_{x\in X}\{x\}\times[\mathbf{0},f(x)]\), where \([\mathbf{0},f(x)]\) is the unique arc from \(\mathbf{0}\) to \(f(x)\). Set \(\downarrow\!\!C(X,Y)=\{\downarrow_{\mathbf{0}}\!\!f: f \in C(X,Y)\}\) and consider this set as a subspace of the space \(\mathrm{Cld}(X\times Y)\) of all non-empty closed sets of \(X\times Y\) endowed with the Vietoris topology. By \(\overline{\downarrow\!\!C(X,Y)}\) denote the closure of \(\downarrow\!\!C(X,Y)\) in \(\mathrm{Cld}(X\times Y)\). Several properties of the spaces \(\downarrow\!\!C(X,Y)\) and \(\overline{\downarrow\!\!C(X,Y)}\) are studied. It is proved that \(\downarrow\!\!C(X,Y)\) is an \(F_{\sigma\delta}\)-set in \(\overline{\downarrow\!\!C(X,Y)}\) which is an AR homeomorphic to the Hilbert cube \(\mathbf{Q} =[0,1]^{\omega}\). Some other properties of \(\overline{\downarrow\!\!C(X,Y)}\) are also established. The main result states that if \(X\) has a finite set of isolated points, then the pair \((\overline{\downarrow\!\!C(X,Y)}, \downarrow\!\!C(X,Y))\) is homeomorphic to the pair \((\mathbf{Q}, \mathbf{c_0})\), where \(\mathbf{c_0}\) is the set of all sequences in \(\mathbf{Q}\) converging to \(0\). This result generalizes a result by \textit{Z. Yang} and \textit{X. Zhou} [Topology Appl. 154, No. 8, 1737--1747 (2007; Zbl 1119.54010)].