Base (algèbre linéaire)

Un article de Wikipédia, l'encyclopédie libre.

Pour les articles homonymes, voir base.

Cet article est une ébauche à compléter concernant l'algèbre, vous pouvez partager vos connaissances en le modifiant.

Cet article ou cette section doit être recyclé. Sa qualité devrait être largement améliorée en le réorganisant et en le clarifiant.
L'utilisateur qui appose ce bandeau est invité à énoncer les points à améliorer en page de discussion.

En algèbre linéaire, une base est une famille de vecteurs, qui, de manière simpliste, peut se voir comme une manière de se repérer dans l'espace en définissant des axes gradués. De manière plus rigoureuse, c'est une famille de vecteurs libre et génératrice. Voir les articles géométrie vectorielle et espace vectoriel.

[modifier] Définition

Une famille de vecteurs forme une base si aucun de ces vecteurs ne peut se déduire des autres par une combinaison linéaire (une telle famille est dite « libre »), et si tout vecteur de l'espace peut s'exprimer comme une combinaison linéaire des vecteurs de la base (une telle famille est dite génératrice).

Dans le plan, une base est donc formée de deux vecteurs non colinéaires (non proportionnels) ; ces vecteurs sont souvent notés $(\vec{\imath},\vec{\jmath})$ ou (e₁,e₂). Dans l'espace, il s'agit de trois vecteurs non coplanaires ; ces vecteurs sont souvent notés $(\vec{\imath},\vec{\jmath},\vec{k})$ ou (e₁,e₂,e₃).

Plaçons-nous dans l'espace. Un vecteur $\vec{u}$ quelconque peut donc s'écrire

$\vec{u} = x_u \cdot \vec{\imath} + y_u \cdot \vec{\jmath} + z_u \cdot \vec{k}$

où x_u, y_u et z_u sont des réels, nommés « coordonnées » ou « composantes » du vecteur. Notons que cette décomposition est unique. On peut aussi écrire $\vec{u}$ sous la forme d'une matrice-colonne :

$\vec{u} = \begin{pmatrix} x_u \\ y_u \\ z_u \end{pmatrix}$

On utilise aussi fréquemment une autre notation des composantes, qui va souvent de pair avec l'autre notation pour la base :

$\mathbf{u} = u_1 \cdot \mathbf{e_1} + u_2 \cdot \mathbf{e_2} + u_3 \cdot \mathbf{e_3}$

$\mathbf{u} = \begin{pmatrix} u_1 \\ u_2 \\ u_3 \end{pmatrix}$

On a :

$\vec{\imath} = \mathbf{e_1} = \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix}$

$\vec{\jmath} = \mathbf{e_2} = \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix}$

$\vec{k} = \mathbf{e_3 } = \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix}$

[modifier] Types de base

La base est dite orthonormée si les trois vecteurs sont orthogonaux entre eux et si leur norme vaut 1. Elle est dite directe si

dans le plan, l'angle $(\widehat{\vec{\imath},\vec{\jmath}})$ — ou $(\widehat{\mathbf{e_1},\mathbf{e_2}})$ — est positif
dans l'espace, le trièdre formé par les trois vecteurs de la base est direct.

Les bases orthonormées directes sont les bases le plus souvent utilisées. Cependant, il est intéressant dans certains cas d'avoir une base « quelconque ». Par exemple, dans un cristal, l'organisation des atomes définit une base « naturelle » (la maille) qui n'est pas nécessairement orthonormée. De même, lorsque l'on étudie la déformation des solides, les axes permettant d'exprimer les équations de la manière la plus simple ne sont pas toujours orthogonaux.

Base orthonormée directe et base quelconque, du plan et de l'espace

[modifier] Opérations vectorielles et composantes

Les premières considérations concernent toutes les bases y compris les bases qui ne sont pas orthonormées directes.

Si (x_u,y_u,z_u) sont les composantes de $\vec{u}$ et (x_v,y_v,z_v) sont celles de $\vec{v}$ , alors on a :

$a \cdot \vec{u} = \begin{pmatrix} a \cdot x_u \\ a \cdot y_u \\ a \cdot z_u \end{pmatrix}$

$\vec{u} + \vec{v} = \begin{pmatrix} x_u + x_v \\ y_u + y_v \\ z_u + z_v \end{pmatrix}$

ou avec l'autre notation

$a \cdot \mathbf{u} = \begin{pmatrix} a \cdot u_1 \\ a \cdot u_2 \\ a \cdot u_3 \end{pmatrix} \ {\rm et} \ \mathbf{u} + \mathbf{v} = \begin{pmatrix} u_1 + v_1 \\ u_2 + v_2 \\ u_3 + v_3 \end{pmatrix}$

Une base orthonormée est particulièrement intéressante pour calculer le produit scalaire :

$\vec{u} \cdot \vec{v} = x_u \cdot x_v + y_u \cdot y_v + z_u \cdot z_v$

$||\vec{u}||^2 = x_u^2 + y_u^2 + z_u^2$

(ceci peut aussi se déduire du théorème de Pythagore). Avec l'autre notation, cela donne

$\mathbf{u} \cdot \mathbf{v} = \sum_{i=1}^3 u_i \cdot v_i$

$\mathbf{u}^2 = \sum_{i=1}^3 u_i^2$

Si de plus la base orthonormée est directe, cela simplifie le calcul du produit vectoriel. En effet, on a alors

$\vec{k} = \vec{\imath} \wedge \vec{\jmath}$ ; $\vec{\imath} = \vec{\jmath} \wedge \vec{k}$ ; $\vec{\jmath} = \vec{k} \wedge \vec{\imath}$

ou avec l'autre notation

$\mathbf{e_3} = \mathbf{e_1} \wedge \mathbf{e_2}$ ; $\mathbf{e_1} = \mathbf{e_2} \wedge \mathbf{e_3}$ ; $\mathbf{e_2} = \mathbf{e_3} \wedge \mathbf{e_1}$

Il suffit alors de mettre côte à côte les deux matrices-colonne représentant les vecteurs, de rajouter une quatrième ligne comprenant la première composante (x_u ou u₁), et de soustraire les produits en croix des lignes deux par deux ; le résultat est placé dans la ligne n'intervenant pas dans le calcul. Par exemple le résultat du produit en croix entre les ligne x et y (les lignes 1 et 2) est placé dans la ligne z (ligne 3) de la matrice-colonne résultante.

Algorithme permettant de calculer simplement le produit vectoriel dans le cas d'une base orthonormée directe

Voir aussi : Géométrie analytique.

[modifier] Base et repère

Un repère (du plan ou de l'espace) est la donnée d'une base et d'un point de référence, noté en général O. Nous allons supposer ici que la base utilisée pour les vecteurs est la même que celle utilisée pour le repère. Si les coordonnées du point A sont (x_A,y_A,z_A) et celles du point B sont (x_B,y_B,z_B), alors le vecteur $\overrightarrow{AB}$ a pour composantes :

$\overrightarrow{AB} = \begin{pmatrix} x_B - x_A \\ y_B - y_A \\ z_B - z_A \end{pmatrix}$

en particulier, on a

$\overrightarrow{OA} = \begin{pmatrix} x_A \\ y_A \\ z_A \end{pmatrix}$

En utilisant l'autre notation, les coordonnées de A sont (a₁,a₂,a₃) et celles du point B sont (b₁,b₂,b₃), et le vecteur u = AB a pour composantes :

u_i = b_i - a_i

[modifier] Les transformations

Les transformations d'une base sont toujours l'inverse de celles des fonctions qui y sont décrites. Par exemple, la rotation d'un repère dans le sens trigonométrique est équivalente à la rotation des vecteurs dans le sens horaire.

Articles de mathématiques en rapport avec l'algèbre linéaire