The theory of bilinear and double-binary forms. (Q563278)

\(F\) sei eine symmetrische Bilinearform vom Range \(r\) in \((x_1,\ldots,x_n)\), \((y_1,\ldots,y_n)\) mit reellen Koeffizienten, welche durch kogrediente Transformation der Variablen auf die kanonische Form \[ F\equiv \varepsilon _1x'_1y'_1+\cdots +\varepsilon _r x'_ry'_r \] gebracht werden kann, wobei alle \(\varepsilon =\pm 1\) sind. Die Signatur sei \(s\leqq r\). Eine Lösung ist ein System von numerischen Werten für die Variablen, für das \(F=0\) ist. Eine eingebettete Lösung \(k\)-ter Ordnung ist ein System von \(k\) unabhängigen Lösungen, welches die Eigenschaft hat, daß jede reelle lineare Kombination wieder eine Lösung ist. Es wird bewiesen, daß \(k\) höchstens gleich \(n-r+s\) ist und diesen Wert auch wirklich erreicht. Das Ergebnis wird auf \textit{Hermite}sche Formen sowie auf reelle und \textit{Hermite}sche binäre Formen vom Grad \(n-1\) in jeder Variablen übertragen und für die letzteren genauer diskutiert. Für gewisse \textit{Hermite}sche binäre Formen wird eine Normalform angegeben.