13.07.2015 Views

Cours Algèbre Deuxième année de licence de Mathématiques.

Cours Algèbre Deuxième année de licence de Mathématiques.

Cours Algèbre Deuxième année de licence de Mathématiques.

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Définition 6.3.10 : E <strong>de</strong> dimension finie, q fq sur ELa base (e 1 , . . . , e n ) est orthogonale (pour q) si et seulement si∀i ≠ j B(e i , e j ) = 0La base (e 1 , . . . , e n ) est orthonormale si et seulement si B(e i , e j ) = δ ijThéorème 6.3.11 Pour toute forme quadratique q sur un espace vectoriel <strong>de</strong> dimensionfinie, il existe une base orthogonale.Il n’existe pas forcément <strong>de</strong> base orthonormale.Proposition 6.3.12 : Soit E un Kev <strong>de</strong> dimension finie.Pour toute fq q sur E, ∃ base <strong>de</strong> E telle que la matrice <strong>de</strong> q dans cette base soit diagonalei.e telle que l’on ait dans cette baseq(x) =n∑λ i x 2 ii=16.4 Classification <strong>de</strong>s formes quadratiquesDéfinition 6.4.1 2 formes quadratiques q 1 et q 2 sur E sont équivalentes si et seulementil existe ϕ automorphisme <strong>de</strong> E telle que ∀x ∈ E, q 1 (x) = q 2 (ϕ(x))Théorème 6.4.2 Toute forme quadratique <strong>de</strong> rang r sur C n est équivalente à la formex 2 1 + . . . + x 2 nPour toute fq non dégénérée sur C n , il existe une base orthonormale (r = n).Théorème 6.4.3 (Théorème <strong>de</strong> la loi d’inertie <strong>de</strong> sylvester)Soit q une fq sur R n <strong>de</strong> rang r.q est équivalente à une forme du type x 2 1 + . . . + x 2 p − x 2 p+1 . . . − x 2 r où p ne dépend que <strong>de</strong>q.(p, r − p) := signature <strong>de</strong> q.Définition 6.4.4Une fq sur R n est définie positive ssi sa signature est (n, 0)” ” négative ssi sa signature est (0, n)Une fq <strong>de</strong> rang r est dite positive ssi sa signature est (r, 0)” ” négative ssi sa signature est (0, r)au lieu <strong>de</strong> signature, on dit <strong>de</strong> type (p, q)23

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!