Does the isometry group of a real separable infinite-dimensional Hilbert space have two connected components? Or, conversely, is the there even a Kuiper's theorem in the real case?
How does the isometry group of a real infinite-dimensional Hilbert separable look like?