Composantes d'un vecteur

Soit E un K-espace vectoriel de dimension n et soit ${\displaystyle {\mathcal {B}}=\left(b_{1},b_{2},\ldots ,b_{n}\right)}$ une base de E.

Alors pour tout vecteur ${\displaystyle v}$ de E, il existe une unique combinaison linéaire des vecteurs de la base, égale à ${\displaystyle v}$ :

${\displaystyle v=\alpha _{1}b_{1}+\alpha _{2}b_{2}+\cdots +\alpha _{n}b_{n},}$

c'est-à-dire que les scalaires ${\displaystyle \alpha _{i}}$ où ${\displaystyle i\in \{1,\ldots ,n\}}$ sont déterminés de façon unique par ${\displaystyle v}$ et ${\displaystyle {\mathcal {B}}}$.

Maintenant, les composantes (ou les coordonnées) de ${\displaystyle v}$ dans la base ${\displaystyle {\mathcal {B}}}$ ou relativement à la base ${\displaystyle {\mathcal {B}}}$, sont par définition la famille ${\displaystyle \left(\alpha _{1},\ldots ,\alpha _{n}\right)}$. Les composantes peuvent aussi être représentées en colonne sous forme d'une matrice :

${\displaystyle {\begin{pmatrix}\alpha _{1}\\\vdots \\\alpha _{n}\end{pmatrix}}.}$.

La matrice est appelée matrice colonne — ou vecteur colonne — des composantes — ou des coordonnées — de ${\displaystyle v}$ dans la base ${\displaystyle {\mathcal {B}}}$.

Cette matrice est parfois notée ${\displaystyle M_{\mathcal {B}}(v)}$, ${\displaystyle Mat_{\mathcal {B}}(v)}$ ou encore ${\displaystyle [v]_{\mathcal {B}}}$.

Pour ${\displaystyle i\in \{1,\ldots ,n\}}$, le scalaire ${\displaystyle \alpha _{i}}$ est appelé la ${\displaystyle i}$-ème composante — ou ${\displaystyle i}$-ème coordonnée — du vecteur ${\displaystyle v}$ dans la base ${\displaystyle {\mathcal {B}}}$.

Le mécanisme précédent, qui à un vecteur ${\displaystyle v}$ de E qui fait correspondre ses composantes dans la base ${\displaystyle {\mathcal {B}}}$, peut être décrit par l'application ${\displaystyle \varphi _{\mathcal {B}}}$, définie par

${\displaystyle \forall v\in E,\varphi _{\mathcal {B}}(v)=\left(\alpha _{1},\ldots ,\alpha _{n}\right),}$

où ${\displaystyle \alpha _{1},\ldots ,\alpha _{n}}$ appartiennent à ${\displaystyle K}$ et vérifient ${\displaystyle v=\alpha _{1}b_{1}+\cdots +\alpha _{n}b_{n}.}$

Alors ${\displaystyle \varphi _{\mathcal {B}}}$ est une application linéaire de E dans Kⁿ.

C'est même un isomorphisme : sa réciproque ${\displaystyle \varphi _{\mathcal {B}}^{-1}:K^{n}\to E}$ est définie par

${\displaystyle \forall (\alpha _{1},\ldots ,\alpha _{n})\in K^{n},\varphi _{\mathcal {B}}^{-1}(\alpha _{1},\ldots ,\alpha _{n})=\alpha _{1}b_{1}+\cdots +\alpha _{n}b_{n}.}$

Il est aussi possible de commencer par définir cette application ${\displaystyle \varphi _{\mathcal {B}}^{-1}}$, de constater que c'est un isomorphisme, puis de définir ${\displaystyle \varphi _{\mathcal {B}}}$ comme l'isomorphisme réciproque.