Propriétés de l’orthogonal

[ Théorème ]
Soient \(A,B\subset E\) deux parties de \(E\).
  1. \(A^{\perp}\) est un sous-espace vectoriel de \(E\).

  2. \(A\subset B \Rightarrow B^{\perp} \subset A^{\perp}.\)

  3. \(A^{\perp} = \left(\mathop{\mathrm{Vect}}(A)\right)^{\perp}.\)

  4. \(A\subset \left(A^{\perp}\right)^{\perp}.\)

En savoir plus