Über die Drehungsgruppe im Hilbertschen Raum. (Q2620542)

Eine Drehung in \textit{Hilbert}schen Raum ist eine unendliche Matrix \(\mathfrak {A} = \| a_{ik} \|\) mit \[ \sum _i a_{ik}^2 = 1, \quad \sum _k a_{ik}^2 = 1, \quad \sum _k a_{ik} a_{jk} = 0, \quad \sum _i a_{ik} a_{ij} = 0. \] Zusammensetzen der Drehungen wird durch Multiplikation der Matrizen definiert. Es wird gezeigt, daß es endlich viele Matrizen gibt derart, daß die von ihnen erzeugte abzählbare Gruppe in der Gruppe aller Drehungen überall dicht liegt.