Espace vectoriel
Un article de Wikipédia, l'encyclopédie libre.
En mathématiques, un espace vectoriel est un ensemble d'éléments - dénommés vecteurs - possédant un ensemble de propriétés axiomatiques intéressantes.
Le concept d'espace vectoriel est lié à la généralisation des vecteurs géométriques, c'est l'objet de base de l'algèbre linéaire.
Sommaire |
[modifier] Définition
Un espace vectoriel E sur un corps (commutatif) - ou plus précisément ( , +, • ) - est un ensemble d'éléments - dénommés vecteurs - muni de deux lois, l'une interne notée « + » (attention à ne pas la confondre avec la première loi du corps ), et l'autre externe notée « • », qui vérifient les propriétés suivantes (appelées aussi axiomes) :
- la loi interne « + » permet à ( E, + ) d'être un groupe commutatif, c'est-à-dire :
- la loi « + » est associative :
- la loi « + » est unifère, elle a un élément neutre :
- . Cet élément est unique, on le note .
- la loi « + » est symétrisable, tout élément de E a un opposé :
- . Ce vecteur est unique pour un spécifié. On le note .
- la loi « + » est commutative :
- la loi « + » est associative :
- la loi externe « • » est une application (noté aussi ) qui permet à d'opérer sur E, selon les quatre axiomes suivants :
- l'élément unité « 1 » du corps est neutre à gauche pour la loi « • » :
- la loi « • » est distributive à gauche par rapport à l'addition de E :
- la loi « • » est exodistributive à droite par rapport à l'addition du corps :
- la loi « • » est exoassociative par rapport à la multiplication du corps ( elle l'« importe » dans l'espace vectoriel) :
- l'élément unité « 1 » du corps est neutre à gauche pour la loi « • » :
On appelle les éléments de des scalaires, par opposition aux éléments de E, appelés vecteurs ; en particulier, est le vecteur nul.
Étant donnés un scalaire et un vecteur , le vecteur , souvent noté , est appelé produit de ce scalaire et de ce vecteur.
Remarque : la loi « • » devrait en réalité vérifier 6 axiomes : 3 pour régler ses rapports avec les 3 autres lois impliquées, et 3 pour régler son comportement vis-à-vis de leurs 3 éléments neutres. Cependant, seuls quatre de ces six axiomes sont indépendants entre eux. Les deux « axiomes » suivants se déduisent en fait des précédents :
- l'élément zéro « 0 » du corps est exoabsorbant à gauche pour la loi « • » :
- l'élément neutre de l'addition vectorielle est absorbant à droite pour la loi « • » :
Notations : on a désigné ci-dessus les vecteurs par des lettres latines surmontées d'une flèche. Cette notation, héritée du calcul vectoriel élémentaire (vecteurs du plan ou de l'espace), n'est pas usuelle en algèbre linéaire, compte tenu de la grande diversité des situations. En effet, on verra que les vecteurs peuvent être des applications, des polynômes, des matrices, etc. qu'il n'est pas habituel de noter ainsi.
On abandonne donc cette notation dans la suite de l'article. On désignera le plus souvent les vecteurs par des minuscules latines (u, v, etc.) et les scalaires par des minuscules grecques (α, β, λ, etc.). En particulier, on notera 0 le vecteur nul d'un espace vectoriel E (il n'y a pas de risque de confusion avec le scalaire nul) ; si l'on tient à faire la distinction, on pourra désigner par 0E le vecteur nul de E.
Terminologie : un espace vectoriel sur (respectivement : sur , sur ) sera également appelé espace vectoriel rationnel (respectivement : espace vectoriel réel, espace vectoriel complexe).
Quelques propriétés élémentaires : soient un scalaire et deux vecteurs de E :
- lorsque ,
- si , alors ou (inclusif)
[modifier] Exemples
- Le corps lui-même, muni de sa loi d'addition et de multiplication par un scalaire.
- élément neutre pour l'addition : 0
- Le produit cartésien (ensemble des n-listes ou n-uplets d'éléments de ) muni des lois :
- neutre pour l'addition : (0,...,0), la n-liste dont tous les éléments sont nuls
- l'ensemble des polynômes à coefficients dans . Les lois « + » et « • » sont définies par :
- si et , :
- neutre pour l'addition : le polynôme nul, celui dont tous les coefficients sont nuls
- l'ensemble des matrices à n lignes et p colonnes. Les lois « + » et « • » sont définies par :
- si et :
- neutre pour l'addition : la matrice nulle, celle dont tous les coefficients sont nuls
- l'ensemble des applications définies sur un ensemble quelconque (non vide) D, et à valeurs dans un espace vectoriel E sur . Les lois « + » et « • » sont définies par :
- si , et , on pose pour tout , , :
- neutre pour l'addition : l'application nulle, celle qui envoie tout élément de D sur le vecteur nul de E
- l'ensemble des solutions d'une équation différentielle linéaire...
- l'ensemble des formes n-linéaires alternées est un espace vectoriel de dimension 1. C'est un résultat à la base de la théorie du déterminant.
[modifier] Combinaisons linéaires
Soient I un ensemble, une famille de scalaires indexée par I, tous nuls, sauf un nombre fini d'entre eux, et une famille de vecteurs de E, également indexée par I.
La combinaison linéaire de la famille de vecteurs ayant pour coefficients est le vecteur de E noté , et égal par définition à , où
(l'ensemble I peut fort bien être infini ; mais J est fini par hypothèse, ce qui donne un sens à la définition, puisqu'on ne sait définir la somme que pour un nombre fini de vecteurs. Lorsque les coefficients sont tous nuls, on convient que la combinaison linéaire est nulle).
Cas particulier usuel : si I est un ensemble fini à m éléments (), par exemple l'ensemble des entiers naturels compris entre 1 et m, les combinaisons linéaires sont les vecteurs pouvant s'écrire : , ou encore .
Un espace vectoriel E est par définition stable par combinaisons linéaires (toute combinaison linéaire de vecteurs de E est un vecteur de E).
[modifier] Sous-espaces vectoriels
Un sous-espace vectoriel F est un sous-ensemble de E tel que les lois « + » et « • » appliquées aux éléments de F font de celui-ci un espace vectoriel, c'est-à-dire que F est un sous-ensemble de E stable pour les lois « + » et « • » restreintes à F.
Exemple : l'ensemble des suites réelles convergentes est un sous espace vectoriel de l'ensemble des suites réelles.
[modifier] Familles libres, familles génératrices, bases
Une famille issue d'un espace vectoriel E est une « collection » de vecteurs de E.
[modifier] Familles libres, familles liées
[modifier] Définitions
- Une famille d'éléments de E est dite libre (sur ) lorsque toute combinaison linéaire d'éléments de à coefficients non tous nuls est non nulle, autrement dit lorsque la seule combinaison linéaire nulle d'éléments de est celle dont tous les coefficients sont nuls ; on dit aussi dans ce cas que les vecteurs de la famille sont linéairement indépendants.
- Une famille d'éléments de E est dite liée lorsqu'elle n'est pas libre ; cela signifie qu'il existe une combinaison linéaire nulle des éléments de cette famille à coefficients non tous nuls (c'est ce qu'on appelle une relation de dépendance linéaire).
[modifier] Propriété
- Une famille d'éléments de E est liée si et seulement si l'un de ses éléments peut s'exprimer comme combinaison linéaire des autres.
- On peut donc interpréter la liberté d'une famille comme une condition de minimalité, puisqu'une famille liée est caractérisée par le fait d'avoir au moins un élément « redondant ».
- Une famille d'un seul vecteur non nul est toujours libre.
[modifier] Nota
- Il résulte de la première propriété qu'une famille de deux vecteurs de E est liée si et seulement s'il existe un scalaire tel que ou un scalaire tel que . On dit dans ce cas que les deux vecteurs sont colinéaires.
- Autrement dit, une famille de deux vecteurs de E est libre si et seulement si ces vecteurs ne sont pas colinéaires.
- On prendra garde au fait que la propriété précédente ne s'étend pas à des familles ayant plus de deux éléments. Même si on ne peut pas y trouver deux vecteurs colinéaires, on ne peut pas affirmer que la famille soit libre.
[modifier] Familles génératrices
[modifier] Définition
- Une famille d'éléments de E est dite génératrice (de E) lorsque tout élément de E peut s'exprimer d'au moins une manière sous la forme d'une combinaison linéaire des éléments de cette famille.
- C'est une condition de maximalité, car cela signifie que la famille porte en elle suffisamment d'information pour reconstituer tout l'espace.
[modifier] Bases
[modifier] Définition
- On appelle base de l'espace vectoriel E toute famille d'éléments de E libre et génératrice.
- Une base est donc assez grande pour engendrer l'espace, mais pas trop pour ne pas faire apparaître de relations entre ses éléments.
[modifier] Propriété et définition
- Une famille d'éléments de E en est une base si et seulement si tout élément u de E s'exprime de manière unique comme combinaison linéaire des éléments de .
- Les coefficients de cette combinaison linéaire sont alors appelés les composantes de u en base .
Nota : on démontre au moyen de l'axiome du choix que tout espace vectoriel non réduit à admet au moins une base ; mais, en dehors du cas des espaces vectoriels de dimension finie (voir ci-dessous), on est le plus souvent dans l'incapacité d'expliciter une base.
[modifier] Espaces vectoriels de dimension finie
[modifier] Théorème de la dimension
- Si un espace vectoriel E admet une base ayant un nombre fini d d'éléments, alors toute base de E a ce même cardinal d.
- L'entier d est appelé la dimension de E, notée , ou s'il n'y a pas d'ambiguïté, .
- On dit alors que E est un espace vectoriel de dimension finie (sur ), égale à d.
- On convient qu'un espace vectoriel réduit à (et qui n'a donc pas de base) est de dimension finie, égale à 0.
[modifier] Cas particuliers
- On appelle droite vectorielle tout espace vectoriel de dimension finie égale à 1.
- On appelle plan vectoriel tout espace vectoriel de dimension finie égale à 2.
[modifier] Propriété
Un espace vectoriel E est de dimension finie si et seulement s'il admet une famille génératrice ayant un nombre fini d'éléments.
[modifier] Propriété
Soit E un espace vectoriel de dimension finie (non nulle) égale à n. Alors :
- toute famille génératrice de E a au moins n éléments ; si une famille génératrice de E a n éléments, c'est une base de E (on dit que les bases sont les familles génératrices minimales)
- toute famille libre de E a au plus n éléments ; si une famille libre de E a n éléments, c'est une base de E (on dit que les bases sont les familles libres maximales).
[modifier] Théorème de la base incomplète
Soient E un espace vectoriel de dimension finie n strictement supérieure à 1, et une famille libre de vecteurs de E telle que (autrement dit, une famille libre qui n'est pas une base : elle n'est pas maximale).
Alors, il existe vecteurs de E, qu'on peut noter , tels que la famille soit une base de E.
On dit qu'on a complété la famille libre en une base de E.
[modifier] Sous-espaces vectoriels en dimension finie
Soit E un espace vectoriel de dimension finie. Alors :
- tout sous-espace vectoriel F de E est de dimension finie, et dim F ≤ dim E
- si F est un sous-espace vectoriel de E tel que dim F = dim E, alors F = E.
Nota : ce théorème fournit une méthode importante pour montrer que deux sous-espaces vectoriels de dimension finie F, G d'un même espace vectoriel E sont égaux. Il suffit pour cela de prouver que l'un des deux est inclus dans l'autre, et qu'ils ont la même dimension.
[modifier] Formule de Grassmann
Soient E un espace vectoriel de dimension finie, et deux sous-espaces vectoriels de E. Alors :
- .
Nota : les espaces vectoriels qui ne sont pas de dimension finie sont dits de dimension infinie (cf. les exemples en fin d'article). Pour qu'un espace vectoriel E soit de dimension infinie, il faut et il suffit qu'il existe une famille libre infinie d'éléments de E.
[modifier] Espace dual
L'espace dual d'un espace vectoriel est l'espace vectoriel des formes linéaires sur E. L'espace dual de E est noté E*.
En dimension finie, un espace et son dual sont de même dimension. Par contre, en dimension infinie, on a uniquement .
[modifier] Exemples d'espaces (et de sous-espaces) vectoriels
On note un corps (commutatif).
- On a vu plus haut que l'ensemble des n-listes (ou n-uplets) d'éléments de est un espace vectoriel sur .
- Si, pour tout entier k compris entre 1 et n, on définit la n-liste dont tous les éléments sont nuls, sauf le k-ième, égal à 1, alors la famille est une base de , appelée base canonique.
- Tout vecteur se décompose dans cette base sous la forme : les composantes de u en base canonique sont . Ainsi, l'espace vectoriel est de dimension finie égale à n.
- En particulier, l'ensemble des n-listes de réels est un espace vectoriel réel de dimension n.
- Considérons les quatre ensembles suivants :
- L'ensemble des suites réelles (les applications définies sur , à valeurs dans )
- l'ensemble des suites réelles convergentes
- l'ensemble des suites réelles qui convergent vers 0
- l'ensemble des suites réelles à termes tous nuls à partir d'un certain rang
- On sait que est un espace vectoriel réel, et l'on vérifie que les trois autres ensembles en sont des sous-espaces vectoriels ; on a les inclusions suivantes : .
- Ces quatre espaces vectoriels sont tous de dimension infinie : pour le justifier, il suffit de prouver que est de dimension infinie.
- Pour cela, on définit, quel que soit , la suite dont les termes (réels) sont tous nuls, à l'exception du terme d'indice i, égal à 1 : la famille est une famille libre infinie de vecteurs de (c'en est même une base) ; ceci établit la propriété annoncée.
- On a vu plus haut que l'ensemble des polynômes à coefficients dans est un espace vectoriel sur ; la famille est une base, appelée base canonique, de cet espace vectoriel : les composantes d'un polynôme dans cette base sont ses coefficients. Ainsi, l'espace vectoriel est de dimension infinie.
- Pour tout , l'ensemble des polynômes à coefficients dans , et de degré inférieur ou égal à n, est un sous-espace vectoriel de , de dimension n + 1, car la famille est une base de ce sous-espace vectoriel.
- Une autre base de est la famille des polynômes de Lagrange associés à une (n+1)-liste de scalaires deux à deux distincts. Les composantes d'un élément P de dans cette base sont .
- On sait que l'ensemble des fonctions définies sur un intervalle I à valeurs dans est un espace vectoriel réel ; l'ensemble des fonctions continues sur I à valeurs dans , l'ensemble des fonctions dérivables sur I à valeurs dans , en sont des sous-espaces vectoriels.
-
- Ils sont tous de dimension infinie. En effet, pour tout , soit la fonction ; alors, la famille est une famille libre infinie de vecteurs appartenant à chacun des ces trois espaces vectoriels, ce qui établit la propriété annoncée.
- Soient un corps (commutatif) et un sous-corps. L'ensemble , muni de l'addition des éléments de et du produit par un élément de , est un espace vectoriel sur . Donnons-en deux exemples :
- l'ensemble , muni de l'addition des complexes et du produit par un réel, est un espace vectoriel réel. La famille (1, i) est une base de cet espace vectoriel, puisque tout nombre complexe z s'écrit de manière unique z = x 1 + y i, où x, y sont deux réels ; l'espace vectoriel est donc de dimension 2 sur : .
- l'ensemble , muni de l'addition des réels et du produit par un rationnel, est un espace vectoriel rationnel. Il est de dimension infinie sur : on va le prouver en montrant l'existence d'une famille infinie de réels qui est libre sur .
- En effet, on sait qu'il existe dans des nombres transcendants (tels que π ou la base e des logarithmes népériens) : ce sont par définition des réels qui ne sont racines d'aucun polynôme à coefficients rationnels autre que le polynôme nul.
- Si x est un réel transcendant, alors la famille infinie des puissances de x est libre sur : dans le cas contraire, on pourrait trouver , et des rationnels non tous nuls, tels que ; cela signifierait que x est racine du polynôme non nul , et contredirait la transcendance de x.
[modifier] Voir aussi
Articles de mathématiques en rapport avec l'algèbre linéaire |
Espace vectoriel | Base | Dimension | Matrice | Application linéaire | Déterminant | Trace | Rang | Théorème des facteurs invariants | Réduction d'endomorphisme | Réduction de Jordan | Décomposition de Dunford | Valeur propre | Polynôme caractéristique | Forme linéaire | Espace dual | Orthogonalité | Produit scalaire | Produit vectoriel | Polynôme d'endomorphisme | Polynôme minimal | Tenseur | Covecteur | Algèbre multilinéaire |
Modifier |
Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques. |