Modèle de l'utilisation du produit à droite d'une matrice par des matrices élémentaires

Le principal intérêt du calcul qui suit est qu'il constitue un modèle de l'utilisation du produit à droite (respectivement à gauche) d'une matrice par des matrices élémentaires, quand on souhaite pouvoir comparer qualitativement la matrice trouvée et la matrice de départ.

La formule précédente donne une deuxième méthode pour caractériser le résultat du produit d'une matrice par une matrice d'échange. En effet, pour caractériser la matrice\( \mathcal A\Delta_{i,j}\), on peut utiliser les résultats sur les produits par des matrices élémentaires et calculer par ce procédé la matrice \(\mathcal A[\mathcal T_{i,j}(1)\mathcal T_{j,i}(-1)\mathcal T_{i,j}(1)\mathcal D_i(-1)]\). Nous ne le développons que pour le produit à droite, la démarche pour le produit à gauche est identique.

Calcul de \(\mathcal A[\mathcal T_{i,j}(1)\mathcal T_{j,i}(-1)\mathcal T_{i,j}(1)\mathcal D_i(-1)]\).

Les colonnes de la matrice \(\mathcal A\) sont notées\( \mathcal C_k\). Les produits successifs sont représentés de la manière suivante :

Produit de matrices : \(AT_{i,j}(1)\)

Résultat : on trouve une matrice dont les colonnes sont :

  • \(j\)-ième colonne : \(C_j+C_i\)

  • \(k\)-ième colonne (avec \(k\ne j\)) : \(C_k\)

Preuve

Multiplier à droite par la matrice élémentaire \(T_{i,j}(1)\) revient à remplacer la \(j\)-ième colonne par elle-même plus \((+1)\) fois la \(i\)-ième colonne et à laisser les autres inchangées.

Produit de matrices : \(AT_{i,j}(1) T_{j,i}(-1)\)

Résultat : on trouve une matrice dont les colonnes sont :

  • \(i\)-ième colonne : \(-C_j\)

  • \(j\)-ième colonne : \(C_j+C_i\)

  • \(k\)-ième colonne (avec \(k\ne i\) et \(k\ne j\)) : \(C_k\)

Preuve

Multiplier à droite par la matrice élémentaire \(T_{j,i}(-1)\) revient à remplacer la \(i\)-ième colonne par elle-même plus \((-1)\) fois la \(j\)-ième colonne (donc ici à remplacer \(C_i\) par \(C_i-(C_j+C_i)=-C_j\) et à laisser les autres inchangées.

Produit de matrices : \(AT_{i,j}(1)T_{j,i}(-1)T_{i,j}(1)\)

Résultat : on trouve une matrice dont les colonnes sont :

  • \(i\)-ième colonne : \(-C_j\)

  • \(j\)-ième colonne : \(C_i\)

  • \(k\)-ième colonne (avec \(k\ne i\) et \(k\ne j\)) : \(C_k\)

Preuve

Multiplier à droite par la matrice élémentaire \(T_{i,j}(1)\) revient à remplacer la \(j\)-ième colonne par elle-même plus \((+1)\) fois la \(i\)-ième colonne (donc ici à remplacer \(C_j+C_i\) par \((C_j+C_i)+(-C_j)=C_i\) et à laisser les autres inchangées.

Produit de matrices : \(AT_{i,j}(1)T_{j,i}(-1)T_{i,j}(1)D_i(-1)\)

Résultat : on trouve une matrice dont les colonnes sont :

  • \(i\)-ième colonne : \(C_j\)

  • \(j\)-ième colonne : \(C_i\)

  • \(k\)-ième colonne (avec \(k\ne i\) et \(k\ne j\)) : \(C_k\)

Preuve

Multiplier à droite par la matrice élémentaire \(D_i(-1)\) revient à multiplier la \(i\)-ième colonne par \(-1\) et à laisser les autres inchangées.