Espace colonne et espace des rangées
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a3/Matrix_Rows.svg/220px-Matrix_Rows.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3f/Matrix_Columns.svg/220px-Matrix_Columns.svg.png)
En algèbre linéaire, l'espace colonne (aussi appelé espace des colonnes ou image) d'une matrice A est l'espace engendré par toutes les combinaisons linéaires de ses vecteurs colonne. L'espace colonne d'une matrice est l'image de l'application linéaire correspondante.
Soit un corps. L'espace colonne d'une matrice de taille à éléments dans est un sous-espace vectoriel de . La dimension d'un espace colonne est appelé le rang d'une matrice et est au plus égal au minimum de et .
Une définition des matrices sur un anneau est également possible.
L'espace ligne (ou espace des rangées) est défini de façon similaire.
Cet article ne traite que le cas de matrices réelles. Les espaces colonne et ligne sont donc des sous-espaces des espaces réels et respectivement[1].
Présentation générale
Soit A une matrice de taille m×n. Alors
- rg(A) = dim(Vect(Col(A))) = dim(Vect(L(A)))[2],
- rg(A) = nombre de pivots dans toute forme échelonnée de A,
- rg(A) = nombre maximum d'éléments linéairement indépendants parmi les colonnes et les lignes de A[3].
En considérant la matrice comme une application linéaire de et , l'espace colonne de la matrice correspond à l'image de cette application linéaire.
L'espace colonne d'une matrice A est l'ensemble de toutes les combinaisons linéaires des colonnes de A. Si A = [a1, ..., an], alors Vect(Col(A) = Vect{a1, ...., an} .
Le concept d'espace des rangées s'étend aux matrices complexes, ou pour tout corps.
Intuitivement, pour une matrice donnée A, l'action d'une matrice A sur un vecteur x va renvoyer une combinaison linéaire des colonnes de A pondérées par les coordonnées de x comme coefficients.
Exemple
Soit la matrice J :
les lignes sont donc r1 = (2,4,1,3,2), r2 = (−1,−2,1,0,5), r3 = (1,6,2,2,2), r4 = (3,6,2,5,1). Ainsi, l'espace ligne de J est le sous-espace de R5 engendré par { r1, r2, r3, r4 }. Ces quatre vecteurs lignes sont linéairement indépendants, donc l'espace ligne est de dimension 4. On peut aller plus loin en remarquant que les quatre vecteurs sont orthogonaux au vecteur ligne n = (6,−1,4,−4,0), donc l'espace ligne de J peut être défini comme le sous-espace des vecteurs de à n.
Espace colonne
Définition
Soit K un corps de scalaires. Soit A une matrice m × n, de vecteurs colonnes v1, v2, ..., vn. Une combinaison linéaire de ces vecteurs est un vecteur de la forme
avec c1, c2, ..., cn des scalaires. On désigne l'ensemble de toutes les combinaisons linéaires (ou sous-espace vectoriel engendré) de v1, ... ,vn l'espace colonne de A.
Toute combinaison linéaire des vecteurs colonne de la matrice A peut être écrite comme le produit matriciel de A avec un vecteur colonne :
Ainsi l'espace colonne de A consiste en l'ensemble de tous les produits de la forme Ax, pour x ∈ Cn. On retrouve ainsi l'idée de l'image de la transformation matricielle (en) correspondante.
- Exemple
- Si , alors les vecteurs colonnes sont v1 = (1, 0, 2)T et v2 = (0, 1, 0)T.
- Une combinaison linéaire de v1 et v2 est tout vecteur de la forme
- L'ensemble de tous les vecteurs de la sorte forme l'espace colonne de A. Dans ce cas, l'espace colonne est précisément l'ensemble de vecteurs (x, y, z) ∈ R3 vérifiant l'équation et (en coordonnées cartésiennes, cet ensemble est un plan de l'espace passant par l'origine).
Bases
Les colonnes de A engendrent l'espace colonne, mais ils n'en forment pas nécessairement une base si les vecteurs colonne ne sont pas linéairement indépendants, auquel cas seul un sous-ensemble de ces vecteurs formera une base. Cependant, les opérations élémentaires sur les lignes n'affectent pas les relations de dépendances sur les vecteurs colonne. Il est ainsi possible d'utiliser la réduction de ligne pour trouver une base de l'espace colonne.
Par exemple, considérons la matrice
Les colonnes de cette matrice engendrent l'espace colonne, mais pour en trouver une base, on transforme A en sa forme échelonnée réduite par lignes par une élimination de Gauss-Jordan
Il apparaît alors que les premier, deuxième et quatrième colonnes sont linéairement indépendantes, mais on a v3 = –2v1 + v2. Ces trois vecteurs forment donc une base de l'espace colonne :
On peut remarquer que les colonnes indépendantes de la forme échelonnée réduite sont précisément les colonnes avec les pivots. On peut ainsi déterminer quelles colonnes sont indépendantes simplement en réduisant à la forme échelonnée. Cet algorithme peut également servir à déterminer les relations de dépendance dans les ensembles de vecteurs, et en extraire une base de tout sous-espace engendré. De même, trouver une base de l'espace colonne de A est équivalent à trouver une base de l'espace ligne de la matrice transposée AT.
Pour trouver une base dans des cas plus pratiques (pour des matrices de grande taille par exemple), on utilise souvent la décomposition en valeurs singulières.
Dimension
La dimension de l'espace colonne est appelé le rang de la matrice. Le rang est égal au nombre de pivots dans la forme échelonnée réduite, et au nombre maximum de colonnes linéairement indépendantes qui peuvent être choisies dans la matrice. Par exemple, la matrice 4 × 4 de l'exemple vu ci-dessus est de rang 3.
Comme l'espace colonne est l'image de la transformation matricielle correspondante, le rang d'une matrice est aussi égal à la dimension de son image. Par exemple, la transformation R4 → R4 décrite par la matrice ci-dessus envoie tout vecteur de R4 sur un sous-espace de R3.
La dimension du noyau est égale au nombre de colonnes de sa forme échelonnée réduite sans pivots (des colonnes sans pivots représentent des variables libres dans le système d'équations linéaires homogène associé). Le rang et la dimension du noyau d'une matrice A de Rn sont liés par la relation suivante :
Ce résultat est connu comme le théorème du rang.
Relation avec le noyau à gauche
Le noyau à gauche ou conoyau de A est l'ensemble des vecteurs x vérifiant xTA = 0T. Il correspond au noyau de la transposée de A. Le produit d'une matrice AT et le vecteur x peut être écrit en termes de produits scalaires de vecteurs :
car les vecteurs ligne de AT sont les transposés des vecteurs colonne vk de A. Ainsi, ATx = 0 si et seulement si x est orthogonal à chaque colonne de A.
Ainsi, le noyau à gauche de A (le noyau de AT) est le complément orthogonal de l'espace colonne de A.
Pour une matrice A, l'espace colonne, l'espace ligne, le noyau et le conoyau sont parfois désignés comme les « quatre sous-espaces fondamentaux ».
Pour les matrices sur un anneau
De façon similaire, l'espace colonne (parfois précisé à droite en cas d'ambiguïtés) peut être défini pour les matrices sur un anneau A comme
pour tout c1, ..., cn, avec un replacement du vecteur du m-espace par un "module libre à droite", qui change l'ordre de la multiplication par un scalaire du vecteur vk par le scalaire ck de sorte qu'il est écrit dans l'ordre non usuel vecteur–scalaire. Cette précision est d'importance sur les anneaux non commutatifs.
Espace des rangées
Définition
Soit K un corps de scalaires. Soit A une matrice m × n, de vecteurs lignes r1, r2, ... , rm. Une combinaison linéaire de ces vecteurs est tout vecteur de la forme
où c1, c2, ... , cm sont des scalaires. L'ensemble de toutes les combinaisons linéaires possibles de r1, ... , rm est appelé l'espace des rangées de A. Ainsi, l'espace des rangées de A est le sous-espace vectoriel engendré des vecteurs r1, ... , rm.
Pour exemple, si
alors les vecteurs sont r1 = (1, 0, 2) et r2 = (0, 1, 0). Une combinaison linéaire de r1 et r2 est tout vecteur de la forme
L'ensemble de tous les vecteurs de la sorte est l'espace des rangées de A. Dans ce cas, l'espace des rangées est précisément l'ensemble des vecteurs (x, y, z) ∈ K3 satisfaisant l'équation z = 2x (par des coordonnées cartésiennes, cet ensemble est un plan de l'espace passant par l'origine).
Pour une matrice qui représente un système linéaire homogène, l'espace des rangées est formé de toutes les équations linéaires construites par combinaison linéaire de celle du système.
Par construction, l'espace des colonnes de A est égale à l'espace des rangées de AT.
Bases
L'espace des rangées n'est pas affecté par les pivots élémentaires sur les lignes. Il est ainsi possible d'utiliser la réduction des lignes pour trouver une base pour l'espace ligne.
Par exemple, on considère la matrice
On la réduit à sa forme échelonnée. On note les lignes r1, r2, r3.
Une fois la matrice réduite sous une forme échelonnée, les lignes non nulles forment une base de l'espace des rangées. Dans ce cas, une base est { (1, 3, 2), (2, 7, 4) }. Une autre est { (1, 0, 2), (0, 1, 0) }, déduite en continuant la réduction. Cet exemple est valide pour les nombres réels, les nombres rationnels et d'autres corps. Cette méthode ne fonctionne pas forcément sur des corps et des anneaux de caractéristique non nulle.
Cet algorithme peut être utilisé de façon générale pour une base pour l'espace généré par un ensemble de vecteurs. Si la matrice est simplifiée en une forme échelonnée, alors la base est entièrement définie par son espace des rangées.
Il est parfois utile de trouver une base de l'espace des rangées parmi les lignes de la matrice originale (par exemple, ce résultat sert de preuve élémentaire que le rang du déterminant d'une matrice est égal à son rang). Comme les opérations sur les lignes peuvent affecter les relations de dépendance linéaire sur les vecteurs lignes, une telle base est trouvée de façon indirecte par le fait que l'espace colonne de AT est égal à l'espace ligne de A. En reprenant l'exemple précédent de la matrice A, on considère AT et on la réduit sous forme échelonnée :
Les pivots indiquent que les deux premières colonnes de AT forment une base de l'espace des colonnes de AT. Ainsi, les deux premières lignes de A (avant toute réduction de ligne) forment également une base de l'espace des rangées de A.
Dimension
La dimension de l'espace des rangées est appelé rang de la matrice. Elle est égale au nombre maximum de lignes de la matrice linéairement indépendantes, et au nombre de pivots. Par exemple, la matrice 3 × 3 de l'exemple précédent a un rang 2.
Le rang d'une matrice est aussi égal à la dimension de son espace colonne.
Relation avec le noyau
Le noyau de la matrice A est l'ensemble de tous les vecteurs x tels que Ax = 0. On peut réécrire le produit matriciel de A et du vecteur x en termes de produits scalaires de vecteurs :
où r1, ... , rm sont les vecteurs ligne de A. Ainsi Ax = 0 si et seulement si x est orthogonal à chaque vecteur ligne de A.
Ainsi, le noyau de A est le complément orthogonal de l'espace des rangées. Par exemple, si l'espace des rangées est un plan passant par l'origine en trois dimensions, le noyau sera alors la droite orthogonale passant par l'origine.
Relation avec la coimage
Si V et W sont des espaces vectoriels, alors le noyau d'une fonction linéaire T: V → W est l'ensemble des vecteurs v ∈ V tels que T(v) = 0W. Le noyau d'une fonction linéaire est analogue au noyau d'une matrice.
Si V est muni d'un produit scalaire, alors le complément orthogonal du noyau peut être vu comme une généralisation de l'espace des rangées. Cet espace est parfois appelé coimage de T. La transformation T est isomorphe à sa coimage, et la coimage est isomorphe à l'image de T.
Si V n'a pas de produit scalaire, la coimage de T peut être définie comme l'espace vectoriel quotient V / ker(T).
Voir aussi
- Sous-espace euclidien
Notes
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Row and column spaces » (voir la liste des auteurs).
- ↑ Anton 1987, p. 179
- ↑ Anton 1987, p. 183
- ↑ Beauregard et Fraleigh 1973, p. 254
Sources
Ouvrages
- Howard Anton, Elementary Linear Algebra, New York, Wiley, , 5th éd. (ISBN 0-471-84819-0)
- (en) Sheldon Jay Axler, Linear Algebra Done Right, New York/Berlin/Heidelberg, Springer-Verlag, , 2nd éd., 251 p. (ISBN 0-387-98259-0)
- Sudipto Banerjee et Anindya Roy, Linear Algebra and Matrix Analysis for Statistics, CRC Press, , 1st éd., 580 p. (ISBN 978-1-4200-9538-8, lire en ligne)
- Raymond A. Beauregard et John B. Fraleigh, A First Course in Linear Algebra : With Optional Introduction to Groups, Rings, and Fields, Boston, Houghton Mifflin Company, , 410 p. (ISBN 0-395-14017-X)
- David C. Lay, Linear Algebra and Its Applications, Addison Wesley, , 3rd éd., 492 p. (ISBN 978-0-321-28713-7)
- Steven J. Leon, Linear Algebra With Applications, Pearson Prentice Hall, , 7th éd.
- Carl D. Meyer, Matrix Analysis and Applied Linear Algebra, Society for Industrial and Applied Mathematics (SIAM), , 718 p. (ISBN 978-0-89871-454-8, lire en ligne [archive du ])
- David Poole, Linear Algebra : A Modern Introduction, Brooks/Cole, , 2nd éd., 712 p. (ISBN 0-534-99845-3)
- Gilbert Strang, Linear Algebra and Its Applications, Brooks Cole, , 4th éd., 487 p. (ISBN 978-0-03-010567-8)
Liens externes
- (en) Eric W. Weisstein, « Row Space », sur MathWorld
- (en) Eric W. Weisstein, « Column Space », sur MathWorld
- Gilbert Strang, MIT Linear Algebra Lecture on the Four Fundamental Subspaces at Google Video, from MIT OpenCourseWare
- Khan Academy video tutorial
- Lecture on column space and nullspace by Gilbert Strang of MIT
- Row Space and Column Space
v · m Algèbre linéaire générale | ||
---|---|---|
| ||
Famille de vecteurs | ![]() | |
Sous-espace | ||
Morphisme et notions relatives |
| |
Dimension finie | ||
Enrichissements de structure | ||
Développements |
|
Portail de l’algèbre