Sulla caratteristica del determinante di una forma di \textit{Hermite}. (Q1488793)

Seien \[ (1)\qquad A(x, \overline x) =\sum a_{ik}x_i\overline{x}_k,\quad B(x,\overline x) = \sum b_{ik}x_i\overline x_k\quad (\overline a_{ik} = a_{ki},\;\overline b_{ik} = b_{ki}) \] zwei \textit{Hermite}sche Formen in \(2n\) konjugiert komplexen Variabeln \(x_i,\overline x_i\), und es sei die Determinante: \[ (2)\qquad | A\omega_1 + B\omega_2|=| a_{ik}\omega_1+b_{ik}\omega_2| = (AB)_n\omega^n_1 + (AB)_{n-1}\omega^{n-1}_1\omega_2+\cdots+(AB)_0\omega^n_2 \] nicht identisch Null; überdies werde \(B\) als nicht indefinit vorausgesetzt. Dann sind bekanntlich die von einer Potenz von \(\omega_1\) verschiedenen Elementarteiler von (2) reell und linear. Dann wird der Satz aufgestellt und bewiesen: ``Die notwendige und hinreichende Bedingung dafür, daß die Determinante \(A= | _{ij}|\) die Charakteristik \(r(0\leqq r\leqq n)\) besitzt, wird geliefert durch: \[ (3)\qquad (AB)_{r+2}=(AB)_{r+1}=0,\quad (AB)_r\neq 0. \] Die erste dieser Gleichungen kommt in Wegfall, wenn auch \(A\) nicht indefinit ist. Im besondern nehme man: \[ (4)\qquad B(x, \overline x) = \sum^m_1 x_i\overline x_i\quad (m\leqq n) \] und unterscheide die beiden Fälle \(m = n\) und \(m < n\). Im ersteren Falle ergibt sich als notwendige und hinreichende Bedingung dafür, daß die Determinante \(A\) einer \textit{Hermite}schen Form die Charakteristik \(r\) besitzt, daß die Summen der Hauptminoren von \(A\) der Ordnung \(r + 1\) und \(r+ 2\) verschwinden, aber nicht die Summe der Hauptminoren der Ordnung \(r\). Im zweiten Falle ergibt sich ein entsprechendes Kriterium dafür, daß \(A\) die Charakteristik \(r\geqq t\) besitzt. Daraus ergeben sich weiter allgemeine Sätze über Determinanten. So besitzt jede halbsymmetrische Determinante mit reellen Elementen eine gerade Charakteristik \(2s\); in einer solchen ist jeder Hauptminor der Ordnung \(2s\) von Null verschieden. Sei ferner \(A_{2k} (\neq 0)\) ein Hauptminor von \(A\) der Ordnung \(2k\): soll dieser die Charakteristik \(2s\) \((s\geqq k)\) besitzen, so ist dazu notwendig und hinreichend, daß die Summe der den Minor \(A_{2k}\) enthaltenden Hauptminoren der Ordnung \(2s + 2\) verschwindet, aber nicht die analoge Summe der Hauptminoren der Ordnung \(2s\). Zum Schluß wird noch gezeigt, daß die obigen Bedingungen \((AB)_{r+1} = 0\), \((AB)_{r+2} = 0\), \((AB)_r\neq 0\) von einander unabhängig sind.