Combinaison linéaire - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Introduction

En mathématiques, les combinaisons linéaires sont un concept central de l'algèbre linéaire et d'autres domaines des mathématiques connexes. 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

Supposons que K soit un corps commutatif et E un espace vectoriel sur K. Comme d'habitude nous appelons les éléments de E les vecteurs et les éléments de K les scalaires. Si v_1, \ldots, v_n sont des vecteurs de E et a_1, \ldots, a_n des scalaires, alors la combinaison linéaire de ces vecteurs ayant comme coefficients ces scalaires est:

a_1 v_1+a_2 v_2+\cdots+a_n v_n

Par convention, une combinaison linéaire ne portant sur aucun vecteur est déclarée nulle.

On peut souhaiter parler de combinaison linéaire sur une infinité de termes ; on convient alors que tous les scalaires intervenant soient nuls sauf un nombre fini : (x_i)_{i\in I} étant une famille quelconque de vecteurs de E et (\lambda_i)_{i\in I} une famille de scalaires presque tous nuls (c'est-à-dire tous nuls sauf éventuellement un nombre fini), la combinaison linéaire de la famille (x_i)_{i\in I} de coefficients (\lambda_i)_{i\in I} est la somme suivante:

\sum_{i\in I}\lambda_ix_i

Une relation de dépendance linéaire est une combinaison linéaire égale au vecteur nul. La relation de dépendance linaire triviale est celle donnée par une famille de coefficients tous nuls.

Sous-espace vectoriel engendré

Considérons un corps commutatif K et un espace vectoriel E arbitraires, et soit v_1, \ldots, v_n des vecteurs de E. Il est intéressant de considérer l'ensemble de toutes les combinaisons linéaires de ces vecteurs. Cet ensemble s'appelle le « sous-espace vectoriel engendré » (ou juste « sous-espace engendré ») par ces vecteurs, disons par l'ensemble A = \{ v_1, \ldots, v_n\} . Notons {\rm Vect}(v_1 ,\ldots, v_n) ou < A > l'ensemble

 \mathrm{Vect}( v_1 ,\ldots, v_n) = \{ a_1 v_1 + \cdots + a_n v_n / a_1 ,\ldots, a_n \in K \} \,

Exemples et contre-exemples

Soit K le corps \mathbb{R} des nombres réels, et soit E l'espace vectoriel euclidien \mathbb{R}^3 .

Considérons les vecteurs e1 = (1,0,0), e2 = (0,1,0) et e3 = (0,0,1).

Alors tout vecteur de \mathbb{R}^3 est une combinaison linéaire de e1, e2 et e3.

Pour le démontrer, considérons un vecteur arbitraire (a1,a2,a3) de \mathbb{R}^3 , et écrivons:

 ( a_1 , a_2 , a_3) = ( a_1 ,0,0) + (0, a_2 ,0) + (0,0, 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 \,

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+\cdots .

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. C'est simplement une question de multiplication par un scalaire du bon côté.

Une adaptation plus compliquée survient lorsque E est un bimodule sur deux deux anneaux, KG et KD.

Dans ce cas, la combinaison linéaire la plus générale ressemble à:

 a_1 v_1 b_1 + \cdots +  a_n v_n b_n \,

a_1, \ldots, a_n appartiennent à KG, b_1, \ldots, b_n appartiennent à KD, et v_1, \ldots, v_n appartiennent à E.

Page générée en 0.413 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise