Espace vectoriel

Un article de Wikivisual, 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.

[modifier] Définition

Un espace vectoriel E sur un corps (commutatif) <math>\mathbb{K}</math> - ou plus précisément ( <math>\mathbb{K}</math>, +, • ) - 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 <math>\mathbb{K}</math>), 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 :
  <math> \forall\, \vec u \in E , \ \forall\, \vec v \in E , \ \forall\, \vec w \in E , \ ( \vec u + \vec v ) + \vec w = \vec u + ( \vec v + \vec w ) \,</math>
- la loi « + » est unifère, elle a un élément neutre :
  <math> \exists\, \vec e \in E , \ \forall\, \vec u \in E , \ \vec e + \vec u = \vec u + \vec e = \vec u \,</math>. Cet élément <math>\vec e</math> est unique, on le note <math>\vec 0</math>.
- la loi « + » est symétrisable, tout élément de E a un opposé :
  <math> \forall\, \vec u \in E , \ \exists\, \vec v \in E\, /\, \ \vec u + \vec v = \vec v + \vec u = \vec 0 \,</math>. Ce vecteur <math>\vec v</math> est unique pour un <math>\vec u</math> spécifié. On le note <math>(-\vec u)</math>.
- la loi « + » est commutative :
  <math> \forall\, \vec u \in E , \ \forall\, \vec v \in E , \ \vec u + \vec v = \vec v + \vec u \,</math>

la loi externe « • » est une application <math>\mathbb{K} \times E \to E,\, (\lambda,\, \vec u) \mapsto \lambda \cdot \vec u</math> (noté aussi <math> \lambda\, \vec u</math>) qui permet à <math>\mathbb{K}</math> d'opérer sur E, selon les quatre axiomes suivants :
- l'élément unité « 1 » du corps <math>\mathbb{K}</math> est neutre à gauche pour la loi « • » :
  <math> \forall\, \vec u \in E , \ 1 \cdot \vec u = \vec u \,</math>
- la loi « • » est distributive à gauche par rapport à l'addition de E :
  <math> \forall\, \lambda \in \mathbb{K} , \ \forall\, \vec u \in E , \ \forall\, \vec v \in E , \ \lambda \cdot ( \vec u + \vec v ) = ( \lambda \cdot \vec u ) + ( \lambda \cdot \vec v ) \,</math>
- la loi « • » est exodistributive à droite par rapport à l'addition du corps <math>\mathbb{K}</math> :
  <math> \forall\, \lambda \in \mathbb{K} , \ \forall\, \mu \in \mathbb{K} , \ \forall\, \vec u \in E , \ ( \lambda + \mu ) \cdot \vec u = ( \lambda \cdot \vec u ) + ( \mu \cdot \vec u ) \,</math>
- la loi « • » est exoassociative par rapport à la multiplication du corps <math>\mathbb{K}</math> ( elle l'« importe » dans l'espace vectoriel) :
  <math> \forall\, \lambda \in \mathbb{K} , \ \forall\, \mu \in \mathbb{K} , \ \forall\, \vec u \in E , \ ( \lambda \cdot \mu ) \cdot \vec u = \lambda \cdot ( \mu \cdot \vec u ) \,</math>

On appelle les éléments de <math>\mathbb K</math> des scalaires, par opposition aux éléments de E, appelés vecteurs ; en particulier, <math>\vec 0</math> est le vecteur nul.

Étant donnés un scalaire <math>\ \lambda</math> et un vecteur <math>\vec u</math>, le vecteur <math> \lambda \cdot \vec u</math>, souvent noté <math> \lambda\, \vec u</math>, 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 <math>\mathbb{K}</math> est exoabsorbant à gauche pour la loi « • » :
<math> \forall\, \vec u \in E , \ 0 \cdot \vec u = \vec 0 \,</math>
l'élément neutre de l'addition vectorielle est absorbant à droite pour la loi « • » :
<math> \forall\, \lambda \in \mathbb{K} , \ \lambda \cdot \vec 0 = \vec 0 \,</math>

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 <math> 0_E</math> le vecteur nul de E.

Terminologie : un espace vectoriel sur <math>\mathbb{Q}</math> (respectivement : sur <math>\mathbb{R}</math>, sur <math>\mathbb{C}</math>) sera également appelé espace vectoriel rationnel (respectivement : espace vectoriel réel, espace vectoriel complexe).

Quelques propriétés élémentaires : soient un scalaire <math>\ \lambda</math> et deux vecteurs <math>u,\, v</math> de E :

<math>\ (-1)\, u = -u</math>
lorsque <math>\ \lambda \neq 0</math>, <math>\ v = \lambda\, u \iff u = \frac{1}{\lambda}\, v</math>
si <math>\ \lambda\, u = 0_E</math>, alors <math>\ \lambda = 0</math> ou (inclusif) <math>\ u = 0_E</math>

[modifier] Exemples

Le corps <math>\mathbb{K}</math> 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 <math>\mathbb{K}^n</math> (ensemble des n-listes ou n-uplets d'éléments de <math>\mathbb{K}</math>) muni des lois :
- <math> + :((x_1,...,x_n),(y_1,...,y_n))\in\mathbb{K}^n\times\mathbb{K}^n \mapsto (x_1+y_1,...,x_n+y_n)</math>
- <math>\cdot:(\lambda,(y_1,...,y_n))\in\mathbb{K}\times\mathbb{K}^n \mapsto (\lambda\, y_1,...,\lambda\, y_n)</math>
- neutre pour l'addition : <math>(0,...,0)</math>, la n-liste dont tous les éléments sont nuls

l'ensemble <math>\mathbb{K}[X]</math> des polynômes à coefficients dans <math>\mathbb{K}</math>. Les lois « + » et « • » sont définies par :
si <math>P=\sum_{k=0}^{n}a_k X^k</math> et <math>Q=\sum_{k=0}^{p}b_k X^k</math>, <math>\ p\leq n</math> :
- <math>+:(P,Q)\in\mathbb{K}[X] \times \mathbb{K}[X] \mapsto P+Q=\sum_{k=0}^{n}(a_k+b_k) X^k</math>
- <math>\cdot:(\lambda,Q)\in\mathbb{K} \times \mathbb{K}[X] \mapsto \lambda\, Q=\sum_{k=0}^{n}(\lambda\, b_k) X^k</math>
- neutre pour l'addition : le polynôme nul, celui dont tous les coefficients sont nuls

l'ensemble <math>\mathcal{M}_{n,p}(\mathbb{K})</math> des matrices à n lignes et p colonnes. Les lois « + » et « • » sont définies par :
si <math>\ A=(a_{ij})_{i \in 1,n, j \in 1,p }</math> et <math>\ B=(b_{ij})_{i \in 1,n, j \in 1,p }</math> :
- <math>+:(A,B)\in\mathcal{M}_{n,p}(\mathbb{K}) \times \mathcal{M}_{n,p}(\mathbb{K}) \mapsto A+B=(a_{ij}+b_{ij})</math>
- <math>\cdot:(\lambda,B)\in\mathbb{K} \times \mathcal{M}_{n,p}(\mathbb{K}) \mapsto \lambda\, B=(\lambda\, b_{ij})</math>
- neutre pour l'addition : la matrice nulle, celle dont tous les coefficients sont nuls

l'ensemble <math> \mathcal{A} = E^D</math> des applications définies sur un ensemble quelconque (non vide) D, et à valeurs dans un espace vectoriel E sur <math>\mathbb{K}</math>. Les lois « + » et « • » sont définies par :
si <math>\ f \in \mathcal{A}</math>, <math>\ g \in \mathcal{A}</math> et <math>\ \lambda \in \mathbb{K}</math>, on pose pour tout <math>\ x \in D</math>, <math>\ s(x) = f(x) + g(x)</math>, <math>\ p(x) = \lambda\, f(x)</math> :
- <math>+:(f,g)\in \mathcal{A} \times \mathcal{A} \mapsto f+g=s</math>
- <math>\cdot:(\lambda,f)\in\mathbb{K} \times \mathcal{A} \mapsto \lambda\, f=p</math>
- 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 <math>I</math> un ensemble, <math>(\lambda_i)_{\,i\,\in\, I}</math> une famille de scalaires indexée par <math>I</math>, tous nuls, sauf un nombre fini d'entre eux, et <math>(x_i)_{\,i\,\in\, I}</math> une famille de vecteurs de <math>E</math>, également indexée par <math>I</math>.

La combinaison linéaire de la famille de vecteurs <math>(x_i)_{\,i\,\in\, I}</math> ayant pour coefficients <math>(\lambda_i)_{\,i\,\in\, I}</math> est le vecteur de <math>E</math> noté <math>\sum_{\,i\,\in\, I}\lambda_i\, x_i</math>, et égal par définition à <math>\sum_{\,i\,\in\, J}\lambda_i\, x_i</math>, où <math>\ J = \left\{ i \in I\, /\, \lambda_i \neq 0\right\}</math>

(l'ensemble <math>I</math> peut fort bien être infini ; mais <math>J</math> 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 <math>I</math> est un ensemble fini à <math>m</math> éléments (<math>m\geq 1</math>), par exemple l'ensemble des entiers naturels compris entre <math>1</math> et <math>m</math>, les combinaisons linéaires sont les vecteurs pouvant s'écrire : <math>\sum_{i = 1}^m \lambda_i\, x_i</math>, ou encore <math>\lambda_1\, x_1 + \cdots + \lambda_m\, x_m</math>.

Un espace vectoriel <math>E</math> est par définition stable par combinaisons linéaires (toute combinaison linéaire de vecteurs de <math>E</math> est un vecteur de <math>E</math>).

[modifier] Sous-espaces vectoriels

Image:Searchtool.svg Voir l’article Sous-espace vectoriel.

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

Image:Searchtool.svg Voir l’article Famille (mathématiques).

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 <math>\mathcal{L}</math> d'éléments de E est dite libre (sur <math>\mathbb{K}</math>) lorsque toute combinaison linéaire d'éléments de <math>\mathcal{L}</math> à coefficients non tous nuls est non nulle, autrement dit lorsque la seule combinaison linéaire nulle d'éléments de <math>\mathcal{L}</math> 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 <math>\ (u_1,\, u_2)</math> de deux vecteurs de E est liée si et seulement s'il existe un scalaire <math>\ \alpha</math> tel que <math>\ u_2 = \alpha\, u_1</math> ou un scalaire <math>\ \beta</math> tel que <math>\ u_1 = \beta\, u_2</math>. 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 <math>\mathcal{B}</math> 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 <math>\mathcal{B}</math>.
Les coefficients de cette combinaison linéaire sont alors appelés les composantes de u en base <math>\mathcal{B}</math>.

Nota : on démontre au moyen de l'axiome du choix que tout espace vectoriel non réduit à <math>\ \{0\}</math> 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 <math>\dim_{\mathbb{K}} E</math>, ou s'il n'y a pas d'ambiguïté, <math>\dim E</math>.
On dit alors que E est un espace vectoriel de dimension finie (sur <math>\mathbb{K} </math>), égale à d.
On convient qu'un espace vectoriel réduit à <math>\ \{0\}</math> (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 <math>\ (u_1, \dots, u_p)</math> une famille libre de vecteurs de E telle que <math>\ p < n</math> (autrement dit, une famille libre qui n'est pas une base : elle n'est pas maximale).

Alors, il existe <math>\ n - p</math> vecteurs de E, qu'on peut noter <math>\ (u_{p + 1}, \dots, u_n)</math>, tels que la famille <math>\ (u_1, \dots, u_n)</math> soit une base de E.

On dit qu'on a complété la famille libre <math>\ (u_1, \dots, u_p)</math> 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 <math> F_1,\, F_2</math> deux sous-espaces vectoriels de E. Alors :

<math>\dim (F_1 + F_2) + \dim(F_1 \cap F_2) = \dim F_1 + \dim F_2</math>.

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

Image:Searchtool.svg Voir l’article 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 <math>\dim E \le \dim E^*</math>.

[modifier] Exemples d'espaces (et de sous-espaces) vectoriels

On note <math>\mathbb{K}</math> un corps (commutatif).

On a vu plus haut que l'ensemble <math>\mathbb{K}^n</math> des n-listes (ou n-uplets) d'éléments de <math>\mathbb{K}</math> est un espace vectoriel sur <math>\mathbb{K}</math>.
Si, pour tout entier k compris entre 1 et n, on définit la n-liste <math>\ e_k</math> dont tous les éléments sont nuls, sauf le k-ième, égal à 1, alors la famille <math> \mathcal{B} = (e_1,\, \dots,\, e_n)</math> est une base de <math>\mathbb{K}^n</math>, appelée base canonique.
Tout vecteur <math> u = (x_1,\, \dots,\, x_n) \in \mathbb{K}^n</math> se décompose dans cette base sous la forme <math> u = x_1\, e_1 + \cdots + x_n\, e_n</math> : les composantes de u en base canonique sont <math> x_1,\, \dots,\, x_n </math>. Ainsi, l'espace vectoriel <math>\mathbb{K}^n</math> est de dimension finie égale à n.
En particulier, l'ensemble <math>\mathbb{R}^n</math> des n-listes de réels est un espace vectoriel réel de dimension n.

Considérons les quatre ensembles suivants :
L'ensemble <math>\mathbb R^{\mathbb N}</math> des suites réelles (les applications définies sur <math>\mathbb{N}</math>, à valeurs dans <math>\mathbb{R}</math>)
l'ensemble <math>\mathcal{C}</math> des suites réelles convergentes
l'ensemble <math>\mathcal{N}</math> des suites réelles qui convergent vers 0
l'ensemble <math>\mathbb{\R}^{(\mathbb{N})}</math> des suites réelles à termes tous nuls à partir d'un certain rang
On sait que <math>\mathbb R^{\mathbb N}</math> 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 : <math>\mathbb{\R}^{(\mathbb{N})} \subset \mathcal{N} \subset \mathcal{C} \subset \mathbb R^{\mathbb N}</math>.
Ces quatre espaces vectoriels sont tous de dimension infinie : pour le justifier, il suffit de prouver que <math>\mathbb{\R}^{(\mathbb{N})}</math> est de dimension infinie.
Pour cela, on définit, quel que soit <math>i \in \mathbb{N}</math>, la suite <math>\ e_i</math> dont les termes (réels) sont tous nuls, à l'exception du terme d'indice i, égal à 1 : la famille <math>(e_i)_{\, i\, \in\, \mathbb{N}}</math> est une famille libre infinie de vecteurs de <math>\mathbb{\R}^{(\mathbb{N})}</math> (c'en est même une base) ; ceci établit la propriété annoncée.

On a vu plus haut que l'ensemble <math>\mathbb{K}[X]</math> des polynômes à coefficients dans <math>\mathbb{K}</math> est un espace vectoriel sur <math>\mathbb{K}</math> ; la famille <math>(X^k)_{\,k\, \in\, \mathbb{N}}</math> 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 <math>\mathbb{K}[X]</math> est de dimension infinie.
Pour tout <math>n \in \mathbb{N}</math>, l'ensemble <math>\mathbb{K}_n[X]</math> des polynômes à coefficients dans <math>\mathbb{K}</math>, et de degré inférieur ou égal à n, est un sous-espace vectoriel de <math>\mathbb{K}[X]</math>, de dimension n + 1, car la famille <math>\ (X^0, \, \dots,\, X^n)</math> est une base de ce sous-espace vectoriel.
Une autre base de <math>\mathbb{K}_n[X]</math> est la famille <math> \ (\ell_0,\, \dots,\, \ell_n)</math> des polynômes de Lagrange associés à une (n+1)-liste <math>(x_0, \dots,\, x_n)</math> de scalaires deux à deux distincts. Les composantes d'un élément P de <math>\mathbb{K}_n[X]</math> dans cette base sont <math>P(x_0), \dots,\, P(x_n)</math>.

On sait que l'ensemble des fonctions définies sur un intervalle I à valeurs dans <math>\mathbb{R}</math> est un espace vectoriel réel ; l'ensemble des fonctions continues sur I à valeurs dans <math>\mathbb{R}</math>, l'ensemble des fonctions dérivables sur I à valeurs dans <math>\mathbb{R}</math>, en sont des sous-espaces vectoriels.

Ils sont tous de dimension infinie. En effet, pour tout <math>i \in \mathbb{N}</math>, soit la fonction <math>\ e_i : I \to \R,\, x \mapsto x^i</math> ; alors, la famille <math>(e_i)_{\, i\, \in\, \mathbb{N}}</math> est une famille libre infinie de vecteurs appartenant à chacun des ces trois espaces vectoriels, ce qui établit la propriété annoncée.

Soient <math>\mathbb{L}</math> un corps (commutatif) et <math>\mathbb{K}</math> un sous-corps. L'ensemble <math>\mathbb{L}</math>, muni de l'addition des éléments de <math>\mathbb{L}</math> et du produit par un élément de <math>\mathbb{K}</math>, est un espace vectoriel sur <math>\mathbb{K}</math>. Donnons-en deux exemples :
- l'ensemble <math>\mathbb{C}</math>, 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 <math>\mathbb{C}</math> est donc de dimension 2 sur <math>\mathbb{R}</math> : <math>\dim_{\mathbb{R}} \mathbb{C} = 2</math>.
- l'ensemble <math>\mathbb{R}</math>, muni de l'addition des réels et du produit par un rationnel, est un espace vectoriel rationnel. Il est de dimension infinie sur <math>\mathbb{Q}</math> : on va le prouver en montrant l'existence d'une famille infinie de réels qui est libre sur <math>\mathbb{Q}</math>.
  En effet, on sait qu'il existe dans <math>\mathbb{R}</math> des nombres transcendants (tels que <math>\pi</math> ou la base <math>\mathrm{e}</math> 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 <math>\left(x^i\right)_{\, i\, \in\, \mathbb{N}}</math> des puissances de x est libre sur <math>\mathbb{Q}</math> : dans le cas contraire, on pourrait trouver <math>n \in \mathbb{N}</math>, et des rationnels <math>\alpha_0, \dots, \alpha_n</math> non tous nuls, tels que <math>\sum_{k=0}^n \alpha_k\, x^k = 0</math> ; cela signifierait que x est racine du polynôme non nul <math>P = \sum_{k=0}^n \alpha_k\, X^k \in \mathbb{Q}[X]</math>, et contredirait la transcendance de x.