Comment déterminer le… : En complétant une base orthonormée de F… — ECG2 approfondies | MetMat

Comment déterminer le supplémentaire orthogonal $F^{\perp}$ d'un sous-espace $F$ ?

En complétant une base orthonormée de $F$ en base orthonormée de $E$

Obtenir une base orthonormée de $F^{\perp}$ à partir d'une base orthonormée de $F$ que l'on complète.

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

Dans $\mathbb{R}^3$ canonique, déterminer $F^{\perp}$ pour $F = \mathrm{Vect}((1,0,0))$ par complétion.

L'objectif

Obtenir une base orthonormée de $F^{\perp}$ à partir d'une base orthonormée de $F$ que l'on complète.

Le principe

Si $(e_1,\ldots,e_k)$ est orthonormée de $F$ et $(e_1,\ldots,e_n)$ base orthonormée de $E$ la prolongeant, alors $(e_{k+1},\ldots,e_n)$ est base orthonormée de $F^{\perp}$ .

La méthode

1
Je construis (ou je dispose d'une) base orthonormée $(e_1,\ldots,e_k)$ de $F$ , par Schmidt si nécessaire.
2
Je complète en base orthonormée $(e_1,\ldots,e_n)$ de $E$ (Gram-Schmidt sur une complétion libre arbitraire).
3
J'identifie les vecteurs ajoutés $(e_{k+1},\ldots,e_n)$ comme base orthonormée de $F^{\perp}$ .
4
Je contrôle $\dim F^{\perp} = n - k$ et l'orthogonalité de chaque $e_j$ ( $j > k$ ) à chaque $e_i$ ( $i \leq k$ ).

Pour comprendre, fais des exercices !

Exercice d'exemple

Dans $\mathbb{R}^3$ canonique, déterminer $F^{\perp}$ pour $F = \mathrm{Vect}((1,0,0))$ par complétion.

Étape 1 —

Je construis (ou je dispose d'une) base orthonormée

(e_1,\ldots,e_k)

F

, par Schmidt si nécessaire.

Base orthonormée de $F$ : $e_1 = (1,0,0)$ .

Étape 2 —

Je complète en base orthonormée

(e_1,\ldots,e_n)

E

(Gram-Schmidt sur une complétion libre arbitraire).

Je complète en base orthonormée de $\mathbb{R}^3$ : $(e_1, e_2, e_3) = ((1,0,0), (0,1,0), (0,0,1))$ .

Étape 3 —

J'identifie les vecteurs ajoutés

(e_{k+1},\ldots,e_n)

comme base orthonormée de

F^{\perp}

Les vecteurs ajoutés sont $e_2 = (0,1,0)$ et $e_3 = (0,0,1)$ .

Étape 4 —

Je contrôle

\dim F^{\perp} = n - k

et l'orthogonalité de chaque

e_j

(

j > k

) à chaque

e_i

(

i \leq k

$F^{\perp} = \mathrm{Vect}(e_2, e_3)$ , de dimension $2 = 3 - 1$ .

$F^{\perp} = \mathrm{Vect}((0,1,0), (0,0,1))$ .

Les applications suivantes et la correction guidée sont réservées aux membres Premium

La méthode et sa première application corrigée restent en accès libre. Le Premium débloque les applications suivantes, l'aide IA et le suivi de ta maîtrise.

Comment déterminer le supplémentaire orthogonal F⊥F^{\perp}F⊥ d'un sous-espace FFF ?

En complétant une base orthonormée de FFF en base orthonormée de EEE

Pour comprendre, fais des exercices !

Comment déterminer le supplémentaire orthogonal $F^{\perp}$ d'un sous-espace $F$ ?

En complétant une base orthonormée de $F$ en base orthonormée de $E$