Untersuchungen über unendliche continuirliche Gruppen. (Q1525071)

In der Einleitung setzt der Verf. kurz auseinander, wie er dazu geführt worden ist, sich mit unendlichen continuirlichen Gruppen zu beschäftigen, und dass erst der Gedanke, sich auf solche Gruppen zu beschränken, die durch Differentialgleichungen definirt werden, es ihm ermöglicht hat, auch für die unendlichen Gruppen und deren Differentialinvarianten eine allgemeine Theorie zu entwickeln. In Capitel 1 werden alle imprimitiven unendlichen Gruppen von Punkttransformationen der Ebene bestimmt, d. h. alle die, bei denen mindestens eine Schar von \(\infty^1\) Curven der Ebene invariant bleibt. Diese Aufgabe hatte der Verf. schon 1883 in den Verh. der Ges. d. Wiss. zu Christiania gelöst (s. F. d. M. XV. 1883. 749, JFM 15.0749.03); jedoch ist jetzt die ganze Darstellung ausserordentlich vereinfacht, und zugleich ist ein damals noch unerledigt gelassener Specialfall mit erledigt. Auf S. 79 f. sind die sich ergebenden Normalformen für die einzelnen Gruppentypen zusammengestellt. Capitel 2 enthält die Bestimmung aller unendlichen Gruppen von Punkttransformationen des \(n\)-fach ausgedehnten Raumes \(R_n\), die nach der Bezeichnung des Verf. im Infinitesimalen möglichst transitiv sind, bei denen also, sobald ein Punkt von allgemeiner Lage festgehalten wird, die \(\infty^{n-1}\) hindurchgehenden Linienelemente durch eine \(n(n-1)\)-gliedrige projective Gruppe transformirt werden. Diese Aufgabe hatte der Verf. 1883 nur für \(n=2\) erledigt. Es ergiebt sich, dass es für \(n\geqq2\) nur drei Typen von derartigen Gruppen giebt, und dass Repräsentanten dieser Typen sind: die unendliche Gruppe aller Punkttransformationen, die Gruppe, bei der alle Volumenelemente des \(R_n\) invariant bleiben, und die Gruppe, deren Transformationen diese Volumina in constantem Verhältnisse ändern. Dieses Ergebnis hat eine sehr merkwürdige Analogie mit dem älteren Satze des Verf., dass jede endliche continuirliche Gruppe von Punkttransformationen des \(R_n\), die im Infinitesimalen möglichst transitiv ist, entweder mit der allgemeinen projectiven, oder mit der allgemeinen linearen, oder mit der speciellen linearen Gruppe ähnlich ist. Capitel 3 und 4 sind ähnlichen Untersuchungen über unendliche Gruppen von Berührungstransformationen des \(R_{n+1}:z,x_1,\dots,x_n\) gewidmet. Diese Gruppen werden in bekannter Weise als solche Gruppen von Punkttransformationen eines \((2n+1)\)-fach ausgedehnten Raumes: \(z\), \(x_1\), ..., \(x_n\), \(y_1\), ..., \(y_n\) aufgefasst, bei denen die Pfaff'sche Gleichung \(dz-\sum y_idx_i=0\) invariant bleibt, und es wird verlangt, dass bei Festhaltung eines Punktes \(z^0\), \(x_r^0\), \(y_r^0\) von allgemeiner Lage die durch den Punkt gehenden Linienelemente, die der Gleichung \(dz-\sum y_r^0dx_r=0\) genügen, in möglichst allgemeiner Weise transformirt werden. Es ergehen sich wieder nur drei Typen von Gruppen dieser Art, und zwar werden diese Typen repräsentirt durch die unendliche Gruppe aller Berührungstransformationen des \(R_{n+1}\), durch die Gruppe aller Berührungstransformationen, bei denen der Ausdruck \(dz-\sum y_rdx_r\) invariant bleibt, und durch die Gruppe, deren Transformationen diesen Ausdruck mit constanten Factoren multipliciren. Auch dieses Ergebnis hat eine merkwürdige Analogie mit einem älteren Satze des Verf. über die endlichen Gruppen von Berührungstransformationen des \(R_{n+1}\), die der vorhin angegebenen Forderung genügen. Noch sei erwähnt, dass die genannten unendlichen Gruppen des \(R_{n+1}\) alle im Sinne des Verf. irreducibel, also nicht mit Gruppen von Punkttransformationen des \(R_{n+1}\) ähnlich sind, und dass sie für \(n=1\) (dieser einfachste Fall wird besonders behandelt) die einzigen irreducibeln unendlichen continuirlichen Gruppen von Berührungstransformationen der Ebene sind.