Génération d'une groupe topologique par des transformations infinitési\-males. (Q2621694)

\textit{Stone} und \textit{J.v. Neumann} haben gezeigt, daß\ eine stetige, einparametrige Gruppe von unitären Operatoren in einem \textit{Hilbert}schen Raum \(\mathfrak H\) durch eine infinitesimale Transformation erzeugt wird, die das Produkt aus \(i\) und einem hypermaximalen \textit{Hermite}schen Operator ist, und umgekehrt. Das Produkt aus \(i\) und einem hypermaximalen \textit{Hermite}schen Operator heiße nun allgemein eine infinitesimale Transformation von \(\mathfrak H\). Dann gilt: Wenn man \(l\) infinitesimale Transformationen \(R_1,\dots,R_l\) hat derart, daß\ die \textit{Jakobi}\-schen Klammern \[ (R_i,R_j)=R_iR_j-R_jR_i \] lineare Kombinationen \(\sum \limits _{k}c_{ijk}R_k\) sind, so erzeugen sie ein Stück einer \textit{Lie}schen Gruppe; genauer: Es seien \(U_i(t)\) die einparametrigen Gruppen von unitären Operatoren, die durch die \(R_i\) erzeugt werden. Es sei \[ U(T)=U(t_1,\dots,t_l)=U_1(t_1)U_2(t_2)\dots U_l(t_l), \] wo \(T\) den Punkt mit den Koordinaten \(t_1,\dots,t_l\) in einem euklidischen Raum von \(l\) Dimensionen darstellt. Dann existieren zwei Zahlen \(r,r'\) derart, daß\ für \(\sqrt {\sum t_i^2}<r\) und \(\sqrt {\sum {t'}_i^2}<r'\) gilt: \[ U(T)U(T')=U(T''), \] wo \(\sqrt {\sum {t''}_i^2}<r'\) und die \(t''\) analytische Funktionen der \(t\) und \(t'\) sind. (IV 8.)