Seite:David Hilbert Gesammelte Abhandlungen Bd 1.djvu/528

Fertig. Dieser Text wurde zweimal anhand der Quelle korrekturgelesen. Die Schreibweise folgt dem Originaltext.

von einer gewissen Integralformel ausgehen und aus ihr schließlich eine rein arithmetische Relation gewinnen.

Um diesen Gedanken deutlich hervortreten zu lassen, schicke ich dem Beweise des Theorems zunächst zwei Sätze voraus.

Satz I[1]. Es sei eine beliebige positive ganze Zahl, dann gilt identisch in den 5 Variabeln , …, die Integralformel

; (1)

dabei bedeutet eine gewisse durch bestimmte positive Konstante, nämlich

,

und das 5-fache Integral rechts ist über die Kugel

(2)

zu erstrecken.

Zum Beweise verstehen wir unter , …, irgend welche reellen Größen und bestimmen dann eine orthogonale Substitution der 5 Variabeln , …, in , …,

(3)

  1. In meiner ursprünglichen Veröffentlichung (Nachr. Ges. Wiss. Göttingen, Math.-phys. Kl. 1909) habe ich mich hier eines gewissen 25-fachen Integrals bedient; daß man dasselbe für den vorliegenden Zweck durch das obige 5-fache Integral ersetzen kann, ist eine sehr dankenswerte, mir von verschiedenen Seiten (F. Hausdorff, J. Kürschák u. a.) gemachte Bemerkung. Der dort von mir formulierte und bewiesene Satz I über das 25-fache Integral beansprucht jedoch deshalb ein selbständiges Interesse, weil er in engster Beziehung zu der schönen Theorie der orthogonalen Invarianten von A. Hurwitz steht (vgl. dessen Abhandlung „Über die Erzeugung der Invarianten durch Integration“, Nachr. Ges. Wiss. Göttingen, Math.-phys. Kl. 1897) und in einfachster Weise den Grundgedanken zum Ausdruck bringt, mittels dessen diesem Forscher der Nachweis für die Endlichkeit des vollen Systems orthogonaler Invarianten gelungen ist. [Es handelt sich dort um die Formel
    ,

    wobei das 25-fache Integral rechts über denjenigen 25-dimensionalen ganz im Endlichen gelegenen Bereich zu erstrecken ist, der dadurch bestimmt ist, daß seine Punkte von einem Punkte des durch die 15 Orthogonalitätsrelationen

    ()

    definierten 10-dimensionalen Bereiches eine Entfernung

    besitzen. (Anm. d. Her.)]

Empfohlene Zitierweise:
David Hilbert: David Hilbert Gesammelte Abhandlungen Erster Band – Zahlentheorie. Julius Springer, Göttingen 1932, Seite 511. Digitale Volltext-Ausgabe bei Wikisource, URL: https://de.wikisource.org/w/index.php?title=Seite:David_Hilbert_Gesammelte_Abhandlungen_Bd_1.djvu/528&oldid=- (Version vom 17.10.2016)