Bilinearform/Gramsche Matrix/Einführung/Textabschnitt

Definition

Es sei ${}K$ ein Körper, ${}V$ ein endlichdimensionaler ${}K$-Vektorraum und ${}\left\langle -,-\right\rangle$ eine Bilinearform auf ${}V$. Es sei ${}v_{1},\ldots ,v_{n}$ eine Basis von ${}V$. Dann heißt die ${}n\times n$-Matrix

$\left\langle v_{i},v_{j}\right\rangle _{1\leq i,j\leq n}$

die Gramsche Matrix von ${}\left\langle -,-\right\rangle$ bezüglich dieser Basis.

In Beispiel bildet ${}(a_{ij})_{ij}$ die Gramsche Matrix bezüglich der Standardbasis des ${}K^{n}$. Wenn die Gramsche Matrix zu einer Bilinearform ${}\left\langle -,-\right\rangle$ bezüglich einer Basis ${}v_{1},\ldots ,v_{n}$ gegeben ist, so kann man daraus ${}\left\langle v,w\right\rangle$ für beliebige Vektoren berechnen. Man schreibt ${}v=\sum _{i=1}^{n}b_{i}v_{i}$ und ${}w=\sum _{i=1}^{n}c_{i}v_{i}$ und erhält mit dem allgemeinen Distributivgesetz

${}{\begin{aligned}\left\langle v,w\right\rangle &=\left\langle \sum _{i=1}^{n}b_{i}v_{i},\sum _{j=1}^{n}c_{j}v_{j}\right\rangle \\&=\sum _{1\leq i,j\leq n}b_{i}c_{j}\left\langle v_{i},w_{j}\right\rangle \\&=\sum _{i=1}^{n}b_{i}{\left(\sum _{j=1}^{n}c_{j}\left\langle v_{i},w_{j}\right\rangle \right)}\\&=(b_{1},\ldots ,b_{n})G{\begin{pmatrix}c_{1}\\\vdots \\c_{n}\end{pmatrix}}.\end{aligned}}$

Man erhält also den Wert der Bilinearform an zwei Vektoren, indem man die Gramsche Matrix auf das Koordinatentupel des zweiten Vektors anwendet und das Ergebnis (ein Spaltenvektor) mit dem Koordinatentupel des ersten Vektors als Zeilentupel von links multipliziert. Kurz und ungenau ist also

${}\left\langle v,w\right\rangle ={v^{\text{tr}}}Gw\,.$

Lemma

Es sei ${}K$ ein Körper, ${}V$ ein endlichdimensionaler ${}K$-Vektorraum und ${}\left\langle -,-\right\rangle$ eine Bilinearform auf ${}V$. Es seien ${}{\mathfrak {v}}=v_{1},\ldots ,v_{n}$ und ${}{\mathfrak {w}}=w_{1},\ldots ,w_{n}$ zwei Basen von ${}V$ und es seien ${}G$ bzw. ${}H$ die Gramschen Matrizen von ${}\left\langle -,-\right\rangle$ bezüglich dieser Basen. Zwischen den Basiselementen gelte die Beziehungen

${}w_{j}=\sum _{i=1}^{n}a_{ij}v_{i}\,,$

die wir durch die Übergangsmatrix ${}A={\left(a_{ij}\right)}_{i,j}$ ausdrücken.

Dann besteht zwischen den Gramschen Matrizen die Beziehung

${}H={A^{\text{tr}}}GA\,.$

Beweis

Es ist

${}{\begin{aligned}\left\langle w_{r},w_{s}\right\rangle &=\left\langle \sum _{i=1}^{n}a_{ir}v_{i},\sum _{k=1}^{n}a_{ks}v_{k}\right\rangle \\&=\sum _{1\leq i,k\leq n}a_{ir}a_{ks}\left\langle v_{i},v_{k}\right\rangle \\&=\sum _{1\leq i\leq n}a_{ir}{\left(\sum _{1\leq k\leq n}a_{ks}\left\langle v_{i},v_{k}\right\rangle \right)}\\&=\sum _{1\leq i\leq n}a_{ir}{\left(G\circ A\right)}_{is}\\&={\left({A^{\text{tr}}}\circ {\left(G\circ A\right)}\right)}_{rs}.\end{aligned}}$

$\Box$