Published online by Cambridge University Press: 24 October 2008
1. Introduction. The group U(H) of unitary transformations of a complex Hilbert space H, endowed with its strong operator topology, is of interest in the study of unitary representations of a topological group. The unitary transformations of H induce a group U(Ĥ) of transformations of the associated projective space Ĥ. The projective unitary group U(Ĥ) with its strong operator topology is used in the study of projective (ray) representations. U(Ĥ) is, as a group, the quotient of U(H) by the subgroup S1 of scalar multiples of the identity. In this paper we prove that the strong operator toplogy of U(Ĥ) is in fact the quotient of the strong operator topology on U(H). This is related to the fact that U(H) is a principal bundle over U(Ĥ) with fibre S.