title: Annulateur (algèbre linéaire)
text: # Annulateur (algèbre linéaire)
  
  En mathématiques et plus particulièrement en algèbre linéaire, l'annulateur peut être vu comme l'orthogonal d'un espace vectoriel dans son dual pour l'appariement dual canonique (encore appelé crochet de dualité). Il s'agit donc d'un cas particulier de la notion d'orthogonal.
  
  ## Définition
  
  Soit $E$ un espace vectoriel sur un corps commutatif $\mathbb {K}$ et notons $E^{*}$ son dual algébrique. Soit $A\subset E$ un sous-ensemble quelconque de $E$ et $B\subset E^{*}$ un sous-ensemble quelconque de $E^{*}$. On définit alors l'annulateur à droite $A^{o}$ et l'annulateur à gauche $^{o}B$ de la manière suivante :
  
  * $A^{o}:=\{l\in E^{*}\,|\,\forall x\in A,~l(x)=0\}$,
  * $^{o}B:=\{x\in E\,|\,\forall l\in B,~l(x)=0\}$.
  
  À noter que $A$ et $B$ n'ont pas besoin d'être des sous-espaces vectoriels dans cette définition.
  
  ## Propriétés
  
  Soit $E$ un espace vectoriel, $A\subset E$ et $B\subset E^{*}$.
  
  * $A^{o}$ est un sous-espace vectoriel de $E^{*}$,
  * $^{o}B$ est un sous-espace vectoriel de $E$,
  * $A^{o}=(Vect(A))^{o}$, où $Vect(A)$ est le plus petit sous-espace vectoriel de $E$ contenant $A$,
  * $^{o}B=^{o}(Vect(B))$, où $Vect(B)$ est le plus petit sous-espace vectoriel de $E^{*}$ contenant $B$,
  * $^{o}(A^{o})=Vect(A)$,
  * $(^{o}B)^{o}\supset Vect(B)$ avec égalité si $B$ est fini.
  
  Soit $A_{1},A_{2}\subset E$ et $B_{1},B_{2}\subset E^{*}$.
  
  * Si $A_{1}\subset A_{2}$ alors $A_{2}^{o}\subset A_{1}^{o}$,
  * Si $B_{1}\subset B_{2}$ alors $^{o}B_{2}\subset^{o}B_{1}$,
  * $(A_{1}+A_{2})^{o}=A_{1}^{o}\cap A_{2}^{o}$,
  * $^{o}(B_{1}+B_{2})=^{o}B_{1}\cap^{o}B_{2}$.
  
  Si $E$ est de dimension finie et que $A$ et $B$ sont des sous-espaces vectoriels alors
  
  * $\dim(A)+\dim(A^{o})=\dim(E)$,
  * $\dim(B)+\dim(^{o}B)=\dim(E)$.
  
  Ces propriétés permettent de démontrer qu'un sous-espace de dimension p peut s'écrire comme l'intersection de n-p hyperplans, où n est la dimension de l'espace entier.
  
  