On regular difference terms.
Ist ein System \(S_n\) von \(n\) Grössen \(\alpha\), \(\beta\), \(\gamma\), ..., welche Wurzeln genannt werden mögen, gegeben, und bildet man sich aus ihnen ein Product von \(w\) Differenzen \(\alpha-\beta\), \(\alpha-\gamma\), \(\beta-\gamma\), ... in der Weise, dass jede der \(n\) Wurzeln in \(v\) Differenzen vorkommt, so soll ein derartiges Product ein ,,regulärer Differenzenausdruck des Systems \(S_n\) vom ,,Grade \(n\), der ,,Ordnung \(v\) und dem ,,Gewichte \(w\) genannt werden; z. B. ist \((\alpha-\beta)^2(\beta-\gamma)(\gamma-\delta)^2(\delta-\alpha)\) ein solcher von dem Grade 4, der Ordnung 3 und dem Gewichte 6. Da \(vn=2w\) ist, so folgt, dass die niedrigste Ordnung, von welcher ein regulärer Differenzenausdruck sein kann, gleich 1 ist, wenn der Grad \(n\) eine gerade Zahl, dagegen gleich 2, wenn derselbe eine ungerade Zahl ist. Solche Differenzenausdrücke erster bez. zweiter Ordnung sollen ,,Elementarausdrücke des Systems \(S_n\) genannt werden (lineare bez. quadratische Elemente). Ist ein regulärer Differenzenausdruck zerlegbar in ein Product von regulären Differenzenausdrücken mit niedrigeren Ordnungszahlen (die Summe der Ordnungszahlen der einzelnen Producte muss gleich der Ordnungszahl des ursprünglichen, Ausdruckes sein), so soll der Ausdruck ein ,,zerlegbarer Differenzenausdruck heissen; ist eine solche Zerfällung nicht möglich, so heisst der Ausdruck ein ,,primitiver. Zu dieser letzteren Klasse gehören die Elementarausdrücke. Da (nach Hilbert) die Anzahl der primitiven Differenzenproducte eines Systems \(S_n\) eine endliche ist, so muss jeder reguläre Differenzenausdruck entweder ein primitiver selbst oder ein Product von zwei oder mehreren primitiven Ausdrücken sein. Nennt man noch reguläre Differenzenausdrücke, welche in Producte von lauter Elementartermen zerlegbar sind, ,,rein zusammengesetzte Ausdrücke (pure composite terms), so gilt der folgende vom Verf. aufgestellte Satz: ,,Jeder reguläre, zerlegbare oder primitive Differenzenausdruck eines Systems \(S_n\) kann immer als Summe von rein zusammengesetzten Ausdrücken gleich hoher Ordnung von \(S_n\), d.h. als eine rationale ganze Function von Elementarproducten von \(S_n\), dargestellt werden. Der Beweis dieses wichtigen Satzes bildet den Inhalt der vorliegenden Arbeit. Die Richtigkeit des Satzes ergiebt sich für reguläre Differenzenausdrücke zweiten bez. dritten Grades unmittelbar, da diese nur die Form \((\alpha-\beta)^v\), bez. \((\alpha-\beta)^m(\beta-\gamma)^m\), \((\gamma-\alpha)^m\), wo \(2m=v\) ist, haben können und \((\alpha-\beta)\), bez. \((\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\) Elementarproducte sind. Bezeichnet man die \(n\) Wurzeln von \(S_n\) in beliebiger Ordnung mit [1], [2], ..., \([r]\), ..., \([s]\), ..., \([n]\), so kann man dieselben graphisch darstellen durch \(n\) aufeinanderfolgende Punkte auf der Peripherie eines Kreises, welche man mit 1, 2, ..., \(n\) bezeichnet. Jede Differenz \(\{[s]-[r]\}\) kann dann durch die Verbindungslinie der Punkte \(s\) und \(r\) veranschaulicht werden. Jede Differenz zweier benachbarten Wurzeln, z.B. \(\{[r+1]-[r]\}\), soll eine Seitendifferenz, jede andere eine Diagonaldifferenz genannt werden. Entweder schneiden sich zwei Diagonaldifferenzen im Innern des Polygons: ,,gekreuztes Paar, oder sie haben keinen oder nur einen Eckpunkt gemeinsam: ,,nicht gekreuztes Paar. Je nachdem in einem regulären Differenzenterme nur Paare der letzteren oder auch solche der ersteren Art vorkommen, heisst derselbe ein,,nicht gekreuzter oder,,gekreuzter Term. Der Verf. zeigt zunächst, dass jeder reguläre Differenzenausdruck \(T\) von der Ordnung \(v\) eines Systems \(S_n\) sich durch eine Summe regulärer ungekreuzter Differenzenterme \(U\) derselben Ordnung von \(S_n\): \[ T\equiv U_1 + U_2 + U_3 +\cdots \] darstellen lässt. In gleicher Weise lässt sich jeder Ausdruck \(U\), durch eine Summe von reducibeln regulären Differenzentermen derselben Ordnung \(v\) von \(S_n\) ausdrücken; dabei versteht der Verf. unter einem reducibeln Terme einen Ausdruck folgender Form: \[ \{[r+1] - [r]\}^k \{[r] - [r-1]\}^{v-k}R, \] wo in \(R\) die Wurzel \([r]\) und die Differenz \(\{[r+1] - [r-1]\}\) nicht vorkommen. Setzt man nun voraus, dass für ein System \(S_{n-2}\) jeder reducible Term der Ordnung \(v\) sich als Summe rein zusammengesetzter Tenne gleicher Ordnung darstellen lässt, so kann das Analoge für jeden reduciblen Term der Ordnung \(v\) eines Systems \(S_n\). nachgewiesen werden. Dieser Teil des Beweises muss für \(n\) gerade und \(n\) ungerade getrennt geführt werden. Da für \(n=2\) und \(n=3\) die Richtigkeit dieser Annahme aber evident war, so ist der aufgestellte Satz völlig bewiesen. Man sieht leicht weiter, dass jeder reguläre Differenzenterm sich als rationale ganze Function von ,,nicht gekreuzten Elementartermen des Systems \(S_n\) zu welchem er gehört, darstellen lässt.
This page was built for publication: On regular difference terms.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1527010)
