# Bilinearform/Definitheitskriterien/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.

## 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

### 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$

## Definition

Es sei $K$ ein Körper, $V$ ein $K$-Vektorraum und $\left\langle -,-\right\rangle$ eine Bilinearform auf $V$. Die Bilinearform heißt symmetrisch, wenn
    $\left\langle v,w\right\rangle =\left\langle w,v\right\rangle \,$
für alle $v,w\in V$ gilt.

## Definition

Es sei $V$ ein reeller Vektorraum mit einer symmetrischen Bilinearform $\left\langle -,-\right\rangle$. Diese Bilinearform heißt
* positiv definit, wenn $\left\langle v,v\right\rangle >0$ für alle $v\in V$, $v\neq 0$ ist.
* negativ definit, wenn $\left\langle v,v\right\rangle <0$ für alle $v\in V$, $v\neq 0$ ist.
* positiv semidefinit, wenn $\left\langle v,v\right\rangle \geq 0$ für alle $v\in V$ ist.
* negativ semidefinit, wenn $\left\langle v,v\right\rangle \leq 0$ für alle $v\in V$ ist.
* indefinit, wenn $\left\langle -,-\right\rangle$ weder positiv semidefinit noch negativ semidefinit ist.
Positiv definite symmetrische Bilinearformen nennt man auch Skalarprodukte. Eine Bilinearform auf $V$ kann man auf einen Untervektorraum $U\subseteq V$ einschränken, wodurch sich eine Bilinearform auf $U$ ergibt. Wenn die ursprüngliche Form positiv definit ist, so überträgt sich dies auf die Einschränkung. Allerdings kann eine indefinite Form eingeschränkt auf gewisse Unterräume positiv definit werden und auf andere negativ definit. Dies führt zu folgender Definition.

## Definition

Es sei $V$ ein endlichdimensionaler reeller Vektorraum mit einer symmetrischen Bilinearform $\left\langle -,-\right\rangle$. Man sagt, dass eine solche Bilinearform den Typ
    $(p,q)$
besitzt, wobei
    $p:={\max {\left(\dim _{\mathbb {R} }{\left(U\right)},U\subseteq V,\,\left\langle -,-\right\rangle {|}_{U}{\text{ positiv definit}}\right)}}\,$
und
    $q:={\max {\left(\dim _{\mathbb {R} }{\left(U\right)},U\subseteq V,\,\left\langle -,-\right\rangle {|}_{U}{\text{ negativ definit}}\right)}}\,$
ist.
Bei einem Skalarprodukt auf einem $n$-dimensionalen reellen Vektorraum ist der Typ $(n,0)$. Wie für Skalarprodukte nennt man zwei Vektoren $v,w\in V$ orthogonal bezüglich einer Bilinearform, wenn $\left\langle v,w\right\rangle =0$ ist, und ähnlich wie im Fall eines Skalarproduktes kann man zeigen, dass es Orthogonalbasen gibt. Die folgende Aussage nennt man den Trägheitssatz von Sylvester.

## Satz

Es sei $V$ ein endlichdimensionaler reeller Vektorraum mit einer symmetrischen Bilinearform $\left\langle -,-\right\rangle$ vom Typ $(p,q)$.
Dann ist die Gramsche Matrix von $\left\langle -,-\right\rangle$ bezüglich einer jeden Orthogonalbasis eine Diagonalmatrix mit $p$ positiven und $q$ negativen Einträgen.

### Beweis

Bezüglich einer Orthogonalbasis $u_{1},\ldots ,u_{n}$ von $V$ (die es nach Fakt gibt) hat die Gramsche Matrix natürlich Diagonalgestalt. Es sei $p'$ die Anzahl der positiven Diagonaleinträge und $q'$ die Anzahl der negativen Diagonaleinträge. Die Basis sei so geordnet, dass die ersten $p'$ Diagonaleinträge positiv, die folgenden $q'$ Diagonaleinträge negativ und die übrigen $0$ seien. Auf dem $p'$-dimensionalen Unterraum $U=\langle u_{1},\ldots ,u_{p'}\rangle$ ist die eingeschränkte Bilinearform positiv definit, sodass $p'\leq p$ gilt. Sei $W=\langle u_{p'+1},\ldots ,u_{n}\rangle$, auf diesem Unterraum ist die Bilinearform negativ semidefinit. Dabei ist $V=U\oplus W$, und diese beiden Räume sind orthogonal zueinander.
Angenommen, es gebe einen Unterraum $U'$, auf dem die Bilinearform positiv definit ist, und dessen Dimension $p$ größer als $p'$ ist. Die Dimension von $W$ ist $n-p'$ und daher ist $W\cap U'\neq 0$ nach Fakt.
Für einen Vektor $w\in W\cap U'$, $w\neq 0$, ergibt sich aber direkt der Widerspruch $\left\langle w,w\right\rangle >0$ und $\left\langle w,w\right\rangle \leq 0$.
$\Box$