Das Trägheitsgesetz der quadratischen Formen mit halbfiniter Koeffizientenmatrix.
Es gibt zwei Möglichkeiten, für vollkommene lineare Koordinatenräume \(\lambda \) (mit unendlich vielen Koordinaten) eine Theorie der quadratischen Formen anzusetzen: 1) Ist \(\mathfrak A\) eine Matrix, die \(\lambda \) in einen Teil des dualen Raumes \(\lambda \)* abbildet, so bildet die transponierte Matrix \(\mathfrak A'\) ebenfalls \(\lambda \) in \(\lambda \)* ab. Also kann die Symmetrie durch \(\mathfrak A=\mathfrak A'\) \((a_{ik}=a_{ki})\) erklärt werden. Die quadratische Form \(\mathfrak x'\mathfrak A\mathfrak x=\kern-3pt\sum\limits_{i, k=1}^{\infty }\kern-2pt a_{ik}x_ix_k\) ist für alle \(\mathfrak x=(x_1, x_2,\dots )\) aus \(\lambda \) erklärt und konvergent. Zwei quadratische Formen mit den symmetrischen Matrizen \(\mathfrak A\) und \(\mathfrak B\), die beide \(\lambda \) in \(\lambda \)* überführen, heißen nun äquivalent, wenn es eine \(\lambda \) in sich transformierende intakte Matrix \(\mathfrak P\) gibt (d. h. eine Matrix mit einer eindeutigen Reziproken \(\mathfrak P^{-1}\), die ebenfalls \(\lambda \) in sich überführt), so daß \(\mathfrak P'\mathfrak {AP}=\mathfrak B\) wird. Dieser Ansatz geht auf den Ref. zurück. 2) Mit \(\lambda +\lambda^{\ast} \) wird der Raum aller \(\mathfrak x=(\dots,x_{-1}, x_0|x_1, x_2,\dots )\) bezeichnet, deren linke Hälfte eine Stelle aus \(\lambda \), deren rechte Hälfte eine Stelle aus \(\lambda \)* ist. Die \(\lambda +\lambda ^{\ast}\) in sich überführenden Matrizen \(\mathfrak A=(a_{ik})\), \(i\), \(k = 0\), \(\pm1\), \(\pm2\),\dots, zerfallen entsprechend in vier Felder \[ \mathfrak A= \begin{pmatrix} {}^{\ast}\mathfrak A&\mathfrak A^{\ast}\\ {}_{\ast}\mathfrak A&\mathfrak A_{\ast}\end{pmatrix}. \] An Stelle der Symmetrie fordert man jetzt für \(\mathfrak A\) Symmetrie an der Nebendiagonale, d. h. \(\mathfrak A=\mathfrak {\widetilde A}\) mit \(\tilde a_{ik}=a_{-i+1, \;-k+1}\). Bezeichnet \(\mathfrak {\tilde x}\) die Stelle mit \(\tilde x_i=x_{-i+1}\), so läßt sich für jedes \(\mathfrak x\) aus \(\lambda +\lambda ^{\ast}\) die quadratische Form \(\mathfrak {\tilde x}\mathfrak {Ax}=\kern-8pt\sum\limits_{i, k=-\infty }^{+\infty }\kern-6pt a_{ik}\tilde x_ix_k\) bilden. Zwei solche quadratischen Formen \(\mathfrak {\tilde xAx}\) und \(\mathfrak {\tilde xBx}\) heißen jetzt äquivalent, wenn es eine intakte, \(\lambda +\lambda ^{\ast}\) in sich überführende Matrix \(\mathfrak P\) gibt, so daß \(\mathfrak {\widetilde PAP=B}\) wird. Dieser Weg stammt von \textit{O. Toeplitz} [Rend. Circ. Mat. Palermo 28, 88--96 (1909; JFM 40.0392.01)]. Beherrscht man diese Äquivalenztheorie für \(\lambda +\lambda ^{\ast}\), so beherrscht man damit auch die Äquivalenztheorie für \(\lambda \), \(\lambda \)* und \(\lambda +\lambda ^{\ast}\) im Sinne von 1). Verf. führt nun die Äquivalenztheorie im Sinne von 2) für den halbfiniten Raum \(\varphi +\varphi ^{\ast}=\varphi +\omega \) durch, \(\varphi +\omega \) besteht aus allen Stellen \((\dots, x_{-1}, x_0 | x_1, x_2,\dots )\), in deren linker Hälfte nur endlich viele Koordinaten von Null verschieden sind. Verf. zeigt, daß jede quadratische Form einer Form äquivalent ist, deren Matrix \(\mathfrak A\) so aussieht: \(\mathfrak A\)* ist die Nullmatrix, \({}_{\ast}\mathfrak A\) ist eine Matrix, die in der Hauptdiagonale 0, \(+1\) und \(- 1\) stehen hat, sonst nur Nullen, \(\mathfrak A_{\ast}\) ist eine Matrix, die in jeder Zeile oder Spalte höchstens eine \(+ 1\), sonst nur Nullen enthält. Diese Normalform läßt sich noch weiter aufspalten, und es wird die volle Äquivalenzklasseneinteilung mit Hilfe geeigneter Invarianten aufgestellt. (IV 8 A.)
This page was built for publication: Das Trägheitsgesetz der quadratischen Formen mit halbfiniter Koeffizientenmatrix.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2598700)
