2.415
bewerkingen
Geen bewerkingssamenvatting |
|||
==Diagonaalvorm==
Als we een basis kunnen vinden ten opzichte waarvan de matrix van een bilineaire vorm diagonaal is, kan de bilineaire eenvoudig weergegeven worden.
==Stelling 21.3==
Zij <math>V</math> een ''n''-dimensionale vectorruimte over het lichaam <math>K</math> met karakteristiek ongelijk aan 2, en <math>B</math> een symmetrische bilineaire vorm op <math>V</math>. Dan is er een basis <math>\{b_1,\ldots,b_n\}</math> van <math>V</math> zodat <math>\textstyle \forall i,j, i\neq j: B( b_i,b_j)=\beta_{ij}=0</math>.
Ten opzichte van deze basis is de matrix <math>\beta</math> van <math>B</math> dus diagonaal en wordt <math>B</math> bepaald door:
:<math>B(x,y) = \beta_{11}\xi_1\eta_1+\ldots +\beta_{nn}\xi_n\eta_n </math>,
waarin <math>\xi</math> en <math>\eta</math> weer de coördinaten zijn van respectievelijk <math>x</math> en <math>y</math> ten opzichte van deze basis.
{{Wis bewijs| We bewijzen dit door inductie op <math>\textstyle n</math>.
|
bewerkingen