On a donc
d(x, y) = ||x−y|| =||x−z+z−y|| ≤ ||x−z|| +||z−y|| =d(x, z) + d(z, y).
On a égalité si et seulement si x=zou il existe λ∈R+tel que z−y=λ(x−z). Or on a
z−y=λ(x−z)⇐⇒ z=λ
1 + λx+1
1 + λy⇐⇒ z∈[x, y]
où [x, y]désigne le segment de xày.
Exercice 3
Soit E=C([0,1],R)muni du produit scalaire < f, g >=Z1
0
f(t).g(t)dt.
On note : H={f∈E/f(0) = 0}et Gl’ensemble des applications constantes de [0,1] dans R.
1. Justifier que Hest un hyperplan de Eet Gune droite vectorielle de E.
2. En déduire que E=H⊕G.
3. Définir H⊥et G⊥.
4. Soit g∈H⊥.
(a) Prouver que R1
0t.g2(t)dt = 0.
(b) En déduire que : ∀t∈[0,1], g(t) = 0.
(c) Déterminer H⊥.
5. A-t-on : H⊥⊥ =H;H⊕H⊥=E;H⊥+G⊥= (H∩G)⊥?
Solution. 1. On pose
ϕ:E−→ R
f7−→ f(0) .
Alors ϕest une forme linéaire et H= ker ϕ.Hest donc un hyperplan de E.
Soit 1∈Ela fonction constante égale à 1. On a alors G= Vect 1.
2. Comme 1(0) = 1, on a 1/∈Het G6⊂ H. Puisque Hest un hyperplan, on a H⊕G=E.
3. Par définition :
H⊥={f∈E|Z1
0
f(t)h(t)dt = 0 pour tout h∈H}
G⊥={f∈E|Z1
0
f(t)g(t)dt = 0 pour tout g∈G}
={f∈E|Z1
0
f(t)dt = 0}puisque les fonctions dans Gsont constantes.
4. (a) Soit h∈Edéfinie par h(t) = tg(t). On a alors h(0) = 0 et h∈H. Comme g∈H⊥on a
hh, gi= 0. De plus
hh, gi=Z1
0
h(t)g(t)dt =Z1
0
tg2(t)dt
d’où le résultat.
(b) On a tg2(t)≥0sur [0,1]. La fonction t7→ tg2(t)étant continue sur [0,1] et d’intégrale nulle, on en
déduit que tg2(t) = 0 pour tout t∈[0,1]. De plus la fonction t7→ tétant strictement positive sur ]0,1],
on obtient que g2(t) = 0 sur ]0,1]. Par continuité, on a g2(t) = 0 pour tout t∈[0,1], ce qui implique
g(t) = 0 pour tout t∈[0,1].