Base orthonormale / Repère orthonormé

Une base orthonormale est une structure mathématique.

Définition

Soit E_n un espace vectoriel euclidien de dimension n, où n est un entier naturel non nul, et $\mathcal B = ( \vec e_1 , \vec e_2 , ... , \vec e_n)$ , une base de E_n.

Si n = 1, alors $\mathcal B = ( \vec e_1)$ est dite orthonormale si et uniquement si

$\| \vec e_1 \| = 1$

Si n > 1, alors $\mathcal B$ est orthonormale si et uniquement si

$\| \vec e_1 \| = \| \vec e_2 \| = ... = \| \vec e_n \| = 1$

et,

pour tout $i \not = j$ , $\vec e_i \perp \vec e_j$ (c'est-à-dire $\vec e_i \cdot \vec e_j$ = 0)

Une base orthonormale est par conséquent une base où l'ensemble des vecteurs de la base sont de norme 1 et sont orthogonaux 2 à 2. Cette définition s'applique aussi sur un espace hermitien. Il correspond à une généralisation aux complexes d'un espace euclidien.

Repère orthonormal (ou orthonormé)

Soient A_n un espace affine euclidien associé à l'espace vectoriel euclidien E_n et O un point quelconque de A_n, alors le repère

$\mathcal R = (\ O , \vec e_1 , \vec e_2 , ... , \vec e_n)$

est dit orthonormal si et uniquement si sa base associée $\mathcal B = ( \vec e_1 , \vec e_2 , ... , \vec e_n)$ est elle-même orthonormale.

En géométrie dans l'espace

En géométrie dans l'espace, la base est généralement notée $(\vec{i},\vec{j},\vec{k})$ au lieu de $(\vec{e_1},\vec{e_2},\vec{e_3})$ .

La base est dite «directe» si $\vec{k}$ est le produit vectoriel de $\vec{i}$ et de $\vec{j}$ ( $\vec{k} = \vec{i} \wedge \vec{j}$ ).

Le terme «base orthonormale directe» est quelquefois abrégé par le sigle BOD.

Si la base associée à un repère est orthonormale directe, le repère est un repère orthonormal direct, terme quelquefois abrégé par le sigle ROND.

Voir l'article Orientation (mathématiques) .

Orthonormalisation

Article détaillé : Procédé de Gram-Schmidt.

On peut à partir d'une base qui n'est pas orthonormale construire une base orthonormale. La méthode la plus commune est l'orthogonalisation de Gram-Schmidt. Cette méthode sert à construire une base orthonormale à partir de toute base de l'espace.

Voir aussi

Système de coordonnées cartésiennes
Base canonique

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

Espace euclidien • Espace hermitien • Forme bilinéaire • Forme symplectique • Forme quadratique • Forme sesquilinéaire • Orthogonalité • Base orthonormale • Projection orthogonale • Inégalité de Cauchy-Schwarz • Inégalité de Minkowski • Matrice définie positive • Matrice semi-définie positive • Décomposition QR • Déterminant de Gram • Espace de Hilbert • Base de Hilbert • Théorème spectral • Théorème de Stampacchia • Théorème de Riesz • Théorème de Lax-Milgram • Théorème de représentation de Riesz

Recherche sur Amazon (livres) :

Ce texte est issu de l'encyclopédie Wikipedia. Vous pouvez consulter sa version originale dans cette encyclopédie à l'adresse http://fr.wikipedia.org/wiki/Base_orthonormale.
Voir la liste des contributeurs.
La version présentée ici à été extraite depuis cette source le 10/03/2010.
Ce texte est disponible sous les termes de la licence de documentation libre GNU (GFDL).
La liste des définitions proposées en tête de page est une sélection parmi les résultats obtenus à l'aide de la commande "define:" de Google.
Cette page fait partie du projet Wikibis.