On the theory of bilinear and quadratic forms. (Q1564041)

From MaRDI portal





scientific article
Language Label Description Also known as
English
On the theory of bilinear and quadratic forms.
scientific article

    Statements

    On the theory of bilinear and quadratic forms. (English)
    0 references
    0 references
    1868
    0 references
    Es seien zwei bilineare Formen derselben \(2n\) Veränderlichen gegeben \[ P=\sum_{\alpha\beta}A_{\alpha\beta}x_{\alpha}y_{\beta},\;\; Q=\sum_{\alpha\beta}B_{\alpha\beta}x_{\alpha}y_{\beta}. \] Bidet man die Determinante \([P,Q]\) der Form \(pP+qQ,\) so lässt dieselbe sich als Product von Factoren in der Form \[ [P,Q]=C.(a_{1}p+b_{1}q)^{l_{1}}.(a_{2}p +b_{2}q)^{l_{2}}\ldots (a_{\varrho}p +b_{\varrho}q)^{l_{\varrho}} \] darstellen. \((ap+bq)\) sei einer dieser Factoren, \(l\) der Exponent der höchsten in \([P,Q]\) aufgehenden Potenz desselben. Ferner bedeute \(l^{(k)}\) den Exponenten der höchsten Potenz von \(ap+bq,\) durch welche \textit{alle} aus den Elementen von \([P,Q]\) gebildeten Unterdeterminanten \((n-k)^{ter}\) Ordnung theilbar sind. Setzt man dann \[ e=l-l',\;\;e'=l-l'',\;\;\ldots\;\;e^{(r-1)}=l^{(r-1)}, \] so sind die \(e,\;e',\;\ldots\;e^{(r-1)}\) \textit{positive} Zahlen, und man hat \[ (ap +bq)^{l} =(ap +bq)^{e}(ap +bq)^{e'}\ldots (ap +bq)^{e^{\scriptstyle (r-1)}}. \] Jeder Factor \((ap +bq)^{e^{\scriptstyle (k)}}\) heisst \textit{Elementartheiler} von \([P,Q].\) Die Bedeutung der Elementartheiler erhellt aus Folgendem. Gehen die Formen \(P\) und \(Q\) durch Transformationen \[ x_{1} =\sum_{\gamma}h_{1\gamma}u_{\gamma},\;\;\ldots\;\;x_{n} =\sum_{\gamma}h_{n\gamma}u_{\gamma}, \] \[ y_{1} =\sum_{\gamma}k_{1\gamma}v_{\gamma},\;\;y_{n} =\sum_{\gamma}k_{n\gamma}v_{\gamma}, \] in \(P'\) und \(Q'\) über, so haben \([P,Q]\) und \([P',Q']\) dieselben Elementartheiler. Der Beweis dieses Satzes bietet geringe Schwierigkeiten; der Beweis der Umkehrung desselben beruht darauf, dass \(P\) und \(Q\) in Formen der Veränderlichen \(X_{\lambda\mu},\;Y_{\lambda\nu}\) transformirt werden, welche durch die Elementartheiler von \([P,Q]\) bestimmt sind. Man erhält, wenn man \[ \sum_{(\mu +\nu =e-1)}X_{\lambda\mu}Y_{\lambda\nu}\quad\mathrm{ mit}\quad (X_{\lambda}Y_{\lambda})e \] bezeichnet \[ P =\sum_{\lambda}[a_{\lambda}(X_{\lambda}Y_{\lambda})e_{\lambda} -h(X_{\lambda}Y_{\lambda})e_{\lambda} -1], \] \[ Q =\sum_{\lambda}[b_{\lambda}(X_{\lambda}Y_{\lambda})e_{\lambda} -g(X_{\lambda}Y_{\lambda})e_{\lambda} -1. \] Wichtig ist dabei, dass \[ x_{\alpha} =\sum (\alpha\lambda\mu)X_{\lambda\mu},\quad y_{\beta} =\sum (\beta\lambda\nu)Y_{\lambda\nu} \] ist, und dass umgekehrt die \(X_{\lambda\mu}\) als lineare Functionen der \(x_{\alpha},\) die \(Y_{\lambda\nu}\) als solche der \(y_{\beta}\) auftreten. Besitzt also \([P',Q']\) der Formen \[ P' =\sum_{\alpha\beta}A'_{\alpha\beta}u_{\alpha}v_{\beta},\quad Q' =\sum_{\alpha\beta}B'_{\alpha\beta}u_{\alpha}v_{\beta} \] dieselben Elementartheiler wie \([P,Q],\) und man wendelt \(P'\) und \(Q'\) (in ähnlicher Weise wie oben \(P\) und \(Q\)) in eine Form von \(U_{\lambda\mu}\) und \(V_{\lambda\nu}\) um, so werden diese Grössen mit den entsprechenden \(X_{\lambda\mu}\) und \(Y_{\lambda\mu}\) übereinstimmen; die \(x_{1}\ldots x_{n}\) verwandeln sich dadurch in homogene linearen Functione von \(u_{1}\ldots u_{n},\;y_{1}\ldots y_{n}\) in eben solche Functionen von \(v_{1}\ldots v_{n}\) und zugleich \(P\) in \(P'\) und \(Q\) in \(Q'.\) Die eben angeführten Zahlen \(e_{1}\ldots e_{\varrho}\) und die Constanten \(a_{1}b_{1}\ldots a_{\varrho}b_{\varrho},\;g,\;h\) unterliegen nur den Bedingungen \[ e_{1} +\cdots +e_{\varrho} =n,\;\;ga_{1} +hb_{1} =1,\ldots ga_{\varrho} +hb_{\varrho} =1; \] sind diese erfüllt und wählt man für die \(X\) beliebige linearen Functionen von \(x_{1}\ldots x_{n},\) für die \(Y\) beliebige linearen Functionen von \(y_{1}\ldots y_{n},\) so erhält man aus den obigen Formeln ein Formenpaar \(P,Q,\) für welches die Determinante \([P,Q]\) die Elementartheiler \[ (a_{1}p +b_{1}q)^{e_{1}}\ldots (a_{\varrho}p +b_{\varrho}q)^{e_{\varrho}} \] hat. Als Anwendung dieses Satzes ergiebt sich: Damit es möglich sei, die Formen \(P,Q\) in der Gestalt \[ P =a_{1}X_{1}Y_{1} +a_{2}X_{2}Y_{2} +\cdots a_{n}X_{n}Y_{n}, \] \[ Q =b_{1}X_{1}Y_{1} +b_{2}X_{2}Y_{2} +\cdots b_{n}X_{n}Y_{n} \] auszudrücken, wobei die \(X\) lineare Functionen der \(x,\) die \(Y\) lineare Functionen der \(y\) sind, ist es nothwendig und hinreichend, dass jede lineare Theiler von \([P,Q],\) wenn er \(l\) mal als Factor darin enthalten ist und \(l>1\) ist, auch ein gemeinsamer Theiler aller Unter-Determinanten \((n-l+1)^{ter}\) Ordnung von \([P,Q]\) sei. Aus den so entwickelten Sätzen über bilinearen Formen ergiebt sich eine Reihe analoger Theoreme für quadratischen Formen. Aus diesen sei nur erwähnt, dass \({\mathfrak P}\) und \({\mathfrak D}\) sich gleichzeitig unter der Form \[ {\mathfrak P} =a_{1}X_{1}^{2} +\cdots +a_{n}X_{n}^{2},\quad {\mathfrak D} =b_{1}X_{1}^{2} +\cdots +b_{n}X_{n}^{2} \] darstellen lasen, wenn die Coefficienten von \({\mathfrak P,D}\) reell sind und unter den Formen \(p{\mathfrak P} +q{\mathfrak D}\) irgend eine sich findet, welche bei reellen Werthen von \(x_{1}\ldots x_{n}\) nur gleich Null werden kann, wenn diese Grössen selbst sämmtlich verschwinden. Unter diesen Bedingungen besitzt die Determinante \([{\mathfrak P,D}]\) von \(p{\mathfrak P} +q{\mathfrak D}\) nothwendig \(n\) Elementartheiler und die Quotienten \(\frac{b_{\lambda}}{a_{\lambda}}\) sind alle reell.
    0 references
    pairs of bilinear forms
    0 references
    pairs of quadratic forms
    0 references
    elementary divisors
    0 references
    simultaneous diagonalization
    0 references

    Identifiers