C Reduc Bilineaire
C Reduc Bilineaire
C Reduc Bilineaire
THÉOREME 20.3 (Version « formes bilinéaires ») Soient On « fabrique » un tel endomorphisme u en déterminant
ϕ une forme bilinéaire symétrique définie positive, et sa matrice représentative U dans la base canonique : la
ψ une forme bilinéaire symétrique, toutes deux sur un condition voulue est en effet
espace vectoriel E de dimension finie n. Alors, il existe ∀X, Y ∈ E ψb (X, Y) = X UY a = t X · AUY.
une base (e1 , e2 , . . . , en ) telle que
Or ψb est défini par
ϕ(ei , ej ) = δij et ψ(ei , ej ) = λi δij .
Les matrices représentatives de ϕ et de ψ dans la base ∀X, Y ∈ E ψb (X, Y) = t XBY
E = (e1 , e2 , . . . , en ) sont d’où l’on déduit que AU = B, ou encore U = A−1 B.
1 λ1
Φ=
..
et Ψ=
.. .
. .
1 λn 1. C’est juste : ψb (X, Y) = ψb (Y, X) pour tous vecteurs X et Y.
Remarque 1 Pour ceux qui veulent savoir comment j’ai choisi mes
deux matrices A et B, voici : je choisis deux matrices orthogonales
Ω1 et Ω2 et je crée A = Ω1 D1 t Ω1 et B = Ω2 D2 t Ω2 où D1 et D2 sont
diagonales.