A Hilbert cube compactification of the function space with the compact-open topology (Q2268531): Difference between revisions

Let \(X\) be an infinite, locally connected, locally compact, separable metric space and \(C(X)\) be the space of continuous real-valued functions on \(X\) endowed with the compact-open topology. Let \(\text{Cld}^*_F(X\times\mathbb R)\) be the hyperspace of all closed subsets of \(X\times\mathbb R\) endowed with the Fell topology and let \(\overline C(X)\) be the closure of \(C(X)\) in it. Here, the Fell topology on \(\text{Cld}^*(Y)\) is generated by the sets \(\{U^-\mid U\text{ is open in }Y\}\cup\{(X\setminus K)^+\mid K\text{ is compact in }Y\}\) where \(W^-=\{A\in\text{Cld}(Y)\mid A\cap W\neq\emptyset\}\), \(W^+=\{A\in\text{Cld}^*(Y)\mid A\subset W\}\) for \(W\subset Y\). The authors prove that the pair \((\overline C(X),C(X))\) is homeomorphic to \(([-1,1]^{\mathbb N},(-1,1)^{\mathbb N})\), thus extending the result for compact spaces obtained in [\textit{K. Sakai} and \textit{S. Uehara}, Topology Appl. 92, No. 2, 107--118 (1999; Zbl 0926.54008)]. Moreover, if \(X\) is paracompact with no isolated points, then the compactification \(\overline C(X)\) coincides with the space of all upper semi-continuous set-valued functions \(\varphi\:X\to \mathbb R\) such that each \(\varphi(x)\) is a closed interval, also with the topology inherited from the Fell hyperspace.