# Combinaison linéaire

En mathématiques, une combinaison linéaire est une expression construite à partir d'un ensemble de termes en multipliant chaque terme par une constante et en ajoutant le résultat. Par exemple, une combinaison linéaire de x et y serait une expression de la forme ax + by, où a et b sont des constantes.
Le concept de combinaison linéaire est central en algèbre linéaire et dans des domaines connexes des mathématiques. La majeure partie de cet article traite des combinaisons linéaires dans le contexte d'espace vectoriel sur un corps commutatif, et indique quelques généralisations à la fin de l'article.

## Définitions

Soient K un corps commutatif et E un espace vectoriel sur K. Les éléments de E sont appelés les vecteurs et les éléments de K les scalaires. Si v$_1$, …, v$_n$ sont des vecteurs et a$_1$, …, a$_n$ des scalaires, alors la combinaison linéaire de ces vecteurs ayant comme coefficients ces scalaires est le vecteur a$_1$v$_1$ + … + a$_n$v$_n$.
Pour parler de combinaison linéaire d'une famille (v$_i$)$_{i∈I}$ de vecteurs de E indexée par un ensemble I éventuellement infini, il est nécessaire de supposer que la famille (a$_i$)$_{i∈I}$ de scalaires est à support fini, c'est-à-dire qu'il n'y a qu'un ensemble fini d'indices i pour lesquels a$_i$ est non nul. La combinaison linéaire des v$_i$ de coefficients les a$_i$ est alors la somme ∑$_{i∈I}$ a$_i$v$_i$ (en particulier, une combinaison linéaire ne portant sur aucun vecteur est la somme vide, égale au vecteur nul).
Une « relation de dépendance linéaire » est une combinaison linéaire égale au vecteur nul. Une famille de vecteurs est liée si elle possède au moins une relation de dépendance linéaire « non triviale », c'est-à-dire à coefficients non tous nuls.
Une partie non vide F de E est un sous-espace vectoriel si et seulement si F est « stable par combinaisons linéaires », c'est-à-dire si toute combinaison linéaire de vecteurs de F est encore un vecteur de F.

## Exemples

* Soient K le corps ℝ des nombres réels et E l'espace vectoriel euclidien ℝ$^3$. Considérons les vecteurs e$_1$ = (1, 0, 0), e$_2$ = (0, 1, 0) et e$_3$ = (0, 0, 1). Alors, tout vecteur (a$_1$, a$_2$, a$_3$) de ℝ$^3$ est une combinaison linéaire de e$_1$, e$_2$ et e$_3$. En effet, (a$_1$, a$_2$, a$_3$) = a$_1$(1, 0, 0) + a$_2$(0, 1, 0) + a$_3$(0, 0, 1) = a$_1$e$_1$ + a$_2$e$_2$ + a$_3$e$_3$.
* Soient K le corps ℂ des nombres complexes et E l'espace des fonctions de ℝ dans ℂ. Les formules d'Euler expriment les fonctions f : x ↦ e$^{ix}$ et g : x ↦ e$^{–ix}$ comme combinaisons linéaires des fonctions cosinus et sinus : f = cos + i sin, g = cos – i sin et inversement : cos = (1/2) f + (1/2)g, sin = (–i/2) f + (i/2)g. Par contre, les fonctions constantes non nulles ne sont pas combinaisons linéaires de f et g, autrement dit : les fonctions 1, f et g sont linéairement indépendantes.

## Sous-espace vectoriel engendré

Considérons à nouveau un corps commutatif K, un K-espace vectoriel E et v$_1$, …, v$_n$ des vecteurs de E. L'ensemble de toutes les combinaisons linéaires de ces vecteurs s'appelle le « sous-espace vectoriel engendré » (ou juste « sous-espace engendré ») par ces vecteurs et se note Vect(v$_1$, …, v$_n$) :
$\mathrm {Vect} (v_{1},\ldots ,v_{n})=\{a_{1}v_{1}+\cdots +a_{n}v_{n}\mid a_{1},\ldots ,a_{n}\in K\}.$

## Généralisations

Si E est un espace vectoriel topologique, alors il est possible de donner un sens à une combinaison linéaire infinie, en utilisant la topologie de E. Par exemple, nous pourrions parler de la somme infinie a$_1$v$_1$ + a$_2$v$_2$ + a$_3$v$_3$ + … .
De telles combinaisons linéaires infinies n'ont pas toujours un sens ; nous les qualifions de convergentes lorsqu'elles en ont un. Le fait de pouvoir considérer davantage de combinaisons linéaires dans ce cas peut également mener à des concepts plus larges de sous-espace vectoriel engendré, d'indépendance linéaire, et de bases.
Si K est un anneau commutatif au lieu d'être un corps, alors tout ce qui a été dit au-dessus sur les combinaisons linéaires se généralise sans aucun changement. La seule différence est que nous appelons ces espaces E des modules au lieu d'espaces vectoriels.
Si K est un anneau non commutatif, alors la notion de combinaison linéaire se généralise encore, cependant avec une restriction : puisque les modules sur les anneaux non commutatifs peuvent être des modules à droite ou à gauche, nos combinaisons linéaires peuvent également être écrites à droite ou à gauche, c'est-à-dire avec des scalaires placés à droite ou à gauche, selon la nature du module.
Une adaptation plus compliquée survient lorsque E est un bimodule sur deux anneaux, K$_G$ et K$_D$. Dans ce cas, la combinaison linéaire la plus générale ressemble à a$_1$v$_1$b$_1$ + … + a$_n$v$_n$b$_n$, où a$_1$, …, a$_n$ appartiennent à K$_G$, b$_1$, …, b$_n$ appartiennent à K$_D$ et v$_1$, …, v$_n$ appartiennent à E.