Indépendance linéaire

Trois vecteurs de $\mathbb {R} ^{3}$ linéairement indépendants.

Trois vecteurs de $\mathbb {R} ^{3}$ linéairement dépendants car coplanaires.

En algèbre linéaire, étant donné une famille de vecteurs d'un même espace vectoriel, les vecteurs de la famille sont linéairement indépendants, ou forment une famille libre, si la seule combinaison linéaire de ces vecteurs qui soit égale au vecteur nul est celle dont tous les coefficients sont nuls. Cela revient à dire qu'aucun des vecteurs de la famille n'est combinaison linéaire des autres.

Dans le cas où des vecteurs ne sont pas linéairement indépendants, on dit qu'ils sont linéairement dépendants, ou qu'ils forment une famille liée.

Définitions

Soient E un espace vectoriel et K son corps des scalaires.

Une famille (finie ou infinie) $(v_{i})_{i\in I}$ de vecteurs de E est dite libre, ou encore, la famille est constituée de vecteurs « linéairement indépendants^[1] », si la seule combinaison linéaire des vecteurs $v_{i}$ égale au vecteur nul 0_E est celle dont tous les coefficients sont nuls (autrement dit : si toute combinaison linéaire des $v_{i}$ à coefficients non tous nuls est différente du vecteur nul).

Lorsqu'il s'agit d'une famille finie $(v_{i})_{1\leq i\leq n}$ , cette condition s'écrit : $\forall (a_{1},\ldots ,a_{n})\in K^{n},\quad \left(a_{1}v_{1}+\cdots +a_{n}v_{n}=0_{E}\implies a_{1}=a_{2}=\cdots =a_{n}=0_{K}\right).$
Lorsque la famille $(v_{i})_{i\in I}$ est quelconque (finie ou pas), la condition s'écrit :Pour tout $J\subset I$ fini, $\forall (a_{i})\in K^{(J)},\quad \left(\sum _{i\in J}a_{i}v_{i}=0_{E}\implies \forall i\in J,a_{i}=0_{K}\right).$

Dans le cas contraire, les vecteurs sont dits linéairement dépendants, ou encore la famille est dite liée. Ainsi, $(v_{i})_{i\in I}$ est une famille de vecteurs liée s'il existe une famille $(a_{j})_{j\in I}$ d'éléments de K tous nuls sauf un nombre fini non nul, telle que

\sum _{i\in I}a_{i}v_{i}=0_{E}.

À partir des notions de famille libre ou liée, on définit celles de partie libre ou liée : une partie A de E est dite libre (resp. liée) si la famille $(a)_{a\in A}$ l'est.

Exemples

Exemple 0

Dans l'espace vectoriel ℝ³, les trois vecteurs (2, –1, 1), (1, 0, 1) et (3, –1, 2) forment une famille liée car (2, –1, 1) + (1, 0, 1) – (3, –1, 2) = (0, 0, 0).

Exemple 1

Dans l'espace vectoriel ℝ⁴, les trois vecteurs (4, 2, 1, 3), (2, 0, 3, 0) et (6, 2, 4, –3) sont linéairement indépendants car leurs coordonnées, disposées en colonnes juxtaposées, forment une matrice

{\begin{pmatrix}4&2&6\\2&0&2\\1&3&4\\3&0&-3\end{pmatrix}}

dont le rang est égal au nombre de vecteurs. En effet le 3-mineur

{\begin{vmatrix}2&0&2\\1&3&4\\3&0&-3\end{vmatrix}}=-36

est non nul donc le rang de la matrice est 3.

Exemple 2

Toute base est (par définition) une famille libre, en particulier la base canonique du K-espace vectoriel Kⁿ.

Exemple 3

Dans l'espace vectoriel réel des fonctions de ℝ dans ℝ, l'ensemble infini non dénombrable des fonctions $f_{\lambda }:t\mapsto {\rm {e}}^{\lambda t}$ pour $\lambda$ réel est libre.

Démonstration

Il s'agit de montrer que pour tout $n$ et pour toute famille $(\lambda _{1},\dots ,\lambda _{n})$ de réels distincts deux à deux, $(f_{\lambda _{1}},\dots ,f_{\lambda _{n}})$ est libre.

Faisons le par récurrence sur $n$ .

Initialisation : pour $n=1$
Pour tout $\lambda \in \mathbb {R} ,f_{\lambda }\neq 0$ ( $0$ désignant la fonction nulle), donc $(f_{\lambda })$ est libre.

Hérédité : pour $n\in \mathbb {N} ^{*}$
Soit $(\lambda _{1},\dots ,\lambda _{n+1})$ une famille de réels distincts deux à deux.
Par hypothèse de récurrence, $(f_{\lambda _{1}},\dots ,f_{\lambda _{n}})$ est libre. Montrons que $(f_{\lambda _{1}},\dots ,f_{\lambda _{n+1}})$ est libre.

Soit $(a_{1},\dots ,a_{n+1})$ tel que

\sum _{k=1}^{n+1}a_{k}f_{\lambda _{k}}=0

Donc

a_{n+1}f_{\lambda _{n+1}}=-\sum _{k=1}^{n}a_{k}f_{\lambda _{k}}

En dérivant l'équation on a :

\lambda _{n+1}a_{n+1}f_{\lambda _{n+1}}=-\sum _{k=1}^{n}\lambda _{k}a_{k}f_{\lambda _{k}}

Si $\lambda _{n+1}=0$ :
Alors $\sum _{k=1}^{n}\lambda _{k}a_{k}f_{\lambda _{k}}=0$
et
$\forall k\in [\![1,n]\!],\lambda _{k}\neq 0\quad$ (car $\lambda _{k}\neq \lambda _{n+1}$ )

Comme $(f_{\lambda _{1}},\dots ,f_{\lambda _{n}})$ est libre on a :
${\begin{aligned}&\forall k\in [\![1,n]\!],a_{k}\lambda _{k}=0\\\implies \;&\forall k\in [\![1,n]\!],a_{k}=0\end{aligned}}$
Si $\lambda _{n+1}\neq 0$ :
Alors $a_{n+1}f_{\lambda _{n+1}}=\sum _{k=1}^{n}{\frac {\lambda _{k}}{\lambda _{n+1}}}a_{k}f_{\lambda _{k}}$
Ainsi on trouve que ${\begin{aligned}&\sum _{k=1}^{n}\lambda _{k}a_{k}f_{\lambda _{k}}=\sum _{k=1}^{n}{\frac {\lambda _{k}}{\lambda _{n+1}}}a_{k}f_{\lambda _{k}}\\\implies \;&\sum _{k=1}^{n}a_{k}f_{\lambda _{k}}-a_{k}{\frac {\lambda _{k}}{\lambda _{n+1}}}f_{\lambda _{k}}=0\\\implies \;&\sum _{k=1}^{n}a_{k}\left(1-{\frac {\lambda _{k}}{\lambda _{n+1}}}\right)f_{\lambda _{k}}=0\end{aligned}}$
Notons que pour tout $k\in [\![1,n]\!]$ ,
$1-{\frac {\lambda _{k}}{\lambda _{n+1}}}\neq 0\quad$ (car $\lambda _{k}\neq \lambda _{n+1}$ )
Comme $(f_{\lambda _{1}},\dots ,f_{\lambda _{n}})$ est libre on a :
${\begin{aligned}&\forall k\in [\![1,n]\!],a_{k}\left(1-{\frac {\lambda _{k}}{\lambda _{n+1}}}\right)=0\\\implies \;&\forall k\in [\![1,n]\!],a_{k}=0\end{aligned}}$

Dans les deux cas, $\forall k\in [\![1,n]\!],a_{k}=0$ .
On trouve donc que $\sum _{k=1}^{n+1}a_{k}f_{\lambda _{k}}=a_{n+1}f_{\lambda _{n+1}}=0$ , ce qui implique que $a_{n+1}=0$ .
Ainsi, $\forall k\in [\![1,n+1]\!],a_{k}=0$ , $(f_{\lambda _{1}},\dots ,f_{\lambda _{n}})$ est bien libre.

Par principe de récurrence on montre bien que pour tout $n$ et pour toute famille $(\lambda _{1},\dots ,\lambda _{n})$ de réels distincts deux à deux, $(f_{\lambda _{1}},\dots ,f_{\lambda _{n}})$ est libre.

C'est-à-dire :

(f_{\lambda })_{\lambda \in \mathbb {R} }

est libre.

On démontre de même que plus généralement, dans l'espace vectoriel complexe des fonctions de ℝ dans ℂ, l'ensemble des fonctions $f_{\lambda }:t\mapsto {\rm {e}}^{\lambda t}$ pour $\lambda$ complexe est libre.

Propriétés

La famille (v) et la partie {v} sont libres si et seulement si le vecteur v est non nul.
La famille (v₁,v₂) est liée si et seulement si v₁ et v₂ sont colinéaires (en particulier, la famille (v,v) est toujours liée, que v soit nul ou pas).
Si l'une des sous-familles d'une famille est liée (en particulier si deux de ses vecteurs sont colinéaires ou si l'un d'entre eux est nul), alors cette famille est liée. Autrement dit, si une famille est libre, alors toutes ses sous-familles sont libres.
Une famille est liée si et seulement si l'un de ses éléments est combinaison linéaire des autres.
Comme une combinaison linéaire porte sur un nombre fini de termes, une famille infinie est libre si et seulement si toutes ses sous-familles finies le sont^[2].
La famille vide et la partie vide sont libres^[3].
Si K est le corps des fractions d'un anneau intègre A (par exemple si K = ℚ et A = ℤ), une famille de vecteurs de E est K-libre si et seulement si elle est A-libre (dans E vu comme A-module).

Espace projectif des dépendances linéaires

Une relation de dépendance linéaire de $n$ vecteurs $v_{1},\ldots ,v_{n}$ peut être représentée par un $n$ -uplet $(a_{1},\ldots ,a_{n})$ de $n$ scalaires, non tous nuls, tels que

a_{1}v_{1}+\cdots +a_{n}v_{n}=0_{E}.

Si une telle relation de dépendance linéaire existe, alors les $n$ vecteurs sont linéairement dépendants. Il est alors possible d'identifier deux relations de dépendances linéaires si l'une est multiple non nul de l'autre relation, parce que dans ce cas les deux correspondent à la même dépendance linéaire des vecteurs entre eux. Sous cette identification, l'ensemble des $n$ -uplets décrivant les dépendances linéaires des vecteurs $v_{1},\ldots ,v_{n}$ est un espace projectif.

Notes et références

↑ (en) Serge Lang, Algebra, 1965 [détail des éditions], 1965, p. 81.
↑ N. Bourbaki, Algèbre, p. A-II-26, proposition 18.
↑ (en) Michael Artin, Algebra [détail de l’édition], 3.14, p. 92.

Voir aussi

Articles connexes

Indépendance algébrique
Indépendance affine
Lemme de Steinitz
Matroïde (paragraphe généralisation du concept)
Orthogonalité

Liens externes

Christine Graffigne et Avner Bar-Hen, « Cours L1, S1, Notion de famille libre », sur université Paris 5

Portail de l’algèbre

[1] (en) Serge Lang, Algebra, 1965 [détail des éditions], 1965, p. 81.

[2] N. Bourbaki, Algèbre, p. A-II-26, proposition 18.

[3] (en) Michael Artin, Algebra [détail de l’édition], 3.14, p. 92.

[1]

[2]

[3]

v · m Algèbre linéaire générale
Vecteur Scalaire Combinaison linéaire Espace vectoriel Matrice
Famille de vecteurs	Famille génératrice Famille libre (indépendance linéaire) Base Théorème de la base incomplète Théorème de la dimension pour les espaces vectoriels Rang Colinéarité
Sous-espace	Sous-espace vectoriel Somme de Minkowski Somme directe Sous-espace supplémentaire Dimension Codimension Droite Plan Hyperplan
Morphisme et notions relatives	Application linéaire Noyau Conoyau Lemme des noyaux Pseudo-inverse Théorème de factorisation Théorème du rang Équation linéaire Système d'équations linéaires Élimination de Gauss-Jordan Forme linéaire Espace dual Orthogonalité Base duale Endomorphisme linéaire Valeur propre, vecteur propre et espace propre Projecteur Symétrie Matrice diagonalisable Diagonalisation Endomorphisme nilpotent
Dimension finie	Espace vectoriel de dimension finie Trace Déterminant Polynôme caractéristique Polynôme d'endomorphisme Théorème de Cayley-Hamilton Polynôme minimal d'un endomorphisme Invariants de similitude Réduction d'endomorphisme Réduction de Jordan Décomposition de Dunford Décomposition de Frobenius
Enrichissements de structure	Norme Produit scalaire Forme quadratique Espace vectoriel topologique Orientation Algèbre sur un corps Algèbre de Lie Complexe différentiel
Développements	Théorie des matrices Représentation de groupe Analyse fonctionnelle Algèbre multilinéaire Module sur un anneau