Quiz : Qu’est-ce que le supplémentaire orthogonal $W^\perp$ ?

L’Espace Complémentaire

Dans un espace euclidien $E$, le supplémentaire orthogonal $W^\perp$ d’un sous-espace $W$ est l’ensemble de tous les vecteurs de $E$ qui sont orthogonaux à chaque vecteur de $W$.

$$ W^\perp = \{ \mathbf{v} \in E \mid \forall \mathbf{w} \in W, \langle \mathbf{v}, \mathbf{w} \rangle = 0 \} $$

Le théorème fondamental affirme que $E = W \oplus W^\perp$ (somme directe).

1. Quel est l’ensemble des vecteurs qui composent le supplémentaire orthogonal $W^\perp$ ?

2. Le supplémentaire orthogonal $W^\perp$ est toujours :

3. Si $E$ est de dimension $n$, quelle est la relation entre les dimensions de $W$ et $W^\perp$ ?

4. L’intersection de $W$ et de son supplémentaire orthogonal $W^\perp$ est toujours :

5. Dans $\mathbb{R}^3$, si $W$ est le plan $z=0$ (le plan $xy$), alors $W^\perp$ est :

6. Si $W = \mathrm{Vect}(\mathbf{v})$ dans $\mathbb{R}^2$ avec $\mathbf{v} = \begin{pmatrix} 1 \\ 0 \end{pmatrix}$, quelle est la base de $W^\perp$ ?

7. Que vaut le supplémentaire orthogonal du supplémentaire orthogonal, $(W^\perp)^\perp$ ?

8. Pour toute matrice $A$, le noyau de $A$, $\mathrm{Ker}(A)$, est le supplémentaire orthogonal de quel espace ?

9. Soit $W = \mathrm{Vect}(\mathbf{u})$ avec $\mathbf{u} = \begin{pmatrix} 1 \\ 1 \end{pmatrix}$ dans $\mathbb{R}^2$. Le vecteur $\mathbf{v} = \begin{pmatrix} 3 \\ -3 \end{pmatrix}$ appartient-il à $W^\perp$ ?

10. Que signifie l’écriture $E = W \oplus W^\perp$ ?