Comment montrer que deux vecteurs ou deux sous-espaces sont orthogonaux ? | MetMat

Comment montrer que deux vecteurs ou deux sous-espaces sont orthogonaux ?

En vérifiant l'orthogonalité sur une base de chaque sous-espace

L'objectif

Prouver qu'un sous-espace $F$ est orthogonal à un sous-espace $G$ d'un espace euclidien $E$ .

Le principe

Si $(u_1, \ldots, u_p)$ est une base de $F$ et $(v_1, \ldots, v_q)$ une base de $G$ , alors par bilinéarité du produit scalaire, $F \perp G$ si et seulement si $\forall (i, j), \langle u_i, v_j \rangle = 0$ .

La méthode

1
Je détermine une base $(u_1, \ldots, u_p)$ de $F$ et une base $(v_1, \ldots, v_q)$ de $G$ .
2
Je calcule $\langle u_i, v_j \rangle$ pour tous les couples $(i, j) \in \{1, \ldots, p\} \times \{1, \ldots, q\}$ .
3
Je vérifie que tous ces produits scalaires sont nuls.
4
Par bilinéarité, tout $x \in F$ et tout $y \in G$ s'écrivent comme combinaisons linéaires des $u_i$ et $v_j$ , donc $\langle x, y \rangle = 0$ et je conclus que $F \perp G$ .

Évalue la méthode

0/5 validés

Cherche chaque exercice au brouillon, puis coche “j'ai réussi” si tu as trouvé la bonne démarche. Utilise le bouton aide si tu as besoin d'un coup de pouce.

Application guidée 1

Dans $\mathbb{R}^3$ muni du produit scalaire canonique, montrer que $F = \mathrm{Vect}((1, 1, 0))$ et $G = \mathrm{Vect}((1, -1, 0), (0, 0, 1))$ sont orthogonaux.

Application guidée 2

Dans $\mathbb{R}_2[X]$ muni de $\langle P, Q \rangle = \int_{-1}^{1} P Q$ , montrer que $F = \mathrm{Vect}(1)$ et $G = \mathrm{Vect}(X, X^3 - \frac{3}{5} X)$ sont orthogonaux.

Application autonome 1

Dans $\mathcal{M}_2(\mathbb{R})$ muni de $\langle A, B \rangle = \mathrm{Tr}({}^t\!A B)$ , montrer que $\mathcal{S}_2(\mathbb{R})$ (matrices symétriques) et $\mathcal{A}_2(\mathbb{R})$ (matrices antisymétriques) sont orthogonaux.

Application autonome 2

Dans $\mathbb{R}^4$ muni du produit scalaire canonique, montrer que $F = \mathrm{Vect}((1, 1, 0, 0), (0, 0, 1, 1))$ et $G = \mathrm{Vect}((1, -1, 0, 0), (0, 0, 1, -1))$ sont orthogonaux.

Application autonome 3

Dans $\mathbb{R}^3$ canonique, montrer que $F = \mathrm{Vect}((1, 1, 1))$ et $G = \mathrm{Vect}((1, -1, 0), (1, 1, -2))$ sont orthogonaux.

Connecte-toi pour cocher tes exercices réussis et sauvegarder ta progression.