Annulateur (algèbre linéaire)

Modèle:Confusion 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 $𝕂$ 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^{*}|\mathrm{\forall }x\in A,l(x)=0\}$,
• $o^{}B:=\{x\in E|\mathrm{\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 }^{(}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.

Voir aussi

• Paire duale
• Orthogonalité
• Espace bidual