En algèbre linéaire, étant donnée une famille de vecteurs, les vecteurs de la famille sont linéairement indépendants si toute combinaison linéaire finie nulle de ces vecteurs a nécessairement tous ses coefficients nuls. Cela revient à dire qu'aucun des vecteurs de la famille n'est combinaison linéaire finie des autres. Par exemple dans l'espace vectoriel euclidien
Soit E un espace vectoriel sur un corps K.
Une famille finie
c'est-à-dire, toute combinaison linéaire nulle des vecteurs vi a nécessairement des coefficients tous nuls (le signe 0 désigne le vecteur nul de E, noté 0E et l'élément neutre pour l'addition dans K, noté 0K).
Une famille infinie
Dans le cas contraire, les vecteurs sont dits linéairement dépendants, ou encore la famille est dite liée. Ainsi,
À 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 si et seulement si la famille
Dans l'espace vectoriel R4, les trois vecteurs u=(4,2,1,3), v=(2,0,3,0) et w=(6,2,4,-3) sont linéairement indépendants.
Soit
Alors
Démonstration
Supposons que a1, a2, ..., an soient des réels tels que :
Donc
Et ainsi
Les fonctions réelles d'une variable réelle, de classe analytique, forment un sous-espace vectoriel E de l'espace vectoriel réel des fonctions de R dans R. Les fonctions
Une relation de dépendance linéaire de n vecteurs
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