Comment compléter une famille orthonormée en une base orthonormée d'un espace euclidien ? | MetMat

Comment compléter une famille orthonormée en une base orthonormée d'un espace euclidien ?

En complétant en base quelconque puis en orthonormalisant (Schmidt)

Obtenir une base orthonormée de $E$ prolongeant une famille orthonormée déjà donnée.

Que ferais-tu face à un exercice de ce type ?

Dans $\mathbb{R}^3$ muni du produit scalaire canonique, compléter la famille $\left(e_1 = \tfrac{1}{\sqrt{5}}(1, 2, 0)\right)$ en une base orthonormée par Gram-Schmidt.

L'objectif

Obtenir une base orthonormée de $E$ prolongeant une famille orthonormée déjà donnée.

Le principe

Toute famille libre d'un espace de dimension finie peut être complétée en base ; Gram-Schmidt appliqué à la partie ajoutée, en conservant les $e_i$ initiaux, produit une base orthonormée.

La méthode

1
Je vérifie que la famille $(e_1,\ldots,e_k)$ est bien orthonormée : $\langle e_i, e_j \rangle = \delta_{ij}$ , et donc libre.
2
Je complète $(e_1,\ldots,e_k)$ par des vecteurs $v_{k+1},\ldots,v_n$ choisis simplement pour former une base (souvent des vecteurs de la base canonique) et je vérifie l'indépendance.
3
J'applique Gram-Schmidt aux vecteurs ajoutés : pour $j$ de $k+1$ à $n$ , je pose $w_j = v_j - \sum_{i=1}^{j-1} \langle v_j, e_i \rangle e_i$ puis $e_j = w_j/\|w_j\|$ .
4
Je conclus que $(e_1,\ldots,e_n)$ est une base orthonormée de $E$ prolongeant la famille initiale.

Pour comprendre, fais des exercices !

0/5 validés

Exercice d'exemple

Dans $\mathbb{R}^3$ muni du produit scalaire canonique, compléter la famille $\left(e_1 = \tfrac{1}{\sqrt{5}}(1, 2, 0)\right)$ en une base orthonormée par Gram-Schmidt.

Étape 1 —

Je vérifie que la famille

(e_1,\ldots,e_k)

est bien orthonormée :

\langle e_i, e_j \rangle = \delta_{ij}

, et donc libre.

$e_1 = \tfrac{1}{\sqrt{5}}(1, 2, 0)$ est déjà normée : $\|e_1\|^2 = \tfrac{1}{5}(1 + 4) = 1$ .

Étape 2 —

Je complète

(e_1,\ldots,e_k)

par des vecteurs

v_{k+1},\ldots,v_n

choisis simplement pour former une base (souvent des vecteurs de la base canonique) et je vérifie l'indépendance.

On complète par $v_2 = (0, 0, 1)$ : $\langle v_2, e_1\rangle = 0$ , donc $w_2 = v_2$ et $e_2 = (0, 0, 1)$ .

Étape 3 —

J'applique Gram-Schmidt aux vecteurs ajoutés : pour

j

k+1

n

, je pose

w_j = v_j - \sum_{i=1}^{j-1} \langle v_j, e_i \rangle e_i

puis

e_j = w_j/\|w_j\|

Pour $v_3 = (1, 0, 0)$ : $\langle v_3, e_1\rangle = \tfrac{1}{\sqrt{5}}$ , donc $w_3 = (1, 0, 0) - \tfrac{1}{5}(1, 2, 0) = \tfrac{1}{5}(4, -2, 0)$ . Comme $\langle v_3, e_2\rangle = 0$ , on a $\|w_3\| = \tfrac{2}{\sqrt{5}}$ , donc $e_3 = \tfrac{1}{\sqrt{5}}(2, -1, 0)$ .

Étape 4 —

Je conclus que

(e_1,\ldots,e_n)

est une base orthonormée de

E

prolongeant la famille initiale.

$(e_1, e_2, e_3)$ est une base orthonormée de $\mathbb{R}^3$ .

$e_2 = (0, 0, 1)$ , $e_3 = \tfrac{1}{\sqrt{5}}(2, -1, 0)$ .

Application guidée

Dans $\mathbb{R}^3$ muni du produit scalaire canonique, compléter la famille $(e_1) = \left(\tfrac{1}{\sqrt{3}}(1,1,1)\right)$ en base orthonormée.

Application autonome 1

Dans $\mathbb{R}^4$ canonique, compléter $(e_1, e_2)$ avec $e_1 = \tfrac{1}{\sqrt{2}}(1,1,0,0)$ et $e_2 = \tfrac{1}{\sqrt{2}}(1,-1,0,0)$ en base orthonormée.

Application autonome 2

Dans $\mathbb{R}^3$ canonique, compléter $(e_1) = (\tfrac{1}{\sqrt{2}}(1, 1, 0))$ en base orthonormée.

Application autonome 3

Dans $\mathbb{R}^3$ muni du produit scalaire canonique, appliquer Gram-Schmidt à la famille libre $(v_1, v_2, v_3) = ((1, 1, 1),\ (1, 0, 0),\ (0, 1, 0))$ pour obtenir une base orthonormée.

Crée ton compte pour accéder à la fiche et aux exercices