Calculs sur les matrices carrées

Plan du chapitre "Calcul matriciel"

L’anneau {(\mathcal{M}_{n}(\mathbb{K}),+,\times)}

Proposition (l'anneau M_{n}())
Muni de la somme et du produit des matrices, l’ensemble {\mathcal{M}_n(\mathbb{K})} possède une structure d’anneau.
L’anneau {(\mathcal{M}_n(\mathbb{K}),+,\times)} est non commutatif dès que {n\ge2}.
  • Le neutre additif de l’anneau {\mathcal{M}_n(\mathbb{K})} est la matrice nulle, notée {0} (ou éventuellement {0_{n}}).
    Le neutre multiplicatif de l’anneau {\mathcal{M}_n(\mathbb{K})} est la matrice identité {\text{I}_n}.
  • Si {n=1}, on identifie une matrice {A=(a)} avec l’unique scalaire qu’elle contient.
    Dans ce cas, {\mathcal{M}_{1}(\mathbb{K})} s’identifie donc au corps (commutatif) {\mathbb{K}}.
  • Il est facile de former des matrices qui ne commutent pas dans {\mathcal{M}_{2}(\mathbb{K})}.
    Par exemple si {A=\begin{pmatrix}0&1\\ 1&0\end{pmatrix}} et {B=\begin{pmatrix}0&2\\1&0 \end{pmatrix}}, alors {AB=\begin{pmatrix}1&0\\0&2 \end{pmatrix}} et {BA=\begin{pmatrix}2&0\\ 0&1 \end{pmatrix}}.

    Si {n\ge2}, l’anneau {\mathcal{M}_{n}(\mathbb{K})} est non commutatif.
    Il suffit pour le voir d’étendre l’exemple précédent.
    Prenons en effet :{A\!=\!\begin{pmatrix}0&1&0&\cdots\\ 1&0&0&\cdots\\0&0&0&\ldots\\\vdots&\vdots&\vdots&\ddots\end{pmatrix}\,\text{et}\,B\!=\!\begin{pmatrix}0&2&0&\cdots\\ 1&0&0&\cdots\\0&0&0&\ldots\\\vdots&\vdots&\vdots&\ddots\end{pmatrix}}Avec ces notations : {AB\!=\!\begin{pmatrix}1&0&0&\cdots\\ 0&2&0&\cdots\\0&0&0&\ldots\\\vdots&\vdots&\vdots&\ddots\end{pmatrix},\,BA\!=\!\begin{pmatrix}2&0&0&\cdots\\ 0&1&0&\cdots\\0&0&0&\ldots\\\vdots&\vdots&\vdots&\ddots\end{pmatrix}}

Proposition (produits de matrices diagonales ou triangulaires)
Soit {A} et {B} deux matrices de {\mathcal{M}_{n}(\mathbb{K})}.
On suppose que {A} et {B} sont diagonales (resp. triangulaires supérieures, triangulaires inférieures).
Alors {C=AB} est encore diagonale (resp. triangulaire supérieure, triangulaire inférieure).
De plus les coefficients diagonaux {c_{ii}} de {C} vérifient {c_{ii}=a_{ii}b_{ii}}.

Propriétés diverses

Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Page précédente : produit matriciel
Page suivante : matrices inversibles