ca avance ?
je viens de refléchir un peu je pense avoir un truc plus joli que l'absurde ^^
donc on suppose qu'ils sont en somme direct
on considere la projection P de F+G sur G
la suite Un est borné
donc Fn et Gn aussi
donc (comme P est continue) Gn aussi ... finie par bolzano (extrait une sous suite cvgte de Gn et Fn_k=Un_k - Gn_k qui cvge vers u-g dans F donc u est dans F+G
et sinon
on sait qu'il existe H tq G=(GinterF)+H (somme directe)
et F+G=F+H et F inter H ={0}