{"entities":{"Q1535194":{"pageid":1545934,"ns":120,"title":"Item:Q1535194","lastrevid":67781115,"modified":"2026-04-12T19:42:07Z","type":"item","id":"Q1535194","labels":{"en":{"language":"en","value":"Theorie der Transformationsgruppen. Erster Abschnitt. Unter Mitwirkung von F. Engel bearbeitet."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2691869"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1535194$8E233B85-2D3D-4FFC-8404-EAF9EC4D9A7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e624e1ca6b279d18c4c30188e115f7aef44fd5ca","datavalue":{"value":{"text":"Theorie der Transformationsgruppen. Erster Abschnitt. Unter Mitwirkung von F. Engel bearbeitet.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1535194$6A2456EA-0425-419F-BE64-B2582FA1351C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e940d422365cea1ea1430539af430f65e5071de","datavalue":{"value":"21.0356.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1535194$B790542A-30C9-47BC-AAAF-D22245CDA4DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90384f64d023ac0d3be5456e2de58e48c2a49616","datavalue":{"value":{"time":"+1888-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1535194$CAD91FA4-2942-450C-A03F-5DB07537AABF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"066ea59d052a3fd453f22b1d6cbfc67985e26b7d","datavalue":{"value":"Es liegt hier der erste Band eines umfangreichen Werkes vor, in dem Herr Lie die von ihm selbst geschaffene Theorie der continuirlichen Transformationsgruppen streng systematisch entwickelt. Vorher konnte man diese neue, \u00e4usserst fruchtbare Theorie nur aus den zahlreichen Abhandlungen des Herrn Lie kennen lernen, die in drei verschiedenen Zeitschriften zerstreut sind.  Herr Lie ist der erste, der allgemeine Untersuchungen \u00fcber continuirliche Gruppen angestellt hat (seit 1873, w\u00e4hrend er allerdings schon seit 1869 einzelne derartige Gruppen betrachtet hatte). Veranlasst wurde er hierzu durch die Bemerkung, dass fast jede Differentialgleichung, die man durch die \u00e4lteren Methoden integriren kann, bei einer leicht angebbaren continuirlichen Gruppe invariant bleibt, und dass die M\u00f6glichkeit, sie zu integriren, eben auf diesem Umstande beruht. Hierdurch wurde er darauf gef\u00fchrt, \u00fcberhaupt solche Differentialgleichungen zu betrachten, die bei einer beliebigen vorgelegten continuirlichen Gruppe invariant bleiben, und zu untersuchen, was f\u00fcr Integrationsvereinfachungen aus der Kenntniss der Gruppe entspringen. Dieses Problem hat Herr Lie vollst\u00e4ndig erledigt, wurde aber dadurch zugleich veranlasst, eine ausf\u00fchrliche Theorie der continuirlichen Gruppen zu entwickeln, und es stellte sich heraus, dass diese Theorie schon an und f\u00fcr sich \u00e4usserst fruchtbar und interessant ist, w\u00e4hrend sie doch urspr\u00fcnglich bloss eine H\u00fclfstheorie f\u00fcr die Integrationstheorie werden sollte.  Bei der endg\u00fcltigen Darstellung der Lie'schen Gruppentheorie, die jetzt vorliegt (der zweite Abschnitt ist mittlerweile erschienen, und der dritte soll \u00fcbers Jahr fertig sein), ist der unterzeichnete Berichterstatter seit 1884 als Mitarbeiter beteiligt, doch r\u00fchren die Theorien selbst alle von Lie her, und die Mitwirkung des Unterzeichneten hat nur die Gestalt, in der diese Theorien an die Oeffentlichkeit treten, mit beeinflusst.  Der vorliegende erste Abschnitt entwickelt die Theorie der endlichen continuirlichen Gruppen von Punkttransformationen; er enth\u00e4lt mit verschwindenden Ausnahmen lauter neue, von Lie selbst gefundene Theorien. Ich will versuchen, von dem reichen Inhalte dieses Abschnitts einen Begriff zu geben, muss mich aber dabei nat\u00fcrlich auf einige der wichtigsten S\u00e4tze beschr\u00e4nken.  Nach einer kurzen Einleitung, in der die Begriffe endliche und unendliche Gruppe vorl\u00e4ufig definirt werden, bringt Cap. 1 eine scharfe Definition der endlichen continuirlichen Gruppen von Punkttransformationen.  Eine Schar von \\(\\infty^r\\) verschiedenen Punkttransformationen des Raumes \\(x_1 \\dots x_n\\):  \\[ (1) \\quad x_i' = f_i (x_1 \\dots x_n; \\quad a_1 \\dots a_r) \\quad (i = 1, \\dots, n) \\]  bildet eine \\(r\\)-gliedrige Transformationsgruppe, wenn zwei Transformationen der Schar, nach einander ausgef\u00fchrt, stets wieder eine Transformation der Schar ergeben, wenn also aus (1) und:  \\[ (2) \\quad x_i^{\\prime\\prime} = f_i (x_1' \\dots x_n' ; \\quad b_1 \\dots b_r) \\quad (i = 1,\\dots, n) \\]  durch Fortschaffung der \\(x'\\) folgt:  \\[ (3) \\quad x_i^{\\prime\\prime} = f_i (x_1 \\dots x_n ; \\quad c_1 \\dots c_r) \\quad (i = 1,\\dots, n), \\]  wo die \\(c\\) Functionen von den \\(a\\) und \\(b\\) allein sind:  \\[ (4) \\quad c_k = \\varphi_k (a_1 \\dots a_r ; \\quad b_1 \\dots b_r) \\quad (k = 1, \\dots, r). \\]  Die \\(f_i\\) werden als analytische Functionen ihrer Argumente vorausgesetzt, die \\(\\varphi_k\\) sind dann ebenfalls analytische Functionen, und zwar sind die Gleichungen (4) sowohl nach den \\(a\\) als nach den \\(b\\) aufl\u00f6sbar.  Betrachtet man in (1) die \\(x\\) und \\(x'\\) als Coordinaten zweier verschiedenen Punkte desselben Raumes \\(R_n\\), so erscheint die Gruppe (1) als eine Gruppe von Vertauschungen der \\(\\infty^n\\) Punkte des \\(R_n\\). F\u00fchrt man nun in (1) an Stelle der \\(a\\) neue Parameter ein durch die Substitution \\(a_k = \\psi_k (\\alpha_1 \\dots \\alpha_r)\\), so stellen die entstehenden Gleichungen:  \\[ x_i' = f_i (x_1 \\dots x_n ; \\quad \\psi_1 (\\alpha) \\ldots \\psi_r (\\alpha)) \\quad (i = 1, \\dots, n) \\]  wieder eine Gruppe dar, die mit der Gruppe (1) im Grunde identisch ist und daher nur als eine andere Form dieser Gruppe betrachtet wird. Bezieht man andererseits die Punkte \\(x\\) und \\(x'\\) des \\(R_n\\) auf ein anderes Coordinatensystem, setzt man also etwa \\(y_i = \\omega_i (x)\\), \\(y_i' = \\omega_i (x')\\) und ferner dem entsprechend \\(x_i = w_i (y), x'_i = w_i (y')\\), so erh\u00e4lt man aus (1) Gleichungen von der Form:  \\[ (5) \\quad y_i' = \\omega_i (f_1 (w_1 (y) \\dots w_n (y); \\quad a_1 \\dots a_r)) \\quad (i = 1, \\dots, n), \\]  die ebenfalls eine \\(r\\)-gliedrige Gruppe darstellen.  Herr Lie sagt, dass diese neue Gruppe (5) mit der alten (1) ``\u00e4hnlich'' ist. In sehr vielen F\u00e4llen werden auch \u00e4hnliche Gruppen als nicht wesentlich von einander verschieden betrachtet.  In Capitel 2 werden gewisse grundlegende Differentialgleichungen f\u00fcr die Functionen \\(f_i\\) in den Gleichungen (1) einer \\(r\\)-gliedrigen Gruppe abgeleitet.  Betrachtet man in (1) die \\(x'\\) als Functionen der \\(a\\), so bestehen Differentialgleichungen von der Form:  \\[ (6) \\quad \\frac{\\partial x_i'}{\\partial a_k} = \\sum_{j}^{1 \\dots r} \\psi_{jk} (a_1 \\dots a_r) \\xi_{ji} (x_1' \\dots x_n') \\quad (i = 1, \\dots, n, \\quad k = 1, \\dots, r), \\]  die sich auch nach den \\(\\xi_{ji} (x')\\) aufl\u00f6sen lassen:  \\[ (7) \\quad \\xi_{ji} (x_1' \\dots x_n') = \\sum_{1}^{r}{}_k \\alpha_{jk} (a_1 \\dots a_r) \\frac{\\partial x_i'}{\\partial a_k}, \\]  da die Determinante der \\(\\psi_{jk}\\) nicht verschwindet; die \\(\\xi_{ji}(x')\\) sind hierbei so beschaffen, dass zwischen ihnen niemals Relationen von der Form:  \\[ (8) \\quad c_1 \\xi_{1i} (x') + \\cdots + c_r \\xi_{ri} (x') = 0 \\quad (i = 1, \\dots, n) \\]  bestehen, in denen die Constanten \\(c_1, \\dots, c_r\\) nicht s\u00e4mtlich verschwinden.  Capitel 3 behandelt die eingliedrigen Gruppen:  \\[ (9) \\quad x_i' = f_i (x_1 \\dots x_n; a) \\quad (i = 1, \\dots, n). \\]  Die Differentialgleichungen (6) haben hier die Form:  \\[ (10) \\quad \\frac{dx_i'}{da} = \\psi (a) \\xi_{i} (x_1' \\dots x_n') \\quad (i = 1, \\dots, n). \\]  Enth\u00e4lt nun die Gruppe (9) die identische Transformation: \\(x_i' = x_i\\) etwa f\u00fcr \\(a = a^0\\), so kann man f\u00fcr \\(a\\) den neuen Parameter:  \\[ t = \\int_{a_0}^{a} \\psi (a) da \\]  einf\u00fchren. Die Form, die (9) durch Einf\u00fchrung von \\(t\\) erh\u00e4lt, findet man dann, indem man das simultane System:  \\[ (11) \\qquad \\frac{dx_i'}{dt} = \\xi_i (x_1' \\dots x_n') \\quad (i = 1, \\dots, n) \\]  mit den Anfangsbedingungen \\(x_i' = x_i\\) f\u00fcr \\(t = 0\\) integrirt.  Auf diese Weise bekommt man zwei verschiedene Darstellungen f\u00fcr die eingliedrige Gruppe (9); denn die Integralgleichungen von (11) k\u00f6nnen entweder in der Form:  \\[ (12) \\quad \\begin{cases} \\varOmega_i (x_1' \\dots x_n') = \\varOmega_i (x_1 \\dots x_n) \\qquad (i = 1, \\dots, n - 1),\\\\ \\varOmega_n (x_1' \\dots x_n') = \\varOmega_n (x_1 \\dots x_n) + t\\end{cases} \\]  aufgestellt werden oder in Reihenform:  \\[ (13) \\quad x_i' = x_i + \\frac{t}{1}\\;\\xi_i (x) + \\frac{t^2}{1.2}\\;X(\\xi_i) + \\frac{t^3}{3!}\\;X(X(\\xi_i)) + \\cdots, \\]   \\[ (i = 1, \\dots, n), \\]  wo \\(X(f)\\) den Ausdruck:  \\[ X(f) = \\sum_{1}^{n}{}_i \\xi_i (x_1 \\dots x_n) \\frac{\\partial f}{\\partial x_i} \\]  bezeichnet, unter \\(f\\) eine beliebige Function von \\(x_1, \\dots, x_n\\) verstanden.  Die Gleichungen (12), die mit (13) \u00e4quivalent sind, zeigen, dass man aus jedem simultanen System (11) durch Integration mit den Anfangsbedingungen \\(x_i' = x_i\\) f\u00fcr \\(t = 0\\) eine eingliedrige Gruppe bekommt. Da man \u00fcberdies \\(y_1 = \\varOmega_1 (x) , \\dots, y_n = \\varOmega_n (x)\\) an Stelle der \\(x\\) als neue Ver\u00e4nderliche einf\u00fchren kann, so ergiebt sich, dass jede eingliedrige Gruppe des \\(R_n\\) mit einer eingliedrigen Gruppe von Translationen:  \\[ y_1' = y_1, \\dots, y_{n - 1}' = y_{n - 1}, y_n' = y_n + t \\]  \u00e4hnlich ist.   W\u00e4hlt man den Parameter \\(t\\) der eingliedrigen Gruppe (13) unendlich klein \\(= \\delta t\\), so erh\u00e4lt man eine der Gruppe angeh\u00f6rige ``infinitesimale Transformation'':  \\[ (14) \\quad x_i' = x_i + \\xi_i (x_1 \\dots x_n) \\delta t \\quad (i = 1, \\dots, n). \\]  Denkt man sich diese infinitesimale Transformation unendlich oft wiederholt, so erh\u00e4lt man die endlichen Transformationen der Gruppe (13); deshalb sagt Lie, dass die eingliedrige Gruppe (13) von der infinitesimalen Transformation (14) ``erzeugt'' ist.   Die Gleichungen der infinitesimalen Transformation (14) schreibt Lie auch so:  \\[ \\delta x_1 = \\xi_1 \\delta t, \\dots, \\delta x_n = \\xi_n \\delta t, \\]  indem er mit \\(\\delta x_i\\) den unendlich kleinen Zuwachs \\(x_i' - x_i\\) bezeichnet, den \\(x_i\\) bei der infinitesimalen Transformation erh\u00e4lt. Ist nun \\(f\\) eine beliebige Function von \\(x_1, \\dots, x_n\\), so erh\u00e4lt \\(f\\) den unendlich kleinen Zuwachs \\(\\delta f = X(f) \\delta t\\). Da die infinitesimale Transformation (14) durch den Ausdruck \\(X(f)\\) vollst\u00e4ndig bestimmt ist, so benutzt Lie diesen Ausdruck als Symbol f\u00fcr die infinitesimale Transformation (14). Die Berichtigung hierzu liegt darin, dass das Symbol \\(X(f)\\) mit der infinitesimalen Transformation (14) invariant verkn\u00fcpft ist; f\u00fchrt man in \\(X(f)\\) neue Ver\u00e4nderliche ein, so erh\u00e4lt man das Symbol der infinitesimalen Transformation, die aus (14) durch Einf\u00fchrung der neuen Ver\u00e4nderlichen entsteht. Da \u00fcbrigens die eingliedrige Gruppe (14) durch die infinitesimale Transformation \\(X(f)\\) vollst\u00e4ndig bestimmt ist, so spricht Lie auch geradezu von der eingliedrigen Gruppe \\(X(f)\\).  Die Einf\u00fchrung des Symbols \\(X(f)\\) ist \u00e4usserst folgenreich; denn mit diesem Symbole kann man rechnen, gerade der Einf\u00fchrung des Symbols verdankt Lie seine Erfolge in der Gruppentheorie.  Hat man \\(r\\) infinitesimale Transformationen \\(X_1 (f) \\dots X_r (f)\\) und bezeichnen \\(\\lambda_1, \\dots, \\lambda_r\\) Constanten, so ist \\(\\lambda_1 X_1 (f) + \\cdots + \\lambda_r X_r (f)\\) stets wieder eine infinitesimale Transformation, von der Lie sagt, dass sie aus \\(X_1 (f) \\dots X_r (f)\\) linear abgeleitet ist. Die \\(r\\) infinitesimalen Transformationen \\(X_1 (f) \\dots X_r (f)\\) heissen insbesondere von einander unabh\u00e4ngig, wenn sich keine von ihnen aus den \u00fcbrigen linear ableiten l\u00e4sst, wenn also zwischen ihnen keine Relation \\(c_1 X_1 (f) + \\cdots + c_r X_r (f) = 0\\) besteht, in der die Constanten \\(c_1, \\dots ,c_r\\) nicht s\u00e4mtlich verschwinden. Sind \\(X_1 (f) \\dots X_r (f)\\) von einander unabh\u00e4ngig und sind \\(\\lambda_1, \\dots, \\lambda_r\\) willk\u00fcrliche Parameter, so bestimmt der Ausdruck \\(\\lambda_1 X_1 (f)+ \\cdots + \\lambda_r X_r (f)\\) eine Schar von \\(\\infty^{r - 1}\\) eingliedrigen Gruppen, die endlich Transformationen dieser \\(\\infty^{r - 1}\\) Gruppen bilden dann stets eine Schar von \\(\\infty^r\\) Transformationen.  Capitel 4 kehrt zu den \\(r\\)-gliedrigen Gruppen zur\u00fcck.  Enth\u00e4lt die Gruppe (1) die identische Transformation: \\(x_i' = x_i\\) etwa f\u00fcr \\(a_\\kappa = a_{\\kappa}^{0}\\), so kann man an Stelle der \\(a\\) neue Parameter \\(\\lambda_1 t, \\dots, \\lambda_r t\\) einf\u00fchren, indem man \\(a_1, \\dots, a_r\\) als Functionen der \\(\\lambda_\\kappa t\\) durch das simultane System:  \\[ (15) \\quad \\frac{d a_\\kappa}{dt} = \\sum_{j}^{1 \\dots r} \\lambda_j \\alpha_{j \\kappa} (a_1 \\dots a_r) \\quad (\\kappa = 1, \\dots, r) \\]  mit den Anfangsbedingungen \\(a_\\kappa = a_{\\kappa}^{0}\\) f\u00fcr \\(t = 0\\) bestimmt. Die Differentialgleichungen (7) gehen jetzt \u00fcber in:  \\[ (16) \\quad \\frac{dx_i'}{dt} = \\sum_{1}^{r}{}_\\kappa \\lambda_\\kappa \\xi_{\\kappa i} (x_i' \\dots x_n') \\qquad (i = 1, \\dots, n), \\]  und man findet die neue Form, welche die Gruppe (1) bei Einf\u00fchrung der neuen Parameter erh\u00e4lt, durch Integration des simultanen Systems (16) mit den Anfangsbedingungen \\(x_i' = x_i\\) f\u00fcr \\(t = 0\\). Die betreffenden Integralgleichungen lauten, wenn die Abk\u00fcrzung:  \\[ \\sum_{1}^{n}{}_i \\xi_{\\kappa i} (x_1 \\dots x_n)\\;\\frac{\\partial f}{\\partial x_i} = X_{\\kappa} (f) \\]  benutzt wird, folgendermassen:  \\[ (17) \\quad x_i' = x_i + \\frac{t}{1}\\;\\sum_{1}^{r}{}_\\kappa \\lambda_\\kappa \\xi_{\\kappa i}(x) + \\frac{t^2}{1.2}\\;\\sum_{\\kappa j}^{1\\dots r}{} \\lambda_\\kappa \\lambda_j X_{\\kappa}(\\xi_{ji}) + \\cdots \\]   \\[ (i = 1, \\dots, n). \\]  Lie bezeichnet diese Form (17) der Gruppe (1) als ``kanonische'' Form.  Hiermit ist bewiesen, dass die Gruppe (1), wenn sie die identische Transformation enth\u00e4lt, auch die \\(\\infty^{r - 1}\\) infinitesimalen Transformationen \\(\\lambda_1 X_1 (f) + \\cdots + \\lambda_r X_r (f)\\) enth\u00e4lt, und dass sich die \\(\\infty^r\\) Transformationen der Gruppe (1) in \\(\\infty^{r - 1}\\) eingliedrige Gruppen anordnen. Lie zeigt \u00fcberdies, dass dann jede infinitesimale Transformation der Gruppe (1) aus \\(X_1 (f) \\dots X_r (f)\\) linear ableitbar ist.   Capitel 5 enth\u00e4lt eine kurze Darstellung der Theorie der vollst\u00e4ndigen Systeme, die von Jacobi und Clebsch begr\u00fcndet ist. Der Hauptsatz dieser Theorie ist, dass \\(q\\) unabh\u00e4ngige lineare partielle Differentialgleichungen:  \\[ X_\\kappa (f) = \\sum_1{}_i \\xi_{\\kappa i} (x_1 \\dots x_n) \\frac{\\partial f}{\\partial x_i} = 0 \\quad (\\kappa = 1, \\dots, q) \\]  stets dann und nur dann \\(n - q\\) unabh\u00e4ngige L\u00f6sungen gemein haben, wenn sie ein \\(q\\)-gliedriges vollst\u00e4ndiges System bilden, das heisst, wenn Identit\u00e4ten von der Form:  \\[ X_i (X_\\kappa (f)) - X_\\kappa (X_i (f)) = \\sum_{\\nu}^{1 \\dots q} \\varphi_{i \\kappa \\nu} (x) . X_\\nu (f) \\]  bestehen.  Capitel 6 l\u00e4sst schon die Fruchtbarkeit des Begriffs der infinitesimalen Transformation ahnen. Die linke Seite einer jeden linearen partiellen Differentialgleichung \\(X(f) = 0\\) ist ja das Symbol einer infinitesimalen Transformation. Hieraus folgt, dass jede L\u00f6sung der Gleichung \\(X(f) = 0\\) eine Function ist, die bei der infinitesimalen Transformation \\(X(f)\\) und zugleich bei jeder Transformation der eingliedrigen Gruppe \\(X(f)\\) ihre Form nicht \u00e4ndert und also invariant bleibt. Sind \\(\\omega_1, \\dots, \\omega_{n - 1}\\) unabh\u00e4ngige L\u00f6sungen von \\(X(f) = 0\\), so stellen die Gleichungen:  \\[ \\omega_1 (x_1 \\dots x_n) = \\text{const.}, \\dots, \\omega_{n - 1} (x_1 \\dots x_n) = \\text{const.} \\]  \\(\\infty^{n - 1}\\) Curven dar, die bei der eingliedrigen Gruppe \\(X(f)\\) invariant bleiben. Diese Curven heissen die Bahncurven von \\(X(f)\\).  Sind \\(X_1(f)\\) und \\(X_2 (f)\\) zwei infinitesimale Transformationen, so stellt auch der Klammerausdruck:  \\[ (X_1 X_2) = X_1 (X_2 (f)) - X_2 (X_1 (f)),  \\]  der nur Differentialquotienten erster Ordnung von \\(f\\) enth\u00e4lt, eine infinitesimale Transformation dar. Bilden die \\(q\\) unabh\u00e4ngigen linearen partiellen Differentialgleichungen \\(X_1 (f) = 0, \\dots, X_q (f) = 0\\) ein vollst\u00e4ndiges System, so bleiben die L\u00f6sungen dieses vollst\u00e4ndigen Systems nicht bloss bei den infinitesimalen Transformationen \\(X_1 (f) \\dots X_q (f)\\), sondern auch bei allen infinitesimalen Transformationen von der Form \\((X_iX_\\kappa)\\) invariant.  Hier ist noch die Identit\u00e4t:  \\[ (18) \\quad ((X_1 X_2) X_3) + ((X_2 X_3) X_1) + ((X_3 X_1) X_2) \\equiv 0  \\]  zu erw\u00e4hnen, die zwischen drei beliebigen infinitesimalen Transformationen \\(X_1 (f), X_2 (f), X_3 (f)\\) besteht; sie ist ein specieller Fall der ber\u00fchmten Jacobi'schen Identit\u00e4t.  Capitel 7. Ein Gleichungensystem \\(\\varOmega_1 (x) = 0, \\dots, \\varOmega_{n - q} (x) = 0\\) bleibt bei der infinitesimalen Transformation \\(X(f)\\) nur dann invariant, wenn die Ausdr\u00fccke \\(X(\\varOmega_\\kappa)\\) alle verm\u00f6ge des Gleichungensystems verschwinden. Ist diese Bedingung erf\u00fcllt, so bleibt das Gleichungensystem auch bei allen Transformationen der eingliedrigen Gruppe \\(X(f)\\) invariant. Es werden nun alle Gleichungensysteme bestimmt, die bei \\(q\\) vorgelegten infinitesimalen Transformationen \\(X_1 (f) \\dots X_q (f)\\) invariant bleiben; ihre Bestimmung erfordert bloss Determinantenbildung und die Integration vollst\u00e4ndiger Systeme.  Capitel 8. Ein \\(q\\) gliedriges vollst\u00e4ndiges Systems \\(X_1 (f) = 0, \\dots, X_q (f) = 0\\) bleibt bei der eingliedrigen Gruppe \\(Y(f)\\) nur dann invariant, wenn \\(q\\) Identit\u00e4ten von der Form:  \\[ (X_{\\kappa} Y) = \\sum_{\\nu}^{1 \\dots q} \\varPsi_{\\kappa \\nu} (x_1 \\dots x_n) X_q (f) \\]  bestehen. Die eingliedrige Gruppe \\(Y(f)\\) f\u00fchrt in diesem Falle jede L\u00f6sung des vollst\u00e4ndigen Systems wieder in eine L\u00f6sung \u00fcber. Sind \\(\\omega_1, \\dots, \\omega_{n - q}\\) unabh\u00e4ngige L\u00f6sungen des vollst\u00e4ndigen Systems, so stellen die Gleichungen:  \\[ \\omega_1 (x_1 \\dots x_n) = \\text{const.}, \\dots, \\omega_{n - q} (x_1 \\dots x_n) = \\text{const}. \\]  eine Zerlegung des \\(R_n\\) in \\(\\infty^{n - q}\\) \\(q\\)-fach ausgedehnte Mannigfaltigkeiten dar, und diese Zerlegung bleibt bei der eingliedrigen Gruppe \\(Y(f)\\) invariant.  Capitel 9. Setzt man:  \\[ X_{\\kappa} (f) = \\sum_{i}^{1 \\dots n} \\xi_{\\kappa i} (x)\\;\\frac{\\partial f}{\\partial x_i}, \\quad A_{\\kappa} (f) = \\sum_{j}^{1 \\dots \\nu} \\alpha_{\\kappa j} (a)\\;\\frac{\\partial f}{\\partial a_i}, \\]  so sind die Differentialgleichungen (7) nur dann integrabel, wenn Relationen von der Form:  \\[ (X_i X_{\\kappa}) = \\sum_{s}^{1 \\dots r} c_{i \\kappa s}X_s (f), \\quad (A_i A_{\\kappa}) = \\sum_{s}^{1 \\dots r} c_{i\\kappa s} A_s (f) \\]  bestehen. Die \\(c_{i\\kappa s}\\) Constanten und m\u00fcssen die Relationen:  \\[ (19) \\begin{cases} c_{i\\kappa s} + c_{\\kappa i s} = 0,\\\\ \\displaystyle\\sum_1^r{}_\\nu (c_{i\\kappa \\nu} c_{\\nu j s} + c_{\\kappa j \\nu} c_{\\nu i s} + c_{ji\\nu} c_{\\nu \\kappa s}) = 0 \\end{cases}  \\]  befriedigen (wegen der Identit\u00e4t (18)).  Zwischen irgend \\(r\\) unabh\u00e4ngigen infinitesimalen Transformationen \\(X_1 (f) \\dots X_r (f)\\) einer \\(r\\)-gliedrigen Gruppe bestehen demnach Relationen von der Form:  \\[ (20) \\quad (X_i X_{\\kappa}) = \\sum_{s}^{1 \\dots r} c_{i \\kappa s}X_s (f), \\quad \\quad (i, \\kappa = 1, \\dots, r). \\]  Sind ferner \\(X(f)\\) und \\(Y(f)\\) zwei infinitesimale Transformationen der Gruppe, so enth\u00e4lt die Gruppe stets auch die infinitesimale Transformation \\((XY)\\).  Lie beweist nun den Fundamentalsatz seiner Theorie: Stehen \\(r\\) unabh\u00e4ngige infinitesimale Transformationen \\(X_1 (f) \\dots X_r (f)\\) in Beziehungen von der Form (20), so erzeugen sie eine \\(r\\)-gliedrige Gruppe, deren allgemeinste infinitesimale Transformation die Form \\(\\lambda_1 X_1 (f) + \\cdots + \\lambda_r X_r (f)\\) hat. Lie nennt diese Gruppe kurz die Gruppe \\(X_1 (f) \\dots X_r (f)\\).  Um nicht zu weitl\u00e4ufig zu werden, will ich von jetzt an bloss einzelne S\u00e4tze erw\u00e4hnen.  Die Bestimmung aller continuirlichen Untergruppen einer \\(r\\)-gliedrigen Gruppe \\(X_1 (f) \\dots X_r (f)\\) erfordert bloss algebraische Operationen (Capitel 12).  Die Begriffe transitiv, intransitiv, primitiv und imprimitiv, die aus der Substitutionentheorie bekannt sind, lassen sich auf die endlichen continuirlichen Gruppen \u00fcbertragen (Capitel 13).  Kennt man die endlichen Transformationen der \\(r\\)-gliedrigen Gruppe \\(X_1 (f) \\dots X_r (f)\\), so kann man alle Gleichungensysteme oder, was dasselbe ist, alle Mannigfaltigkeiten, die bei der Gruppe invariant bleiben, ohne Integration bestimmen. Kennt man bloss die infinitesimalen Transformationen, so erfordert die Bestimmung nur Determinantenbildung und die Integration vollst\u00e4ndiger Systeme (Capitel 14).  Die aus der Substitutionentheorie bekannten Begriffe: einfache Gruppe, invariante Untergruppe (man braucht allerdings daf\u00fcr gew\u00f6hnlich den nichtssagenden Ausdruck: ausgezeichnete Untergruppe), holoedrischer und meroedrischer Isomorphismus sind auch auf continuirliche Gruppen \u00fcbertragbar (Capitel 15, 17, 21). Insbesondere nennt Lie zwei \\(r\\)-gliedrige Gruppen \\(X_1 (f) \\dots X_r (f)\\) und \\(Y_1 (f) \\dots Y_r (f)\\) holoedrisch isomorph oder gleich zusammengesetzt, wenn die infinitesimalen Transformationen \\(Y_1 (f) \\dots Y_r (f)\\) der zweiten Gruppe so gew\u00e4hlt werden k\u00f6nnen, dass mit den Relationen (20) zugleich Relationen von der Form:  \\[ (Y_i X_{\\kappa}) = \\sum_{1}^{r}{}_s c_{i \\kappa s} Y_s (f) \\]  mit denselben Constanten \\(c_{i \\kappa s}\\) bestehen. Lie beweist, dass diese Definition des holoedrischen Isomorphismus mit der in der Substitutionstheorie \u00fcblichen \u00e4quivalent ist. Soll entschieden werden, ob zwei vorgelegte \\(r\\)-gliedrige Gruppen mit gegebenen infinitesimalen Transformationen gleich zusammengesetzt sind, so sind nur algebraische Operationen erforderlich.  Das System der Constanten \\(c_{i \\kappa s}\\) in den Relationen (20) nennt Lie die Zusammensetzung der Gruppe.  Bemerkenswert ist, dass man in jeder \\(r\\)-gliedrigen Gruppe \\(X_1 (f) \\dots X_r (f)\\) eine mit ihr isomorphe lineare homogene Gruppe angeben kann, die sogenannte ``adjungirte Gruppe'', die von den \\(r\\) infinitesimalen Transformationen:  \\[ E_{\\kappa} (f) = \\sum_{is}^{1 \\dots r} c_{i \\kappa s} e_i\\;\\frac{\\partial f}{\\partial e_s} \\quad \\quad (\\kappa = 1, \\dots, r) \\]  erzeugt ist. Diese adjungirte Gruppe spielt eine grosse Rolle bei allen Untersuchungen \u00fcber Untergruppen u. s. w. (Capitel 16).  W\u00fcnscht man zu entscheiden, ob zwei \\(r\\)-gliedrige Gruppen in \\(n\\) Ver\u00e4nderlichen, deren infinitesimale Transformationen man kennt, \u00e4hnlich sind, so sind ausser algebraischen Operationen nur noch Eliminationen erforderlich.  Hat man ein System von \\(r^3\\) Constanten \\(c_{i \\kappa s}\\) das die Gleichungen (19) erf\u00fcllt, so giebt es immer \\(r\\)-gliedrige Gruppen von der Zusammensetzung \\(c_{i \\kappa s}\\). Der Beweis dieses wichtigen Satzes wird zwar erst in dem mittlerweile erschienenen zweiten Abschnitt gebracht, es werden aber in dem ersten Abschnitt Methoden entwickelt, um alle \\(r\\)-gliedrigen transitiven Gruppen von gegebner Zusammensetzung \\(c_{i \\kappa s}\\) zu bestimmen, wenn man bereits eine derartige Gruppe kennt; diese Methoden erfordern h\u00f6chstens die Integration gew\u00f6hnlicher Differentialgleichungen. W\u00fcnscht man zu wissen, wie viele Typen von transitiven Gruppen von gegebener Zusammensetzung es giebt, so sind nur algebraische Operationen erforderlich; Lie rechnet dabei zwei Gruppen zu demselben Typus, wenn sie \u00e4hnlich sind. Kennt man alle transitiven Gruppen mit \\(r\\) und weniger Parametern, so kann man alle \\(r\\)-gliedrigen intransitiven Gruppen in einer gegebenen Zahl von Ver\u00e4nderlichen ohne Integration bestimmen (Capitel 22).  Hat man eine \\(r\\)-gliedrige Gruppe in \\(n + m\\) Ver\u00e4nderlichen \\(x_1 , \\dots, x_n,\\; z_1, \\dots, z_m\\), und betrachtet man \\(z_1, \\dots, z_m\\) als Functionen von \\(x_1 , \\dots, x_n\\), so transformirt die Gruppe auch die Differentialquotienten der \\(z\\) nach den \\(x\\). Es giebt nun immer Functionen von den \\(x\\), den \\(z\\) und den Differentialquotienten:  \\[ \\frac{\\partial z_\\mu}{\\partial x_\\nu}, \\; \\frac{\\partial^2 z_\\mu}{\\partial x_\\nu \\partial x_{\\tau}}, \\; \\dots, \\]  die bei der betreffenden Gruppe invariant bleiben. Solche Functionen bezeichnet Lie als ``Differentialinvarianten'' der Gruppe. Die Zahl der Differentialinvarianten einer jeden \\(r\\)-gliedrigen Gruppe ist unbegrenzt, alle Differentialinvarianten von gegebener Ordnung k\u00f6nnen durch Integration eines vollst\u00e4ndigen Systems gefunden werden (Capitel 25).  Ausser den erw\u00e4hnten Theorien enth\u00e4lt der vorliegende erste Abschnitt noch eine grosse Menge von anderen, die nicht minder wichtig sind, die aber auch nur zu erw\u00e4hnen mir der Raum verbietet. Den reichen Inhalt des ersten Abschnitts werden hoffentlich schon die gegebenen Andeutungen einigermassen erkennen lassen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1535194$49919EDE-9E85-4FC2-8509-2534F53A20F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f575d0483a2a001c0854bc9f5535b5b9dc98761","datavalue":{"value":"2691869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1535194$D9E6870A-8FD2-4C00-A68C-E5E348CD5CBB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1535194$68DA5257-3D60-4768-ADD6-1C71B4412F7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"557862c5e5ebc68513299948f37e3ca14ed151ae","datavalue":{"value":{"entity-type":"item","numeric-id":6480859,"id":"Q6480859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1535194$83298988-3796-4487-A792-BB75A0347D90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorie der Transformationsgruppen. Erster Abschnitt. Unter Mitwirkung von F. Engel bearbeitet.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorie_der_Transformationsgruppen._Erster_Abschnitt._Unter_Mitwirkung_von_F._Engel_bearbeitet."}}}}}