Soit
E=C0([0,1],R) l'espace des fonctions continues sur
[0,1].
Montrer que φ:f↦∫01f(t)dt est une forme linéaire sur E.
Montrer que H=kerφ={f∈E∣∫01f(t)dt=0} est un hyperplan de E.
Trouver un supplementaire de H dans E.
Pour f∈E, donner la décomposition f=fH+fD avec fH∈H et fD∈D=Vect(1) ou 1 est la fonction constante egale a 1.