Un espace vectoriel \(E\) est un ensemble non vide dans lequel on peut effectuer des calculs de deux types :
- l'addition de deux éléments de \(E\), appelés les vecteurs ;
- la multiplication d'un vecteur de \(E\) par un réel ; on parle de multiplication externe.
On se reportera au cours de première année pour une définition précise d'un espace vectoriel.
On travaillera presque exclusivement dans l'un des espaces vectoriels usuels suivants :
Soient \(E\) un espace vectoriel et \(F\) une partie de \(E\). On dit que \(F\) est un sous-espace vectoriel de \(E\) si :
- \(F\) contient le vecteur nul \(0_E\) ;
- \(F\) est stable par addition, i.e. pour tout couple \((x, y)\) de vecteurs de \(F\), le vecteur \(x + y\) appartient encore à \(F\) ;
- \(F\) est stable par la multiplication externe, i.e. pour tout vecteur \(x\) de \(F\) et pour tout réel \(\lambda\), le vecteur \(\lambda x\) appartient encore à \(F\).
- Dans la pratique, on peut rassembler les points 2 et 3 en vérifiant la stabilité par combinaison linéaire : pour tout couple \((x, y)\) de vecteurs de \(F\) et tout réel \(\lambda\), le vecteur \(\lambda x + y\) appartient à \(F\).
- Un sous-espace vectoriel est un espace vectoriel.
- Si \(E\) est un espace vectoriel, \(\{0_E\}\) et \(E\) sont des sous-espaces vectoriels de \(E\), dits triviaux.
- Si \(E\) est un espace vectoriel et si \(u\) est un vecteur de \(E\), la partie \(\{u\}\) n'est pas un sous-espace vectoriel de \(E\), sauf si \(u = 0_E\).
- Pour tout \(n \in \mathbb{N}\), l'ensemble \(\mathbb{R}_n[x]\) des polynômes de degré inférieur ou égal à \(n\) est un sous-espace vectoriel de \(\mathbb{R}[x]\).
Soient \(E\) un espace vectoriel, \(u\) et \(v\) deux vecteurs de \(E\).
- On dit que \(u\) et \(v\) sont colinéaires s'il existe un réel \(\lambda\) vérifiant \(v = \lambda u\) ou \(u = \lambda v\).
- On suppose le vecteur \(u\) non nul. L'ensemble \(\{\lambda u,\ \lambda \in \mathbb{R}\} = \Vect(u)\) des vecteurs de \(E\) colinéaires à \(u\) est un sous-espace vectoriel de \(E\), appelé la droite vectorielle engendrée par \(u\).
- On suppose les vecteurs \(u\) et \(v\) non colinéaires. L'ensemble \(\{\lambda u + \mu v,\ (\lambda, \mu) \in \mathbb{R}^2\} = \Vect(u, v)\) est un sous-espace vectoriel de \(E\), appelé le plan vectoriel engendré par \(u\) et \(v\).
- Un espace vectoriel qui contient un vecteur non nul \(u\) contient nécessairement la droite vectorielle \(\Vect(u)\). Autrement dit, \(\Vect(u)\) est le plus petit (au sens de l'inclusion) sous-espace vectoriel de \(E\) contenant le vecteur \(u\).
- De même, le plan vectoriel engendré par \(u\) et \(v\) est le plus petit (au sens de l'inclusion) sous-espace vectoriel de \(E\) contenant les vecteurs \(u\) et \(v\).
Soient \(n \in \mathbb{N}^*\) et \(E\) un espace vectoriel. On suppose que \((u_1, \dots, u_n)\) est une famille (finie) de vecteurs de \(E\). On appelle combinaison linéaire des vecteurs \(u_1, \dots, u_n\) tout vecteur de \(E\) pouvant s'écrire sous la forme \(\displaystyle\sum_{i=1}^{n} \lambda_i u_i\), où \(\lambda_1, \dots, \lambda_n\) sont des réels.
- Si \(E\) est un espace vectoriel non réduit à \(\{0_E\}\), l'ensemble des combinaisons linéaires d'un vecteur \(u\) non nul de \(E\) est la droite vectorielle \(\Vect(u)\) engendrée par \(u\).
- Tout vecteur \(u = (x, y)\) de \(\mathbb{R}^2\) est combinaison linéaire des deux vecteurs \((1, 0)\) et \((0, 1)\) ; en effet, \((x, y) = x(1, 0) + y(0, 1)\). Tout vecteur \(u = (x, y)\) de \(\mathbb{R}^2\) est aussi combinaison linéaire des deux vecteurs \((1, 1)\) et \((2, -5)\) : en résolvant l'équation vectorielle \(u = \lambda(1, 1) + \mu(2, -5)\), d'inconnue \((\lambda, \mu) \in \mathbb{R}^2\), qui équivaut au système \(\left\{\begin{array}{l} x = \lambda + 2\mu \\ y = \lambda - 5\mu \end{array}\right.\), on obtient \(u = (x, y) = \dfrac{5x + 2y}{7}(1, 1) + \dfrac{x - y}{7}(2, -5)\).
- Tout polynôme \(P\) de \(\mathbb{R}[x]\) est combinaison linéaire des polynômes \(1, X, \dots, X^n\), pour tout \(n \geqslant \deg P\).
Soient \(n \in \mathbb{N}^*\) et \(E\) un espace vectoriel. On suppose que \((u_1, \dots, u_n)\) est une famille (finie) de vecteurs de \(E\). On dit que la famille \((u_1, \dots, u_n)\) est génératrice de \(E\) si tout vecteur de \(E\) peut s'écrire comme combinaison linéaire des vecteurs \(u_1, \dots, u_n\).
- Si \(u\) est un vecteur non nul d'un espace vectoriel \(E\), tout vecteur \(v\) non nul colinéaire à \(u\) est générateur de la droite vectorielle \(\Vect(u)\). On a ainsi \(\Vect(u) = \Vect(v)\).
- La famille \((1, X, \dots, X^n)\) est génératrice de l'espace vectoriel \(\mathbb{R}_n[x]\) ; elle n'est pas génératrice de l'espace \(\mathbb{R}_{n+1}[x]\).
- La famille des matrices élémentaires \(E_{i,j}\), \(1 \leqslant i \leqslant n\), \(1 \leqslant j \leqslant p\), est génératrice de l'espace vectoriel \(\MM_{n,p}(\mathbb{R})\).
Soit \(E\) un espace vectoriel. On dit que \(E\) est de dimension finie s'il admet une famille génératrice finie. On dit que \(E\) est de dimension infinie dans le cas contraire.
- On déduit des exemples ci-dessus que les droites vectorielles, l'espace \(\mathbb{R}_n[x]\) des polynômes de degré inférieur ou égal à \(n\) et l'espace \(\MM_{n,p}(\mathbb{R})\) sont des espaces vectoriels de dimension finie.
- L'espace \(\mathbb{R}[x]\) n'admet pas de famille génératrice finie (penser au degré), donc c'est un espace vectoriel de dimension infinie.
Soient \(n \in \mathbb{N}^*\), \(E\) un espace vectoriel et \((u_1, \dots, u_n)\) une famille de vecteurs de \(E\). On dit que la famille \((u_1, \dots, u_n)\) est libre si la seule combinaison linéaire nulle de ces \(n\) vecteurs est la combinaison triviale, c'est-à-dire celle dont tous les coefficients réels sont nuls, i.e.
La famille est dite liée dans le cas contraire, i.e. s'il existe \(n\) scalaires non tous nuls tels que \(\displaystyle\sum_{i=1}^{n} \lambda_i u_i = 0_E\).
- La famille \((1, X, \dots, X^n)\) est libre dans \(\mathbb{R}[x]\).
- La famille \((X, X - 1, 2X + 3)\) est liée, puisqu'on peut trouver une combinaison linéaire nulle des vecteurs de cette famille à coefficients non tous nuls : \(-5X + 3(X - 1) + (2X + 3) = 0\).
Ce résultat n'est plus vrai s'il y a plus de deux vecteurs. Les trois vecteurs ci-dessous sont deux à deux non colinéaires ; pourtant ils forment une famille liée (on trouve une combinaison linéaire nulle de ces vecteurs à coefficients non tous nuls : \(1 \times \vec u + \vec v - 1 \times (\vec u + \vec v) = \vec 0\)).
Soient \(n \in \mathbb{N}^*\), \(E\) un espace vectoriel et \((u_1, \dots, u_n)\) une famille de vecteurs de \(E\). La famille \((u_1, \dots, u_n)\) est libre si et seulement si tout vecteur combinaison linéaire des vecteurs \(u_1, \dots, u_n\) se décompose de façon unique comme combinaison linéaire de ces vecteurs.
- Toute famille extraite d'une famille libre est libre.
- Toute famille contenant une famille liée est liée.
- Toute famille contenant le vecteur nul est liée.
- Toute famille réduite à un unique vecteur non nul est libre.
Une famille de vecteurs \((u_1, \dots, u_n)\) d'un espace vectoriel \(E\) est liée si et seulement si l'un des vecteurs est combinaison linéaire des autres, i.e. il existe \(i \in \{1, \dots, n\}\) tel que \(u_i\) est combinaison linéaire des \(u_k\) pour \(k \in \{1, \dots, n\}\setminus\{i\}\).
Lorsqu'une famille est liée, tout vecteur n'est pas nécessairement combinaison linéaire des autres ; on sait simplement que l'un (au moins) d'entre eux est combinaison linéaire des autres. Illustration : ici, la famille \((u, v, w)\) est liée (puisqu'on a \(2 \times u - 1 \times v - 0 \times w = 0_{\mathbb{R}^2}\)), mais le vecteur \(w\) n'est pas combinaison linéaire de \(u\) et \(v\).
Une famille de polynômes non nuls de degrés deux à deux distincts est libre.
Exemple. On peut affirmer que la famille de polynômes suivante est libre dans \(\mathbb{R}[x]\) :
La réciproque est fausse. Des polynômes peuvent parfaitement former une famille libre sans être de degrés deux à deux distincts ; ils peuvent même former une famille libre tout en étant tous de même degré.
Soient \(E\) un espace vectoriel et \(n \in \mathbb{N}^*\).
- Si \(\mathscr{F}\) est une famille de \(n\) vecteurs de \(E\), alors toute famille de \(n+1\) vecteurs combinaisons linéaires d'éléments de \(\mathscr{F}\) est liée.
- Corollaire en dimension finie. On suppose que l'espace \(E\) est de dimension finie et que \(\mathscr{G}\) en est une famille (finie) génératrice. Si \(\mathscr{L}\) est une famille libre, alors la famille \(\mathscr{L}\) est finie et vérifie \(\Card(\mathscr{L}) \leqslant \Card(\mathscr{G})\).
Soient \(E\) un espace vectoriel et \(n \in \mathbb{N}^*\). On dit qu'une famille finie \((u_1, \dots, u_n)\) de vecteurs de \(E\) est une base de \(E\) si cette famille est à la fois libre et génératrice.
Soient \(E\) un espace vectoriel et \((u_1, \dots, u_n)\) une famille de vecteurs de \(E\). Alors la famille \((u_1, \dots, u_n)\) est une base de \(E\) si et seulement si tout vecteur de \(E\) peut s'écrire de façon unique comme combinaison linéaire des vecteurs de la famille \((u_1, \dots, u_n)\).
Autrement dit, la famille de vecteurs \((u_1, \dots, u_n)\) est une base de \(E\) si et seulement si l'application suivante est bijective :
- Soit \(n \in \mathbb{N}^*\) ; pour tout \(i \in \llbracket 1, n \rrbracket\), posons \(e_i = (0, \dots, 0, 1, 0, \dots, 0)\), où le « 1 » est en \(i\)-ème position. La famille \((e_1, \dots, e_n)\) est clairement une base de \(\mathbb{R}^n\), appelée base canonique de \(\mathbb{R}^n\).
- La famille \((1, X, \dots, X^n)\) est une base de \(\mathbb{R}_n[x]\), appelée la base canonique de \(\mathbb{R}_n[x]\).
- Un espace vectoriel de dimension finie non nulle n'admet pas toujours de base canonique. Par exemple, \(D = \{(x, y) \in \mathbb{R}^2 \,;\, x + y = 0\}\) est la droite vectorielle de \(\mathbb{R}^2\) engendrée par le vecteur \(u = (1, -1)\), et c'est aussi la droite vectorielle de \(\mathbb{R}^2\) engendrée par le vecteur \(v = (-1, 1)\). On a \(D = \Vect(u) = \Vect(v)\). Aucune base de \(D\) n'est privilégiée.
- Aucune famille finie de vecteurs de \(\mathbb{R}[x]\) n'est génératrice de \(\mathbb{R}[x]\) (il suffit de penser au degré) ; par conséquent, \(\mathbb{R}[x]\) n'admet pas de base comportant un nombre fini de vecteurs.
Soit \(E\) un espace vectoriel de dimension finie, non réduit à \(\{0_E\}\). Alors :
- de toute famille génératrice de \(E\), on peut extraire une base de \(E\) ;
- corollaire : \(E\) admet au moins une base ;
- toutes les bases de \(E\) ont même cardinal, que l'on appelle la dimension de \(E\), et que l'on note \(\dim E\).
Par convention, on pose \(\dim(\{0_E\}) = 0\).
- Une droite vectorielle est un espace vectoriel engendré par un vecteur non nul ; de façon équivalente, c'est un espace vectoriel de dimension 1.
- Un plan vectoriel est un espace vectoriel engendré par deux vecteurs non colinéaires ; de façon équivalente, c'est un espace vectoriel de dimension 2.
- Soit \(E\) un espace vectoriel de dimension \(n \in \mathbb{N}^*\). On appelle hyperplan de \(E\) tout sous-espace vectoriel de \(E\) de dimension \(n - 1\).
Ainsi, tout plan vectoriel de \(\mathbb{R}^3\) est un hyperplan de \(\mathbb{R}^3\). Pour tout \(n \in \mathbb{N}^*\), \(\mathbb{R}_{n-1}[x]\) est un hyperplan de \(\mathbb{R}_n[x]\).
Soit \(E\) un espace vectoriel de dimension finie \(n \in \mathbb{N}^*\). Alors :
- toute famille libre de \(E\) comporte au plus \(n\) vecteurs ;
- toute famille comportant au moins \(n + 1\) vecteurs est liée ;
- toute famille génératrice de \(E\) comporte au moins \(n\) vecteurs ;
- toute famille libre comportant \(n\) vecteurs de \(E\) est une base de \(E\) ;
- toute famille génératrice comportant \(n\) vecteurs de \(E\) est une base de \(E\).
Pour tout réel \(a\), la famille \((1, X - a, (X - a)^2, \dots, (X - a)^n)\) est une famille de polynômes non nuls de degrés deux à deux distincts, donc elle est libre. De plus, c'est une famille de \(n + 1\) vecteurs de l'espace \(\mathbb{R}_n[x]\), de dimension \(n + 1\), donc c'en est une base. Ainsi, pour tout \(P \in \mathbb{R}_n[x]\), il existe un unique \((n+1)\)-uplet \((\lambda_0, \dots, \lambda_n) \in \mathbb{R}^{n+1}\) tel que :
En évaluant en \(a\), on obtient \(\lambda_0 = P(a)\). En dérivant puis évaluant en \(a\), on obtient \(\lambda_1 = P'(a)\). En dérivant deux fois puis évaluant en \(a\), on obtient \(2\lambda_2 = P''(a)\), etc. Par une récurrence immédiate, pour tout \(k \in \llbracket 0, n \rrbracket\), \(k!\,\lambda_k = P^{(k)}(a)\). On retrouve ainsi la formule de Taylor pour les polynômes :
On appelle déterminant de la matrice \(A = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \MM_2(\mathbb{R})\) le réel :
Soient \(E\) un espace vectoriel de dimension 2, \(\BB\) une base de \(E\), \(u\) et \(v\) deux vecteurs de \(E\), et \(A\) la matrice de la famille \((u, v)\) dans la base \(\BB\). Alors la famille \((u, v)\) est une base de \(E\) si et seulement si \(\det A \neq 0\).
Dans un espace vectoriel \(E\) de dimension finie, toute famille libre peut être complétée en une base de \(E\). Plus précisément, si \(E\) est un espace vectoriel de dimension finie \(n \in \mathbb{N}^*\), et si \((u_1, \dots, u_p)\) est une famille libre de vecteurs de \(E\) (et donc \(1 \leqslant p \leqslant n\)), alors :
- il existe \(n - p\) vecteurs de \(E\), notés \(u_{p+1}, \dots, u_n\), tels que la famille \((u_1, \dots, u_p, u_{p+1}, \dots, u_n)\) soit une base de \(E\) (forme « faible ») ;
- si \(\mathscr{G}\) est une famille génératrice de \(E\), il existe \(n - p\) vecteurs de \(\mathscr{G}\), notés \(g_{p+1}, \dots, g_n\), tels que la famille \((u_1, \dots, u_p, g_{p+1}, \dots, g_n)\) soit une base de \(E\) (forme « forte »).
Soient \(E\) un espace vectoriel de dimension finie et \(F\) un sous-espace vectoriel de \(E\). Alors :
- l'espace vectoriel \(F\) est de dimension finie et on a \(\dim F \leqslant \dim E\) ;
- on a \(E = F\) si et seulement si \(\dim F = \dim E\) ;
- corollaire : si \(G\) est un sous-espace vectoriel de \(E\), alors \(F = G \iff \left\{\begin{array}{l} F \subset G \\ \dim F = \dim G. \end{array}\right.\)
Étant donné une famille de vecteurs d'un espace vectoriel \(E\), on cherche à décrire le plus petit sous-espace vectoriel de \(E\) contenant ces vecteurs.
Soient \(E\) un espace vectoriel, \(n \in \mathbb{N}^*\) et \((u_1, \dots, u_n)\) une famille de vecteurs de \(E\). L'ensemble des combinaisons linéaires des vecteurs de cette famille est un sous-espace vectoriel de \(E\), appelé le sous-espace vectoriel engendré par la famille \((u_1, \dots, u_n)\) ; on le note \(\Vect(u_1, \dots, u_n)\). Par convention, on pose \(\Vect(\varnothing) = \{0_E\}\).
Soient \(E\) un espace vectoriel et \(n \in \mathbb{N}^*\).
- Si \((u_1, \dots, u_n)\) est une famille libre de \(E\), alors c'est une base du sous-espace vectoriel \(\Vect(u_1, \dots, u_n)\).
- Si \(u\) appartient à \(\Vect(u_1, \dots, u_n)\), alors \(\Vect(u_1, \dots, u_n, u) = \Vect(u_1, \dots, u_n)\).
- Le sous-espace vectoriel \(\Vect(u_1, \dots, u_n)\) n'est pas modifié si l'on ajoute à l'un des vecteurs \(u_i\) une combinaison linéaire des autres vecteurs \(u_j\), \(j \neq i\), opération notée \(u_i \leftarrow u_i + \sum_{j \neq i} \alpha_j u_j\).
- Si \((u_1, \dots, u_n)\) est une famille libre de \(E\) et si \(u\) est un vecteur de \(E\) n'appartenant pas à \(\Vect(u_1, \dots, u_n)\), alors la famille \((u_1, \dots, u_n, u)\) est encore libre.
- Dans la pratique, pour trouver une base d'un espace vectoriel \(\Vect(u_1, \dots, u_n)\), on regarde si la famille \((u_1, \dots, u_n)\) est libre. Si elle ne l'est pas, on écrit l'un des vecteurs comme combinaison linéaire des autres, puis on le supprime, grâce au point 2 de la proposition ci-dessus, et on recommence… Ce procédé est important.
- On a vu plus haut que, par définition, une droite vectorielle est un sous-espace vectoriel engendré par un vecteur non nul. On a défini un plan vectoriel comme étant un sous-espace vectoriel engendré par deux vecteurs non colinéaires. Autrement dit, par définition, un plan vectoriel de \(E\) est un sous-espace vectoriel \(F\) de \(E\) tel qu'il existe deux vecteurs \(u\) et \(v\) de \(E\) non colinéaires vérifiant \(F = \Vect(u, v)\).
Soient \(E\) un espace vectoriel (pas nécessairement de dimension finie), \(p \in \mathbb{N}^*\) et \((u_1, \dots, u_p)\) une famille de vecteurs de \(E\). On appelle rang de la famille \((u_1, \dots, u_p)\) la dimension de l'espace vectoriel \(\Vect(u_1, \dots, u_p)\) (qui, lui, est toujours de dimension finie). On note :
Soient \(E\) un espace vectoriel, \(p \in \mathbb{N}^*\) et \((u_1, \dots, u_p)\) une famille de vecteurs de \(E\).
- On a \(\rg(u_1, \dots, u_p) \leqslant p\).
- Si de plus l'espace vectoriel \(E\) est de dimension finie \(n\), on a \(\rg(u_1, \dots, u_p) \leqslant \min(n, p)\).
- Si de plus \(u_1, \dots, u_p\) sont non tous nuls, le rang de \((u_1, \dots, u_p)\) est le nombre maximal de vecteurs extraits de cette famille et formant une famille libre.
- La famille \(\mathscr{F}_1 = \left((3, -1), \left(\frac{1}{7}, \sqrt{2}\right), \left(\frac{\pi}{4}, 57\right), (-5, \ln 2)\right)\) de vecteurs de \(\mathbb{R}^2\) est de rang 2 (puisqu'elle contient deux vecteurs non colinéaires dans un espace de dimension 2).
- La famille \(\mathscr{F}_2 = ((1, 1, 0, 0), (0, 1, -1, -1), (0, 0, 1, 1))\) est libre, donc de rang 3 dans \(\mathbb{R}^4\).
- Considérons la famille \[\mathscr{F}_3 = ((1, 1, 0, 0), (0, 1, -1, -1), (0, 0, 1, 1), (1, 2, -1, -1)).\] Elle contient une famille de rang 3 (voir l'exemple précédent), d'où l'inégalité \(\rg \mathscr{F}_3 \geqslant 3\). Le dernier vecteur est la somme des deux premiers ; ainsi, le nombre maximal de vecteurs extraits de la famille \(\mathscr{F}_3\) et formant une famille libre est 3. On en déduit \(\rg \mathscr{F}_3 = 3\).
Comment déterminer dans la pratique le rang d'une famille de vecteurs ? La proposition suivante fournit une réponse.
On ne change pas le rang d'une famille de vecteurs d'un espace vectoriel \(E\) en effectuant l'une des opérations élémentaires suivantes :
- échanger des vecteurs ;
- retirer un vecteur de la famille qui est combinaison linéaire des autres ;
- multiplier un vecteur de la famille par un réel non nul ;
- ajouter à un vecteur de la famille une combinaison linéaire des autres.
Soient \(E\) un espace vectoriel, \(F\) et \(G\) deux sous-espaces vectoriels de \(E\). On appelle somme des deux sous-espaces vectoriels \(F\) et \(G\), et on note \(F + G\), l'ensemble des vecteurs de \(E\) qui peuvent s'écrire comme somme d'un vecteur de \(F\) et d'un vecteur de \(G\). Autrement dit :
Ne pas confondre la réunion \(F \cup G\) (qui n'est pas un sous-espace vectoriel si \(F \not\subset G\) et \(G \not\subset F\)) et la somme \(F + G\) (qui est un sous-espace vectoriel, « beaucoup plus gros » que l'ensemble \(F \cup G\)).
Soient \(E\) un espace vectoriel, \(F\) et \(G\) deux sous-espaces vectoriels de \(E\). Alors la somme \(F + G\) est un sous-espace vectoriel de \(E\). C'est le plus petit sous-espace vectoriel de \(E\) contenant \(F\) et \(G\).
Exemple. Si \(u\) et \(v\) sont deux vecteurs d'un espace vectoriel \(E\), on a \(\Vect(u) + \Vect(v) = \Vect(u, v)\). Plus généralement, si \(u_1, \dots, u_p\) et \(v_1, \dots, v_q\) sont des vecteurs d'un espace vectoriel \(E\), on a :
Soient \(E\) un espace vectoriel, \(F\) et \(G\) deux sous-espaces vectoriels de \(E\). On dit que les deux sous-espaces \(F\) et \(G\) sont en somme directe si tout vecteur du sous-espace somme \(F + G\) peut s'écrire de façon unique comme somme d'un vecteur de \(F\) et d'un vecteur de \(G\). Si \(F\) et \(G\) sont en somme directe, on note \(F \oplus G\) la somme de \(F + G\).
Soient \(E\) un espace vectoriel, \(F\) et \(G\) deux sous-espaces vectoriels de \(E\). Alors :
Soient \(F\) et \(G\) deux sous-espaces vectoriels d'un espace vectoriel \(E\). On dit que \(F\) et \(G\) sont supplémentaires dans \(E\) si tout vecteur de \(E\) peut s'écrire de façon unique comme somme d'un vecteur de \(F\) et d'un vecteur de \(G\), autrement dit si :
- \(E = F + G\) ;
- la somme \(F + G\) est directe.
On a donc dans ce cas : \(F \oplus G = E\).
Illustration pour un espace \(E\) de dimension 3, dans le cas où \(F\) est un plan vectoriel (un sous-espace de dimension 2 ; ici, c'est aussi un hyperplan) et \(G = \Vect(u)\), où \(u\) est un vecteur n'appartenant pas à \(F\) ; dans ce cas, on a \(E = F \oplus \Vect(u)\) :
On suppose que \(F\) et \(G\) sont deux sous-espaces vectoriels non triviaux d'un espace vectoriel \(E\). Soient \(\BB_F\) une base de \(F\), \(\BB_G\) une base de \(G\), et \(\BB\) la famille obtenue en concaténant les familles \(\BB_F\) et \(\BB_G\). Alors \(F\) et \(G\) sont supplémentaires dans \(E\) si et seulement si \(\BB\) est une base de \(E\).
- \((1, X, X^2, X^3)\) est une base de \(\mathbb{R}_3[x]\), donc les sous-espaces vectoriels \(\mathbb{R}_2[x] = \Vect(1, X, X^2)\) et \(\Vect(X^3)\) sont supplémentaires dans \(\mathbb{R}_3[x]\). On écrit : \(\mathbb{R}_3[x] = \mathbb{R}_2[x] \oplus \Vect(X^3)\).
- Soient \(P_0 = (X-1)(X-2)(X-3)\), \(P_1 = X(X-2)(X-3)\), \(P_2 = X(X-1)(X-3)\) et \(P_3 = X(X-1)(X-2)\). La famille \((P_0, P_1, P_2, P_3)\) est une famille libre de \(\mathbb{R}_3[x]\) ; c'est une famille de cardinal 4 dans l'espace vectoriel \(\mathbb{R}_3[x]\) de dimension 4, donc c'en est une base. On a donc : \(\mathbb{R}_3[x] = \Vect(P_0, P_1) \oplus \Vect(P_2, P_3)\).
- Ne pas confondre « supplémentaire » avec « complémentaire ».
- « En général », un sous-espace vectoriel admet une infinité de supplémentaires. Autrement dit, on ne dit pas « le » supplémentaire mais « un » supplémentaire. Exemple : \(\mathbb{R}_3[x] = \mathbb{R}_2[x] \oplus \Vect(X^3) = \mathbb{R}_2[x] \oplus \Vect(X^3 + 1)\).
Soient \(E\) un espace vectoriel de dimension finie, \(F\) et \(G\) deux sous-espaces vectoriels de \(E\).
- Cas particulier : si \(F\) et \(G\) sont en somme directe, alors \(\dim(F \oplus G) = \dim F + \dim G\).
- Cas général : \(\dim(F + G) = \dim F + \dim G - \dim(F \cap G)\).
- Conséquence : \(\dim(F + G) = \dim F + \dim G \iff F\) et \(G\) sont en somme directe.
Soient \(E\) un espace vectoriel de dimension finie, \(F\) et \(G\) deux sous-espaces vectoriels de \(E\). Alors :
Soient \(E\) un espace vectoriel de dimension finie et \(F\) un sous-espace vectoriel de \(E\). Alors \(F\) admet un supplémentaire dans \(E\).
Soient \(E\) et \(F\) deux espaces vectoriels et \(f\) une application de \(E\) dans \(F\). On dit que \(f\) est linéaire si, pour tous vecteurs \(x, y\) de \(E\) et tout réel \(\lambda\), on a :
- Si \(f\) est linéaire et si \(F = \mathbb{R}\), on dit que \(f\) est une forme linéaire.
- Si \(f\) est linéaire et si \(E = F\), on dit que \(f\) est un endomorphisme.
- Si \(f\) est linéaire bijective de \(E\) sur \(F\), on dit que \(f\) est un isomorphisme.
- Si \(f\) est à la fois un endomorphisme et un isomorphisme, on dit que c'est un automorphisme.
On note \(\LL(E, F)\) l'ensemble des applications linéaires de \(E\) dans \(F\), \(\LL(E)\) l'ensemble des endomorphismes de \(E\) et \(\GL(E)\) l'ensemble des automorphismes de \(E\).
Quelques exemples classiques, dans des espaces vectoriels variés :
Soient \(E\) et \(F\) deux espaces vectoriels et \(f\) une application linéaire de \(E\) dans \(F\). On a alors :
- \(f(0_E) = 0_F\) (l'image du vecteur nul par une application linéaire est toujours le vecteur nul) ;
- l'image par \(f\) d'un sous-espace vectoriel de \(E\) est un sous-espace vectoriel de \(F\).
Soient \(E\) et \(F\) deux espaces vectoriels et \(f\) un isomorphisme de \(E\) sur \(F\). Alors sa bijection réciproque \(f^{-1}\) est une application linéaire de \(F\) sur \(E\). En particulier, si \(F = E\) : \(f \in \GL(E) \implies f^{-1} \in \GL(E)\).
Soient \(E\) un espace vectoriel de dimension finie non nulle \(n\), \(\BB = (e_1, \dots, e_n)\) une base de \(E\) et \(x\) un vecteur de \(E\). Il existe donc un unique \(n\)-uplet de réels \((x_1, \dots, x_n) \in \mathbb{R}^n\) tel que \(x = x_1 e_1 + \cdots + x_n e_n = \displaystyle\sum_{i=1}^{n} x_i e_i\). Les coefficients \(x_1, \dots, x_n\) sont appelés les coordonnées du vecteur \(x\) dans la base \(\BB\).
On appelle matrice du vecteur \(x\) dans la base \(\BB\) la matrice colonne \(X\) de \(\MM_{n,1}(\mathbb{R})\) dont les coefficients sont les coordonnées de \(x\) dans la base \(\BB\) :
L'application \(\varphi : x \in E \longmapsto \Mat_{\BB}(x) \in \MM_{n,1}(\mathbb{R})\) est une bijection.
La phrase « on considère la matrice du vecteur \(x\) » n'a pas de sens ; il faut préciser quelle base de \(E\) on choisit.
Soient \(E\) un espace vectoriel de dimension finie \(n \in \mathbb{N}^*\), \(\BB = (e_1, \dots, e_n)\) une base de \(E\), \(p \in \mathbb{N}^*\) et \(\mathscr{F} = (u_1, \dots, u_p)\) une famille de vecteurs de \(E\). On appelle matrice de la famille \(\mathscr{F}\) dans la base \(\BB\) la matrice à \(n\) lignes et \(p\) colonnes dont les colonnes sont constituées par les matrices colonnes des vecteurs \(u_1, \dots, u_p\) dans la base \(\BB\). Plus précisément, pour tout \(j \in \{1, \dots, p\}\), en notant \(\Mat_{\BB}(u_j) = \begin{pmatrix} u_{1,j} \\ \vdots \\ u_{n,j} \end{pmatrix}\), la matrice de la famille \(\mathscr{F}\) dans la base \(\BB\) est :
Soient \(E\) et \(F\) deux espaces vectoriels, \(E\) de dimension finie. Une application linéaire de \(E\) dans \(F\) est entièrement déterminée par la donnée de l'image d'une base de \(E\). Plus précisément, si \((e_1, \dots, e_p)\) est une base de \(E\), et si \((u_1, \dots, u_p)\) est une famille quelconque de \(p\) vecteurs de \(F\), il existe une et une seule application linéaire \(f : E \to F\) vérifiant \(f(e_j) = u_j\) pour tout \(j \in \{1, \dots, p\}\).
- Dans la pratique, ceci permet par exemple de dire, si \((e_1, e_2)\) est une base de \(\mathbb{R}^2\) et \((u_1, u_2, u_3)\) une base de \(\mathbb{R}^3\) : « soit \(f\) l'application linéaire de \(\mathbb{R}^2\) dans \(\mathbb{R}^3\) définie par \(f(e_1) = u_1 + u_2 + u_3\) et \(f(e_2) = 3u_1 - 2u_3\) ».
- Ce résultat est crucial : pour connaître complètement une application linéaire entre deux espaces de dimension finie, il suffit de consigner dans une matrice les coordonnées dans une base de \(F\) des images des vecteurs d'une base de \(E\). C'est ce qui va permettre d'introduire la notion de matrice d'une application linéaire dans des bases.
Soient \(E\) et \(F\) deux espaces vectoriels de dimension finie non nulle. On note \(p = \dim E\) et \(n = \dim F\). Une base \(\BB_E = (e_1, \dots, e_p)\) de \(E\) et une base \(\BB_F = (v_1, \dots, v_n)\) de \(F\) étant fixées, on appelle matrice de l'application linéaire \(f\) dans les bases \(\BB_E\) et \(\BB_F\), et on note \(\Mat_{\BB_F, \BB_E}(f)\), la matrice de la famille de vecteurs \((f(e_1), \dots, f(e_p))\) exprimés dans la base \(\BB_F\), i.e.
D'après la proposition précédente, l'application \(\varphi : f \in \LL(E, F) \longmapsto \Mat_{\BB_F, \BB_E}(f) \in \MM_{n,p}(\mathbb{R})\) est une bijection.
Là encore, la phrase « la matrice de \(f\) » n'a pas de sens ; il faut préciser les bases pour cela.
Soient \((n, p) \in (\mathbb{N}^*)^2\) et \(A \in \MM_{n,p}(\mathbb{R})\). On appelle application linéaire canoniquement associée à \(A\) l'unique application linéaire \(f\) de \(\mathbb{R}^p\) dans \(\mathbb{R}^n\) dont la matrice est \(A\) dans les bases canoniques de \(\mathbb{R}^p\) et \(\mathbb{R}^n\).
Soient \(E\) et \(F\) deux espaces vectoriels. Si \(f\) et \(g\) sont deux éléments de \(\LL(E, F)\) et \(\lambda\) un réel, on définit les applications \(f + g\) et \(\lambda f\) par :
Soient \(E\) et \(F\) deux espaces vectoriels. Muni de ces opérations (addition et multiplication externe), l'ensemble \(\LL(E, F)\) est un espace vectoriel.
Lorsque \(E\) n'est pas réduit à \(\{0_E\}\), \(\GL(E)\) n'est pas un sous-espace vectoriel de \(\LL(E)\). En effet, l'endomorphisme nul n'est pas bijectif.
Soient deux espaces vectoriels de dimension finie non nulle : \(E\), de dimension \(p\), muni d'une base \(\BB_E\), et \(F\), de dimension \(n\), muni d'une base \(\BB_F\). Soient \(f\) et \(g\) deux applications linéaires de \(E\) dans \(F\), et \(\lambda\) un réel. On a alors :
Ainsi, l'application \(\varphi : f \in \LL(E, F) \longmapsto \Mat_{\BB_F, \BB_E}(f) \in \MM_{n,p}(\mathbb{R})\) est un isomorphisme.
Soient \(E, F, G\) trois espaces vectoriels. Soient \(f_1, f_2\) et \(f\) des applications linéaires de \(E\) dans \(F\), \(g_1, g_2\) et \(g\) des applications linéaires de \(F\) dans \(G\). Alors :
- l'application \(g \circ f\) est linéaire, autrement dit \(g \circ f \in \LL(E, G)\) ;
- si de plus \(f\) et \(g\) sont des isomorphismes, alors \(g \circ f\) est un isomorphisme (on sait déjà qu'une composée de bijections est une bijection, indépendamment de la linéarité) ;
- \(g \circ (f_1 + f_2) = g \circ f_1 + g \circ f_2\) (découle de la linéarité de \(g\)) ;
- \((g_1 + g_2) \circ f = g_1 \circ f + g_2 \circ f\) (découle de la définition de la somme de deux applications linéaires).
Soient \(E\) et \(F\) deux espaces vectoriels de dimension finie non nulle, munis de bases \(\BB_E\) et \(\BB_F\) respectivement, \(f\) une application linéaire de \(E\) dans \(F\) et \(x\) un vecteur de \(E\). Alors :
On pourrait résumer cette proposition en disant qu'en dimension finie, évaluer une application linéaire en un vecteur (c'est-à-dire calculer \(f(x)\)) revient à effectuer un produit matriciel (d'une matrice « rectangulaire » par une matrice colonne). La proposition qui suit est fondamentale ; elle permet de comprendre pourquoi on a défini le produit matriciel d'une façon qui pouvait sembler étrange à première vue.
On se donne trois espaces vectoriels de dimension finie non nulle et deux applications linéaires :
- \(E\), de dimension \(q\), muni d'une base \(\BB_E\) ; \(F\), de dimension \(p\), muni d'une base \(\BB_F\) ; \(G\), de dimension \(n\), muni d'une base \(\BB_G\) ;
- \(f \in \LL(E, F)\), \(g \in \LL(F, G)\), d'où \(E \xrightarrow{\ f\ } F \xrightarrow{\ g\ } G\) et \(g \circ f \in \LL(E, G)\).
On a alors :
Dans le cas particulier où les espaces vectoriels \(E\) et \(F\) ont même dimension finie non nulle, on en déduit un lien entre isomorphismes et matrices inversibles :
Soient \(E\) et \(F\) deux espaces vectoriels de même dimension finie non nulle, \(\BB_E\) une base de \(E\), \(\BB_F\) une base de \(F\), \(f \in \LL(E, F)\) et \(A = \Mat_{\BB_F, \BB_E}(f)\). Alors :
Dans ce cas, on a : \(\Mat_{\BB_E, \BB_F}(f^{-1}) = \big(\Mat_{\BB_F, \BB_E}(f)\big)^{-1} = A^{-1}\).
Soit \(E\) un espace vectoriel. On peut toujours composer deux endomorphismes de \(E\). En particulier, on peut définir pour tout \(f \in \LL(E)\) et tout entier naturel \(k\) l'endomorphisme \(f^k\) par :
La propriété de compatibilité de la composition des applications linéaires et du produit matriciel s'écrit, dans le cas particulier de deux endomorphismes \(f\) et \(g\) d'un espace vectoriel \(E\) de dimension finie : \(\Mat_{\BB_E}(g \circ f) = \Mat_{\BB_E}(g) \times \Mat_{\BB_E}(f)\). Dans le cas particulier où \(g = f\), on obtient \(\Mat_{\BB_E}(f^2) = \big(\Mat_{\BB_E}(f)\big)^2\), puis, par une récurrence immédiate :
Soit \(P = a_0 + a_1 X + \cdots + a_n X^n\) un polynôme. L'endomorphisme \(a_0 \Id_E + a_1 f + \cdots + a_n f^n\) est noté \(P(f)\). On dit qu'un endomorphisme \(g \in \LL(E)\) est un polynôme en \(f\) s'il existe \(P \in \mathbb{R}[x]\) tel que \(g = P(f)\).
Si \(P\) est un polynôme et \(f\) un endomorphisme de \(E\), alors \(P(f)\) est un endomorphisme de \(E\) (et non un polynôme, bien qu'on l'appelle « polynôme d'endomorphisme »).
Soient \(E\) un espace vectoriel, \(f \in \LL(E)\), \(P \in \mathbb{R}[x]\) et \(Q \in \mathbb{R}[x]\). On a alors : \((PQ)(f) = P(f) \circ Q(f)\).
- Dans le membre de gauche, c'est bien un produit de polynômes que l'on applique à un endomorphisme ; dans le membre de droite, il s'agit d'une composée d'endomorphismes.
- On en déduit immédiatement que deux endomorphismes qui sont tous deux polynômes en \(f\) commutent : \(P(f) \circ Q(f) = (PQ)(f) = (QP)(f) = Q(f) \circ P(f)\).
- Conséquence : dans la pratique, si \(f\) est un endomorphisme, pour calculer par exemple la composée d'endomorphismes \((f - 2\Id_E) \circ (f^2 + 5f + 3\Id_E)\), on peut développer le polynôme \((X - 2)(X^2 + 5X + 3)\), ce qui donne \(X^3 + 3X^2 - 7X - 6\), puis remplacer \(X\) par \(f\), en veillant bien à remplacer le polynôme constant \(-6\) par l'endomorphisme \(-6\Id_E\). On obtient ainsi \((f - 2\Id_E) \circ (f^2 + 5f + 3\Id_E) = f^3 + 3f^2 - 7f - 6\Id_E\).
Soient \(E\) un espace vectoriel, \(f\) et \(g\) deux endomorphismes de \(E\) qui commutent (\(f \circ g = g \circ f\)) ; alors :
Soient \(p \in \mathbb{N}^*\), \(A\) et \(B\) deux matrices de \(\MM_p(\mathbb{R})\) qui commutent (\(AB = BA\)) ; alors :
Si \(f \circ g \neq g \circ f\), alors cette relation n'est plus vraie ; on a alors, pour \(n = 2\) : \((f + g)^2 = (f + g) \circ (f + g) = f^2 + g^2 + f \circ g + g \circ f \neq f^2 + g^2 + 2 f \circ g\).
Soient \(E\) et \(F\) deux espaces vectoriels, et \(f \in \LL(E, F)\). Le sous-espace vectoriel \(f(E)\) est appelé l'image de l'application \(f\), et est noté \(\Img f\). En particulier, \(f\) est surjective si et seulement si on a \(\Img f = F\).
Soient \(E\) et \(F\) deux espaces vectoriels et \(f \in \LL(E, F)\). Le sous-espace vectoriel \(f^{-1}(\{0_F\})\) de \(E\) est appelé le noyau de \(f\) ; on le note \(\Ker f\) (comme kernel en anglais et Kern en allemand) :
Soient \(n\) et \(p\) deux entiers naturels non nuls, et \(A\) une matrice de \(\MM_{n,p}(\mathbb{R})\). On appelle noyau de \(A\), et on note \(\Ker A\), le sous-espace vectoriel de \(\MM_{p,1}(\mathbb{R})\) défini par :
On appelle image de \(A\), et on note \(\Img A\), le sous-espace vectoriel de \(\MM_{n,1}(\mathbb{R})\) défini par :
Lorsqu'une application \(f\) est linéaire, connaître son noyau permet en particulier de savoir si \(f\) est injective, comme l'énonce la proposition suivante :
Soient \(E\) et \(F\) deux espaces vectoriels et \(f \in \LL(E, F)\). Alors \(f\) est injective si et seulement si \(\Ker f = \{0_E\}\).
Soient \(E\) et \(F\) deux espaces vectoriels, \(f \in \LL(E, F)\), \(p \in \mathbb{N}^*\) et \((u_1, \dots, u_p)\) une famille de vecteurs de \(E\).
- Si \((u_1, \dots, u_p)\) est liée, alors \((f(u_1), \dots, f(u_p))\) est liée.
- Si \((f(u_1), \dots, f(u_p))\) est libre, alors \((u_1, \dots, u_p)\) est libre (contraposée de la précédente).
- Si \((u_1, \dots, u_p)\) est libre et \(f\) injective, alors \((f(u_1), \dots, f(u_p))\) est libre. (L'injectivité conserve la liberté.)
- \(f(\Vect(u_1, \dots, u_p)) = \Vect(f(u_1), \dots, f(u_p))\). En particulier, si \((u_1, \dots, u_p)\) est une famille génératrice de \(E\) (ce qui implique que \(E\) est ici de dimension finie), alors la famille \((f(u_1), \dots, f(u_p))\) est génératrice de \(\Img f\) ; on peut l'écrire :
\[\text{si } E = \Vect(u_1, \dots, u_p), \text{ alors } \Img f = \Vect(f(u_1), \dots, f(u_p)).\]Ce résultat est important en pratique : on dispose ainsi facilement d'une famille génératrice de l'image de \(f\), permettant, en retirant éventuellement des vecteurs, de déterminer une base de l'image de \(f\).
- Si \((u_1, \dots, u_n)\) est une base de \(E\), alors la famille \((f(u_1), \dots, f(u_n))\) est une base de \(F\) si et seulement si \(f\) est un isomorphisme. Autrement dit : \(f\) est un isomorphisme si et seulement si l'image par \(f\) d'une base de \(E\) est une base de \(F\).
Si l'application \(f\) n'est pas injective, l'image par \(f\) d'une famille libre n'est pas nécessairement une famille libre. Par exemple, si \(u\) est un vecteur non nul du noyau de \(f\), alors la famille \((u)\) est libre, mais \((f(u)) = (0_F)\) est liée.
Exemple. Soit \(n \in \mathbb{N}\). On considère la base canonique \((1, X, \dots, X^n)\) de \(\mathbb{R}_n[x]\) et la base canonique \((e_1, \dots, e_{n+1})\) de \(\mathbb{R}^{n+1}\). L'application linéaire \(f\) de \(\mathbb{R}_n[x]\) dans \(\mathbb{R}^{n+1}\) définie par \(\forall k \in \llbracket 0, n \rrbracket,\ f(X^k) = e_{k+1} = (0, \dots, 0, 1, 0, \dots, 0)\), où le coefficient 1 figure en \((k+1)\)-ième position, envoie la base canonique de \(\mathbb{R}_n[x]\) sur la base canonique de \(\mathbb{R}^{n+1}\), donc est un isomorphisme.
On dit que deux espaces vectoriels \(E\) et \(F\) sont isomorphes s'il existe un isomorphisme de \(E\) sur \(F\).
- Soient \(E\) un espace vectoriel et \(n \in \mathbb{N}^*\). Alors \(E\) est de dimension finie égale à \(n\) si et seulement si \(E\) est isomorphe à \(\mathbb{R}^n\).
- Soient \(E\) et \(F\) deux espaces vectoriels de dimension finie. Alors \(E\) et \(F\) ont même dimension si et seulement si \(E\) et \(F\) sont isomorphes.
- Deux espaces « isomorphes » ont étymologiquement « même forme ». En d'autres termes, deux espaces isomorphes sont « presque » les mêmes, la seule différence étant la façon de noter les éléments. Par exemple, un polynôme \(P = \sum_{k=0}^{n} a_k X^k\) de \(\mathbb{R}_n[x]\) peut aussi être vu comme un \((n+1)\)-uplet \((a_0, \dots, a_n)\) de réels : hormis la façon de le noter, un polynôme de \(\mathbb{R}_n[x]\) et un élément de \(\mathbb{R}^{n+1}\) sont « presque les mêmes ». Ce corollaire justifie a posteriori l'intérêt porté aux espaces \(\mathbb{R}^n\) : étudier les espaces vectoriels \(\mathbb{R}^n\), cela revient, à isomorphisme près, à étudier tous les espaces vectoriels de dimension finie.
- Construire un isomorphisme entre un espace vectoriel connu et un espace vectoriel dont on ne connaît pas la dimension (ou même dont on ne sait pas encore s'il est de dimension finie ou pas) est un moyen de déterminer cette dimension, comme le montrent les deux exemples suivants.
- Les matrices élémentaires \((E_{i,j})_{1 \leqslant i \leqslant n,\ 1 \leqslant j \leqslant p}\) (tous les coefficients de la matrice \(E_{i,j}\) sont nuls, sauf celui situé à la \(i\)-ème ligne et \(j\)-ème colonne, qui vaut 1) forment une base de l'espace vectoriel \(\MM_{n,p}(\mathbb{R})\), qui est donc de dimension finie égale à \(np\). Soient \(E\) et \(F\) des espaces vectoriels de dimensions respectives \(p\) et \(n\), munis de bases \(\BB_E\) et \(\BB_F\). L'isomorphisme \(\varphi : f \in \LL(E, F) \mapsto \Mat_{\BB_F, \BB_E}(f) \in \MM_{n,p}(\mathbb{R})\) montre que l'espace vectoriel \(\LL(E, F)\) est de dimension finie égale à \(np\).
- Soient \(a\) et \(b\) deux réels. On note \(E_{a,b} = \{u = (u_n)_{n\in\mathbb{N}} \in \mathbb{R}^{\mathbb{N}} \,;\, \forall n \in \mathbb{N},\ u_{n+2} = a u_{n+1} + b u_n\}\). L'application \(\varphi : \mathbb{R}^2 \to E_{a,b}\) qui à tout couple \((x, y) \in \mathbb{R}^2\) associe l'unique élément \(u\) de \(E_{a,b}\) vérifiant \(u_0 = x\) et \(u_1 = y\) est un isomorphisme de \(\mathbb{R}^2\) sur \(E_{a,b}\). On en déduit que l'espace vectoriel \(E_{a,b}\) est de dimension finie égale à 2.
D'après une proposition précédente, si \(E\) et \(F\) sont deux espaces vectoriels, \(E\) étant de dimension finie, le sous-espace vectoriel \(\Img f = f(E)\) est de dimension finie, y compris dans le cas où l'espace vectoriel \(F\) n'est pas de dimension finie (en effet, si \((e_1, \dots, e_n)\) est une famille génératrice de \(E\), la famille finie \((f(e_1), \dots, f(e_n))\) engendre \(\Img f\)). Ceci justifie la définition suivante.
Soient \(E\) et \(F\) deux espaces vectoriels dont l'un au moins est de dimension finie. On appelle rang de \(f\) la dimension du sous-espace vectoriel \(\Img f\) de \(F\).
Soit \(A \in \MM_{n,p}(\mathbb{R})\). On note \((C_1, \dots, C_p)\) les colonnes de \(A\) ; en particulier, pour tout \(j \in \{1, \dots, p\}\), le vecteur colonne \(C_j\) est un élément de \(\MM_{n,1}(\mathbb{R})\). On appelle rang de la matrice \(A\) le rang de la famille \((C_1, \dots, C_p)\) de vecteurs de \(\MM_{n,1}(\mathbb{R})\). Autrement dit :
- Le rang d'une matrice \(A\) non nulle est le plus grand des cardinaux des familles libres extraites de la famille \((C_1, \dots, C_p)\), puisque de toute famille génératrice de \(\Img A\) on peut extraire une base.
- D'après la proposition 12, le rang d'une matrice est invariant par opérations élémentaires sur ses colonnes, c'est-à-dire par échange de deux colonnes, multiplication d'une colonne par un réel non nul, ou ajout à une colonne d'un multiple d'une autre colonne.
- On ne change pas le rang d'une application linéaire en la composant (à gauche ou à droite) par un isomorphisme.
- Soient \(E\) un espace vectoriel de dimension finie \(p \geqslant 1\), \(\BB_E\) une base de \(E\), \(F\) un espace vectoriel de dimension finie \(n \geqslant 1\), \(\BB_F\) une base de \(F\), \(f\) une application linéaire de \(E\) dans \(F\) et \(A = \Mat_{\BB_F, \BB_E}(f)\). Alors on a \(\rg f = \rg A\).
- On ne change pas le rang d'une matrice en la multipliant (à gauche ou à droite) par une matrice inversible.
Soient \(E\) et \(F\) deux espaces vectoriels, \(E\) de dimension finie, et \(f\) une application linéaire de \(E\) dans \(F\). Alors on a :
Même lorsqu'on a \(E = F\), le théorème du rang ne dit pas que \(\Ker f\) et \(\Img f\) sont supplémentaires. Rappelons par exemple que si \(D\) est l'endomorphisme de dérivation \(D : P \in \mathbb{R}_n[x] \mapsto P' \in \mathbb{R}_n[x]\), alors on a \(\Img D = \mathbb{R}_{n-1}[x]\) et \(\Ker D = \mathbb{R}_0[x]\). Ainsi, un polynôme de degré \(n\) ne peut pas s'écrire comme somme d'un élément de \(\Img D\) et d'un élément de \(\Ker D\).
Soient \(E\) et \(F\) deux espaces vectoriels de dimension finie, vérifiant \(\dim E = \dim F\). Soit \(f\) une application linéaire de \(E\) dans \(F\). Alors :
Soit \(A \in \MM_n(\mathbb{R})\). Alors les propriétés suivantes sont équivalentes :
- \(A\) est inversible, i.e. il existe une matrice \(B\) de \(\MM_n(\mathbb{R})\) vérifiant \(AB = BA = I_n\) ;
- il existe \(B \in \MM_n(\mathbb{R})\) telle que \(AB = I_n\) (\(A\) admet un inverse à droite) ;
- il existe \(B \in \MM_n(\mathbb{R})\) telle que \(BA = I_n\) (\(A\) admet un inverse à gauche) ;
- pour toute matrice \(Y\) de \(\MM_{n,1}(\mathbb{R})\), il existe une unique matrice \(X\) de \(\MM_{n,1}(\mathbb{R})\) vérifiant \(AX = Y\).
Soient \(n\) et \(p\) deux entiers naturels non nuls. Une matrice de \(\MM_{n,p}(\mathbb{R})\) et sa transposée ont même rang :
Conséquence. On a vu plus haut que le rang d'une matrice est le nombre maximal de colonnes formant une famille libre que l'on peut en extraire ; comme le rang d'une matrice est aussi égal à celui de sa transposée, le rang d'une matrice est aussi le nombre maximal de lignes formant une famille libre que l'on peut en extraire.