Caractérisation de somme directe
Soit {A,B,C,D} des sous-espaces vectoriels de {E}.
Montrer que {A+B+C+D} est directe si et seulement si : {\begin{array}{l}(A\!+\!B)\cap(C\!+\!D)=(A\!+\!C)\cap(B\!+\!D)\\\quad=(A\!+\!D)\cap(B\!+\!C)=\{0\}\end{array}}
Montrer que {A+B+C+D} est directe si et seulement si : {\begin{array}{l}(A\!+\!B)\cap(C\!+\!D)=(A\!+\!C)\cap(B\!+\!D)\\\quad=(A\!+\!D)\cap(B\!+\!C)=\{0\}\end{array}}