ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 16 — Matrices · Changements de bases, équivalence et similitude

Exercice 37

Démonstration

On considère les matrices élémentaires de ℳn(𝕂)\mathcal{M}_{n}(\mathbb{K}), avec n⩾2n \geqslant 2.

1. Deux matrices élémentaires sont-elles toujours équivalentes ?

2. Montrer que EiiE_{ii} et EjjE_{jj} sont semblables, en explicitant une matrice de passage.

3. Montrer que, pour i≠ji \neq j et k≠ℓk \neq \ell, les matrices EijE_{ij} et EkℓE_{k\ell} sont semblables.

4. Les matrices E11E_{11} et E12E_{12} sont-elles semblables ?

Corrigé

1. Toutes les matrices élémentaires sont de rang 11. Par le théorème 6, deux matrices de même taille et de même rang sont équivalentes. deux matrices eˊleˊmentaires de ℳn(𝕂) sont toujours eˊquivalentes\boxed{\text{deux matrices élémentaires de } \mathcal{M}_{n}(\mathbb{K}) \text{ sont toujours équivalentes}}

2. Soit PP la matrice de permutation qui échange eie_{i} et eje_{j} ; elle vérifie P2=InP^{2} = I_{n}. L'endomorphisme canoniquement associé à EjjE_{jj} envoie eje_{j} sur eje_{j} et les autres vecteurs sur 00. Dans la base obtenue en échangeant eie_{i} et eje_{j}, sa matrice devient EiiE_{ii}. P−1EjjP=Eii,P=Pij=In−Eii−Ejj+Eij+Eji\boxed{P^{-1}E_{jj}P = E_{ii}, \qquad P = P_{ij} = I_{n} - E_{ii} - E_{jj} + E_{ij} + E_{ji}}

3. Comme i≠ji \neq j et k≠ℓk \neq \ell, il existe une permutation σ\sigma de [ ⁣[1 ;n] ⁣][\![1\,;n]\!] telle que σ(k)=i\sigma(k) = i et σ(ℓ)=j\sigma(\ell) = j. L'endomorphisme associé à EkℓE_{k\ell} envoie eℓe_{\ell} sur eke_{k} et les autres vecteurs de base sur 00. Dans la base (e1′,…,en′)(e'_{1}, \dots, e'_{n}) définie par eσ(m)′=eme'_{\sigma(m)} = e_{m}, il envoie ej′e'_{j} sur ei′e'_{i} et les autres sur 00 : sa matrice est EijE_{ij}. Les matrices EkℓE_{k\ell} et EijE_{ij} sont donc semblables.

4. Si P−1E11P=E12P^{-1}E_{11}P = E_{12}, on aurait tr⁡E11=tr⁡E12\operatorname{tr} E_{11} = \operatorname{tr} E_{12} (proposition 14), soit 1=01 = 0. Autre argument : E112=E11E_{11}^{2} = E_{11} et E122=0E_{12}^{2} = 0, et deux matrices semblables ont des carrés semblables. E11 et E12 sont eˊquivalentes mais pas semblables\boxed{E_{11} \text{ et } E_{12} \text{ sont équivalentes mais pas semblables}}

Dans l'édifice

Thèmes

changements de bases, changement de base, matrices équivalentes, matrices semblables

Notions

matrice de passage, matrices équivalentes, matrices semblables

Ouvrir dans l'atlas interactif →