Isometry groups among topological groups

Original · EN

It is shown that a topological group G is topologically isomorphic to the isometry group of a (complete) metric space iff G coincides with its G-delta-closure in the Rajkov completion of G (resp. if G is Rajkov-complete). It is also shown that for every Polish (resp. compact Polish; locally compact Polish) group G there is a complete (resp. proper) metric d on X inducing the topology of X such that G is isomorphic to Iso(X,d) where X = l₂ (resp. X = Q; X = Q{point where Q is the Hilbert cube). It is demonstrated that there are a separable Banach space E and a nonzero vector e in E such that G is isomorphic to the group of all (linear) isometries of E which leave the point e fixed. Similar results are proved for an arbitrary complete topological group.