Matrice échelonnée

En algèbre linéaire, une matrice est dite échelonnée en lignes si le nombre de zéros précédant la première valeur non nulle d'une ligne augmente strictement ligne par ligne jusqu'à ce qu'il ne reste éventuellement plus que des zéros.

Exemples

Voici un exemple de matrice échelonnée (les désignent des coefficients quelconques, les des pivots, coefficients non nuls) :

Une matrice échelonnée est dite matrice échelonnée réduite, ou matrice canonique en lignes, si les pivots valent 1 et si les autres coefficients dans les colonnes des pivots sont nuls. La matrice échelonnée réduite associée à l'exemple précédent est :

Les matrices suivantes sont échelonnées réduites :

;

Réduction d'une matrice à sa forme échelonnée réduite

Toute matrice peut être transformée en sa matrice échelonnée réduite au moyen d'opérations élémentaires sur les lignes, à savoir :

  • permuter deux lignes ;
  • multiplier une ligne par une constante non nulle ;
  • ajouter à une ligne le multiple d'une autre ligne.

La matrice échelonnée réduite ainsi obtenue est unique.

Rang

Le rang d'une matrice échelonnée, réduite ou non, est le nombre de lignes possédant un pivot (non nul). C'est également le rang de la matrice initiale, les opérations de réduction ci-dessus conservant chacune le rang.

Sous-espaces relatifs à une matrice

Soit A une matrice quelconque, à m lignes et n colonnes, de rang r. Soit C la matrice constituée des r premières lignes de la matrice échelonnée réduite associée (les lignes qui suivent sont nulles). Procédons également à l'échelonnement réduit de la matrice par blocs est la matrice identité à m lignes, et soit la matrice par blocs échelonnée réduite associée, de la forme . Les matrices C et L permettent de déterminer plusieurs sous-espaces relatifs à la matrice A[1].

Dans le cas où m = n = r, la matrice K est l'inverse de la matrice A.

Exemple

Si A est la matrice alors la matrice échelonnée réduite de est telle que et

Noyau

Le noyau Ker(A) de la matrice A est défini comme le sous-espace vectoriel de constitué des colonnes X solutions du système linéaire homogène AX = 0. Ce noyau de A est identique[1] à celui de C, et se calcule plus facilement à partir de C.

Les vecteurs de ce noyau sont en effet les colonnes X ayant des coefficients quelconques aux indices j correspondant à une colonne j de la matrice C n'ayant pas de pivot, les coefficients situés aux indices k correspondant à des pivots étant ajustés pour annuler CX. Notons la base canonique de , et les indices de colonnes où se trouvent les pivots. Alors une base de Ker(A) est donnée par les .

Il en résulte que la dimension de Ker(A) est égale à , où r est le nombre de pivots. C'est une version du théorème du rang.

Dans l'exemple précédent, on a : j = 2, 4, 5, 6 (colonnes sans pivot), et k1 = 1, k2 = 3 (colonnes avec pivot). Une base de Ker(A) est donnée par :



Image

L'image Im(A) de la matrice est le sous-espace vectoriel de constitué des AX, avec X une colonne quelconque de n termes. Cette image est engendrée par les colonnes de A, et une base est formée par les colonnes dont l'indice contient, après réduction, un pivot. Dans l'exemple précédent les colonnes à pivot sont 1 et 3, ainsi une base est et .

L'image Im(A) est aussi identique[1] au noyau de L, dont on trouve une base comme précédemment.

Dans l'exemple précédent, une base de Im(A) obtenue à partir du noyau de L est et .

Conoyau

Le conoyau de A est le sous-espace vectoriel des lignes X telles que XA = 0. Une base de ce conoyau est donnée[1] par les lignes de L.

Dans l'exemple précédent, une base du conoyau de A est , , .

Le conoyau est le noyau de la transposée de A. Il a pour dimension m – r, ainsi le rang de la transposée de A est égal à r (tout comme celui de A).

Coïmage

La coïmage de A est le sous-espace vectoriel engendré par les lignes de A. Une base de la coïmage est donnée[1] par les lignes de C.

Dans l'exemple précédent, une base de la coïmage de A est et .

Référence

  1. (en) Robert A. Beezer, « Extended Echelon Form and Four Subspaces », Amer. Math. Monthly, vol. 121, no 7, , p. 644-647.

Article connexe

Algorithme d'échelonnement

  • Portail de l’algèbre
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.