ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 9 — Matrices · Transposition et matrices remarquables

Exercice 21

Démonstration

On note 𝒮n\mathcal{S}_{n} l'ensemble des matrices symétriques de ℳn(ℝ)\mathcal{M}_{n}(\mathbb{R}) et 𝒜n\mathcal{A}_{n} celui des matrices antisymétriques.

1. Démontrer que 𝒮n\mathcal{S}_{n} et 𝒜n\mathcal{A}_{n} sont des sous-espaces vectoriels de ℳn(ℝ)\mathcal{M}_{n}(\mathbb{R}).

2. Démontrer que 𝒮n∩𝒜n={0}\mathcal{S}_{n} \cap \mathcal{A}_{n}=\{0\}.

3. Soit M∈ℳn(ℝ)M \in \mathcal{M}_{n}(\mathbb{R}). Vérifier que les matrices M+tM2\dfrac{M+{}^{t}M}{2} et M−tM2\dfrac{M-{}^{t}M}{2} appartiennent respectivement à 𝒮n\mathcal{S}_{n} et à 𝒜n\mathcal{A}_{n}, et que leur somme vaut MM.

4. Conclure que ℳn(ℝ)=𝒮n⊕𝒜n\mathcal{M}_{n}(\mathbb{R})=\mathcal{S}_{n} \oplus \mathcal{A}_{n}.

5. Dans le cas n=2n=2, donner une base de 𝒮2\mathcal{S}_{2} et une base de 𝒜2\mathcal{A}_{2}, puis vérifier le compte des dimensions.

6. Décomposer la matrice M=(1234)M=\begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix} selon cette somme directe.

Comparer avec la décomposition des fonctions en partie paire et partie impaire du chapitre 6.

Corrigé

1. La matrice nulle est symétrique et antisymétrique. Et pour λ∈ℝ\lambda \in \mathbb{R} et deux matrices MM, NN, la proposition 4 donne : t(λM+N)=λ tM+tN{}^{t}(\lambda M+N)=\lambda\,{}^{t}M+{}^{t}N Si MM et NN sont symétriques, ce membre vaut λM+N\lambda M+N ; si elles sont antisymétriques, il vaut −(λM+N)-(\lambda M+N). 𝒮n et 𝒜n sont des sous-espaces vectoriels de ℳn(ℝ).\boxed{\mathcal{S}_{n} \text{ et } \mathcal{A}_{n} \text{ sont des sous-espaces vectoriels de } \mathcal{M}_{n}(\mathbb{R}).}

2. Si MM est à la fois symétrique et antisymétrique, alors M=tM=−MM={}^{t}M=-M, donc 2M=02M=0. 𝒮n∩𝒜n={0}\boxed{\mathcal{S}_{n} \cap \mathcal{A}_{n}=\{0\}}

3. On applique la proposition 4 et la question 3 de l'exercice 19 : t(M+tM2)=tM+M2ett(M−tM2)=tM−M2=−M−tM2{}^{t}\left(\frac{M+{}^{t}M}{2}\right)=\frac{{}^{t}M+M}{2} \qquad\text{et}\qquad {}^{t}\left(\frac{M-{}^{t}M}{2}\right)=\frac{{}^{t}M-M}{2}=-\frac{M-{}^{t}M}{2} La première est donc symétrique, la seconde antisymétrique, et leur somme vaut MM.

4. L'intersection est réduite à zéro et la somme vaut ℳn(ℝ)\mathcal{M}_{n}(\mathbb{R}) tout entier : ℳn(ℝ)=𝒮n⊕𝒜n\boxed{\mathcal{M}_{n}(\mathbb{R})=\mathcal{S}_{n} \oplus \mathcal{A}_{n}}

5. Une matrice symétrique de taille 22 s'écrit (abbc)\begin{pmatrix} a & b \\ b & c \end{pmatrix}, une antisymétrique (0b−b0)\begin{pmatrix} 0 & b \\ -b & 0 \end{pmatrix} : 𝒮2=Vect(E1,1 ; E2,2 ; E1,2+E2,1)𝒜2=Vect(E1,2−E2,1)\boxed{\mathcal{S}_{2}=\mathrm{Vect}\big(E_{1,1} \,;\, E_{2,2} \,;\, E_{1,2}+E_{2,1}\big) \qquad \mathcal{A}_{2}=\mathrm{Vect}\big(E_{1,2}-E_{2,1}\big)}

dim⁡𝒮2+dim⁡𝒜2=3+1=4=dim⁡ℳ2(ℝ)\boxed{\dim \mathcal{S}_{2}+\dim \mathcal{A}_{2}=3+1=4=\dim \mathcal{M}_{2}(\mathbb{R})}

6. On applique la question 3 : (1234)=(152524)⏟symeˊtrique+(0−12120)⏟antisymeˊtrique\boxed{\begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix}=\underbrace{\begin{pmatrix} 1 & \frac{5}{2} \\ \frac{5}{2} & 4 \end{pmatrix}}_{\text{symétrique}} +\underbrace{\begin{pmatrix} 0 & -\frac{1}{2} \\ \frac{1}{2} & 0 \end{pmatrix}}_{\text{antisymétrique}}}

Comparaison avec le chapitre 6. La décomposition est exactement celle des fonctions en partie paire et partie impaire, la transposition jouant le rôle de f↦(x↦f(−x))f \mapsto \big(x \mapsto f(-x)\big). Dans les deux cas, on décompose selon une symétrie au sens du chapitre 7, en séparant les éléments invariants de ceux qui sont changés en leur opposé.

Dans l'édifice

Thèmes

matrices, matrice d'une application linéaire, transposition

Notions

matrices (espace des)

Ouvrir dans l'atlas interactif →