{"entities":{"Q1482875":{"pageid":1493615,"ns":120,"title":"Item:Q1482875","lastrevid":43146543,"modified":"2025-07-21T21:05:30Z","type":"item","id":"Q1482875","labels":{"en":{"language":"en","value":"\u00dcber die Bewegungsgruppen der Euklidischen R\u00e4ume. (Erste Abh.)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2628871"}},"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":"Q1482875$F9DFBA20-1E0F-4AFD-895E-CD8F2CE924F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21e30a7ef5340a26fd124d3e69447a352f1df43d","datavalue":{"value":{"text":"\u00dcber die Bewegungsgruppen der Euklidischen R\u00e4ume. (Erste Abh.).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1482875$48E8A0B0-D703-4343-813E-E97B39CAF17D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd813ecc9e30edd9409b89463e2d1367aa9c62ac","datavalue":{"value":"42.0144.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1482875$DF2F0801-9A7B-4E0C-A53D-EC059119CB53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73f650750e9363166bb611d4951805dbf180db62","datavalue":{"value":"10.1007/BF01564500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1482875$4DBD5863-1F86-4591-95E7-E7008E92C796","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1482875$F077A5BB-6D87-43BB-A02B-68CE107993B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c9bbfaaae89e72cb710e0d3014d2c5b94ec669b","datavalue":{"value":{"time":"+1911-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":"Q1482875$01254402-E72B-4C49-BEC1-D828FD1B3B2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4ef969e6398d07dc69e80652dae1e1f34a5610b","datavalue":{"value":"https://eudml.org/doc/158499","type":"string"},"datatype":"url"},"type":"statement","id":"Q1482875$43D010DA-BE9E-42EB-982C-7FD6CCB019B8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b0eb269364971de9ebaa4af01ad2138a33073d9","datavalue":{"value":"Im zwei- und dreidimensionalen Euklidischen Raume gibt es, wie man wei\u00df, nur endlich viele Bewegungesgruppen mit endlichem Fundamentalbereich. \\textit{Hilbert} (F. d. M. 31, 68, 1900) vermutete, da\u00df\\ diese Eigenschaft allgemein der Euklidischen R\u00e4umen \\(R_n\\) zukommt. Dem Beweise dieses grundlegenden Satzes ist die vorliegende Abhandlung gewidmet. Die Grundlage des Beweises besteht darin, da\u00df, wie bei \\(n=3\\) nach \\textit{Schoenflies} (F. d. M. 23, 554, 1891), zun\u00e4chst die Existenz einer in der Gruppe vorkommenden Translationsuntergruppe von \\(n\\) linear unabh\u00e4ngigen Translationen festgestellt wird, und weiterhin die endlichen Gruppen orthogonaler Substitutionen verwendet werden. Als neues Moment kommt hinzu die Benutzung der endlichen Gruppen ganzzahliger linearer Substitutionen \\(S\\) und damit der Theorie der positiven quadratischen Formen. Hierdurch gelingt es, den Endlichkeitsbeweis zur\\\"cukszuf\u00fchren auf einen Satz von \\textit{Minkowski} (F. d. M. 37, 251, 1906), da\u00df\\ es nur endlich viele unimodulare \\(S\\) mit ganzrationalen Zahlenkoeffizienten gibt, die positive reduzierte Formen wieder in solche \u00fcberf\u00fchren. Der vorliegende erste Teil der Untersuchung behandelt die Bewegungsgruppen mit unendlichem Fundamentalbereicht; eine solche erweist sich als entweder homogen und endlich, oder aber als zerlegbar. Eine Bewegung (\\S1) des Euklidischen \\(R_n\\) ist eine lineare Substitution, die das Quadrat \\(ds^2\\) des Linienelementes in sich \u00fcberf\u00fchrt. Fehlen die freien Glieder, so reduziert sich die Substitution auf eine orthogonale \\(A(a_{ik})\\) mit der Determinante \\(\\varDelta_A=|a_{ik}|\\) und der charakteristischen Gleichung \\(D_A(\\varrho)=0\\). Je nachdem \\(\\varDelta_A=\\pm1\\) ist, liegt eine eigentliche oder aber uneigentliche Bewegung (Operation erster oder aber zweiter Art) vor. In \\S 2 wird f\u00fcr \\(\\varDelta_A=+1,D_A(1)\\neq0\\) die \\textit{Cayley}sche rationale Parameterdarstellung der \\(A\\) mittels einer schiefsymmetrischen Matrix abgeleitet. In \\S 3 werden alle reellen \\(A\\) betrachtet, die aus einer solchen, \\(A\\), durch Transformation verm\u00f6ge einer zweiten, \\(B\\), entstehen, die also von der Gestalt sind \\(BAB^{-1}\\). Zu einer gegebenen orthogonalen Substitution \\(O\\) l\u00e4\u00dft sich immer eine andere, \\(P\\), so bestimmen, da\u00df\\ \\(Q=POP^{-1}\\) eine Normalform besitzt, bei der alle Elemente der \\textit{Cayley}schen Matrix au\u00dfer den Diagonalelementen \\(Q_i\\) verschwinden und die bin\u00e4re Substitution \\(Q_i\\) die Gestalt besitzt: \\(Q_i=\\begin{pmatrix} \\cos\\vartheta_i2\\pi &-\\sin\\vartheta_i2\\pi\\\\ \\sin\\vartheta_i2\\pi &\\cos\\vartheta_i2\\pi \\end{pmatrix}\\). Die \\(\\vartheta_i\\) hei\u00dfen die Drehwinkel. F\u00fcr diese Normalform wird ein Beweis gegeben, der auf der Realit\u00e4t der Wurzeln der S\u00e4kulargleichung beruht. In \\S 4 wird bewiesen, da\u00df\\ die \\(|\\vartheta_i|\\) Invarianten der orthogonalen Transformation sind, d. h. unabh\u00e4ngig von der Art, wie die Normalform hergestellt sein mag. Au\u00dfer den durch die Normalform ausgezeichneten R\u00e4umen f\u00fchrt die orthogonale Transformation dann und nur dann noch andere lineare R\u00e4ume in sich \u00fcber, wenn mehrere der \\(|\\vartheta_i|\\) zusammenfallen. Zwei vertauschbare orthogonale Substitutionen \\(A,B\\) positiver Determinante lassen sich auf eine spezifische simultane Normalform bringen. Es handelt sich nun (\\S6) um Bewegungsgruppen \\(G\\) mit einem ``Fundamentalbereich'', d. h. einem zusammenh\u00e4ngenden Bereich, der zu jedem Punkte eines durch \\(G\\) sich transformierten Gebietes einen und nur einen \u00e4quivalenten Punkt enth\u00e4lt. Es ist dann m\u00f6glich, um jeden Punkt des Fundamentalbereiches einen Bereich abzugrenzen, der keine zwei \u00e4quivalenten Punkte enth\u00e4lt, und umgekehrt. Eine Gruppe enth\u00e4lt infinitesimale Operationen, wenn sich in ihr eine Folge von Operationen \\(A_1,\\dots,A_n,\\dots\\) so angeben l\u00e4\u00dft, da\u00df\\ zu jeder Gr\u00f6\u00dfe \\(\\varepsilon\\) ein Index \\(m\\) geh\u00f6rt, so da\u00df\\ die Koeffizienten von \\(A_i\\,(i>m)\\) von den entsprechenden der identischen Matrix um weniger als \\(\\varepsilon\\) abweichen. Dann gilt der Sats, da\u00df\\ eine von infinitesimalen Operationen freie Bewegungsgruppe einen Fundamentalbereich besitzt. \u00dcber orthogonale Operationen werden in \\S 7 zwei H\u00fclfss\u00e4tze aufgestellt. Es seien \\(A,B\\) zwei vertauschbare orthogonale Operationen gerader Zeilenzahl; die Drehwinkel von \\(A\\) sollen alle irrational sein, die von \\(B\\) teilweise irrational, teilweise Null. Dann gibt es zwei positive Exponenten \\(\\omega_1,\\omega_2\\), so da\u00df\\ die Drehwinkel von \\(A^{\\omega_1},B^{\\omega_2}\\) s\u00e4mtlich irrational werden. Sei ferner \\(\\beta_1,\\beta_2,\\dots,\\beta_n,\\dots\\) eine auf infinitesimale Substitutionen f\u00fchrende Folge orthogonaler Operationen, so gibt es ein \\(k\\) derart, da\u00df\\ kein \\(\\beta_i\\,(i>k)\\) einen Punkt eines Raumes \\(x_{h+i}=x_{h+2}=\\cdots=x_n=0\\) in einen Punkt des dazu senkrechten Raumes \\(x_1=\\cdots=x_h=0\\) \u00fcberf\u00fchrt. Eine ``zerlegbare'' Bewegungsgruppe (\\S8) ist eine solche, deren Operationen sich simultan auf die Gestalt \\(\\begin{pmatrix} A_{2k} &0 &0\\\\ 0 &A_h &T_h \\end{pmatrix}\\) bringen lassen, wo \\(k,h\\) von der einzelnen Bewegung unabh\u00e4ngig sind und \\(T_h\\) die Translationskomponenten bezeichnen. Zerlegbar ist jedenfalls eine Bewegungsgruppe, wenn sie Operationen mit irrationalem Drehwinkel enth\u00e4lt und von infinitesimalen Operationen frei ist. Zu dem Behuf wird umgekehrt bewiesen, wie jede Bewegungsgruppe, die Operationen mit irrationalen Drehwinkeln enth\u00e4lt und nicht zerlegbar ist, infinitesimale Operationen enth\u00e4lt. In Verbindung mit dem Satze des \\S 6 folgt, da\u00df\\ eine Bewegungsgruppe mit Fundamentalbereich, die Operationen mit irrationalem Drehwinkel enth\u00e4lt, zerlegbar ist. Nunmehr ist zu zeigen (\\S9), da\u00df\\ unendliche Gruppen mit unendlichem Fundamentalbereich immer zerlegbar sind, und umgekehrt. Zun\u00e4chst l\u00e4\u00dft sich nachweisen, da\u00df\\ eine unendliche Gruppe aus orthogonalen Substitutionen infinitesimale Operationen enth\u00e4lt. Daraus folgt aber, da\u00df\\ eine unendliche Bewegungsgruppe mit Fundamentalbereich, die keine Operationen mit irrationalem Drehwinkel enth\u00e4lt, Translationen enth\u00e4lt. Es gilt weiter der Satz (\\S10), da\u00df, wenn alle Translationen einer Bewegungsgruppe des \\(R_n\\) in einem kleineren \\(R_k\\) liegen, die Gruppe zerlegbar ist. Aus diesen S\u00e4tzen l\u00e4\u00dft sich die wichtige Folgerung ziehen: Die notwendige und hinreichende Bedingung daf\u00fcr, da\u00df\\ eine von infinitesimalen Operationen freie Gruppe einen endlichen Fundamentalbereich besitzt, ist, da\u00df\\ sie nicht zerlegbar ist. Mithin enth\u00e4lt eine Gruppe mit endlichem Funamentalbereich immer eine Translationsgruppe, deren Operationen nicht alle eine \\(R_k\\,(k