Formule de Grassaman

[samzian]

Bonjour, j'ai un petit probléme à résoudre un exercice sur la formule de grassman, voici l'énoncé :
E est un ev de dimension finie, E1 et E2 sont deux sev de E.
1/ En prenant un supplémentaire de F de E1(inter)E2 dans E1, montrer que :
a) E1 + E2 = F + E2(le plus entouré) .
b) dim(E1+E2) = dimE1 + dimE2 - dim (E1(inter)E2)

Merci d'avance.

[jose_latino]

En fait: , c'est facile, il faut remarquer qu'on a en plus: , avec ce résultat, b) est facile à démontrer.