Sopra un teorema fondamentale nella teoria del calcolo delle forme binarie. (Q1536739)

Die erste Note (siehe JFM 20.0113.01) enthält einen neuen Beweis des Gordan'schen Satzes, dass im binären Formengebiete jeder symbolische Ausdruck, welcher identisch verschwindet, in Teile zerlegt werden kann, von denen jeder einzelne einen Factor vom Typus \[ (ab)(cd) + (ac)(db) + (ad) (bc) \] enthält. Die zweite Note (siehe JFM 20.0113.02) fügt eine auf die Anzahl dieser Teile bezügliche Bemerkung hinzu, und in der dritten Note wird der Satz auf Formen von \(n\) Veränderlichen erweitert. Bezeichnen wir mit \(a_1, a_2, \dots, b_1, b_2, \dots; x_1, x_2, \dots, y_1, y_2, \dots\) beziehungsweise die Reihen von Coefficienten und Variablen derart, dass die linearen Grundformen von der Gestalt \[ a_{1x_1} = a_{11}x_{11} + a_{12}x_{12} + \cdots + a_{1n}x_{1n} \] anzunehmen sind, so verschwinden identisch die folgenden invarianten Ausdrücke \[ \begin{aligned} & \quad \sum ^i (-1)^{ni} (a_{i +1} a_{i +2} \dots a_{i -1} ) ( a_i b_1 b_2 \dots b_{n-1} ), \\ & \quad \sum ^i (-1)^{ni} (a_{i +1} a_{i +2} \dots a_{i -1} ) a_{ix},\\ & ( a_i a_2 \dots a_n) (x_1 x_2 \dots x_n) - (a_{1x_1} a_{2x_2} \dots a_{nx_n}), \\ & \quad \sum ^i (-1)^{ni} (x_{i +1} x_{i +2} \dots x_{i -1} ) a_{x_i},\\ & \quad \sum ^i (-1)^{ni} (x_{i +1} x_{i +2} \dots x_{i -1} ) (x_i y_1 y_2 \dots y_{n-1}). \end{aligned} \] \[ (i = 1, 2, \dots, n+1) \] Der Verfasser beweist nun, dass jeder andere aus \(n\)-reihigen Determinanten und Linearfactoren gebildete Ausdruck, welcher identisch gleich Null ist, stets in Teile zerlegt werden kann, von denen jeder einen Ausdruck von obigem Typus als Factor enthält. Der Beweis wird zunächst für \(n+1\) Reihen von Coefficienten und eine Reihe von Veränderlichen geführt und dann mittels einer von Capelli herrührenden Verallgemeinerung der bekannten Gordan'schen Reihenentwickelung symbolischer Ausdrücke auf den allgemeinen Fall ausgedehnt.