Versie van 20 apr 2015 15:15 bewerken Nijdam (overleg \| bijdragen) 2.415 bewerkingen Geen bewerkingssamenvatting ← Vorige wijziging		Versie van 22 apr 2015 00:09 bewerken ongedaan maken Nijdam (overleg \| bijdragen) 2.415 bewerkingen Geen bewerkingssamenvatting Volgende wijziging →
Regel 30: Zij <math>V</math> een lineaire ruimte over een lichaam <math>K</math> waarvan de karakteririek ongelijk is aan 2 en ''Q'' een kwadratische vorm op ''V''. De met ''Q'' geassocieerde bilineaire vorm ''B'' is eenduidig bepaald. == Stelling 22.2 == Een kwadratische vorm <math>Q</math> is een ~~[[Homogeniteit (wiskunde)\|~~homogene afbeelding]] van de tweede graad, want: ▼ :<math>~~\forall v\in V,\lambda\in K:~~Q(\lambda v)=\lambda^2 Q(v);.</math>▼ Laat <math>b=(b_1,\ldots, b_n)</math> een geordende basis van de vectorruimte <math>V</math> zijn. :<math>B(v,v')=B(\sum v_ib_i,\sum v'_jjb_j)=\sum v_i v'_jB(b_i,b_j)=\sum v_i v'_j\beta_{ij}</math> :<math>Q(v)=B(v,v)=\sum v_i v_j\beta_{ij}</math> Omdat ''B'' symmetrisch is, is ook de matrix <math>\beta</math> symmetrisch. ▲<math>Q</math> is een [[Homogeniteit (wiskunde)\|homogene afbeelding]] van de tweede graad: Omgekeerde hoort bij iedere symmetrische matrix een symmetrische bilineaire vorm en bijgevolg een kwadratische vorm. ▲:<math>\forall v\in V,\lambda\in K:Q(\lambda v)=\lambda^2 Q(v);</math> Als van de vectorruimte een [[Basis (lineaire algebra)\|basis]] <math>W</math> is gegeven, dan wordt een kwadratische vorm gegeven door een [[symmetrische functie]] <math>S:W\times W \to K</math> die de symmetrische bilineaire vorm bepaalt. ~~Dus weten we, als het lichaam niet van karakteristiek 2 is, dat~~ ~~:<math> \frac{q(v_1+v_2)-q(v_1)-q(v_2)}{2}=( v_1,v_2 )</math>~~ ~~Deze formule heet de polaire formule.~~ Aangezien we met een symmetrische vorm werken, wil dit zeggen dat de matrix ook symmetrisch is. Ook in de omgekeerde richting, aan iedere symmetrische matrix kunnen we een symmetrische vorm linken en bijgevolg een kwadratische vorm. ===Basisverandering===

Lineaire algebra/Kwadratische vorm: verschil tussen versies