The homotopy type of the unitary group of Hilbert space
scientific article