Méthode pratique de détermination du rang d'une famille finie de vecteurs
Méthode : Première méthode
On utilise l'algorithme de construction d'une base pour un espace vectoriel de type fini (qui a conduit à la démonstration de l'existence d'une base), en partant de la partie génératrice \(G = \{ v_1, v_2, ... , v_p\}\)
Algorithme
Soit \(G\) une partie génératrice finie de \(E\). Comme \(E\) est différent de \(\{0\}\) , la partie génératrice \(G\) contient des éléments non nuls. Il y a des parties de \(G\) libres (par exemple les singletons \(\{0\}\) où g est un élément non nul de \(G\)).
Soit L l'une d'elle. Deux cas sont possibles :
ou bien \(L\) est une partie génératrice de \(E\) et c'est fini puisque c'est une partie génératrice et libre,
ou bien \(L\) n'est pas une partie génératrice et il existe au moins un élément de \(G\), soit \(g_1\) qui n'est pas combinaison linéaire des éléments de \(L\).
Alors la partie \(L_1 = L \cup \{g_1\}\) vérifie les propriétés suivantes :
\(L_1\) libre
\(L \subsetneq L_1 \subset G\) où " \(\subsetneq\) " désigne une inclusion stricte
On recommence le même raisonnement à partir de \(L_1\).
ou bien \(L_1\) est une partie génératrice de E et c'est fini (partie génératrice et libre),
ou bien \(L_1\) n'est pas une partie génératrice et il existe au moins un élément de \(G\), soit \(g_2\), qui n'est pas combinaison linéaire des éléments de \(L_1\)
Alors la partie \(L_1 = L \cup \{g_2\}\) vérifie les propriétés suivantes :
\(L_2\) libre
\(L \subsetneq L_1 \subsetneq L_2 \subset G\) où " \(\subsetneq\) " désigne une inclusion stricte
L'algorithme consiste donc à construire une suite, strictement croissante pour l'inclusion, de parties libres contenues dans \(G\), où, si \(L_{r-1}\)n'engendre pas \(E\), \(L_r\) est obtenu à partir de \(L_{r-1}\) en lui ajoutant un vecteur \(g_r\) de G tel que \(L_{r -1} \cup \{g_r\}\) oit libre. Comme la partie \(G\) est finie, d'aprés la démonstration du théoréme, le processus s'arrête et il existe un entier s tel que \(L_s\) engendre E. Alors \(L_s\) sera une partie finie, libre et génératrice, et déterminera donc une base.
Méthode : Deuxième méthode
Elle est basée sur la même philosophie que la méthode du pivot de Gauss pour résoudre les systèmes. Son point de départ est la propriété suivante :
Proposition : Proposition 1
Le rang d'une famille de vecteurs n'est pas modifié si l'on rajoute à l'un d'eux une combinaison linéaire des autres.
Remarque :
Cet énoncé suppose évidemment que l'on considère une famille d'au moins deux vecteurs. Cela ne pose aucun problème dans la mesure ou la détermination du rang d'une famille de vecteurs ne comportant qu'un vecteur est immédiate : ou bien ce vecteur est nul et le rang est égal à 0 ou bien ce vecteur est non nul et le rang est égal à 1
Preuve : Preuve de la proposition
Soit \(F\) le sous-espace vectoriel de \(E\) engendré par les vecteurs \(v_1, v_2, ... , v_p\). Pour faciliter l'écriture, on suppose que c'est au vecteur \(v_1\) que l'on rajoute une combinaison linéaire des autres. Il est clair que cela ne nuit pas à la généralité de la démonstration.
Soit \(v'_1 = v_1 + \displaystyle{\sum_{i = 2}^{i = p}} \alpha_i . v_i.\)
La définition de \(v'_1\) implique que \(v'_1\) appartient au sous-espace vectoriel engendré par les vecteurs \(v_1, v_2, ..., v_p\) et donc que \(\mathrm{Vect}(v'_1, v_2, ... , v_p)\) est inclus dans \(\mathrm{Vect}(v_1, v_2, ... , v_p)\).
La définition de\( v'_1\) implique aussi l'égalité \(v_1 = v'_1 - \displaystyle{\sum_{i = 2}^{i = p}} \alpha_i . v_i.\) et donc, comme précédemment l'inclusion de \(\mathrm{Vect}(v_1, v_2, ... , v_p)\) dans \(\mathrm{Vect} (v'_1, v_2, ... , v_p)\) . D'où les égalités :
\(\mathrm{Vect}(v_1, v_2, ... , v_p) = \mathrm{Vect} (v'_1, v_2, ... , v_p)\)
\(\mathrm{rg}(v_1, v_2, ... , v_p)=\mathrm{rg}(v'_1, v_2, ... , v_p)\)
Conséquence
Soient \(\alpha_2, \alpha_3, ... , \alpha_p\) des scalaires.
En appliquant successivement \(p - 1\) fois le résultat précédent, on prouve que les familles \(\{v_1, v_2, ..., v_p\}\) et \(\{v_1, v_2 - \alpha_2 v_1, v_3 - \alpha_3 v_1, ... , v_p - \alpha_pv_1\}\) ont même rang.
Remarque : Remarque préliminaire
il est clair que moins on aura de vecteurs, plus les calculs seront faciles. Donc il y a toujours intérêt à commencer par " observer " les vecteurs dont on cherche le rang pour éliminer tout ce qui peut l'être : le vecteur nul si il est dans la famille, un vecteur visiblement combinaison linéaire des autres, par exemple.
Dans la plupart des exemples, la recherche du rang concernera des vecteurs appartenant à un espace vectoriel E de type fini, vecteurs que l'on exprimera donc dans une base de \(E\).
On se place donc désormais dans cette situation. On s'appuiera alors sur la propriété suivante :
Proposition : Proposition 2
Soit \(E\) un espace de type fini et \(n\) sa dimension.
Soient \((e_1, e_2, ... , e_n)\) une base de E et \(w_1, w_2, ... , w_s\) des vecteurs de \(E\), dont les coordonnées dans la base \((e_1, e_2, ... , e_n)\) se présentent de la manière suivante :
\(\left\{\begin{array} {llllllccccccccccc}w_1&=&\alpha_{11}e_1&+&\alpha_{12}e_2&+&...&+&\alpha_{1s}e_s&+&...&+&\alpha_{1n}e_n\\w_2&=&&&\alpha_{22}e_2&+&...&+&\alpha_{2s}e_s&+&...&+&\alpha_{2n}e_n\\\vdots&=&&&&\ddots&&&&&&&\\\vdots&=&&&&&\ddots&&&&&&\\\vdots&=&&&&&&\ddots&&&&&\\w_s&=&&&&&&&\alpha_{ss}e_s&+&...&+&\alpha_{sn}e_n\end{array}\right.\)
avec, pour tous les entiers \(i\) compris entre 1 et \(s\), \(\alpha_{ii}\) non nul.
Alors les vecteurs \(w_1, w_2, ... , w_s\) sont linéairement indépendants.
Démonstration :
Soit une combinaison linéaire nulle des vecteurs \(w_1, w_2, ... , w_s : \lambda_1 w_1 + \lambda_2 w_2 + ... + \lambda_s w_s = 0\)
La coordonnée de \(\lambda_1 w_1 + \lambda_2 w_2 + ... + \lambda_s w_s\) sur le vecteur \(e_1\) est \(\lambda_1\alpha_{11}\) , donc \(\lambda_1\alpha_{11} = 0\) et comme \(\alpha_{11}\) est non nul, \(\lambda_1 = 0\).
On est donc ramené à la combinaison linéaire \(\lambda_2 w_2 + \lambda_s w_s = 0\) où les \(p - 1\) vecteurs \(w_2, ... , w_s\) vérifient exactement les hypothèses de la proposition.
Une démonstration par récurrence permet d'achever la démonstration.
Une conséquence immédiate de cette proposition est :
Corollaire :
Si des vecteurs \(w_1,w_2,...,w_s\) vérifient les hypothèses de la proposition précédente le rang des vecteurs \(w_1,w_2,...,w_s\) est exactement égal à \(s\).
Méthode :
La recherche du rang d'une famille finie de vecteurs \(v_1,v_2,...v_p\), d'un espace de type fini consistera donc à utiliser la conséquence de la proposition 1 autant de fois qu'il est nécessaire pour se ramener à la recherche du rang d'une famille de vecteurs satisfaisants aux hypothèses de la proposition 2.
Soit donc \(v_1,v_2,...v_p\) une famille de vecteurs de E, tous non nuls (on peut les choisir ainsi à cause de la remarque préliminaire), et \(e_1,e_2,...,e_n\) une base de E.
On choisira un vecteur de la base et un vecteur de la famille dont la coordonnée sur ce vecteur de base soit non nulle (existent puisque sont tous non nuls). Pour faciliter l'exposition, supposons par exemple que \(v_1\) ait une coordonnée non nulle sur \(e_1\). Alors, on choisira des scalaires \(\alpha_2,\alpha_3,...\alpha_p\)de telle sorte que la coordonnée des vecteurs \(v_2-\alpha_2v_1,v_3-\alpha_3v_1,...v_p-\alpha_pv_1\)sur \(e_1\)soit nulle.
Il sera alors tout à fait clair que, si l'on dresse, comme dans l'énoncé de la proposition 2, le tableau des coordonnées des vecteurs \(v_1,v_2-\alpha_2v_1,v_3-\alpha_3v_1,...,v_p-\alpha_pv_1\), , la " première colonne " aura tous ses éléments, sauf le premier, nuls.
En recommençant, à partir des vecteurs et d'un autre vecteur de base, on se ramènera au bout d'un nombre fini d'étapes au cas d'un système de vecteurs satisfaisants aux hypothèses de la proposition 2.