Exercice 7.
On consid`ere l’espace vectoriel R[X] (ensemble des polynˆomes `a coefficients r´eels sur R) muni du produit
scalaire
< f, g > =Z1
−1
f(x)g(x)dx.
1) Construire une base orthonormale (Pn)n∈Nde R[X] telle que
∀k∈N,Vect(P0, P1,...,Pk) = Vect(1, X, X2,...,Xk),
< Pk, Xk> > 0∀k∈N.
2) Montrer que Pna la mˆeme parit´e que n.
3) Montrer que toutes les racines (complexes a priori) de Pnsont r´eelles, simples, et situ´ees dans l’intervalle
]−1,1[.
4) Calculer explicitement P0,P1,P2,P3.
Exercice 8. In´egalit´e d’Hadamard
Soit A= (Aij )n
i,j=1 une matrice de Mn(R). Montrer que |det A| ≤
n
Y
j=1
v
u
u
t
n
X
i=1
A2
ij .
Exercice 9: Dualit´e et norme
Soit lla forme lin´eaire d´efinie sur R2par l(x1, x2) = 2x1−4x2.
1) Trouver un vecteur yde R2tel qu’on ait l(x) = hy, xi, pour tout x(h,id´esignant le produit scalaire).
2) Montrer que toute forme lin´eaire s’´ecrit l(X) = ax1+bx2. En d´eduire un isomorphisme entre R2et son
dual (R2)∗.
3) On peut g´eneraliser ce r´esultat : Montrer que toutes formes lin´eaire sur Rns’´ecrit l(x) = Pn
i=aixi, si
X= (X1,...,xn) dans la base canonique. Puis montrer qu’on peut construire pour tout nune bijection
entre Rnet son dual (Rn)∗. (En fait, ce r´esultat reste mˆeme vrai dans un espace euclidien de dimension
infinie)
On munit maintenant Rnde la norme kxk1=Pn
i=1 |xi|. On d´efinit alors une norme lin´eaire associ´ee sur le
dual de Rn. Sa formule est donn´ee par, pour toute forme lin´eaire lde (Rn)∗:
k|lk| = sup
kxk1=1
|l(x)|
4) Montrer que cela d´efinit bien une norme.
5) Montrez que si on consid`ere, grˆace `a l’isomorphisme ci-dessus, que lest aussi un vecteur de Rn, alors on
ak|lk| =klk∞= sup1≤i≤n|xi|.
6)
a) Que vaut l’autre norme associ´ee k|lk|b= supkxk∞=1 |l(x)|?
b) Et aussi k|lk|c= supkxk2=1 |l(x)|? (On utilisera l’in´egalit´e de Cauchy-Schwarz)
Plus g´en´eralement, on pourrait montrer que pour toute norme kxkp= (Pn
i=1 |xi|p)1/p, avec p≥1, la norme
associ´ee par dualit´e est la norme kxkq= (Pn
i=1 |xi|q)1/q, ou qest donn´e par la formule
1
p+1
q= 1.
7) V´erifier que cette relation est coh´erente avec les r´eponses pr´ecedentes.
2