Space of continuous set-valued mappings with closed unbounded values (Q2424196)

Let \((X, d)\) be a metric space whose closed balls are compact. The space \(X\) is locally compact and separable. The author denotes by \(CL(X)\) the family of all nonempty closed sets in \(X\). Let \(\{y_i\mid i\geq 1\}\subseteq X\) be a countable dense set. For \(A,B\in CL(X)\), the author defines \[ \rho(A,B) =\sum_{i=1}^{\infty} \frac{1}{2^i}\ \frac{|d(y_i,A) - d(y_i,B)|} {1 + |d(y_i,A) - d(y_i,B)|}, \] where \(d(y_i,A)\) is the distance from the point \(y_i\) to the set \(A\). The above function \(\rho\) defined by the above equality is a metric on the space \(CL(X)\). In what follows, the author assumes that the space \(CL(X)\) is endowed with the metric \(\rho\). He proves the following three theorems: Theorem A. For the space \(CL(X)\) endowed with the metric \(\rho\), the following statements hold: (1) a sequence \(A_n \in CL(X),\) \(n\geq 1\), converges to \(A \in CL(X)\) in the metric \(\rho\) if and only if the sequence \(A_n\), \(n \geq 1\), converges to \(A\) in the sense of Kuratowski; (2) the space \(CL(X)\) is complete; (3) the space \(CL(X)\) is separable; (4) a set \(H\subseteq CL(X)\) is relatively compact if and only if \(\sup\{d(\theta, \Gamma)\mid \Gamma \in H\} < \infty\). Theorem B. Let \(T\) be a locally compact space with a countable base and let \(C_c(T,CL(X))\) be the space of all continuous mappings from \(T\) to \(CL(X)\) endowed with the topology of uniform convergence on compact sets in \(T\). For a set \(G \subseteq C(T,CL(X))\), let \(R_i = \{d(y_i, \Gamma)(.)\mid \Gamma \in G\} \subseteq C(T,R), y_i \in X_s,\) where \(d(y_i, \Gamma)(t) = d(y_i, \Gamma(t))\) and \(X_s \subseteq X\) is a countable dense set with elements \(y_i\), \(i \geq 1\). The space \(C_c(T,CL(X))\) is metrizable, complete, and separable. A set \(G \subseteq C_c(T,CL(X))\) is relatively compact if and only if the following statements hold: (1) for any \(i \geq 1\), the family \(R_i\) is equicontinuous; (2) for any \(t \in T\), \(\sup\{d(\theta, \Gamma(t))\mid \Gamma \in G\} <\infty \). Theorem C. Let \(T\) be a connected locally compact space with a countable base. A set \(G \subseteq C_c(T,CL(X))\) is relatively compact if and only if the following statements hold: (1) for any \(i \geq 1\), the family \(R_i\) is equicontinuous; (2) for a fixed \(s \in T\), \(\sup\{d(\theta, \Gamma(s))\mid \Gamma \in G\} < \infty.\)