TD2 Baire 24
TD2 Baire 24
TD2 Baire 24
Département de Mathématiques
MAT4017, Analyse Fonctionnelle Linéaire. TD No 2
Pr. M. Mbehou
Exercice 0.1 Soit E un espace vectoriel réel normé et T : E → E une isométrie préservant
l’origine (T (0) = 0). On notera diam(A) = sup{kx − yk; x, y ∈ A} le diamètre d’une
partie non vide A de E.
1. On fixe a, b ∈ E et on pose m = a+b 2
. On veut donner une construction métrique de
ce milieu m de [a, b]. Pour cela, soit
1
E1 = {x ∈ E, kx − ak = kx − bk = ka − bk},
2
et si n ≥ 2, on définit l’ensemble En des ”centres” de En−1 par
1 \
En = {x ∈ En−1 , kx − yk ≤ diam(En−1 ), ∀y ∈ En−1 } on pose F = En .
2 n≥1
Soit maintenant (fn )n∈N une suite de fonctions continues de E vers C qui converge simple-
ment vers une fonction f : E → C.
Pour ε > 0 et n ∈ N, on pose
∀x ∈ Vε , ∀n ≥ Nε , |f (x) − fn (x)| ≤ ε.
4. En déduire que l’ouvert Oε = {x; ω(f, x) < ε} est un ouvert non vide de E pour tout
ε > 0.
Exercice 0.4 Soit E = C 1 ([0, 1]) l’espace des fonctions définies sur [0, 1] à valeurs com-
plexes continument dérivables. Soit F = C([0, 1]) l’espace des fonctions définies sur [0, 1] à
valeurs complexes continues. On suppose que E et F sont munis de la norme k · k∞ .
T :E→F
Soit . On note G(T ) = {(f, T f ), f ∈ E}.
f 7→ T f = f ′
1. Montrer que G(T ) est un fermé de E × F .
2. Montrer que T n’est pas continue. (On pourra utiliser la fonction fn ∈ E fn (x) = xn ).
Exercice 0.5 Soit E = C([0, 1]) l’espace des fonctions définies sur [0, 1] à valeurs complexes
continues. On considère les deux espaces normés X = (E, k · k∞ ) et Y = (E, k · k1 ) avec
R1
kf k∞ = supx∈[0,1] |f (x)| et kf k1 = 0 |f (x)|dx. On note I l’application identité de X dans
Y.
1. Montrer que I est bijective, continue. Quelle est sa norme?
2. Montrer que I −1 n’est pas continue. (On pourra utiliser la fonction fn ∈ E fn (x) = xn ).
3. En déduire que Y n’est pas complet.