Matrice diagonale

En algèbre linéaire, une matrice diagonale est une matrice carrée dont les coefficients en dehors de la diagonale principale sont nuls. Les coefficients de la diagonale peuvent être ou ne pas être nuls.

Une matrice diagonale est une matrice qui correspond à la représentation d'un endomorphisme diagonalisable dans une base de vecteurs propres. La matrice d'un endomorphisme diagonalisable est semblable à une matrice diagonale.

Toute matrice diagonale est symétrique, normale et triangulaire. La matrice identité I_n est diagonale.

Définition

Une matrice carrée $D=(d_{i,j})_{1\leq i,j\leq n}$ est dite diagonale si :

\forall (i,j)\in [\![1,n]\!]^{2},\ i\neq j\ \Rightarrow \ d_{i,j}=0.

Exemples

Les matrices suivantes sont diagonales :

{\begin{pmatrix}1&0&0&0\\0&\mathrm {i} &0&0\\0&0&-1&0\\0&0&0&-\mathrm {i} \end{pmatrix}},\quad {\begin{pmatrix}1&0&0\\0&0&0\\0&0&-3\end{pmatrix}},\quad {\begin{pmatrix}0&0\\0&1\end{pmatrix}},\quad {\begin{pmatrix}1\end{pmatrix}}.

En revanche les matrices suivantes ne sont pas diagonales :

{\begin{pmatrix}0&0&0&1\\0&0&-1&0\\0&\mathrm {i} &0&0\\1&0&0&0\end{pmatrix}},\quad {\begin{pmatrix}1&0&0\\0&2&1\\0&0&-3\end{pmatrix}},\quad {\begin{pmatrix}0&1\\0&0\end{pmatrix}}.

Notation

Comme une matrice diagonale est entièrement déterminée par la liste de ses éléments diagonaux, la notation suivante plus concise est souvent adoptée :

\operatorname {diag} (a_{1},a_{2},\ldots ,a_{n})={\begin{pmatrix}a_{1}&0&\ldots &0\\0&a_{2}&\ddots &\vdots \\\vdots &\ddots &\ddots &0\\0&\ldots &0&a_{n}\end{pmatrix}}.

Utilisations

Les matrices diagonales apparaissent dans presque tous les domaines de l'algèbre linéaire. La multiplication de matrices diagonales est très simple ; aussi, si une matrice intéressante peut d'une certaine façon être remplacée par une matrice diagonale, alors les calculs qui l'impliquent seront plus rapides et la matrice plus facile à stocker en mémoire. Un procédé permettant de rendre certaines matrices diagonales est la diagonalisation.

Une matrice presque diagonale (on la dit alors matrice à diagonale dominante) peut être inversée sous réserve de non-intersection de ses cercles de Gershgorin.

Une matrice diagonale d'ordre n à coefficients dans K possède de manière naturelle des vecteurs propres (les vecteurs de la base canonique de Kⁿ) et ses coefficients diagonaux sont les valeurs propres associées.

Si une matrice normale est triangulaire alors elle est diagonale.

Une matrice complexe est normale si et seulement si elle est unitairement semblable à une matrice diagonale.

Voir aussi la décomposition en valeurs singulières, d'après laquelle toute matrice complexe (non nécessairement carrée) est unitairement équivalente à une matrice diagonale positive bordée par des zéros.

Propriétés

Multiplication

Si $M$ $M$ est une matrice $n\times m$ $n\times m$ alors :
- $\operatorname {diag} (a_{1},\dots ,a_{n})M$ se déduit de $M$ en multipliant, pour tout $i$ de $1$ à $n$ , la $i$ -ème ligne de $M$ par $a_{i}$ ;
- $M\operatorname {diag} (b_{1},\dots ,b_{m})$ se déduit de $M$ en multipliant, pour tout $j$ de $1$ à $m$ , la $j$ -ème colonne de $M$ par $b_{j}$ .
En particulier, $\operatorname {diag} (a_{1},\dots ,a_{n})\operatorname {diag} (b_{1},\dots ,b_{n})=\operatorname {diag} (a_{1}b_{1},\dots ,a_{n}b_{n})$
donc $\forall k\in \mathbb {N} ^{*}\quad \operatorname {diag} (a_{1},\dots ,a_{n})^{k}=\operatorname {diag} (a_{1}^{k},\dots ,a_{n}^{k})$ .
Pour tout anneau commutatif A, les matrices diagonales d'ordre n forment une sous-algèbre commutative de $\mathrm {M} _{n}(A)$ $\mathrm {M} _{n}(A)$
En d'autres termes, pour toutes matrices diagonales $D=\operatorname {diag} ((d_{i})_{1\leq i\leq n})$ et $E=\operatorname {diag} ((e_{i})_{1\leq i\leq n})$ on a :
- $\forall (\lambda ,\mu )\in A^{2}\quad \lambda D+\mu E=\operatorname {diag} ((\lambda d_{i}+\mu e_{i})_{1\leq i\leq n})$
- $DE=ED=\operatorname {diag} ((d_{i}e_{i})_{1\leq i\leq n})$

Déterminant

Le déterminant d'une matrice diagonale est égal au produit de ses éléments diagonaux :

\det(\operatorname {diag} (a_{1},a_{2},\ldots ,a_{n}))={\begin{vmatrix}a_{1}&0&\ldots &0\\0&a_{2}&\ddots &\vdots \\\vdots &\ddots &\ddots &0\\0&\ldots &0&a_{n}\end{vmatrix}}=\prod _{k=1}^{n}a_{k}

Inversibilité

D'après l'expression des produits d'une matrice diagonale par une matrice quelconque (voir supra), une matrice diagonale $\operatorname {diag} (a_{1},a_{2},\dots ,a_{n})$ à coefficients dans un anneau unitaire A (non nécessairement commutatif) est inversible dans $\mathrm {M} _{n}(A)$ si et seulement si tous les $a_{i}$ sont inversibles dans A (c'est-à-dire non nuls, si A est un corps) et dans ce cas,

\operatorname {diag} (a_{1},a_{2},\dots ,a_{n})^{-1}=\operatorname {diag} (1/a_{1},1/a_{2},\dots ,1/a_{n})

Ceci permet, pour une matrice diagonale inversible, d'étendre aux exposants entiers relatifs la règle de calcul des puissances vue précédemment.

Matrice scalaire

Une matrice scalaire est une matrice diagonale (à coefficients dans un anneau) dont tous les coefficients diagonaux sont égaux^[1], c'est-à-dire de la forme λI_n où λ est un scalaire et I_n la matrice identité d'ordre n.

Autrement dit $D=(a_{i,j})$ est une matrice scalaire si D est carrée et si :

$a_{i,j}={\begin{cases}\lambda &{\text{si }}i=j\\0&{\text{si }}i\neq j\end{cases}}$

c'est-à-dire que tous les éléments situés sur la diagonale principale sont égaux et que tous les autres éléments sont nuls.

C'est la matrice dans n'importe quelle base de l'homothétie vectorielle de rapport $\lambda$ .

Si K est un corps commutatif, le centre du groupe linéaire GL(n, K) est formé des matrices scalaires non nulles à n lignes et n colonnes et à coefficients dans K^[2]. Plus généralement, si A est un anneau unitaire, le centre de GL(n, A) est formé des matrices scalaires non nulles de taille n à coefficients dans le centre de A^[3].

Voir aussi

Matrice bande

Notes et références

↑ N. Bourbaki, Algèbre, ch. 2, Paris, 1970, p. II.151.
↑ Voir par exemple (en) J. J. Rotman, An Introduction to the Theory of Groups, 4^e édition, tirage de 1999, théorème 8.9, p. 222.
↑ (en) V. P. Platonov, « General linear group », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne).