Premi`ere partie : Existence des bases orthogonales
Soit Vun K-espace vectoriel de dimension finie non nulle et q∈ Q(V).
6. On dit que qest isotrope s’il existe x∈V− {0}tel que q(x) = 0. Dans le cas contraire,
on dit que qest anisotrope.
(a) D´emontrer qu’il existe x∈Vtel que q(x)6= 0.
(b) On note hla forme quadratique sur K2d´efinie par h(x1, x2) = x1x2(on ne demande
pas de v´erifier que hest une forme quadratique). Montrer que si Vest de dimension
deux et qest isotrope alors qest isom´etrique `a h.
(c) D´emontrer que si q∈ Q(V) est isotrope, alors q:V→Kest surjective.
7. Une base (e1,...,en) de Vest dite orthogonale pour qsi eq(ei, ej) = 0 pour tout i6=j.
(a) Montrer qu’il existe une base orthogonale pour q.
Indication : on pourra consid´erer {x}⊥={y∈V|eq(x, y) = 0}et utiliser les ques-
tions 4c et 6a.
(b) En d´eduire qu’il existe a1,...,an∈K− {0}tels que q∼
=ha1,...,ani.
Deuxi`eme partie : ´
Etude de O(q)quand K=R
On suppose dans cette partie que K=R.
8. Soit q∈ Q(Rn) (n≥1). D´emontrer qu’il existe un couple d’entiers (r, s) (r+s=n) tel
que qsoit isom´etrique `a Qr,s d´efinie sur la base canonique de Rnpar
Qr,s(x1,...,xn) =
r
X
i=1
x2
i−
n
X
j=r+1
x2
j.
Soit j:L(Rn)−→ Mn(R) l’isomorphisme lin´eaire qui `a tout endomorphisme associe sa
matrice dans la base canonique de Rn. On note Or,s := j(O(Qr,s)) le sous-ensemble de matrices
associ´e au groupe orthogonal O(Qr,s) de Qr,s.
9. Soit f:Rn→Rnune application lin´eaire et M=j(f) sa matrice dans la base canonique
de Rn.
D´emontrer que M∈Or,s si et seulement si t
MIr,sM=Ir,s o`u Ir,s est la matrice Ir,s =
Ir0r,s
0s,r −Is,Ipd´esigne la matrice identit´e de taille p×pet 0p,q la matrice nulle de taille
p×qpour tous entiers pet q.
Que peut-on dire du d´eterminant det(M) de Msi M∈Or,s ?
10. D´emontrer que Or,s est un sous-groupe ferm´e de GLn(R) (on munit Mn(R), l’ensemble
des matrices carr´ees de taille n`a coefficients dans R, de sa topologie de R-espace vectoriel
de dimension finie).