Lineaire algebra/Bilineaire vorm

Content-type: text/html

\chapter{Bilineaire en kwadratische vormen}

Definitie:
Als $\textstyle (F,V,+)$ een vectorruimte is over het veld $\textstyle F$, dan definiëren we een bilineaire vorm als $\textstyle \langle ,\rangle :V\times V\to F:(v_{1},v_{2})\mapsto \langle v_{1},v_{2}\rangle$, lineair in beide componenten.

We noemen een bilineaire vorm symmetrisch a.s.a.

$\forall v_{1},v_{2}\in V:\langle v_{1},v_{2}\rangle =\langle v_{2},v_{1}\rangle$

Stel dat we een symmetrische bilineare vorm hebben, dan is

$q:V\to F:v\mapsto \langle v,v\rangle$

de bijhorende kwadratische vorm (quadratic form). Over deze kwadratische vorm hebben we wat meer informatie:

${\begin{aligned}\forall v_{1},v_{1}\in V:\\q(v_{1}+v_{2})&=\langle v_{1}+v_{2},v-1+v_{2}\rangle \\&=\langle v_{1},v_{1}\rangle +\langle v_{1},v_{2}\rangle +\langle v_{2},v_{1}\rangle +\langle v_{2},v_{2}\rangle \\&=q(v_{1})+2\langle v_{1},v_{2}\rangle q(v2)\end{aligned}}$

Dus weten we, als we in een veld zijn waar $\textstyle 2\neq 0$_2</math>, dit veld is veel gebruikt in computer wetenschappen}, dan is

${\frac {q(v_{1}+v_{2})-q(v_{1})-q(v_{2})}{2}}=\langle v_{1},v_{2}\rangle$

Deze formule noemen we de polaire formule.

Matrix voorstellingen

Gegeven een symetrische bilineaire vorm op een vectroruimte $\textstyle (F,V,+)$ kunnen we steeds een matrix van die vorm opstellen. Kies eerst een basis $\textstyle \beta =\{v_{1},\ldots ,v_{n}\}$ van $\textstyle V$. Dan kan je iedere $\textstyle v\in V$ schrijven t.o.v. de basisvectoren:

$v=\sum _{i=1}^{n}x_{i}v_{i}$

Dan is

${\begin{aligned}\langle v,w\rangle &=\left\langle \sum _{i=1}^{n}x_{i}v_{i},\sum _{i=1}^{n}y_{i}v_{i}\right\rangle \\&=\sum _{i=1}^{n}x_{i}\langle v_{i},v_{j}\rangle y_{i}\\&={\begin{pmatrix}x_{1}&\ldots &x_{n}\end{pmatrix}}{\begin{pmatrix}\langle v_{1},v_{1}\rangle &\ldots &\langle v_{1},v_{n}\rangle \\\vdots &\ddots &\vdots \\\langle v_{n},v_{1}\rangle &\ldots &\langle v_{n},v_{n}\rangle \\\end{pmatrix}}{\begin{pmatrix}y_{1}\\\vdots \\y_{n}\end{pmatrix}}\end{aligned}}$

Aangezien we met een symmetrische vorm werken wil dit zeggen dat de matrix ook symmetrische is. Ook in de omgekeerde richting, aan iedere symmetrische matrix kunnen we een symmetrische vorm linken en bijgevolg een kwadratische vorm.

Basisverandering

We zullen onderzoeken wat er gebeurd bij basisverandering. Stel dat je een nieuwe basis $\textstyle \beta '=\{v'_{1},\ldots ,v'_{2}\}$ Dan weten we dat er een inverteerbare matrix $\textstyle P\in F^{n\times n}$ bestaat zodat $\textstyle (v'_{1},\ldots ,v'_{n})=P(v_{1},\ldots ,v_{2})$. We kunnen dus een vector $\textstyle v\in V$ op twee manieren ontbinden:

${\begin{aligned}v&=\sum _{i=1}^{n}x_{i}v_{i}&=\sum _{i=1}^{n}x'_{i}v'_{i}\\&={\begin{pmatrix}v_{1}&\ldots &v_{n}\end{pmatrix}}{\begin{pmatrix}x_{1}\\\vdots \\x_{n}\end{pmatrix}}&={\begin{pmatrix}v'_{1}&\ldots &v'_{n}\end{pmatrix}}{\begin{pmatrix}x'_{1}\\\vdots \\x'_{n}\end{pmatrix}}\\&&={\begin{pmatrix}v_{1}&\ldots &v_{n}\end{pmatrix}}P{\begin{pmatrix}x'_{1}\\\vdots \\x'_{n}\end{pmatrix}}\end{aligned}}$

Aangezien de coördinaten uniek zijn weten we dat $\textstyle X=PX'$. Als gevolg zien we dat

${\begin{aligned}\langle v,w\rangle &=X^{T}AY\\&=(PX')^{T}A(PY')\\&=X'^{T}(P^{T}AP)Y'\end{aligned}}$

We kunnen dus besluiten dat bij verandering van een basis met matrix $\textstyle P$ de matrix van de symetrische bilineaire vorm omgevormd wordt tot $\textstyle P^{T}AP$. Opgelet, de matrix $\textstyle A$ en $\textstyle P^{T}AP$ zijn \textbf{niet gelijkvormig}.

Definitie:
We noemen twee matrices $\textstyle A,B\in F^{n\times n}$ \textbf{congruent} als $\textstyle A=P^{T}BP$ voor een zekere inverteerbare matrix $\textstyle P\in F^{n\times n}$.

Matrix van een bilineaire vorm diagonaliseren

Net zoals we met lineaire afbeeldingen gedaan hebben zouden we graag de matrix van een bilineaire vorm diagonaliseren. Deze keer willen we het niet diagonaliseren via gelijkvormigheid maar wel via congruentie. Zoals je in de volgende stelling ziet: we hebben geluk. Iedere matrix is diagonaliseerbaar.

Stelling:
Zij $\textstyle F,V,+)$ een vectorruimte met $\textstyle \dim _{\mathbb {R} }V=n$ met een symmetrische bilineaire vorm $\textstyle \langle ,\rangle$ en $\textstyle 2\neq 0\in F$. Dan bestaat een basis $\textstyle \{v_{1},\ldots ,v_{n}\}$ van $\textstyle V$ zodat $\textstyle \forall i,j:\langle v_{i},v_{j}\rangle =0$ als $\textstyle i\neq j$. Dus m.a.w. dat de matrix diagonaal is.

Bewijs:
We bewijzen dit door inductie op $\textstyle n$.

\textbf{Initialisatiestap}: controleer voor $\textstyle n=1$: Elke $\textstyle 1\times 1$ matrix is een diagonaal matrix dus klop de stelling zeker.

\textbf{Inductiestap}: stel dat de stelling klopt voor alle vectorruimtes t.e.m. dimensie $\textstyle n-1$. Bewijs de stelling nu voor een vectorruimte van dimensie $\textstyle n$. Er zijn twee gevallen mogelijk: ofwel geldt $\textstyle \forall v,w\in V:\langle v,w\rangle =0$, dan klop de stelling, ofwel bestaan er $\textstyle v,w\in V$ waarvoor $\textstyle \langle v,w\rangle \neq 0$. Uit de polaire formule volgt dan dat $\textstyle \exists v_{1}\in V:p(v_{1})\neq 0\Rightarrow \langle v_{1},v_{1}\rangle \neq 0$. Construeer nu de verzameling

$V_{1}=\{x\in V|\langle x,v_{1}\rangle =0\}$

We zien dat $\textstyle V_{1}$ een deelruimte van $\textstyle V$ is, dat $\textstyle v_{1}\notin V_{1}$ dus is $\textstyle \dim V_{1}<\dim V=n$ en tenslotte zien we ook dat $\textstyle \left.\langle ,\rangle \right|_{V_{1}\times V_{1}}:V_{1}\times V_{1}\to F$ een symmetrische bilineaire vorm is.

Door de inductiehypothese bestaat er een basis $\textstyle \{v_{2},\ldots ,v_{k}\}$ voor $\textstyle V_{1}$ met $\textstyle \langle v_{i},v_{j}\rangle =0$ als $\textstyle i\neq j$. Vorm nu de verzameling $\textstyle \{v_{1},v_{2},\ldots ,v_{k}\}$, dan geldt nog steeds dat $\textstyle \langle v_{i},v_{j}\rangle =0$ als $\textstyle i\neq j$. Als we nu kunnen bewijzen dat die verzameling een basis is, dan is de stelling volledig bewezen. Het is voldoende om te bewijzen dat die verzameling voortbrengend is omdat we al weten dat $\textstyle \#\{v_{1},\ldots ,v_{k}\}\leq n$.

Neem een willekeurige $\textstyle x\in V$. construeer daar uit $\textstyle x_{1}=x-{\frac {\langle x,v_{1}\rangle }{\langle v_{1},v_{1}\rangle }}v_{1}\in V$.

${\begin{aligned}\langle x_{1},v_{1}\rangle &=\left\langle x-{\frac {\langle x,v_{1}\rangle }{\langle v_{1},v_{1}\rangle }}v_{1},v_{1}\right\rangle \\&=\langle x,v_{1}\rangle -{\frac {\langle x,v_{1}\rangle }{\langle v_{1},v_{1}\rangle }}\langle v_{1},v_{1}\rangle \\&=\langle x,v_{1}\rangle -\langle x,v_{1}\rangle \\&=0\end{aligned}}$

Dus is $\textstyle x_{1}\in V_{1}$. Aangezien $\textstyle x=x_{1}+{\frac {\langle x,v_{1}\rangle }{\langle v_{1},v_{1}\rangle }}v_{1}=x_{1}+kv_{1}$ kan $\textstyle x$ geconstrueerd worden uit een lineaire combinatie van de vectoren $\textstyle \{v_{1},v_{2},\ldots ,v_{k}\}$ en is die verzameling dus voortbrengend. We besluiten dus dat $\textstyle k=n$ en dat $\textstyle \{v_{1},v_{2},\ldots ,v_{n}\}$ een basis is.

Dit heeft als gevolg dat we in een veld waar $\textstyle 2\neq 0$ elke kwadratische vorm kunnen schrijven als een lineaire combinatie van volkomen kwadraten na het aanpassen van het assenstelsel.

Voorbeeld

Neem het veld $\textstyle F=\mathbb {R}$. $\textstyle q$ is bepaald door de symmetrische matrix

${\begin{pmatrix}3&-1&2\\-1&0&1\\2&1&2\end{pmatrix}}$

Als we dit in formules zetten krijgen we $\textstyle q(x,y,z)=3x^{2}-2xy+4xz+2yz+2z^{2}$. Volgens bovenstaand resultaat kunnen we dit dus tot een lineaire combinatie van volkomen kwadraten omvormen.

${\begin{aligned}q(x,y,z)&=3x^{2}-2xy+4xz+2yz+2z^{2}\\&=3\left(x-{\frac {1}{3}}y+{\frac {2}{3}}z\right)^{2}-{\frac {1}{3}}y^{2}-{\frac {4}{3}}z^{2}+2yz+2z^{2}\\&=3\left(x-{\frac {1}{3}}y+{\frac {2}{3}}z\right)^{2}-{\frac {1}{3}}(y-3z)^{2}+3z^{2}+{\frac {2}{3}}z^{2}\\&=3\left(x-{\frac {1}{3}}y+{\frac {2}{3}}z\right)^{2}-{\frac {1}{3}}(y-3z)^{2}+{\frac {11}{3}}z^{2}\\&=3x'^{2}-{\frac {1}{3}}y'^{2}+11z'^{2}\end{aligned}}$

Dan hebben we als matrix van basis verandering de matrix

${\begin{pmatrix}x'\\y'\\z'\end{pmatrix}}={\begin{pmatrix}1&-{\frac {1}{3}}&{\frac {2}{3}}\\0&1&-3\\0&0&{\frac {11}{3}}\end{pmatrix}}{\begin{pmatrix}x\\y\\z\end{pmatrix}}$

Deze matrix is inverteerbaar en dus een matrix van basis verandering.

Stelling van Sylvester

Stel dat we met het veld $\textstyle \mathbb {C}$ werken, in de vorige sectie hebben we bewezen dat iedere kwadratische vorm als een lineaire combinatie van volkomen kwadraten kan geschreven worden, $\textstyle q(v)=a_{1}x_{1}^{2}+\ldots +a_{r}x_{r}^{2}$. Als we nu voor alle $\textstyle i$ de wortel van $\textstyle a_{i}$ nemen, dan krijgen we dat $\textstyle q(v)=x_{1}^{'2}+\ldots +x_{r}^{'2}$ met $\textstyle x'_{i}={\sqrt {a_{i}}}x_{i}$.

We zouden nu natuurlijk hetzelfde willen doen voor het veld dat het meest gebruikt is: het reële veld. In $\textstyle \mathbb {R}$ hebben we ook dat