Kleinere Beiträge zur Gruppentheorie. III, IV, V. (Q1532078)

No. III beschäftigt sich mit den infinitesimalen Berührungstransformationen und leitet in einfacher Weise die Lie'schen Sätze über diese Transformationen ab. Ausgegangen wird von einer endlichen Berührungstransformation \(S\) des \(R_{n+1}\), vermöge deren die Gleichung: \[ (1)\quad dz'-\sum_1^n{}_i p_i'dx_i'=\varrho(z,x,p)\;(dz-\sum_1^n{}_i p_idx_i) \] besteht, und von einer infinitesimalen Berührungstransformation: \[ Af=\zeta\;\frac{\partial f}{\partial z}+\sum_1^n{}_i(\xi_i\;\frac{\partial f}{\partial x_i}+\pi_i\;\frac{\partial f}{\partial p_i}). \] Setzt man in (1) \(dz\) und \(dx_i\) gleich den Zuwachsen, die \(z\) und \(x_i\) bei \(Af\) erhalten, so werden \(dz'\) und \(dx_i'\) die Zuwachse, die \(z'\) und \(x_i'\) bei der infinitesimalen Berührungstransformation erhalten, die aus \(Af\) entsteht, wenn man vermöge \(S\) die neuen Veränderlichen \(z',x',p'\) einführt. Hieraus ergiebt sich sofort, wie sich die Lie'sche charakteristische Function \[ U=\sum_1^n{}_i \xi_i p_i-\zeta \] von \(Af\) gegenüber der endlichen Berührungstransformation \(S\) verhält. Lässt man die Transformation \(S\) infinitesimal \(=Bf\) werden, und ist \(V\) die zugehörige charakteristische Function, so geht \(Af\) bei der Ausführung von \(S\) über in die infinitesimale Berührungstransformation \(Af+\delta t(AB)\), deren charakteristische Function sofort berechnet werden kann; man kann daher auch die charakteristische Function von \((AB)\) durch \(U\) und \(V\) ausdrücken. Diese Betrachtungen lassen sich auch auf solche infinitesimalen Transformationen in \(n\) Veränderlichen anwenden, bei denen eine beliebige Pfaff'sche Gleichung oder ein beliebiger Pfaff'scher Ausdruck invariant bleibt. In No. IV. wird ein neuer einfacher Beweis für den Schur'schen Satz gegeben, dass die infinitesimalen Transformationen der kanonischen Parametergruppe jeder \(r\)-gliedrigen Gruppe von gegebener Zusammensetzung \(c_{iks}\) als Quotienten beständig convergenter Potenzreihen darstellbar sind, und es wird gezeigt, dass diese Darstellung in endlicher betreffenden infinitesimalen Transformationen mit der Darstellung in endlicher geschlossener Form, die Hr. Lie gegeben hat, übereinstimmt. Hierbei ist zunächst vorausgesetzt, dass man schon weiss, dass es \(r\)-gliedrige Gruppen von der betreffenden Zusammensetzung giebt. Ist nun bloss eine Zusammensetzung gegeben, also ein System von \(r^3\) Constanten \(c_{iks}\), das gewissen von Hrn. Lie aufgestellten Gleichungen genügt, so muss ein anderes Verfahren benutzt werden. Da aber die Ausdrücke für die infinitesimalen Transformationen der kanonischen Parametergruppe durch die \(c_{iks}\) allein bestimmt sind, so gelingt es auch dann, wenn bloss die \(c_{iks}\) gegeben sind, nachzuweisen, dass diese Ausdrücke \(r\) unabhängige infinitesimale Transformationen darstellen, die eine \(r\)-gliedrige, einfach transitive Gruppe von der Zusammensetzung \(c_{iks}\) erzeugen. Es ist damit ein neuer, einfach Beweis für den Lie'schen Satz geliefert, dass zu jedem Systeme von \(r^3\;c_{iks}\), das jene Relationen erfüllt, \(r\)-gliedrige Gruppen von der Zusammensetzung \(c_{iks}\) gehören. In No. V wird ebenfalls ein von Hrn. Schur gefundenes Ergebnis auf neue Weise abgeleitet. Hr. Schur hatte bewiesen, das man, sobald die infinitesimalen Transformationen von zwei reciproken, einfach transitiven Gruppen von gegebener Zusammensetzung bekannt sind, die infinitesimalen Transformationen aller transitiven Gruppen von dieser Zusammensetzung ohne Integration angeben kann. Es wird nun gezeigt, dass dieser Satz unmittelbar aus der 1885 von Hrn. Lie gegebenen Bestimmung aller transitiven Gruppen von gegebener Zusammensetzung folgt, wenn man die Theorie der Hauptlösungen eines vollständigen Systems benutzt. Auf diese Weise gelangt man genau zu den Schur'schen Formeln.