Problème
On désigne par C([0,1]) l’espace vectoriel des fonctions réelles continues sur [0,1].
Pour tout réel λ ≥ 0 , on note φλ l’élément de C([0,1]) défini par φλ (x) = xλ .
Par convention on a posé 00 = 1 de sorte que φ0 est la fonction constante 1 .
On rappelle les deux normes classiques N∞ et N2 dans C([0,1]) définies par :
sZ
1
N∞ (f ) = sup |f (x)| et N2 (f ) = |f (x)|2 dx.
x∈[0,1] 0
∞ 2
Pour toute partie A de C([0,1]) on note A et A les adhérences de A pour les normes N∞ et N2 respectivement .
∞
Soit P = vect({φm /m ∈ N}) , On admet que : P = C([0,1]. ( C’est le premier théorème de Weierstrass).
On considère l’ensemble V0 = {f ∈ C([0,1]); f (0) = 0}.
1. Montrer que pour tout f ∈ C([0,1]) , N2 (f ) ≤ N∞ (f ) .
∞ 2
2. En déduire que pour toute partie A de C([0,1]) on a : A ⊂A .
2
3. Montrer que : φ0 ∈ V0 .
4. En déduire que V0 est dense dans C([0,1]) pour la norme N2 , mais n’est pas dense pour la norme N∞ .
5. Montrer que si V est un sous-espace vectoriel d’un espace vectoriel normé , alors son adhérence V est égale-
ment un sous-espace vectoriel .
6. Montrer qu’un sous-espace vectoriel V de C([0,1]) est dense pour la norme N∞ si et seulement si pour tout
∞
m ∈ N , φm ∈ V .
7. En déduire qu’un sous-espace vectoriel V de C([0,1]) est dense pour la norme N2 si et seulement si pour tout
2
m ∈ N , φm ∈ V .