6.2. Produit matriciel 95
D´
emonstration. Notons d’abord que tous les produits matriciels et matrice-vecteur
de cette formule sont bien d´
efinis.
Si x=
λ1
.
.
.
λp
, alors on a par d´
efinition du produit matriciel et du produit
matrice-vecteur
(AB)x=λ1(Ab1) + λ2(Ab2) + ··· +λp(Abp).
D’un autre cˆ
ot´
e, toujours par d´
efinition du produit matrice-vecteur,
Bx =λ1b1+λ2b2+··· +λpbp,
d’o`
u par lin´
earit´
e du produit matrice-vecteur
A(Bx) = A(λ1b1+λ2b2+··· +λpbp) = λ1(Ab1) + λ2(Ab2) + ·· · +λp(Abp).
On en d´
eduit le r´
esultat. !
Le produit matriciel poss`
ede les propri´
et´
es alg´
ebriques suivantes.
Th´
eor`
eme 43 On a (en supposant les produits matriciels d´
efinis)
i) (A+A')B=AB +A'B et A(B+B') = AB +AB'.
ii) λ(AB) = (λA)B=A(λB).
iii) (AB)C=A(BC)(associativit´
e).
D´
emonstration. i) Comme (A+A')bj=Ab j+A'bj, la premi`
ere relation est vraie.
De mˆ
eme, les colonnes de B+B'sont les bj+b'j, et l’on a A(bj+b'j) = Ab j+Ab'j,
d’o`
u la deuxi`
eme relation, cf. Remarque 32.
ii) On utilise encore la Remarque 32.
iii) Assurons-nous d’abord que tous les produits sont bien d´
efinis. Pour d´
efinir
AB, on doit avoir A∈Mmn(R)et B∈Mnp(R). Dans ce cas, AB ∈Mmp(R). Pour
d´
efinir BC, on doit avoir B∈Mnp(R)et C∈Mpr(R). Dans ce cas, BC ∈Mnr(R).
Par cons´
equent, le produit (AB)Cest bien d´
efini (nb de colonnes de AB = nb de
lignes de C) et (AB)C∈Mmr(R). De mˆ
eme, le produit A(BC)est bien d´
efini et
appartient `
aMmr(R). En particulier, (AB)Cet A(BC)sont deux matrices de mˆ
eme
taille, ce qui est la moindre des choses si elles sont cens´
ees ˆ
etre ´
egales.
Montrons maintenant qu’elles sont bien ´
egales. Pour cela, on ´
ecrit Ccomme
une ligne de vecteurs
C='c1c2··· cr(,ck∈Rp.