Correction TD8
Correction TD8
Correction TD8
Correction de l’exercice 2. Soit pP, Qq P RrXs2 . On a P pnqQpnqe ´n “ Opn´2 q, la série P pnqQpnqe ´n est
ř
convergente par comparaison à une série positive et convergente (série de Riemann de paramètre 2 ą 1). La
fonction φ existe donc bien. On montreřaprès qu’elle est bilinéaire (par linéarité de Σ), symétrique, positive.
Enfin si ϕpP, P q “ 0, on en déduit que P pnqP pnqe ´n est une série à terme positive et de somme nulle, donc
P 2 pnqe ´n “ 0. Comme exponentielle ne s’annule pas P pnq “ 0 pour tout n P N, donc P a une infinité de
racines. Donc P “ 0.
Correction de l’exercice 3.
Correction de l’exercice 6.
¨
˛ ¨ ˛
x1 y1
n
˚ .. ‹ ˚ .. ‹
1. Si X “ ˝ . ‚ et Y “ ˝ . ‚, on a X T Y “
ř
Correction de l’exercice 7. xk yk . On vérifie que
k“1
xn yn
l’application vérifie bien la définition du produit scalaire.
2. Soit X P KerpAq, alors AX “ 0, donc AT pAXq “ AT 0 “ 0, donc pAT AqX “ 0, ainsi X P KerpAT Aq.
Dès lors, KerpAq Ă KerpAT Aq. Soit X P KerpAT Aq, alors AT AX “ 0, donc X T AT AX “ 0, finalement,
pAXqT AX “ 0. D’où }AX} “ 0, comme on a une norme, cela implique que AX “ 0. Ainsi, X P KerpAq.
On a donc montré que KerpAT Aq Ă KerpAq. Par double inclusion, on a montré que KerpAq “ KerpAT Aq.
3. Soit Y P ImpAT Aq, ainsi il existe X P Mn,1 pRq tel que Y “ AT AX, en posant X̃ “ AX, on a Y “ AT X̃.
Donc Y P ImpAT q. On a donc montré que ImpAT Aq Ă ImpAq. Appliquons le théorème du rang à A et
AT A : "
n “ KerpAq ` rgpAq “ KerpAT Aq ` rgpAq
n “ KerpAT Aq ` rgpAT Aq
Par soustraction, on obtient rgpAq “ rgpAT Aq. De plus, rgpAq “ rgpAT q, on obtient, donc dimpImpAT qq “
dimpImpAT Aqq et on a une inclusion et égalité des dimensions, ImpAT q “ ImpAT Aq.
Correction de l’exercice 8.
pf p1q ´ f p0qchp1qq
@x P r 0 ; 1 s wpxq “ f p0qchpxq ` shpxq et vpxq “ f pxq ´ wpxq
shp1q
est un isomorphisme (linéarité, injectivité et surjectivité), et donc qu’il y a égalité des dimensions.
Comme In P Sn pRq, on a dpIn , Sn pRqq “ 0, de plus, comme In “ In ` 0n où In P Sn pRq et 0n P An pRq, on a que
?
la projection de In sur An pRq est 0n , donc dpIn , An pRqq “ }In ´ 0} “ n.
Correction de l’exercice 15.
Correction de l’exercice 16.
Correction de l’exercice 17.
Correction de l’exercice 18.
Correction de l’exercice 19.
Correction de l’exercice 20. On pose V “ vectpIn , Jq. Cherchons pM1 , M2 q une base orthonormée de V
grâce à l’algorithme de Gram-Schmidt :
1 1
‚ Posons M1 “ In “ ? In .
}In } n
‚ Posons U “ J ` λM1 , on cherche λ P R tel que U K M1 . En calculant le produit scalaire, il vient
xU, M1 y “ xJ, M1 y ` λ xM1 , M1 y “ xJ, M1 y ` λ
On choisit donc ˆ ˙
T 1 ´1 ?
λ “ ´ xJ, M1 y “ ´tr J ? In “ ? n “ ´ n
n n
? ?
Ainsi, U “ J ´ nM1 , en appliquant le théorème de Pythagore ( nM1 et U sont orthogonaux), on a
? T
}J}2 “ }U }2 ` } nM1„}2 “ }U }2 ` 2 2 2
n, donc }U } “ trpJ Jq ´ n “ trpJ q ´ n “ trpnJq ´ n “ n ´ n.
1 1
Ainsi, M2 “ ? 2 J ´ ? In
n ´n n
2. Donne le résultat mais n’est pas très rigoureux.
4. Pour calculer cette distance, appliquons le cours, R2 rXs est un espace vectoriel de dimension finie. Donc
d’après le cours dpexp, R2 rXsq “ } exp ´ppexpq}. Où p est la projection orthogonale de R2 rXs (pour le
produit scalaire qu’on a défini).
5. Cette projection est donc de la forme ppexpq “ αX 2 ` βX ` γ pour pα, β, γq P R3 . De plus exp ´ppexpq P
R2 rXsK . Donc
exp ´ppexpq K 1
exp ´ppexpq K X
exp ´ppexpq K X 2
En calculant les produits scalaires on a donc :
exp ´αX 2 ´ βX ´ γ, 1 “ 0
@ D
exp ´αX 2 ´ βX ´ γ, X
@ D
“ 0
2 2
@ D
exp ´αX ´ βX ´ γ, X “ 0
En utilisant la linéarité à gauche, on a donc le système suivant :
$ ż1
$
’
’
’ expptq ˆ 1 ˆ expp´tq dt ´ αI2 ´ βI1 ´ γI0 “ 0 ’ αI2 ` βI1 ` γI0 “ 1
& αI ` βI ` γI “ 1
’ ’
& ż01
’
’ ’
’
3 2 1
expptq ˆ t ˆ expp´tq dt ´ αI3 ´ βI2 ´ γI1 “ 0 ðñ 2
’
’ 0 ’
’ 1
’ 1
’ ż
% αI4 ` βI3 ` γI2 “
’
’
expptq ˆ t2 ˆ expp´tq dt ´ αI4 ´ βI3 ´ γI2 “ 3
’
’
% 0
0
Puis on résout ce système d’inconnues pα, β, γq (on connaît les valeurs de In grâce à la relation de
récurrence).
6. Puis on calcule dpexp, R2 rXsq2 :
dpexp, R2 rXsq2 “ } exp ´ppexpq}2
“ } exp }2 ´ }ppexpq}2
ż1
e t dt ´ αX 2 ` βX ` γ, αX 2 ` βX ` γ
@ D
“
0
“ e 1 ´ 1 ´ α4 I4 ` 2αβI3 ` pβ 2 ` 2αγqI2 ` 2βγI1 ` γ 2 I0
“ ‰