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

chapitre 11.1
Espaces vectoriels normés et espaces métriques

I Espaces vectoriels normés

Dans toute cette partie, on considère K un corps égal à R ou C et E un K−espace vectoriel.
Définition I.1.

Une norme sur E est une application N : E → R+ vérifiant les trois conditions suivantes.
(N1 ) ∀x ∈ E, N (x) = 0 ⇐⇒ x = 0 (séparation)
(N2 ) ∀(λ, x) ∈ K × E, N (λx) = |λ| N (x) (homogénéité)
(N3 ) ∀(x, y) ∈ E 2 , N (x + y) ≤ N (x) + N (y) (sous-additivité)

Vocabulaire : une application N : E → R+ vérifiant (2) et (3) est appelée semi-norme.

Proposition I.2.
 
x
1. Si x ̸= 0, N (x) > 0 et N N (x)
=1
2. Si K = R et x ̸= 0, alors pour tout λ ∈ K,
( )
1 1 1
N (λx) = 1 ⇐⇒ |λ| = ⇐⇒ λ ∈ − ,
N (x) N (x) N (x)

L’espace Rx contient donc deux vecteurs unitaires.

3. Pour tout x ∈ E, N (x) = 1 =⇒ ∀θ ∈ R, N (eiθ x) = 1
 
Xn n
X
4. ∀(x1 , . . . , xn ) ∈ E n , N  xi  ≤ N (xi )
i=1 i=1

Exemples : voici quelques normes usuelles pour E = Kn . On pose pour tout x ∈ E, x = (x1 , . . . , xn ).
→ ∥x∥∞ = sup1≤k≤n |xk |
n
X
→ ∥x∥1 = |xk |
k=1

 1
n 2
2
X
→ ∥x∥2 =  |xk |
k=1

 1
n p
p
X
→ Pour tout p ∈ N∗ , ∥x∥p =  |xk |
k=1

Remarque : la sous-additivité pour la norme ∥.∥2 n’est autre que l’inégalité de Minkowski.
Exercice I.3.

Montrer que pour tout x ∈ E, ∥x∥p −→ ∥x∥∞ lorsque p tends vers l’infini.

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

Exemples : pour E = C([a, b], C).

→ ∥f ∥∞ = supx∈[a,b] |f (x)|
Z b
→ ∥f ∥1 = |f (x)| dx
a
Z b !1
2
2
→ ∥f ∥2 = |f (x)| dx
a
Z b !1
p
∗ p
→ Pour p ∈ N , ∥f ∥p = |f (x)| dx
a
Exemples : quelques sous espaces normés de l’espace des suites
→ E = l∞ (N, K) = {(un ) ∈ KN , un est bornée}, muni de ∥(un )∥∞ = supn∈N |un |
→ E = C0 (N) = {(un ) ∈ KN , un −→ 0} muni de ∥.∥∞
+∞
|un |p converge}
X
p
→ Pour p ≥ 1, l (N, K) = {(un ) ∈ K , N
n=0

Remarque : on a les inclusions suivantes

→ C0 (N) ⊂ l∞ (N, K)
En effet, si un −−−−→ 0, alors il existe N ∈ N pour lequel pour tout n ≥ N , |un | ≤ 1. Donc pour
n→+∞
tout n ∈ N, |un | ≤ max{1, |u0 | , |u1 | , . . . , |uN |}, donc (un )n∈N ∈ l∞ (N, K).
→ l1 (N, K) ⊂ l2 (N, K)
En effet, si on considère une suite (un )n∈N ∈ l1 (N, K) alors un −→ 0, et alors à partir d’un certain
rang, |un | ≤ 1 et alors |un |2 ≤ |un |. On trouve donc immédiatement que la convergence de la série
+∞ +∞
|un |2 , donc (un )n∈N ∈ l2 (N, K).
X X
|un | implique celle de
n=0 n=0

II Géométrie
Définition II.1.

Une partie A de E est dite convexe si pour tout x, y ∈ A et λ ∈ [0, 1]

λx + (1 − λ)y ∈ A

Exercice II.2.

Montrer que tout sous espace affine de E (i.e. les ensembles de la forme a + F avec a ∈ E et
F sous espace vectoriel de E) est convexe.

Remarque : la boule unité fermée de E, Bf (0, 1) = {x ∈ E, ∥x∥ ≤ 1} est convexe.

En effet, si x, y ∈ Bf (0, 1), alors pour tout λ ∈ [0, 1] on a

∥λx + (1 − λ)y∥ ≤ λ ∥x∥ + (1 − λ) ∥y∥ ≤ λ + 1 − λ = 1

Donc λx + (1 − λ)y ∈ Bf (0, 1).

Exercice II.3.

Soit N : E → R qui vérifie (N1 ) et (N2 ). Soit A = {x ∈ E, N (x) ≤ 1}. Montrer que si A est
convexe, alors N vérifie (N3 ).

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

Exercice II.4.

Soit ∥.∥ une norme sur E. Montrer que pour tous x, y ∈ E \ {0}

1 x y
∥x − y∥ ≥ max(∥x∥ , ∥y∥) −

∥x∥ ∥y∥

2

Exercice II.5.

Une norme ∥.∥ sur E est dite de somme stricte lorsque pour tous x, y ∈ E

∥x + y∥ = ∥x∥ + ∥y∥ =⇒ (x, y) est liée

1. Parmi les normes suivantes, lesquelles sont de somme stricte ?

(a) ∥.∥p sur Kn avec n ≥ 2 et p ∈ {1, 2, ∞}.
(b) ∥.∥p sur C([0, 1], R) avec p ∈ {1, 2, ∞}.
2. Soit ∥.∥ une norme sur E. Soit x, y ∈ E. Montrer que si ∥x∥ = ∥y∥ = 1 et ∥x + y∥ = 2,
alors [x, y] ⊂ S(0, 1) = {x ∈ E, ∥x∥ = 1}.
3. Montrer l’équivalence

∥.∥ est stricte sur E ⇐⇒ S(0, 1) ne contient pas de segment non trivial

III Espaces metriques

Définition III.1.

Soit X un ensemble. On dit qu’une application d : X 2 → R+ est une distance sur X lorsqu’elle
vétifie les propriétés suivantes
(D1 ) ∀(x, y) ∈ X 2 , d(x, y) = 0 ⇔ x = y (séparation)
(D2 ) ∀(x, y) ∈ X 2 d(x, y) = d(y, x) (symétrie)
(D3 ) ∀(x, y, z) ∈ X 3 d(x, y) ≤ d(x, z) + d(z, y) (inégalité triangulaire)

Exemple 1 : soit ∥.∥ une norme sur E. On appelle distance induite par ∥.∥ sur E l’application d :
(x, y) 7→ ∥x − y∥.
La distance induite définit bien une distance. En effet, il est facile de montrer les implications suivantes :

→ (N1 ) =⇒ (D1 )

→ (N2 ) =⇒ (D2 )

→ (N3 ) =⇒ (D3 )
+∞
∞
X |xn − yn |
Exemple 2 : on considère le cas où X = l (N, K). L’application d : ((xn ), (yn )) → définit
n=0 2n
bien une distance sur X.

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

Proposition III.2.

Soit X une espace metrique et d : X 2 → R+ une distance sur X. d vérifie les propriétés
suivantes
n−1
X
∗ n
1. ∀n ∈ N \ {1}, ∀(x1 , . . . , xn ) ∈ X , d(x1 , xn ) ≤ d(xi , xi+1 )
i=1

2. ∀(x, y, z) ∈ X 3 , |d(x, y) − d(x, z)| ≤ d(y, z)

Preuve
1. Il s’agit d’une simple récurrence. L’initialisation (n = 2) correspond à la propriété (D3 ).
Soit n ∈ N∗ \ {1}, supposons l’hypothèse de récurrence vérifiée :
n−1
∀n ∈ N∗ \ {1}, ∀(x1 , . . . , xn ) ∈ X n , d(x1 , xn ) ≤
X
d(xi , xi+1 )
i=1

Soit x1 , . . . , xn+1 ∈ X, on a
n−1
X n
X
d(x1 , xn+1 ) ≤ d(x1 , xn ) + d(xn , xn+1 ) ≤ d(xi , xi+1 ) + d(xn , xn+1 ) = d(xi , xi+1 )
i=1 i=1

On en déduit donc immédiatement le résultat voulu.

2. Soit (x, y, z) ∈ X 3 , il s’agit de montrer que
(a) d(x, y) − d(x, z) ≤ d(y, z)
(b) d(x, z) − d(x, y) ≤ d(y, z)
Le point (a) est équivalent à d(x, y) ≤ d(x, z) + d(y, z), ce qui est vrai d’après (D3 ). On peut dire
la même chose du point (b).

IV Boules ouvertes, fermés, sphères ...

Dans toute la suite X est espace metrique muni d’une distance d.
Définition IV.1.

Soit (a, r) ∈ X×]0, +∞[. On appelle boule ouverte de centre a et rayon r l’ensemble

B(a, r) = {x ∈ X, d(x, a) < r}

De même, on appelle boule fermée de centre a et de rayon r l’ensemble

Bf (a, r) = {x ∈ X, d(x, a) ≤ r}

On appelle aussi sphère de centre a et de rayon r l’ensemble

S(a, r) = {x ∈ X, d(x, a) = r}

Exemple : En espace vectoriel normé muni d’une norme ∥.∥, lorsqu’on prend d égal à la distance induite
par la norme, ces ensembles s’écrivent :
→ B(a, r) = {x ∈ X, ∥x − a∥ < r}
→ Bf (a, r) = {x ∈ X, ∥x − a∥ ≤ r}

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

→ S(a, r) = {x ∈ X, ∥x − a∥ = r}

Définition IV.2.

Soit A ⊂ X. On appelle distance induite sur A la restriction de d à A2 . Cette distance est

notée dA .

Notation : En remplacant la distance d par dA dans les définitions d’une boule et d’une sphère, pour
(a, r) ∈ A × R+

→ BA (a, r) = {x ∈ A, dA (x, a) < r} = B(a, r) ∩ A

→ Bf A (a, r) = {x ∈ A, dA (x, a) ≤ r} = Bf (a, r) ∩ A

→ SA (a, r) = {x ∈ A, dA (x, a) = r} = S(a, r) ∩ A

Exemples :

→ Pour X = R, A = [0, 1] et d la distance induite par la valeur absolue, BA (1, 21 ) =] 21 , 1].

→ Pour X = C, A = S(0, 1) et d la distance induite par le module, BA (i, 1) = {eiθ , θ ∈ [ π6 , 5π

6
]}.

Dessins en espace vectoriel normé : voici des dessins de la boule unité Bf (0, 1) pour quelques
exemples de X.

X = R2 et d la distance induite par ∥.∥1 X = R2 et d la distance induite par ∥.∥∞

Proposition IV.3.

Lorsque X est un espace vectoriel normé muni d’une norme ∥.∥ et de la distance induite par
cette norme, on a les égalités suivantes pour tout (a, r) ∈ X × R∗+
1. B(a, r) = a + B(0, r) = a + rB(0, 1)
2. Bf (a, r) = a + Bf (0, r) = a + rBf (0, 1)

Preuve : nous allons montrer le point (1). La preuve du point 2 est identique : il suffit de remplacer les
inégalités strictes par des inégalités larges.
Soit (a, r) ∈ X × R∗+ , on a

x ∈ B(a, r) ⇐⇒ ∥x − a∥ < r
1


⇐⇒ (x − a) < 1

r
1
⇐⇒ (x − a) ∈ B(0, 1)
r
⇐⇒ x ∈ a + rB(0, 1)

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

V Bornitude
Proposition V.1.

Soit A une partie de X. Les propriétés suivantes sont équivalentes.

1. {d(x, y), (x, y) ∈ A2 } est une partie bornée de R+ .
2. Il existe une boule ouverte de X qui contient A.
3. Pour tout a ∈ X, il existe r tel que A ⊂ B(a, r).
Si A vérifie l’une de ces trois propriété, on dit que A est borné et on note

diam(A) = sup{d(x, y), (x, y) ∈ A2 }

Preuve

→ (1) =⇒ (2)
Soit a ∈ A. L’ensemble D = {d(x, y), (x, y) ∈ A2 } est une partie bornée de R donc admet une
borne supérieure. On pose alors r = 1 + sup D. Pour tout x ∈ A, d(x, a) ≤ sup D < r.
On en déduit donc que A ⊂ B(a, r).

→ (2) =⇒ (3)
Soit B(b, ε) une boule qui contient A. Soit a ∈ X. On pose r = ε + d(a, b).
Pour tout x ∈ A, on a d(x, b) ≤ d(x, a) + d(a, b) < ε + d(a, b) = r. Donc A ⊂ B(a, r).

→ (3) =⇒ (1)
Soit B(a, r) une boule qui contient A. Pour tout (x, y) ∈ A2 ,

d(x, y) ≤ d(x, a) + d(a, y) < 2r

L’ensemble D est alors majoré par 2r.

Exercice V.2.

Soit E un espace vectoriel normé différent de {0}.

1. Montrer que pour tout (a, r) ∈ E × R+ , diam(B(a, r)) = diam(Bf (a, r))
2. Montrer que le rayon et le centre d’une boule ouverte ou fermée sont uniques.

Définition V.3.

Soit A une partie de X. On dit qu’une fonction f : A → X est bornée lorsque f (A) est borné.

Notation : On désigne par B(A, X) l’ensemble des fonctions bornées de A dans X.

Définition V.4.

Soit (un )n∈N une suite à valeurs dans X. On dit que (un )n∈N est bornée lorsque l’ensemble
{un , n ∈ N} est borné.

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

VI Suites dans un espace métrique et dans un espace vectoriel

normé
Définition VI.1.

Soit (un )n∈N une suite à valeurs dans X. On dit que (un ) converge lorsque

∃l ∈ X ∀ε > 0 ∃N ∈ N ∀n ≥ N d(un , l) ≤ ε

Proposition VI.2.

On suppose que X est un K−espace vectoriel normé muni d’une norme ∥.∥ et que d est la
distance induite par cette norme.
Soit (un )n∈N et (vn )n∈N deux suites à valeurs dans X.
1. Pour tout (l, l′ ) ∈ R2 , Si (un ) converge vers l et l′ , alors l = l′ .
2. pour tous a, b, l, l′ ∈ R, si un −−−−→ l et vn −−−−→ l′ alors aun + bvn −−−−→ al + bl′
n→+∞ n→+∞ n→+∞
3. Si (λn )n∈N est une suite à valeurs dans K qui converge vers λ ∈ K, et (un )n∈N converge
vers l, alors la suite (λn un )n∈N converge vers λl.

VII Algèbres normées

Définition VII.1.

Soit A un ensemble. On dit que (A, +, ., ∗) est une K−algèbre lorsque

→ (A, +, .) est un K−espace vectoriel.
→ ∗ est une loi de composition interne.
→ ∗ est bilinéaire.

Vocabulaire :
→ Si ∗ est associative, on dit que A est une algèbre associative.
→ Si ∗ admet un élément neutre, on dit que A est une algèbre unitaire.
Définition VII.2.

Soit A une algèbre munie d’une norme ∥.∥. On dit que ∥.∥ est une norme d’algèbre lorsque
pour tous (a, b) ∈ A2
∥a ∗ b∥ ≤ ∥a∥ ∥b∥

Proposition VII.3.

Soit A une algèbre munie d’une norme d’algèbre ∥.∥. Soit (an )n∈N et (bn )n∈N deux suites à
valeurs dans A. L’implication suivante est vraie

an −−−−→ a et bn −−−−→ b =⇒ an ∗ bn −−−−→ a ∗ b

n→+∞ n→+∞ n→+∞

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

Preuve : Soit (an )n∈N et (bn )n∈N deux suites vérifiant les hypothèses. On a

∥an ∗ bn − a ∗ b∥ = ∥an ∗ bn − a ∗ bn + a ∗ bn − a ∗ b∥
≤ ∥(an − a) ∗ bn ∥ + ∥a ∗ (bn − b)∥
≤ ∥an − a∥ ∥bn ∥ + ∥a∥ ∥bn − b∥ −−−−→ 0
n→+∞

Exercice VII.4.

Soit A une algèbre munie d’une norme d’algèbre ∥.∥. Soit a ∈ A \ {0} non nilpotent, montrer
 1
n n
que la suite ∥a ∥ est convergente.
n∈N

VIII Suites de fonctions

Dans toute cette partie, on considère A un ensemble et E un espace vectoriel normé muni d’une norme
∥.∥.
Définition VIII.1.

Soit (fn )n∈N une suite de fonctions de A dans E. On dit que la suite (fn )n∈N est simplement
convergente lorsque pour tout x ∈ A, la suite (fn (x))n∈N est convergente.

Vocabulaire : la fonction f : x 7→ limn fn (x) est appelée limite simple de (fn )n∈N .
Exemple : On considère ici le cas où A = [0, 1], E = R et (fn ) = (x 7→ xn ). (fn )n∈N converge simplement
vers f qui est définie par 
0 si x ∈ [0, 1[
f : x 7→
1 sinon

Définition VIII.2.

Soit (fn )n∈N une suite de fonctions de A dans E. On dit que (fn )n∈N est uniformément conver-
gente lorsqu’il existe une fonction f de A dans E telle que

sup ∥fn (x) − f (x)∥ −−−−→ 0

x∈A n→+∞

Remarque : une formulation équivalente à la définition précédente est la suivante

∀ε > 0 ∃N ∈ N ∀n ≥ N ∀x ∈ A ∥fn (x) − f (x)∥ ≤ ε

La convergence uniforme implique évidemment la convergence simple, mais la réciproque est fausse. En
effet, il suffit de considérer la suite de fonctions (x 7→ xn )n∈N . Cette suite de fonctions converge simplement
vers la fonction f définie juste avant la définition précédente, qui vaut 0 sont [0, 1[ et 1 en 1. Mais f ne
converge pas uniformément vers f car pour tout n ∈ N, supx∈A ∥fn (x) − f (x)∥ = 1. Cette quantité ne
peut donc pas tendre vers 0.

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

Proposition VIII.3.

On considère le cas où E = C([a, b], C), avec a < b. Soit (fn )n∈N ∈ E N .
Si (fn ) converge uniformément vers f ∈ C([a, b], C), alors on a

∥fn − f ∥1 −−−−→ 0 et ∥fn − f ∥2 −−−−→ 0

n→+∞ n→+∞

Preuve
Pour tout n ∈ N, on a
Z b
∥fn − f ∥1 = |fn (t) − f (t)| dt ≤ (b − a) ∥fn − f ∥∞ −−−→ 0
n→∞
a

et s
Z b q √
∥fn − f ∥2 = |fn (t) − f (t)|2 dt ≤ (b − a) ∥fn − f ∥2∞ = b − a ∥fn − f ∥∞ −−−−→ 0
a n→+∞

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

Correction de l’exercice I.3. :

Soit x = (x1 , . . . , xn ) ∈ E. Si ∥x∥∞ = 0, on a x = 0 et alors pour tout p ∈ N∗ , ∥x∥p = 0. La
proposition qu’on veut démontrer est donc vraie. Supposons donc à présent que ∥x∥∞ > 0. On pose
r = |{i ∈ J1; nK, xi = ∥x∥∞ }| Quitte à permuter les xi , on suppose sans perte de généralité que x1 =
x2 = · · · = xr = ∥x∥∞ et pour tout k ≥ r + 1, |xk | < ∥x∥∞ .
On a alors pour tout p ∈ N∗ ,
 1
n p

|xk |p 
X
∥x∥p = 
k=1


n 
 p  p1
 xk
X 
= ∥x∥∞ r +
 
k=r+1 ∥x∥
 
 
∞

 x p
   
xk 
Pour tout k ≥ r + 1,  ∥x∥  ∈ [0, 1[, donc  ∥x∥k  −−−−→ 0. On a alors
∞ ∞ p→+∞

n 
 p
 xk
X 
r+  −−−−→ r

k=r+1 ∥x∥

  p→+∞
∞

Or  p  p1
n 

 xk 1
X  h i
∥x∥p = ∥x∥∞ r +  
∈ ∥x∥∞ , n p ∥x∥∞
k=r+1 ∥x∥
 
 
∞

et finalement, par le lemme des gendarmes

∥x∥p −−−−→ ∥x∥∞

p→+∞

Correction de l’exercice II.2. :

Soit F un sous espace vectoriel de E et a ∈ E. On pour F ′ = a + F . Soit x, y ∈ F ′ et λ ∈ [0, 1]. Par
définition, il existe u, v ∈ F tels que x = a + u et y = a + v. On a alors

λx + (1 − λ)y = λa + λu + (1 − λ)a + (1 − λ)u

= a + λu + (1 − λ)v ∈ F ′
| {z }
∈F

Correction de l’exercice II.3. :

x y
Supposons que A est convexe. Soit x, y ∈ E \ {0}, N (x)
et N (y)
sont deux éléments de A, donc en posant
N (x)
λ= N (x)+N (y)
∈ [0, 1] on a
!
x y
N λ + (1 − λ) ≤1
N (x) N (y)
Or
! !
x y N (x) x N (y) y
N λ + (1 − λ) =N +
N (x) N (y) N (x) + N (y) N (x) N (x) + N (y) N (y)
N (x + y)
=
N (x) + N (y)

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

On en déduit donc finalement que

N (x + y) ≤ N (x) + N (y)
On a donc montré la propriété (N3 ) pour N .

Correction de l’exercice II.4. :

Quitte à permuter x et y supposons que max(∥x∥ , ∥y∥) = ∥x∥. On a alors

1 x y 1
max(∥x∥ , ∥y∥) − = ∥∥y∥ x − ∥x∥ y∥

2 ∥x∥ ∥y∥ 2 ∥y∥
1
= ∥∥y∥ x − ∥y∥ y + ∥y∥ y − ∥x∥ y∥
2 ∥y∥
1
≤ (∥∥y∥ x − ∥y∥ y∥ + ∥∥y∥ y − ∥x∥ y∥)
2 ∥y∥
1
= (∥y∥ ∥x − y∥ + ∥y∥ |∥x∥ − ∥y∥|)
2 ∥y∥
1
≤ (∥y∥ ∥x − y∥ + ∥y∥ ∥x − y∥)
2 ∥y∥
= ∥x − y∥

Correction de l’exercice II.5. :

1. Nous allons séparer les cas p = 1, p = 2 et p = ∞.
(a) Mettons nous sur Kn
→ Si p = ∞, la norme ∥.∥∞ n’est pas de somme stricte.
En effet, il suffit de considérer le cas n = 2 pour voir que ce n’est pas le cas :

∥(1, 0) + (1, 1)∥∞ = 2 = ∥(1, 0)∥∞ + ∥(1, 1)∥∞

mais ((1, 0), (1, 1)) n’est pas liée.

→ Si p = 1, la norme ∥.∥1 n’est pas de somme stricte.
En effet, il suffit de considérer le cas n = 2 pour voir que ce n’est pas le cas :

∥(1, 0) + (0, 1)∥1 = 2 = ∥(1, 0)∥1 + ∥(0, 1)∥1

mais ((1, 0), (0, 1)) n’est pas liée.

→ Si p = 2, la norme ∥.∥2 est de somme stricte.
En effet, si on considère x = (x1 , . . . , xn ), y = (y1 , . . . , yn ) ∈ Kn ,

∥x + y∥2 = ∥x∥2 + ∥y∥2 ⇐⇒ ∥x + y∥22 = (∥x∥2 + ∥y∥2 )2

n
⇐⇒ ∥x∥22 + ∥y∥22 + 2 xk yk = ∥x∥22 + ∥y∥22 + 2 ∥x∥ ∥y∥
X

k=1
v  
u
n u Xn n
x2   y 2 
X X
⇐⇒ xk yk =
u
t k k
k=1 k=1 k=1

La dernière ligne implique le cas d’égalité de l’inégalité de Cauchy-Schwarz (il suffit de

majorer la somme des xk yk par la somme des |xk yk |, qui est équivalent au fait que (x, y)
soit liée.

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

(b) Mettons nous sur C([0, 1], R)

→ Si p = ∞, la norme ∥.∥∞ n’est pas de somme stricte.
En effet, il suffit de considérer les deux fonctions continues sur [0, 1] f : t 7→ t et g : t 7→ 1.

∥f + g∥∞ = 2 = ∥f ∥∞ + ∥g∥∞

alors que (f, g) n’est pas liée.

→ Si p = 1, la norme ∥.∥1 n’est pas de somme stricte.
En effet, il suffit de prendre f et g respectivement décrites par les courbes ci dessous.

f g

Il est clair que

∥f + g∥1 = ∥f ∥1 + ∥g∥1
alors que (f, g) n’est pas liée.
→ Si p = 2, la norme ∥.∥2 est de somme stricte.
En effet, si on considère f, g ∈ C([0, 1], R),

∥f + g∥2 = ∥f ∥2 + ∥g∥2 ⇐⇒ ∥f + g∥22 = (∥f ∥2 + ∥g∥2 )2

Z 1
⇐⇒ ∥f ∥22 + ∥g∥22 +2 f (t)g(t)dt = ∥f ∥22 + ∥g∥22 + 2 ∥f ∥ ∥g∥
s0Z
Z 1 1  Z 1 
⇐⇒ f (t)g(t)dt = f (t)2 dt g(t)2 dt
0 0 0

La dernière ligne implique le cas d’égalité de l’inégalité de Cauchy-Schwarz (il suffit de

majorer l’intégrale de f g par l’intégrale de |f g|), qui est équivalent au fait que (f, g) soit
liée.
2. Soit x, y ∈ E vérifiant ∥x + y∥ = 2 et ∥x∥ = ∥y∥ = 1.
Soit λ ∈ [0, 1], on a
∥λx + (1 − λ)y∥ + ∥(1 − λ)x + λy∥ ≥ ∥x + y∥ = 2
| {z } | {z }
≤1 ≤1

Donc
∥λx + (1 − λ)y∥ = ∥(1 − λ)x + λy∥ = 1
et finalement [x, y] ⊂ S(0, 1).
3. (=⇒) Supposons que ∥.∥ est stricte.
Soit x, y ∈ S(0, 1). Supposons que [x, y] ⊂ S(0, 1). On a
1 1 1 1

x+ y = 1 = x + y
2

2 2 2
Donc (x, y) est liée et x et y sont de même norme, pour K = R, deux cas se présentent

→ x = −y ce qui donne 12 x + 12 y = 0, chose qui n’est clairement pas possible.
→ x = y et donc le segment [x, y] est trivial.

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

On en déduit alors immédiatement que S(0, 1) ne contient aucun segment non trivial.
(⇐=) Nous allons procéder par contraposée. Supposons que ∥.∥ est non stricte, i.e. il existe (x, y)
libre telle que ∥x + y∥ = ∥x∥ + ∥y∥.
On suppose sans perte de généralité de que ∥x∥ ≤ ∥y∥. On a

x y x y y y
2≥
+ = + − +
∥x∥ ∥y∥ ∥x∥ ∥x∥ ∥x∥ ∥y∥

1 1 1
≥ (∥x∥ + ∥y∥) − ∥y∥ ( − )
∥x∥ ∥x∥ ∥y∥
=2

x y x y
Donc ∥x∥ + ∥y∥ = 2 et ∥x∥ , ∥y∥ ∈ S(0, 1). On en déduit d’après la question précédente que

x y
[ ∥x∥ , ∥y∥ ] ⊂ S(0, 1). Ce segment est non trivial puisque (x, y) est libre.
S(0, 1) contient donc bien un segment non trivial.

Correction de l’exercice V.2. :

1. Soit (a, r) ∈ E×R+ . On sait déjà que diam(B(a, r)) ≤ 2r et diam(Bf (a, r) ≤ 2r (il suffit d’appliquer
l’inégalité triangulaire).
Comme E ̸= {0}, on peut considérer u ∈ X tel que ∥u∥ = 1. On pose alors

x = a + ru ∈ Bf (a, r) et y = a − ru ∈ Bf (a, r)

On a donc ∥x − y∥ = 2r ce qui donne diam(Bf (a, r)) = 2r.

De même, on pose (rn )n≥N = (r − n1 )n≥N avec N assez grand pour qu’on ait r − 1
N
≥ 0 et

xn = a + rn u ∈ B(a, r) et yn = a − rn u ∈ B(a, r)

On a alors ∥xn − yn ∥ = 2rn −−−−→ 2r. La suite (∥xn − yn ∥)n≥N est à valeurs dans
n→+∞
{∥x − y∥ , (x, y) ∈ E 2 } qui est majoré par 2r, donc diam(B(a, r)) = 2r.
2. L’unicité du rayon d’une boule vient tout simplement de la question précédente. En effet, en espace
vectoriel normé, on peut définir de manière unique le rayon d’une boule fermée ou ouverte comme
le diamètre de la boule. Il reste donc à montrer l’unicité du centre. Nous allons le faire pour le cas
d’une boule fermée. Le cas d’une boule ouvert peut être traité de la même manière.
Soit (a, r) ∈ E × R+ . On suppose que b ∈ E est aussi un centre de Bf (a, r) tel que b ̸= a. on a alors
a−b
pour tout x ∈ Bf (a, r), ∥x − b∥ < r et ∥x − a∥ < r. Posons v = ∥a−b∥ . On a a − rv ∈ Bf (a, r), donc

r
r ≥ ∥a − rv − b∥ = (

+ 1)(a − b)
∥a − b∥

= r + ∥a − b∥

donc ∥a − b∥ = 0 ce qui est absurde. On a donc bien l’unicité du centre.

Correction de l’exercice
1
VII.4. :
1
On a pour tout n ∈ N∗ , ∥an ∥ n ≤ (∥a∥n ) n et pour tout n, m ∈ N∗ , ∥an+m ∥ ≤ ∥an ∥ ∥am ∥. Donc si on pose
pour tout n, vn = log ∥an ∥, on a pour tout m, n ∈ N∗ , vn+m ≤ vn + vm .
1
Posons également pour tout n, un = log(∥an ∥ n ). On a alors (vn )n∈N est sous additive et pour tout n,
un = vnn . Donc d’après le théorème de Fekete (hors programme, mais très classique)

un −−−−→ inf∗ uk = α
n→+∞ k∈N

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

et finalement 1
∥an ∥ n −−−−→ eα
n→+∞

Remarque : ici, on suppose implicitement par convention que e−∞ = 0.

* *
*

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

14/14