Non-separable Hilbert manifolds of continuous mappings (Q524341)

From MaRDI portal
Revision as of 20:22, 9 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Non-separable Hilbert manifolds of continuous mappings
scientific article

    Statements

    Non-separable Hilbert manifolds of continuous mappings (English)
    0 references
    0 references
    2 May 2017
    0 references
    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.
    0 references
    0 references
    function space
    0 references
    non-separable
    0 references
    Hilbert manifold
    0 references
    infinite-dimensional manifold
    0 references
    ANRU
    0 references
    complete Riemannian manifold
    0 references

    Identifiers