A Hilbert cube compactification of the function space with the compact-open topology

From MaRDI portal





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.











This page was built for publication: A Hilbert cube compactification of the function space with the compact-open topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2268531)