Ueber quadratische Formen und Liniencomplexe. (Q1532863)

Bezeichnet \(\varGamma=(\varGamma U)^2\) eine quadratische Form der \(\lambda\) Veränderlichen \(U_1,\dots,U_{\lambda}\) und \((GX)^m\) die Contravariante dieser Form \(\varGamma\), so gilt der Satz: Ist \(F=(AX)^m\) eine beliebige Form der \(\lambda\) Veränderlichen \(X_1,\dots,X_{\lambda}\), so lässt sich dieselbe auf eine einzige Art in eine nach Potenzen der Form \((GX)^2\) fortschreitende Reihe entwickeln, sodass die Coefficienten eines jeden Gliedes dieser Reihe sämtlich zu der Form \(\varGamma\) apolar sind. Dabei besteht die Bedingung der Apolarität im identischen Verschwinden der lineo-linearen Covarianten. Im Falle \(\lambda=6\) lässt sich die gefundene Entwickelung auch in der Theorie der quaternären Formen verwerten, und zwar ergiebt sich der folgende Satz: Eine jede Form \(f(p)\) im quaternären Gebiete, in welcher die Coordinaten eines linearen Complexes \(\widehat{pp'}\) im Grade vorkommen, lässt sich auf eine einzige Art nach Potenzen der identischen Covariante \(P=(\widehat{pp'}\,\widehat{pp'})\) entwickeln, sodass die Coefficienten eines jeden Entwickelungsgliedes zu der identischen Covariante \(Q=(\widehat{qq'}\,\widehat{qq'})\) apolar sind. Soweit sich dieser Satz auf das erste Glied der Entwickelung bezieht, stimmt derselbe mit einem bekannten Satze von Clebsch überein, wonach die Gleichung \(f(p)=0\) sich immer auf eine einzige Art durch Anwendung von \(P=0\) so modificiren lässt, dass man sie als symbolische Potenz eines speciellen linearen Complexes betrachten darf.