Université Bordeaux 1 MHT631 – Licence
Mathématiques Année 2010–2011
FEUILLE D’EXERCICES no3 Normes de Mn,n(K)
Exercice 1 – L’application ρ est-elle une norme de Mn,n(K)?
Exercice 2 – On considère ici l’application de Mn,n(K) dans R définie par
kAk=X
i,j
|ai,j|.
1) Montrer que k k est une norme deMn,n(K).
2) Montrer que si N est une norme de Mn,n(K) induite par une norme de Kn, on a N(Idn) = 1.
3) Qu’en déduire concernant k k?
4) La norme k k est-elle une norme matricielle ?
Exercice 3 – On considère ici l’application de Mn,n(K) dans R définie par kAks=
q
Tr(AtA).
1) Montrer que
kAks= sX
i,j
|ai,j|2.
2)Montrer quek ks est une norme deMn,n(K). Elle est appeléenorme de Schur.
3) Montrer que k ks n’est pas une norme induite par une norme de Kn. 4) Montrer que k ks est une norme matricielle.
Exercice 4 – Donner des exemples de normes de Mn,n(K) qui ne sont pas ma- tricielles.
Exercice 5 – On se propose ici de démontrer le théorème vu en cours et qui s’énonce : pour toute A∈Mn,n(K) on a
kAk2 = q
ρ(AtA).
Soit doncA∈Mn,n(K). Dans les questionsi) (16i63) on suppose queK =R. 1) Montrer qu’il existe Q orthogonale et D diagonale à éléments diagonaux po- sitifs ou nuls tels que AtA=QtDQ.
2) En utilisant le fait que kxk22 =xtx, montrer que sup
kxk2=1
kAxk22 = sup
kzk2=1
ztDz 6ρ(D).
3) Montrer qu’en fait
sup
kzk2=1
ztDz =ρ(D)
et en déduire le théorème (pour le cas K =R).
4) Transposer au cas K =C.
Exercice 6– Une norme N deMn,n(K)est dite compatible avec une norme k k de Kn si pour tout x∈Kn on a
kAxk6N(A)kxk.
Ainsi toute norme surMn,n(K)induite par une norme deKn est compatible avec cette dernière.
1) Montrer que la norme de Schur est compatible avec k k2.
2)Montrer qu’à toute norme matricielle, on peut associer une norme deKn avec laquelle elle est compatible.
3) Montrer que pour toute norme matricielle N deMn,n(K) et toute matrice A on a
ρ(A)6N(A).
4) Retrouver ainsi un résultat du cours et montrer que pour toute matrice A ∈ Mn,n(K) on a
ρ(A)6 q
ρ(AtA) et
ρ(A)6 s
X
i,j
|ai,j|2.
5)Donner un exemple de normek kdeMn,n(K)pour laquelle il existeAvérifiant ρ(A)>kAk.