Topological groups and convex sets homeomorphic to non-separable Hilbert spaces (Q2425567)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Topological groups and convex sets homeomorphic to non-separable Hilbert spaces |
scientific article |
Statements
Topological groups and convex sets homeomorphic to non-separable Hilbert spaces (English)
0 references
6 May 2008
0 references
A first generalization of the classical infinite-dimensional topology result, i.e. the Andersen-Kadec theorem (each separable Fréchet space is homeomorphic to a Hilbert space), was given by \textit{H. Toruńczyk} who applied his characterization of the Hilbert space topology [Fundam. Math. 111, 247--262 (1981; Zbl 0468.57015)] to establish the topological equivalence of any (not necessarily separable) Fréchet space to a Hilbert space. Next, in their joint paper [Topology Appl. 12, 229--235 (1981; Zbl 0472.57009)], \textit{T. Dobrowolski} and \textit{H. Toruńczyk} generalized the Andresen-Kadec theory to topological groups and convex sets in linear metric spaces. But, in these results the case of non-separable topological groups or convex sets is not considered. In the present paper this gap is filled and the following theorem is proved. Let \(X\) be either a topological group or a convex set in a linear metric space. The space \(X\) is homeomorphic to an infinite-dimensional Hilbert space (to a Hilbert manifold) if and only if \(X\) is a completely metrizable absolute (neighborhood) retract with the countable locally finite approximation Property briefly, \(\omega\)-LFAP. The following two natural (and still open) problems are addresses: Problem 1.1. Is each non-separable closed convex subset of a Fréchet space homeomorphic to a Hilbert space? Problem 1.2. Let \(G\) be a topological group whose underlying topological space is a completely metrizable absolute neighborhood retract. Is \(G\) a Hilbert manifold? Also, the following conjecture is formulated: Conjecture 1. A completely metrizable absolute neighborhood retract \(X\) with \(\omega\)-LFAP is a Hilbert manifold if and only if each closed subspace \(A\subset X\) of density \(\text{dens}(A)< \text{dens}(X)\) is a \(Z_{\infty}\)-set in \(X\). Moreover, the Conjecture 1 for spaces \(X\) with density dens\((A)<{\mathfrak d}\), \({\mathfrak d}\) being the dominating number, is confirmed.
0 references
Hilbert manifold
0 references
convex set
0 references
topological group
0 references
0 references