Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

chapitre 11.2
Ouverts et fermés

Dans tout le chapitre, on considère X un espace metrique muni d’une distance d.

I Ouverts
Définition I.1.

Soit O un sous ensemble de X. On dit que O est ouvert lorsque

∀a ∈ O, ∃r > 0, B(a, r) ⊂ O

Exemples
→ ∅ et les intervalles ouverts sont des ouverts de R.
→ R n’est pas ouvert dans C.
Proposition I.2.

Soit I un ensemble et (Oi )i∈I est une famille d’ouverts de X.

1. ∅ et X sont des ouverts de X.
[
2. Oi est ouvert.
i∈I
\
3. Si I est fini, alors Oi est ouvert.
i∈I

Preuve
1. La proposition est évidente par définition.
[ [
2. Soit a ∈ Oi . Il existe i0 ∈ I tel que a ∈ Oi0 . Donc il existe r > 0 tel que B(a, r) ⊂ Oi0 ⊂ Oi .
i∈I i∈I
[
Oi est donc bien ouvert.
i∈I
\
3. Supposons que I soit fini. Soit a ∈ Oi . On a alors pour tout i ∈ I, il exsite ri > 0 tel que
i∈I
B(a, ri ) ⊂ Oi . I est fini, donc on peut définir r = min{ri }i∈I > 0. Par construction, on a bien
\ \
B(a, r) ⊂ Oi . Oi est donc bien ouvert.
i∈I i∈I
\
Attention : si I est infini, Oi n’est pas forcément ouvert. En effet, si on prend I = N∗ et pour tout
i∈I
\  1 1

1 1
k ∈ I, Ok =] − , [.
k k
On a − , = {0} qui n’est pas ouvert.
k∈N∗ k k
Définition I.3.

Soit a ∈ X. Une partie U de X est appelée voisinage de a s’il existe r > 0 tel que B(a, r) ⊂ U .

1/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Remarque : un ouvert est voisinage de tous ses points.

Exemple : Pour tout (b, r) ∈ X × R∗+ , B(b, r) est un ouvert.
Montrons ce résultat. Soit a ∈ B(b, r). Posons ε = r − d(a, b). On a alors pour tout x ∈ B(a, ε),

d(x, b) ≤ d(x, a) + d(a, b) < ε + d(a, b) = r

donc B(a, ε) ⊂ B(b, r). On en déduit donc que B(b, r) est ouvert.
Proposition I.4.

Soit a ∈ X. On note V(a) l’ensemble des voisinages de a.

1. Si U ∈ V(a) et U ⊂ V , alors V ∈ V(a).
2. L’intersection d’une famille finie d’éléments de V(a) appartient à V(a).
3. Si a ̸= b, alors il existe (U, V ) ∈ V(a) × V(b) tel que U ∩ V = ∅.

Preuve
1. Soit U voisinage de a et V un ensemble contenant U . U étant un voisinage de a, il existe r > 0 tel
que B(a, r) ⊂ U ⊂ V . Donc V est aussi un voisinage de a.
2. Soit p ∈ N∗ et V1 , . . . , Vp ∈ V(a). Pour tout i ∈ J1; pK, il existe ri > 0 tel que B(a, ri ) ⊂ Vi . On pose
p
\ p
\
r = min{r1 , . . . , rp } > 0. On a alors B(a, r) ⊂ Vi , donc Vi ∈ V(a).
i=1 i=1

3. Soit r = d(a,b)
10
. Prenons U = B(a, r) et V = B(b, r). Si x ∈ U ∩ V , alors d(x, a) < r et d(x, b) < r.
En sommant les deux inégalités, on obtient

d(a, b)
d(a, b) ≤ d(x, a) + d(x, b) < 2r =
5
ce qui est impossible. On en déduit donc que U ∩ V = ∅.

II Fermés
Définition II.1.

Soit F une partie de X. On dit que F est fermé si X \ F est ouvert.

Exemples
→ Si a ≤ b, alors [a, b] est un fermé.
→ Pour tout (b, r) ∈ X × R+ , Bf (b, r) est fermé.
En effet, si on prend a ∈ X \ Bf (b, r), on peut considérer ε = d(a,b)−r2
> 0 (ε est non nul car
sinon on aurait a ∈ Bf (b, r)). Si x ∈ B(a, ε), alors d(x, b) ≥ d(a, b) − d(x, a) ≥ d(a,b)+r
2
> r donc
B(a, ε) ⊂ X \ Bf (b, r) et alors Bf (b, r) est fermé.
→ Une réunion finie de points est un fermé.
Proposition II.2.

Soit F une partie de X. F est fermée si et seulement si pour toute suite (xn )n∈N à valeurs dans
F , si (xn ) est convergente, alors sa limite est dans F .

Preuve

2/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

(⇒) Supposons que F soit fermé. Soit (xn )n∈N une suite à valeurs dans A convergente, supposons que la
limite l de (xn ) est dans X \ A. X \ A étant ouvert, il existe ε > 0 tel que B(l, ε) ⊂ X \ A. Or par
construction, il exsite N ∈ N tel que pour tout n ≥ N , d(xn , l) ≤ 2ε et donc xn ∈ B(l, ε) ⊂ X \ A
ce qui est absurde.

(⇐) Réciproquement, supposons que toute suite à valeurs dans A convergente converge dans A. suppo-
sons de plus que A n’est pas fermé, i.e. X \ A n’est pas ouvert. Il existe donc a ∈ X \ A tel que pour
tout ε > 0 B(a, ε) ∩ A ̸= ∅. On peut donc définir une suite (xn )n∈N à valeurs dans A qui vérifie
pour tout n ∈ N∗ , d(a, xn ) ≤ n1 . (xn ) est à valeurs dans A et converge vers a qui n’est pas dans a,
ce qui est en contradiction avec les hypothèses.

Proposition II.3.

1. X et ∅ sont fermés dans X.

\
2. Soit I un ensemble. Si (Fi )i∈I est une famille de fermés de X, alors Fi est un fermé.
i∈I
[
3. Si I est fini, alors Fi est un fermé.
i∈I

Preuve : pour montrer ces trois propriétés, il suffit de montrer que les complémentaires de ces ensembles
sont ouverts en utilisant les propriétés vu sur les ouverts au début du chapitre.
Exercice II.4.

Soit (un )n∈N une suite à valeurs dans X. Montrer que l’ensemble des valeurs d’adhérence de
(un ) est fermé.

Exercice II.5.

Soit E = l1 (N, C) muni de ∥.∥1 et N ∈ N. Montrer que A = {(un ) ∈ E N , u0 ̸= 0, . . . , uN ̸= 0}

est ouvert.

Exercice II.6.

Soient E = C([0, 1], R), O = {f ∈ E, ∀x ∈ [0, 1], f (x) > 0} et F = {f ∈ E, ∀x ∈

[0, 1], f (x) ≥ 0}.
1. O est il ouvert pour la distance induite par ∥.∥∞ ? ∥.∥1 ?
2. F est il fermé pour la distance induite par ∥.∥∞ ? ∥.∥1 ?

III Topologie induite

Dans cette partie on considère A une partie de X et on considère dA la restriction de d à A2 . (A, dA ) ainsi
défini est un espace metrique, et pout tout (a, r) ∈ A × R+ , BdA (a, r) = B(a, r) ∩ A.

3/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Proposition III.1.

1. Une partie O de A est ouverte pour dA si et seulement si il existe Ω ⊂ X ouvert tel que
O = A ∩ Ω.
2. Une partie F de A est fermée pour dA si et seulement si il exsite G ⊂ X fermé tel que
F = A ∩ G.

Preuve
1. (⇐) Soit a ∈ A ∩ Ω. Puisque Ω est ouvert dans X, il existe r > 0 tel que B(a, r) ⊂ Ω. Donc
BdA (a, r) = B(a, r) ∩ A ⊂ Ω ∩ A. O = A ∩ Ω est donc ouvert.
(⇒) Soit a ∈ O. Il exsite ra > 0 tel que BdA (a, ra ) ⊂ O. On a donc
!
[ [ [
O= BdA (a, ra ) = (B(a, ra ) ∩ A) = B(a, r) ∩A
a∈O a∈O a∈O
| {z }
Ω

Ω est une union d’ouverts, donc est un ouvert de X, ce qui nous permet de conclure.
2. Il suffit d’utiliser le résultat précédent en passant au complémentaire.

(⇐) Si F = A ∩ G, alors A \ F = A ∩ (X \ G). Ω est ouvert, donc en appliquant la propriété

| {z }
Ω
précédente, A \ F est ouvert pour dA et donc F est fermé pour dA .
(⇒) Si F est fermé pour la distance dA , alors A \ F est ouvert pour cette distance. D’après ce qui
précéde, il exsite Ω un ouvert de X tel que A\F = Ω∩A, ce qui donne F = A\(Ω∩A) = A∩(X \ Ω).
| {z }
G
G est un fermé de X, ce qui nous permet de conclure.
Conséquences
→ Tout ouvert de A est ouvert dans X si et seulement si A est ouvert dans X
→ Tout fermé de A est fermé dans X si et seulement si A est fermé dans X.

IV Intérieur
Définition IV.1.

Soit A une partie de X. On dit que le point a ∈ A est intérieur à A lorsqu’il existe ε > 0 tel
que B(a, ε) ⊂ A (i.e. A ∈ V(a)). On note Å ou Int(A) l’ensemble des points intérieurs à A.

Exemples
→ Dans R, Q̊ = ∅ car R \ Q est dense dans R.
→ Dans C, R̊ = ∅.
Proposition IV.2.

Soit A une partie de X. Å est le plus grand ouvert inclus dans A.

Preuve : Si a ∈ Å, alors il exsite ε > 0 tel que B(a, ε) ⊂ A. B(a, ε) est ouvert, donc pour tout b ∈ B(a, ε),
il existe η > 0 tel que B(b, η) ⊂ B(a, ε) ⊂ A. b est donc un élément de Å et alors B(a, ε) ⊂ Å. On peut
donc conclure que Å est ouvert. Le fait que A soit le plus grand ouvert inclus dans A découle du fait que
tout point appartenant à un ouvert inclus dans A est dans Å par définition de l’intérieur de A.

4/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Exercice IV.3.

Soient A et B deux parties de X. Dans chaque cas, comparer les deux ensembles.
1. Int(A ∩ B) et Int(A) ∩ Int(B).
2. Int(A ∪ B) et Int(A) ∪ Int(B).

Exercice IV.4.

Soit E un espace vectoriel normé non réduit à {0}. Soit (a, r) ∈ E × R∗+ . Montrer que

Int(Bf (a, r)) = B(a, r)

Attention : cette propriété n’est pas toujours vraie quand on est pas dans le cadre d’expaces vectoriels
normés. Par exemple, pour X = Z et d la distance induite par la valeur absolue, on a
→ Bf (0, 1) = {−1, 0, 1}
→ B(0, 1) = {0} =
̸ Int(Bf (0, 1)) = {−1, 0, 1}

V Adhérence
Définition V.1.

Soit b ∈ X. On dit que b est adhérent à A lorsque

∀ε > 0, B(b, ε) ∩ A ̸= ∅

On note A l’ensemble des points adhérents à A.

Proposition V.2.

Soit A une partie de X. Les propriétés suivantes sont vérifiées.

1. A est fermé.
2. A est le plus petit fermé contenant A.
3. X \ A = Int(X \ A)

Preuve

On a

x ̸∈ A ⇐⇒ ∃ε > 0, B(x, ε) ∩ A = ∅
⇐⇒ ∃ε > 0, B(x, ε) ⊂ X \ A
⇐⇒ x ∈ Int(X \ A)

Ceci montre le point 3 et le point 1 car Int(X \ A) est ouvert. Montrons le deuxième point.
Soit B un fermé contenant A. X \ A contient X \ B qui est ouvert. Int(X \ A) étant le plus grand ouvert
inclus dans X \ A, X \ B ⊂ Int(X \ A) = X \ A et finalement A ⊂ B. A est donc bien le plus petit fermé
contenant A.

5/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Proposition V.3.

Soit b ∈ X et A une partie de X. L’équivalence suivante est vraie.

b ∈ A ⇐⇒ ∃(an ) ∈ AN , an −−−−→ b
n→+∞

Preuve
(⇐) Soit ε > 0. Il existe N ∈ N tel que pour tout n ≥ N , d(an , b) < 2ε . (an ) est à valeurs dans A donc
B(b, ε) ∩ A ̸= ∅, donc b ∈ A.
(⇒) Soit b ∈ A. On va construire la suite (an ) par récurrence. On prend a0 égal à n’importe quel élément
1
de X. Soit n ∈ N. Supposons a0 , . . . , an bien définis. b étant adhérent à A, on a B(b, n+1 ) ∩ A ̸= ∅. On
1
peut donc prendre an+1 ∈ B(b, n+1 ) ∩ A. On a alors par construction,

1
∀n ∈ N∗ , d(an , b) ≤ et (an ) ∈ AN
n
et alors an −−−−→ b.
n→+∞
Corollaire V.4.

Soit A ⊂ X. L’équivalence suivante est vraie

A fermé ⇐⇒ (∀(an ) ∈ AN , an −−−−→ l =⇒ l ∈ A)

n→+∞

Preuve : d’après ce qui précéde, on a

A fermé ⇐⇒ A = A ⇐⇒ (∀(an ) ∈ AN , an −−−−→ l =⇒ l ∈ A)

n→+∞

Exercice V.5.

˚ ˚ ˚
Trouver un ensemble A ⊂ R tel que A, A, Å, Å, A, A et Å soient deux à deux distincts.

Exercice V.6.

Soit E un espace vectoriel normé et (a, r) ∈ E × R∗+ . Montrer que

B(a, r) = Bf (a, r)

Exercice V.7.

Soit C un partie convexe d’un espace vectoriel normé E.

1. Montrer que C et C̊ sont convexes.
2. Soit a ∈ C̊ et b ∈ C. Montrer que [a, b[⊂ C̊.

6/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Exercice V.8.

On pose E = C([0, 1], R) et F = {f ∈ E, ∀x ∈ [0, 1] f (x) ≥ 0}.

1. Montrer que F est un fermé pour ∥.∥∞ et ∥.∥1 .
2. Donner F̊ pour ∥.∥∞ et ∥.∥1 .

VI Densité
Définition VI.1.

Soient A et B deux parties de X. On dit que B est dense dans A lorsque A ⊂ B. De même,
on dit que B est partout dense dans X lorsque B = X.

Exemples
→ Q et R \ Q sont denses dans R.
→ Pour tout n ∈ N, Qn est dense dans Rn pour les normes usuelles (∥.∥1 , ∥.∥2 , ∥.∥∞ , . . . ).
Proposition VI.2.

Soient A et B deux parties de X. Les propositions suivantes sont équivalentes.

1. B est dense dans A
2. Pour tout élement a ∈ A, il existe une suite (bn ) à valeurs dans B qui converge vers a.
3. Pour tout a ∈ A et ε > 0, il existe b ∈ B tel que b ∈ B(x, ε).

Remarque : Ces caractérisations de la densité sont quelques fois plus commode à utiliser en exercice.
Proposition VI.3.

La propriété de densité est transitive, i.e. si A, B et C sont trois parties de X et si B et dense

dans A et C est dense dans B alors C est dense dans A.

Exemple : si E est un espace vectoriel normé et F est un sous espace stricte de E (i.e. F ̸= E), alors
E \ F est dense dans E.
x
Montrons ce résultat. Soit x ̸∈ F et a ∈ F . Soit ε > 0. On a a + ε 2∥x∥ ∈ F \ E (car sinon, on aurait
x x
a + ε 2∥x∥ − a ∈ F , i.e. x ∈ F ). De plus a + ε 2∥x∥ ∈ B(a, ε) et alors B(a, ε) ∩ (E \ F ) ̸= ∅.
On a montré que F ⊂ F \ E. On a aussi E \ F ⊂ F \ E. On en déduit donc que E \ F = E, i.e. E \ F
est dense dans E.

Remarque : le résultat montré ci dessus peut être aussi formulé de la manière suivante :

A est un sous espace vectoriel de E et Å ̸= ∅ ⇐⇒ A = E

ou encore :

Si F est un sous espace stricte d’un espace vectoriel normé E, alors F est d’intérieur vide

Cette propriété se voit facilement en dimension 3 par exemple. Un sous espace stricte de R3 est soit un
plan, soit une droite, ou alors un point qui dans tous les cas sont d’intérieur vide.

7/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Conséquence : Si H est un hyperplan de E, alors soit H est fermé soit H est dense dans E.
En effet, on a H ⊂ H ⊂ E donc soit H = H, i.e. H est fermé, soit H = E, i.e. H est dense dans E.

Exemple : l’hyperplan H = {f ∈ C([0, 1], R), f (0) = 0} n’est pas fermé pour la distance induite par ∥.∥1
car il est dense dans C([0, 1], R).
En effet, si f ∈ C([0, 1], R), on considère g ∈ H la fonction définie par

 x f (ε) si x ∈ [0, ε[
g(x) =  ε
f (x) si x ∈ [ε, 1]

Pour montrer que cet exemple est naturel, voici un dessin de la courbe de g à droite et celle de f à gauche

ε
f (ε)

1 1

Montrons que g est proche de f . On a

Z 1
∥f − g∥1 = |f (x) − g(x)| dx
Z0ε
= |f (x) − g(x)| dx ≤ 2 ∥f ∥∞ ε
0

donc quitte à remplacer ε par 4∥fε∥ , on peut dire que g ∈ B(f, ε) et donc H est dense dans C([0, 1], R)
∞
pour la distance induite par ∥.∥1 .
Exercice VI.4.

Soit G un sous groupe additif de R. On sote A = {x ∈ G, x > 0}.

1. Montrer que si G ̸= {0}, alors A est non vide. On pose alors a = inf A.
2. Montrer que si a = 0, alors G est dense dans R.
3. Montrer que si a > 0, alors G = aZ.
4. Application 1 : en utilisant ce qui précéde, montrer que {cos n, n ∈ N} est dense dans
[−1, 1].
√
5. Application 2 : soit f ∈ C(R, R) admettant 1 et 2 comme périodes. Montrer que f est
constante.

Définition VI.5.

On dit que X est un espace séparable si et seulement si il existe un sous ensemble A de X

dense dans X et dénombrable.

Exercice VI.6.

Montrer que X est séparable si et seulement si il existe une famillé dénombrable d’ouverts
[
(Ωi )i∈I telle que pour tout ouvert O de X ∃J ⊂ I, O = Ωj .
j∈J

8/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Définition VI.7.

Soit A une partie de X. Un point a ∈ X est dit

→ isolé lorsque
∃ε > 0, B(a, ε) ∩ A = {a}
→ d’accumulation lorsque
∀ε > 0, (B(a, ε) \ {a}) ∩ A ̸= ∅
L’ensemble des points d’accumulation et isolés de A sont respectivement notés Aac et Ai .

Notation : On note Aaci l’ensemble des points d’accumulation de A qui sont dans A.
Proposition VI.8.

Soit A une partie de X.

1. Aaci ∪ Ai = A
2. a ∈ Aac ⇐⇒ ∀ε > 0, B(a, ε) ∩ A est infini
3. a ∈ Aac ⇐⇒ il existe une suite injective à valeurs dans A qui converge vers a

Preuve
1. En regardant les définitions d’un point isolé et d’un point d’accumulation, on peut aisément re-
marquer que le fait qu’un point soit isolé est exactement la négation du fait qu’un point soit
d’accumulation, donc naturellement, un point a de A est soit d’accumulation, soit isolé, d’où le fait
que Aaci ∪ Ai = A.
2. (⇒) Supposons que a ∈ Aac . Supposons de plus que ∃ε > 0, B(a, ε) ∩ A est fini. On pose donc
(B(a, ε) \ {a}) ∩ A = {x1 , . . . , xp } avec p ∈ N∗ . En posant ε̃ = min{d(a, xi ), i ∈ J1; pK}, il est facile
de remarquer que (B(a, 2ε̃ ) \ {a}) ∩ A = ∅, ce qui est en contradiction avec le fait que a soit un
point d’accumulation.
(⇐) Si pour tout ε > 0 B(a, ε) ∩ A est infini, alors d’une manière évidente (B(a, ε) ∩ A) \ {a} =
(B(a, ε) \ {a}) ∩ A est non vide, donc a est un point d’accumulation.
3. (⇒) Supposons que a ∈ Aac , i.e. ∀ε > 0, B(a, ε) ∩ A est infini.
Construisons une suite (xn ) qui vérifie la propriété voulue par récurrence. On définit x0 comme un
point pris au hasard dans A différent de a.
Soit n ∈ N, supposons que xn est bien défini. On prend alors xn+1 dans B(a, 12 min( n+2 1
, d(a, xn )))∩A
(c’est possible car cet ensemble est non vide). Par construction (xn ) est injective et pour tout n ∈ N∗
1
d(xn , a) ≤ n+1 et donc xn −−−−→ a, d’où le résultat voulu.
n→+∞
(⇐) Supposons l’existence d’une telle suite qu’on note (xn ). Soit ε > 0. Supposons que B(a, ε) ∩ A
est fini. Il existe alors p ∈ N∗ tel que (B(a, ε) \ {a}) = {x1 , . . . , xp }. En posant ε̃ = min{d(a, xi ), i ∈
J1; pK}, il est facile de remarquer que (B(a, 2ε̃ ) \ {a}) ∩ A = ∅, ce qui est absurde car pour n assez
grand, xn est dans (B(a, 2ε̃ ) \ {a}) ∩ A.
Proposition VI.9.

En dimension finie, tout ensemble borné infini admet un point d’accumulation.

9/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Correction de l’exercice II.4. :

Soit a ∈ X. Le fait que a ne soit pas une valeur d’adhérence de (un ) est équivalent au fait qu’il exsite
ε > 0 tel que B(a, ε) ∩ {un , n ∈ N} soit fini. Soit b ∈ B(a, ε). Posons η = ε−d(a,b)
2
. La boule B(b, η) est
incluse dans B(a, ε) et donc B(b, η) ∩ {un , n ∈ N} est fini car inclus dans B(a, ε) ∩ {un , n ∈ N}. Donc
b ∈ X \ Adh(un ), et alors B(a, ε) ⊂ X \ Adh(un ) ce qui donne finalement que X \ Adh(un ) soit ouvert
i.e. Adh(un ) est fermé.

Correction de l’exercice II.5. :

Soit (un ) ∈ A. Posons ε = min{|u0 | , . . . , |uN |}. Montrons que B((un ), 2ε ) ⊂ A. Soit (vn ) ∈ B((un ), 2ε ).
Pour tout i ∈ J0; N K, on a
+∞
X ε
|ui − vi | ≤ |uk − vk | <
k=0 2
donc
ε
0 < |ui | −
≤ |vi |
2
ce qui nous donne que pour tout i ∈ J0; N K, vi ̸= 0 et alors (vn ) ∈ A, donc B((un ), 2ε ) ⊂ A. A est donc
ouvert.

Correction de l’exercice II.6. :

On se place dans l’espace vectoriel normé E = C([0, 1], R).

1. Etudions O = {f ∈ E, ∀x ∈ [0, 1], f (x) > 0}.

(a) O est ouvert pour la distance induite par ∥.∥∞ .

En effet, si on considère f ∈ O, alors on a ε = minx∈[0,1] f (x) > 0.
Soit g ∈ B(f, 2ε ), alors
ε
∥g − f ∥∞ ≤
2
et alors
ε ε
∀x ∈ [0, 1], |g(x)| ≥ |f (x)| − ≥ > 0
2 2
ε
donc g ∈ O et alors B(f, 2 ) ⊂ O. D’où le fait que O soit ouvert pour ∥.∥∞ .

(b) O n’est pas ouvert pour la distance induite par ∥.∥1 .

Exhibons un contrexemple qui premet d’affirmer cela. Soit ε > 0. considérons la fonction f
partout égale à 1 sur [0, 1], et g une fonction de E défine de la manière suivante :

− 1 si x ∈ [0, 2ε [
 4x
ε
g(x) =
1 si x ∈ [ 2ε , 1]

Pour rendre ce choix plus parlant, voici un dessin de la fonction g :

ε
2
1

−1

10/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

On a alors
Z 1
∥f − g∥1 = |f (x) − g(x)| dx
0
ε
 4x
Z  
2 
=  − 2
0

ε
" #ε
2x2 2
= 2x −
ε 0
ε
=
2
donc g ∈ B(f, ε) mais g ̸∈ O. On en déduit que O n’est pas ouvert pour la distance induite
par ∥.∥1 .
2. Etudions F = {f ∈ E, ∀x ∈ [0, 1], f (x) ≥ 0}.
(a) F est fermé pour la distance induite par ∥.∥∞ .
Pour montrer cela, on va montrer que E \ F = {f ∈ E, ∃x [0, 1], f (x) < 0} est ouvert.
Soit f ∈ E\F . Soit a ∈ [0, 1] tel que f (a) < 0. On pose ε = |f (a)|
2
. Montrons que B(f, ε) ⊂ E\F .
soit g ∈ B(f, ε), on a
∥g − f ∥∞ < ε
et donc
g(a) ≤ f (a) + ε < 0
on a alors g ∈ B(f, ε) et donc B(f, ε) ⊂ E \ F . On en déduit finalement que E \ F est ouvert,
i.e. F est fermé pour la distance induite par ∥.∥∞ .
(b) F est fermé pour la distance induite par ∥.∥1 .
On va procéder de la même manière qu’avant. Soit f ∈ E \ F . Soit a ∈ [0, 1] tel que f (a) < 0.
Par continuité de f , il exsite η > 0 tel que pour tout x ∈ [a − η, a + η], f (x) < f (a)
2
. Donc pour
tout g ∈ F ,
Z 1
∥f − g∥1 = |f (x) − g(x)| dx
0
Z a+η
≥ g(x) − f (x)dx
a−η
Z a+η
≥− f (x)dx
a−η
≥ −ηf (a)

En prenant donc ε = −ηf (a), on a B(f, ε) ⊂ E \ F et donc E \ F est ouvert, i.e. F est fermé
pour la distance induite par ∥.∥1 .
Pour comprendre un peu ce qui se passe, considérons le cas où f est décrite par la courbe
ci-dessous :

1
S
f (a)

La distance en norme 1 entre f et une fonction partout positive ou nulle va être au moins égale
à la surface S hachurée sur la figure. Ici, on a minoré cette surface par −ηf (a) ce qui nous a
permi de trouver une boule incluse dans E \ F de centre f .

11/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Correction de l’exercice IV.3. :

1. On a Int(A ∩ B) = Int(A) ∩ Int(B).
Montrons ce résutat. Soit x ∈ X.
(⊂) Supposons que x ∈ Int(A ∩ B). On dispose alors de r > 0 tel que B(x, r) ⊂ A ∩ B, i.e.
B(x, r) ⊂ A et B(x, r) ⊂ B et donc x ∈ Int(A) et x ∈ Int(B). On a alors x ∈ Int(A) ∩ Int(B)
(⊃) Supposons que x ∈ Int(A)∩Int(B). On dispose alors de rA > 0 et rB > 0 tels que B(x, rA ) ⊂ A
et B(x, rB ) ⊂ B. En posant r = min{rA , rB } > 0, on a B(x, r) ⊂ A ∩ B et finalement
x ∈ Int(A ∩ B).
2. On a Int(A) ∪ Int(B) ⊂ Int(A ∪ B).
Pour montrer ce résultat, on va commencer par supposer que x ∈ Int(A) ∪ Int(B). Sans perte de
généralité, on suppose que x ∈ Int(A), on dispose alors de r > 0 tel que B(x, r) ⊂ A ⊂ A ∪ B,
donc x ∈ Int(A ∪ B).
L’inclusion réciproque est fausse. Pour le voir, il suffit de prendre A = Q et B = R \ Q. On a
Int(Q) = Int(R \ Q) = ∅ et Int((R \ Q) ∪ Q) = R ̸⊂ Int(Q) ∪ Int(R \ Q) = ∅.

Correction de l’exercice IV.4. :

On a B(a, r) ⊂ Bf (a, r) et est ouvert, donc B(a, r) ⊂ Int(Bf (a, r)) ⊂ Bf (a, r). Montrons l’inclusion
réciproque. Pour cela, nous allons montrer que Int(Bf (a, r)) \ B(a, r) = ∅. Supposons le contraire, on
dispose alors de x ∈ Int(Bf (a, r)) \ B(a, r) ⊂ Bf (a, r) \ B(a, r). On a alors nécessairement ∥x − a∥ = r.
x−a
Soit ε > 0 tel que B(x, ε) ⊂ Bf (a, r), posons u = x + ε 2∥x−a∥ . On a u ∈ B(x, ε), mais

x − a
∥a − u∥ = a − x + ε

∥x − a∥


!
ε
= ∥x − a∥ 1 +
2 ∥x − a∥
ε
= ∥x − a∥ +
2
ε
=r+ >r
2
Ce qui est en contradiction avec le fait que B(x, ε) ⊂ Bf (a, r). Donc finalement on a Int(Bf (a, r)) =
B(a, r). Pour comprendre l’intuition derrière le choix de u, jetons un coup d’oeil au dessin ci-dessous.
u
x B(x, 2ε )

x−a
a

B(a, r)

On souhaite sortir de la boule B(a, r), donc à partir de x, on va se déplacer vers la direction opposée
x−a
à l’origine, d’où la présence du vecteur directeur unitaire ∥x−a∥ , mais on veut rester dans B(x, ε), on va
ε
donc multiplier ce vecteur "déplacement" par 2 .

Correction de l’exercice V.5. :

Il suffit de prendre A = [0, 1[∪]1, 2[∪ (]3, 4[∩Q) ∪ {5}.
En effet, on a
→ Å =]0, 1[∪]1, 2[
→ Å = [0, 2]

12/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

→ A = [0, 2] ∪ [3, 4] ∪ {5}

˚ =]0, 2[∪]3, 4[
→ A
→ ˚
A = [0, 2] ∪ [3, 4]
˚
→ Å =]0, 2[
Tous ces ensembles sont bien deux à deux distincts.

Correction de l’exercice V.6. :

On va procéder d’une manière similaire à l’exercice 5. B(a, r) étant le plus petit fermé qui contient B(a, r),
on a B(a, r) ⊂ B(a, r) ⊂ Bf (a, r). Il reste donc à montrer l’inclusion réciproque.
a−x
Soit x ∈ Bf (a, r) \ B(a, r). soit ε > 0, posons u = x + ε 2∥a−x∥ . On a

a − x
∥a − u∥ = a − x − ε

2 ∥a − x∥


!
ε
= ∥a − x∥ 1 −
2 ∥a − x∥
ε
= ∥a − x∥ −
2
ε
=r− <r
2
On suppose bien sûr ici que ε est suffisemment petit pour que r − 2ε soit positif. On a donc u ∈ B(a, r)
et de même on a ∥x − u∥ = 2ε , donc u ∈ B(x, ε) ce qui montre enfin que Bf (a, r) ⊂ B(a, r) et finalement
que Bf (a, r) = B(a, r).
Pour faire le lien avec l’exercice 5, regardons le dessin suivant.

x B(x, 2ε )
u
x−a
a

Bf (a, r)

Ici, aulieu de partir dans la direction du vecteur x − a, on a va vers la direction opposée puisqu’on veut
rester dans la boule B(a, r). Mais on veut aussi être dans la boule B(x, ε), on multiplie alors pour cela le
a−x
vecteur directeur ∥a−x∥ par 2ε .

Correction de l’exercice V.7. :

1. Montrons que C et C̊ sont convexes.
→ Convexité de C
Soit x, y ∈ C. On dispose de deux suites (xn )n∈N et (yn )n∈N à valeurs dans C telles que

xn −−−−→ x et yn −−−−→ y
n→+∞ n→+∞

Soit λ ∈ [0, 1], on a λxn + (1 − λ)yn −−−−→ λx + (1 − λ)y, donc λx + (1 − λ)y ∈ C et finalement
n→+∞
C est convexe.
→ Convexité de C̊
Soit x, y ∈ C̊. On dispose de ε > 0 tel que B(x, ε) ⊂ C et B(y, ε) ⊂ C (quitte à prendre le

13/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

minimum des rayons des deux boules). Soit λ ∈ [0, 1], montrons que z = λx + (1 − λ)y ∈ C̊.
Pour cela, regardons d’abord le dessin suivant.

B(x, ε) B(z, ε) B(y, ε)

u w
x z y

Le dessin ci-dessus suggère de montrer que B(z, ε) ⊂ C. Soit w ∈ B(z, ε). Posons u = w − z,
on a alors w = z + u = λ(x + u) + (1 − λ)(y + u), et

∥x + u − x∥ = ∥w − z∥ < ε et ∥y + u − y∥ = ∥w − z∥ < ε

on a alors y + u ∈ B(y, ε) ⊂ C et x + u ∈ B(x, ε) ⊂ C. Or w est combinaison linéaire convexe

de x + u et y + u, donc par convexité de C, w ∈ C et alors z ∈ C̊ et finalement C̊ est convexe.
2. Cette question est similaire à la question précédente. Soit λ ∈ [0, 1]. On pose c = λa + (1 − λ)b.
a ∈ C̊, donc on dispose de ε > 0 tel que B(a, ε) ⊂ C. Si λ = 0, il n’y a rien à montrer puisque la
question revient à montrer que ∅ ⊂ C, on considère dorénavant donc que λ ∈]0, 1]
→ Commencons par le cas b ∈ C. Observons le dessin suivant.

B(a, ε)
B(c, λε)
u w
a c b

Le rayon de la boule du milieu peut être trouvé en utilisant des théorèmes de géométrie
élémentaire (Thalès par exemple). Ce dessin suggère de montrer que B(c, λε) ⊂ C.
Soit w ∈ B(c, λε), on pose u = w − c. On a alors w = c + u = λ(a + λu ) + (1 − λ)b. Or

u w − c


a + − a = <ε

λ λ
donc a + λu ∈ B(a, ε) ⊂ C et b ∈ C et w est combinaison convexe de a + u
λ
et b, donc par
convexité de C, w ∈ C et alors B(c, λε) ⊂ C et finalement [a, b[⊂ C̊.

→ Passons au cas plus général où b ∈ C.

On reprend les notations du cas où b ∈ C, et on considère une suite (bn ) à valeurs dans C qui
tends vers b. Posons pour tout n ∈ N, cn = λa + (1 − λ)bn . LaPreuve du cas b ∈ C nous permet

14/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

d’affirmer que B(cn , λε) ⊂ C. On a alors

∥w − cn ∥ = ∥w − c + c − cn ∥
≤ ∥w − c∥ + ∥c − cn ∥ −−−−→ ∥w − c∥ < λε
n→+∞

on peut alors affirmer l’existence de N ∈ N tel que pour tout n ≥ N , ∥w − cn ∥ < λε et donc
w ∈ B(cn , λε) ⊂ C. Ceci nous permet de dire que B(c, λε) ⊂ C et que c ∈ C̊. Finalement on
conclut que [a, b[⊂ C̊.
L’intuition derrière le passage au cas où b ∈ C était de prendre n assez grand pour que la boule
B(cn , λε) ⊂ C soit quasi-confondue avec B(c, λε) pour dire que tous les points de B(c, λε) sont
dans C.

Correction de l’exercice V.8. :

1. Cette question a été déjà faite dans la correction de l’exercice 3.

2. Trouvons F̊ pour ∥.∥1 et ∥.∥∞ .

→ Pour ∥.∥∞
On pose O = {f ∈ E, ∀x ∈ E, f (x) > 0}. On a d’après l’exercice 3, O est ouvert et O ⊂ F ,
donc O ⊂ F̊ . Il reste donc à voir si (F \ O) ∩ F̊ = ∅.
Soit f ∈ F \O et soit ε > 0. Le fait que f ∈ F \O implique ∃a ∈ [0, 1], f (a) = 0. En considérant
g = f − 2ε , on peut voir immédiatement que g ̸∈ F (car g(a) = − 2ε < 0) et g ∈ B(f, ε). Donc
f ̸∈ F̊ et finalement F̊ = O.

→ Pour ∥.∥1
Soit f ∈ F . On considère la suite de fonctions (gn )n∈N définie sur [0, 1] pour tout n ∈ N par

 x
2−n
(f (2−n ) + 1) − 1 si x ∈ [0, 2−n [
g(x) =
f (x) si x ∈ [2−n , 1]

Voici un dessin d’un terme de cette suite de fonctions à droite et de la courbe de f à gauche.

2−n
f (2−n )

1 1

−1 −1

Bien sûr, pour tout n ∈ N, gn est bien une fonction continue sur [0, 1]. Il s’agit de la même idée
que la question 1 de l’exercice 3 où on a montré que O n’est pas ouvert, sauf que la fonction
considérée est f aulieu d’une fonction qui est indentiquement égale à 1 à laquelle on a ajouté
une petite perturbation au voisinage de 0, qui fait sortir gn de F sans trop s’éloigner de f . On

15/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

a pour tout n ∈ N, gn (0) = −1, donc (gn ) est valeurs dans E \ F . De plus, on a
Z 1
∥f − gn ∥1 = |f (x) − gn (x)| dx
0
Z 2−n
= |f (x) − gn (x)| dx
0
−n
≤ 2 (∥f ∥∞ + ∥gn ∥∞ )
= 2−n (∥f ∥∞ + max{1, f (2−n )})
≤ 2−n (∥f ∥∞ + max{1, ∥f ∥∞ }) −−−−→ 0
n→+∞

Donc pour tout ε > 0, B(f, ε) ̸⊂ F . On conclut que F̊ = ∅.

Correction de l’exercice VI.4. :

1. Suppsons que G ̸= {0} et que A est vide. Alors nécessairement, on dispose de x ∈ G tel que x < 0.
Or −x ∈ G et −x > 0 donc −x ∈ A ce qui est absurde.
2. Supposons que a = 0. Soit x ∈ R. Etant donné que inf A = 0, A contient des éléments aussi petits
qu’on veut. Soit ε > 0, on dispose donc de θ ∈ A tel que θ < ε. Or, pour tout n ∈ Z, nθ ∈ G. On a
alors
x  x x
      

x − θ = − θ≤θ<ε

θ θ θ
j k
et xθ θ ∈ G, donc on a trouvé un élément de G aussi proche qu’on veut de x, ce qui signifie que G
est dense dans R.
3. Supposons que a > 0.
→ Montrons d’abord que a ∈ G.
a
Supposons par l’absurde que a ̸∈ G. On dispose alors de b, c ∈ A tels que b > c et |b − a| ≤ 4
et |c − a| ≤ a4 . Donc on a

b − c = |b − a + a − c|
a
≤ |b − a| + |a − c| ≤
2
or b − c ∈ A, donc on a
a
a<b−c≤
2
ce qui est absurde, donc a ∈ G.
→ Montrons ensuite que G = aZ.
Par stabilité par addition et soustraction, on a évidemment aZ ⊂ G.
Supposons que G ̸= aZ. On dispose donc de x ∈ G \ aZ. Quitte à passer à l’opposé, on suppose
que x > 0. On a alors
x x x
    
0<x− a=a − <a
a a a
j k j k
x x
Donc x − a
a ∈ A et x − a
a < a ce qui est absurde. On en déduit donc que G = aZ.
4. Commencons par remarquer que par parité du cos, {cos(n), n ∈ N} = {cos(n), n ∈ Z}.
→ Montrons d’abord que G = Z + 2πZ est dense dans R.
G est un sous groupe additif de R. Supposons qu’il existe a ∈ R∗ tel que G = aZ. Il existe
alors n, m ∈ Z∗ tel que 1 = an et 2π = am, donc, 2π 1
an
= am n
, i.e. π = 2m ce qui implique que π
est rationnel, absurde. Donc d’après les questions précédentes, G est dense dans R.

16/17
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

→ Montrons à présent que {cos(n), n ∈ N} est dense dans R.

On a
B = {cos(n), n ∈ N} = {cos(n), n ∈ Z} = {cos(n), n ∈ G}
Soit x ∈ [−1, 1] et y un antécédant de x par cos. G étant dense dans R, on dispose d’une suite
(yn ) à valeurs dans G qui tend vers y. Donc la suite (cos(yn )) est valeurs dans B et tend vers
x par continuité du cos. On en déduit donc que {cos(n), n ∈ N} est bien dense dans [−1, 1].
√ √
5. Commencons par remarquer que f (Z + 2Z) = {f (1)} par périodicité
√ de f . 2 étant irrationnel,
on peut montrer comme on l’a fait pour Z + 2πZ que H = Z + 2Z est dense dans R. Soit x ∈ R, on
dispose d’une suite (xn ) à valeurs dans H telle que (xn ) converge vers x. On a donc par continuité
de f
f (1) = f (xn ) −−−−→ f (x)
n→+∞

On en déduit donc que f est constante égale à f (1).

Correction de l’exercice VI.6. :

(⇐) Supposons que pour tout i, Ωi ̸= ∅ et considérons pour tout i, ai un élément de Ωi .
Posons A = {ai , i ∈ I}, c’est un ensemble dénombrable. Montrons que A est dense dans X. Soit
[
x ∈ X et ε > 0. Par hypothèse, il existe J ⊂ I tel que B(x, ε) = Ωi , il suffit donc de prendre
i∈J
i ∈ J pour voir que ai est dans B(x, ε) ∩ A. D’où la densité de A dans X.
(⇒) Soit A = {ai , i ∈ N} une partie dénombrable dense de X. Considérons la famille d’ouverts
1
(Ωn,m )n,m∈N = (B(an , m+1 ))n,m∈N et montrons qu’elle vérifie la propriété voulue.
1
Soit O un ouvert de X. Considérons l’ensemble J = {(n, m) ∈ N2 , B(an , m+1 ) ⊂ O}.
[
On a Ωn,m ⊂ O. Montrons l’inclusion réciproque. Soit x ∈ O. Comme A est dense dans X, il
(n,m)∈J
1
existe an ∈ A (avec n ∈ N) et m ∈ N arbitrairement grand tel que x ∈ B(an , m+1 ). On prend alors
[
1
m assez grand pour qu’on ait B(an , m+1 ) ⊂ O, i.e. (n, m) ∈ J ce qui nous donne x ∈ Ωn,m .
(m,n)∈J
On a donc bien obtenu le résultat voulu.

* *
*

Document compilé par Omar Bennouna et révisé par Issam Tauil le 22/11/2021 pour
cpge-paradise.com.
Si vous repérez une erreur, ou avez des remarques, prière de me contacter via l’adresse
[email protected].

17/17