Non-separable Hilbert manifolds of continuous mappings (Q524341)

Many function spaces are known to be (topological) Hilbert manifolds. These results usually depend on Torunczyk's characterization of Hilbert manifolds. A typical example is the following one: the function space \(C(X,Y)\) of continuous maps from an infinite compact metric space \(X\) into a Polish ANR space \(Y\) without isolated points is an \(\ell^2\)-manifold, with respect to the uniform topology. The aim of this paper is to prove analogous results for spaces \(X\) that are not assumed to be compact. This creates nontrivial problems. Verifying the ANR property is usually a difficult task. To avoid this problem, the author assumes that \(Y\) is a so-called uniform ANR, abbreviated ANRU. That is an ANR where ``continuous maps'' and ``neighborhoods'' are replaced by their uniform counterparts, that is, ``uniformly continuous maps'' and ``uniform neighborhoods''. All compact polyhedra and Euclidean spaces with their usual metrics are ANRU's. The author obtains among other things the following interesting result. Let \((Y,d)\) be a Polish ANRU. Then the following statements are equivalent: (1) \(C(X,Y)\) is an \(\ell^2(2^{\aleph_0})\)-manifold, (2) \(C(\mathbb{N},Y)\) is an \(\ell^2(2^{\aleph_0})\)-manifold (here \(\mathbb{N}\) is the discrete space of natural numbers), and (3) the diameters of the path-components of \(Y\) are bounded away from zero.