Université de Picardie Jules Verne Amiens

Master 1 de Mathématiques Année 2017-2018

ANALYSE FONCTIONNELLE : TD4.

Exercice 1 : Pour un entier n ∈ N, on considère l’application φn : c00 −→ R définie pur u =

(uk )k≥0 ∈ c00 par
Xn
φn (u) := kuk .
k=0

1. Montrer que φn est une forme linéaire continue sur (c00 , k · k∞ ),

2. Calculer la norme de φn ,
3. Montrer que φn converge vers une application linéaire non-continue.
4. Qu’en déduisez-vous ?

Exercice 2 : Soit f : R −→ R une fonction de classe C ∞ .

1. Montrer que pour tout n ≥ 0 l’ensemble

Fn := {x ∈ R ; f (n) (x) = 0}

est fermé dans R.

2. Supposons que pour tout x ∈ R, il existe un entier n ≥ 0 tel que f (n) (x) = 0. Montrer qu’il
existe n0 ≥ 0 tel que Fn0 6= ∅.
3. En déduire qu’il existe un intervalle ouvert I ⊂ R non-vide et un polynôme réel p tel que f = p
sur I.
4. On suppose maintenant que f est analytique rélle, c’est-à-dire que pour tout x0 ∈ R il existe
 > 0 tel que pour tout x ∈]x0 − , x0 + [,
∞
X f (n) (x0 )
f (x) = (x − x0 )n
n!
n=0

et que la série converge absolument sur ]x0 − , x0 + [. On suppose également qu’il existe un
intervalle ouvert non-vide I ⊂ R tel que f = 0 sur I. Montrer que f est identiquement nulle.
5. Montrer que si f est analytique réelle sur R et si pour tout x ∈ R il existe n ≥ 0 tel que
f (n) (x) = 0, alors f est un polynôme réel.

Exercice 3 : le lemme d’Osgood. Soient (X, d) un espace métrique complet et F une famille de
fonctions continues sur X possédant la propriété suivante : pour tout x ∈ X il existe une constante
Mx ≥ 0 telle que |f (x)| ≤ Mx pour tout f ∈ F .
Montrer qu’il existe M ≥ 0 et un ouvert non-vide Ω ⊂ X tel que |f (x)| ≤ M pour tout f ∈ F et tout
x ∈ Ω.

1
Exercice 4 : Soient E un espace de Banach et E1 et E2 deux sous-espaces vectoriels fermés de E
tels que E = E1 + E2 et E1 ∩ E2 = ∅. On munit le produit E1 × E2 de la norme produit

k(x, y)k := kxkE + kykE

et on note pi : E −→ Ei la projection sur Ei .

1. Montrer que l’application linéaire T : E1 × E2 −→ E définie par

T (x1 , x2 ) = x1 + x2

est linéaire bijective.

2. En déduire qu’il existe c > 0 telle que

kx1 + x2 kE ≥ c(kx1 kE + kx2 kE )

pour tout (x1 , x2 ) ∈ E1 × E2 .

3. Montrer que p1 et p2 sont continues.
Lorsque ces conditions sont satisfaites, on dit que E1 et E2 sont supplémentaires topologiques.