salut!
Voila j'ai la definition suivante:
Soit V un K-ev et soit WV* un sous ens de V*(espace dual de V).
Son supplément orthogonal est le sous-espace vect de V suivant:

a)W = {wV/L(w)=0 pour tout LW}

dans une remarque il est dit que si L1,...,Lr engendrent W, alors
b)W = {wV/L1(w)=...=Lr(w)=0}

je cherche a montrer que ces deux ensemble sont egaux ie je cherche a montrer la double inclusion:
Pour b)a) on a soit wV tel que L1(w)=L2(w)=...=Lr(w)=0 alors pour tout L W , on a L = a1L1+...+arLr et donc L(w)=a1L1(w)+...+arLr(w)=0 donc c'est OK

Pour a)b) je bloc