Les premières propriétés seront vérifiées en exercices. Pour la dernière, considérons \(A\) de dimensions \(m\times n\), et \(B\) de dimensions \(n\times p\), et calculons l'élément \(ij\) de \((AB)^T\): \[\begin{aligned} ((AB)^T)_{ij}&=(AB)_{ji}\\ &=\sum_{k=1}^nA_{jk}B_{ki}\\ &=\sum_{k=1}^n(A^T)_{kj}(B^T)_{ik}\\ &=\sum_{k=1}^n(B^T)_{ik}(A^T)_{kj}\\ &=(B^TA^T)_{ij}\,. \end{aligned}\]
L'associativité signifie que l'on n'a pas besoin d'utiliser de parenthèses
lorsqu'on multiplie plusieurs matrices: les produits peuvent s'effecteur dans
n'importe quel ordre. Donc au lieu de \(A(BC)\) ou \((AB)C\), on peut simplement
écrire \(ABC\).
Ce qu'on n'a pas le droit de faire, par contre, c'est
de changer l'ordre des matrices dans un produit:
le produit matriciel n'est pas commutatif.
De fait, en
général, même pour des matrices \(A,B\) de dimensions compatibles,
\[
AB\neq BA\,.
\]
En effet, commençons par remarquer que si
\(A\) est \(m\times n\), alors \(AB\) et \(BA\) sont toutes deux bien
définies seulement si \(B\) est \(n\times m\).
Mais alors \(AB\) est \(m\times m\) et \(BA\) est \(n\times n\), donc \(AB\) et
\(BA\) sont de dimensions différentes dès que \(m\neq n\).
Donc pour que les deux matrices \(AB\) et \(BA\) soient toutes les deux
définies et égales, il faut déjà que \(A\) et \(B\) soient carrées, de même
dimension \(n\times n\).
Or même si \(A\) et \(B\) sont carrées et de mêmes dimensions,
en général \(AB\neq BA\).
Exemple: Avec \(A=\begin{pmatrix} 1&0\\ 0&-1 \end{pmatrix}\), \(B=\begin{pmatrix} 0&-1\\ 1&0 \end{pmatrix}\), on a \[\begin{aligned} AB= \begin{pmatrix} 1&0\\ 0&-1 \end{pmatrix} \begin{pmatrix} 0&-1\\ 1&0 \end{pmatrix} &= \begin{pmatrix} 0&-1\\ -1&0 \end{pmatrix}\,,\\ BA= \begin{pmatrix} 0&-1\\ 1&0 \end{pmatrix} \begin{pmatrix} 1&0\\ 0&-1 \end{pmatrix} &= \begin{pmatrix} 0&1\\ 1&0 \end{pmatrix}\,, \end{aligned}\] et donc \(AB\neq BA\).
Mentionnons encore une différence importante qui distingue le calcul matriciel du calcul réel. On sait que dans les réels, un produit nul \[ab=0\] implique qu'au moins un des nombres \(a,b\) est nul. Par contre, on peut avoir un produit matriciel nul, \[AB=0\,,\] sans qu'aucune des matrices \(A,B\) ne soit identiquement nulle (voir exercices).
L'action de \(I_n\) sur un vecteur n'a aucun effet: \[ I_n\boldsymbol{x}=\boldsymbol{x}\,,\qquad \forall \boldsymbol{x}\in \mathbb{R}^n\,. \] De plus, la matrice identité est l'élément neutre pour la multiplication des matrices carrées \(n\times n\), puisqu'on a, pour toute matrice \(A\) (\(n\times n\)), \[ AI_n=I_nA=A\,. \] \(I_n\) est d'ailleurs la seule matrice qui commute avec toute matrice \(n\times n\) (voir exercices).