Matrices l-équivalentes

En algèbre linéaire, deux matrices sont l-équivalentes (ou ligne-équivalentes) si on peut passer de l'une à l'autre par des opérations élémentaires sur les lignes. Si A et B sont deux matrices, cette condition se réécrit comme : il existe une matrice inversible G {\displaystyle G} tel que A = G B {\displaystyle A=GB} .

Définition

Deux matrices A et B de M m , n ( K ) {\displaystyle M_{m,n}({\mathcal {K}})} sont l-équivalentes s'il existe des matrices élémentaires M 1 , , M n {\displaystyle M_{1},\dots ,M_{n}} telles que A = M 1 M n B {\displaystyle A=M_{1}\dots M_{n}B} . Ceci revient à dire que l'on peut passer de l'une à l'autre par des opérations élémentaires sur les lignes. Cette définition est équivalente à l'existence d'une matrice inversible G telle que A = G B {\displaystyle A=GB} . En effet, le groupe linéaire G L n ( K ) {\displaystyle GL_{n}(K)} est engendré par les matrices élémentaires. On note parfois A l B {\displaystyle A{\stackrel {l}{\sim }}B} .

Propriétés

La l-équivalence est une relation d'équivalence sur l'ensemble des matrices.

  • elle est réflexive
  • elle est symétrique : si A = G B {\displaystyle A=GB} , avec G une matrice inversible, alors G 1 A = B {\displaystyle G^{-1}A=B}
  • elle est transitive

Deux matrices l-équivalentes ont même rang ; la réciproque n'est pas vraie. Il suffit de prendre ( 1 0 0 0 1 0 0 0 0 ) {\displaystyle {\begin{pmatrix}1&0&0\\0&1&0\\0&0&0\end{pmatrix}}} et ( 0 0 0 0 1 0 0 0 1 ) {\displaystyle {\begin{pmatrix}0&0&0\\0&1&0\\0&0&1\end{pmatrix}}} .

Deux matrices de M m , n ( K ) {\displaystyle M_{m,n}({\mathcal {K}})} sont l-équivalentes si et seulement si elles ont le même noyau.

Toute matrice est l-équivalente à une matrice échelonnée en lignes. Les opérations élémentaires à effectuer pour passer d'une matrice à une matrice échelonnée en lignes peuvent être obtenues par le pivot de Gauss.

Voir aussi

v · m
Matrices
Forme
Transformée
Relation
Propriété
Famille
Associée
Résultats
Décompositions
Articles liés
  • icône décorative Portail de l’algèbre