ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 16 — Matrices · Calcul matriciel

Exercice 6

Calcul

1. Pour A=(aij)∈ℳn,p(𝕂)A = (a_{ij}) \in \mathcal{M}_{n,p}(\mathbb{K}), exprimer tr⁡(ATA)\operatorname{tr}({A}^{T}A) à l'aide des coefficients de AA.

2. En déduire que, pour A∈ℳn,p(𝕂)A \in \mathcal{M}_{n,p}(\mathbb{K}) à coefficients réels, ATA=0{A}^{T}A = 0 entraîne A=0A = 0.

3. Le résultat subsiste-t-il pour des matrices à coefficients complexes ? On pourra chercher une matrice symétrique non nulle de ℳ2(ℂ)\mathcal{M}_{2}(\mathbb{C}) de carré nul.

Corrigé

1. Le coefficient diagonal d'indice (j,j)(j, j) de ATA{A}^{T}A vaut ∑i=1naijaij\sum_{i = 1}^{n} a_{ij}a_{ij}. tr⁡(ATA)=∑i=1n∑j=1paij2\boxed{\operatorname{tr}({A}^{T}A) = \sum_{i = 1}^{n}\sum_{j = 1}^{p} a_{ij}^{2}}

2. Si ATA=0{A}^{T}A = 0, sa trace est nulle ; c'est une somme de carrés de réels, donc chacun est nul et A=0A = 0.

3. Le résultat tombe en défaut sur ℂ\mathbb{C}. La matrice symétrique A=(1ii−1)veˊrifieATA=A2=(1−1i−ii−i−1+1)=0,A = \begin{pmatrix} 1 & \mathrm{i} \\ \mathrm{i} & -1 \end{pmatrix} \quad \text{vérifie} \quad {A}^{T}A = A^{2} = \begin{pmatrix} 1 - 1 & \mathrm{i} - \mathrm{i} \\ \mathrm{i} - \mathrm{i} & -1 + 1 \end{pmatrix} = 0, alors que A≠0A \neq 0.

Piège. L'argument repose sur le fait qu'une somme de carrés de réels nuls n'est nulle que si chaque terme l'est. Dans ℂ\mathbb{C}, on a 12+i2=01^{2} + \mathrm{i}^{2} = 0 ; c'est pourquoi le chapitre 19 remplacera AT{A}^{T} par la transposée conjuguée lorsqu'il travaillera sur ℂ\mathbb{C}.

Dans l'édifice

Thèmes

calcul matriciel, matrices symétriques, trace

Notions

matrice, matrices (espace des), trace

Ouvrir dans l'atlas interactif →