Publication:5636071

46C05: Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product)

46B20: Geometry and structure of normed linear spaces

54D45: Local compactness, (sigma)-compactness

57N20: Topology of infinite-dimensional manifolds

58B05: Homotopy and topological questions for infinite-dimensional manifolds