Académique Documents
Professionnel Documents
Culture Documents
Exercice 2.
On veut montrer que Q, l’ensemble des nombres rationnels, n’est pas complet pour
la distance usuelle. (
x0 = 1
On considère la suite (xn )n≥0 de réels, définie par :
xn+1 = 12 xn + x2n ∀n ≥ 0
√
1. Montrer que, pour tout n ≥ 1, xn > 2. En déduire que (xn )n≥1 est une suite
décroissante de nombre réels, puis justifier alors pourquoi elle converge dans R et
donner sa limite.
√
2. Montrer que 2 6∈ Q.
3. Conclure que Q n’est pas complet (pour la distance usuelle). L’ensemble des
rationnels est-il fermé dams R ?
Exercice 3.
Soit E un espace vectoriel normé.
Si A est une partie non vide de E, on définit le diamètre de A par :
diam(A) = sup ||x − y||
x,y∈A
1
3. Montrer que si E est complet (donc un espace de Banach), alors toute suite
(Gn )n≥1 décroissante de fermés non vides de E dont le diamètre tend vers 0 quand
T
n tend vers l’infini a une intersection non vide (c’est-à-dire : n≥1 Gn 6= ∅).
On dit qu’un espace complet vérifie la “propriété de Cantor”. On pourrait mon-
trer la réciproque : tout espace vectoriel normé vérifiant la propriété de Cantor, est
nécessairement complet.
Exercice 4.
Soient a > 0 fixé et E = C[0, a], R , muni de la norme ||.||∞ .
On note A, le sous-ensemble de E, défini par :
A = {f ∈ E : f (x) ≥ 1 ∀x ∈ [0, a]}.
2
Exercice 5.
Soient E un espace préhilbertien complet, C un convexe complet non vide de E et
x ∈ E fixé.
L’objectif de cet exercice est de démontrer l’existence de la projection du vecteur x
sur le convexe complet C.
1. Rappeler la définition d’un vecteur projection de x sur C, illustrer par un dessin
dans R2 euclidien.
2. On note α = d(x, C), la distance de x au convexe C.
(2.1) Rappeler la définition de d(x, C) la distance de x à la partie C de E.
(2.2) En utilisant la définition de la borne inférieure d’un nombre infini de réels,
montrer qu’il existe une suite (xn )n≥1 d’éléments de C, telle que :
1
∀n ≥ 1, α ≤ ||x − xn || ≤ α + n