• Aucun résultat trouvé

La forme ´echelonn´ee (r´eduite) d’une matrice augment´ee Consid´erer le syst`eme lin´eaire suivant

N/A
N/A
Protected

Academic year: 2022

Partager "La forme ´echelonn´ee (r´eduite) d’une matrice augment´ee Consid´erer le syst`eme lin´eaire suivant"

Copied!
3
0
0

Texte intégral

(1)

L’ALGORITHME DE GAUSS-JORDAN

1. La forme ´echelonn´ee (r´eduite) d’une matrice augment´ee Consid´erer le syst`eme lin´eaire suivant.





a11x1+· · ·+a1nxn =b1

... am1x1+· · ·+amnxn =bm

Sa matrice augment´eeest la matrice de taille m×(n+ 1)

[A...~b] :=

a11 · · · a1n b1

... ... ... am1 · · · amn bm.

La matrices augment´ee [A...~b] est enforme ´echelonn´ee si les trois conditions suiv- antes sont satisfaites.

(1) Si ~`i [A...~b]

6=~0, alors son premier coefficient non-nul depuis la gauche est un 1, que l’on appelle lepivot de~`i [A...~b]

. (2) Si~`i [A...~b]

=~0, alors ~`j [A...~b]

=~0 pour tout j > i. Autrement dit, toutes les lignes de z´eros se trouvent ensemble en bas de la matrice.

(3) Si~`i [A...~b]

6=~0 et~`i+1 [A...~b]

6=~0, avec pivots [A...~b])ij = 1 et [A...~b])i+1k= 1, alors j < k. Autrement dit le pivot de la i`eme-ligne se trouve `a gauche de celui de la (i+ 1)`eme-ligne.

Elle est enforme ´echelonn´ee r´eduitesi, de plus, la condition suivante est v´erifi´ee.

(4) Si~cj [A...~b]

contient un pivot [A...~b])ij = 1, alors [A...~b])kj = 0 pour tout k6=i. Autrement dit, un pivot est le seul coefficient non-nul dans sa colonne.

L’int´erˆet des matrices augment´ees en forme ´echelonn´ee r´eside dans la facilit´e avec laquelle on trouve les solutions du syst`eme lin´eaire y associ´e.

Exemples.

(1) Une matrice en forme ´echelonn´ee et son syst`eme lin´eaire associ´e:

1 2 3 4 5

0 0 1 2 3

0 0 0 0 0

 1

(2)

2 L’ALGORITHME DE GAUSS-JORDAN

et 





x1+ 2x2+ 3x3+ 4x4= 5 x3+ 2x4= 3 0 = 0

On voit facilement que les solutions de ce syst`eme sont les vecteurs (−4−2s+ 2t, s,3−2t, t)

pour touss, t∈F.

(2) Une matrice en forme ´echelonn´ee r´eduite et son syst`eme lin´eaire associ´e:

1 0 2 0 3

0 1 −1 0 −2

0 0 0 1 −7

et 





x1 + 2x3 = 3 x2−x3 =−2

x4=−7

On voit encore plus facilement que les solutions de ce syst`eme sont les vecteurs

(3−2s,−2 +s, s,−7) pour touts∈F.

2. L’algorithme de Gauss-Jordan

Nous r´esumons ici un algorithme qui permet de transformer toute matrice en une matrice en forme ´echelonn´ee (r´eduite). Cet algorithme utilise les op´erations suivantes.

D´efinition. Soit A une matrice de taillem×n, `a coefficients dansF. Il y a trois types d’op´erations ´el´ementaires sur les lignes de la matriceA.

(1) Op´eration Ii,j: Permuter ~`i(A) et ~`j(A), pour obtenir une nouvelle matrice A0 de mˆeme taille et telle que

~`k(A0) =





~`i(A) :k=j

~`j(A) :k=i

~`k(A) : sinon.

(2) Op´eration IIi,λ: Multiplier ~`i(A) par λ ∈ F, pour obtenir une nouvelle matriceA00 de mˆeme taille et telle que

~`k(A00) =

(λ·~`i(A) :k=i

~`k(A) : sinon.

(3) Op´eration IIIi,j,λ: Remplacer ~`i(A) par~`i(A) +λ·~`j(A) pour obtenir une nouvelle matrice A000 de mˆeme taille et telle que

~`k(A000) =

(~`i(A) +λ·~`j(A) :k=i

~`k(A) : sinon.

(3)

L’ALGORITHME DE GAUSS-JORDAN 3

L’algorithme. Soit A une matricem×n.

(1) Soitj0= min{j|~cj(A)6=~0}. Autrement dit,~cj0(A) est la premi`ere colonne non-nulle de A depuis la gauche. S’il n’y a pas de colonne non-nulle, alors la matrice A est la matrice z´ero, qui est en forme ´echelonn´e r´eduite, et l’algorithme s’arrˆete.

(2) Si (A)1j0 = 0, appliquer `a A l’op´eration I1,i0, o`u (A)i0j0 6= 0, pour obtenir une nouvelle matriceA0 telle que (A0)1j0 6= 0. (Il existe forc´ement un tel i0, puisque~cj0(A)6=~0.)

(3) Appliquer `a A0 l’op´eration IIi,λ, o`u λ= (A0)−11j0, pour obtenir une nouvelle matriceA00 telle que (A00)1j0 = 1.

(4) Pour touti >1, appliquer `aA00 l’op´eration IIIi,1,λi, o`uλi=−(A00)ij0, pour obtenir une nouvelle matriceA000 telle que (A000)ij0 = 0 quelque soit i >1.

(5) SoitB la matrice de taille (m−1)×(n−j0) obtenue deA000 en enlevant les colonnes~c1(A000), ..., ~cj0(A000) et la ligne~`1(A000). Appliquer les ´etapes (1)-(4) de l’algorithme `aB et ensuite l’´etape (5) `a la matrice B000 qui en r´esulte.

Apr`es au plusmcircuits `a travers l’algorithme, il s’arrˆete, et la matrice ˆAobtenue

`

a la fin est en forme ´echelonn´ee. Si l’on veut une forme ´echelonn´ee r´eduite, il faut suivre les ´etapes ci-dessous.

(6) Soit

j1= max{j |~cj( ˆA) contient un pivot et au moins un autre coefficient non-nul}.

Si toute colonne contenant un pivot n’a aucun autre coefficient non-nul, l’algorithme s’arrˆete. Soit ( ˆA)i1j1 = 1 le pivot.

Pour tout i < i1, appliquer `a ˆA l’op´eration IIIi,i1i, o`u µi = −( ˆA)ij1, pour obtenir une nouvelle matrice ˆA0telle que ( ˆA0)ij1 = 0 pour touti6=i1. (7) Appliquer l’´etape (6) `a la matrice ˆA0.

Cette deuxi`eme partie de l’algorithme s’arrˆete apr`es au plusn´etapes. La matrice Aˇ obtenue `a la fin est en forme ´echelonn´ee r´eduite.

Une illustration d´etaill´ee de l’application de cet algorithme sera fournie au cours.

Références

Documents relatifs

Nous allons voir souvent dans la suite que ce lien entre L(E, F) et M n,p ( K ) est extrˆ ement f´ econd, il permet de transformer nombre de probl` emes sur les applications lin´

Soit X une variable al´ eatoire de loi N (0, 1), c’est-` a-dire une variable al´ eatoire admettant pour densit´ e la

Certains r´esultats retourn´es par Maple (e.g. ´el´ements propres d’une matrice) se trouvent dans une structure ordonn´ee (e.g. liste, ensemble, vecteur).. Il est parfois

• Pr´esentation d’une m´ethode pour d´eterminer l’ensemble solution d’un syst`eme lin´eaire dont la matrice associ´ee est ´echelonn´ee et r´eduite.. • Structure

Soit J la matrice d´ efinissant les it´ erations de Jacobi appliqu´ ee ` a un syst` eme lin´ eaire de matrice A3. En d´ eduire que la m´ ethode de Jacobi converge lorsque A est `

D´ eterminer les espaces propres de A et indiquer une matrice inversible P telle P −1 AP soit diagonale.. D´ eterminer les valeurs propres

Trouver une matrice de changement de base P tel que P −1 BP soit sous forme de

Trouver une base orthonorm´ ee de R 3 form´ ee par des vecteurs propres de