Analyse Fonctionnelle - Résumé

crapito
September 5, 2021

Contents
1 Espaces Vectoriels Normés 1
1.1 Espaces Métriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Déf: Complet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Déf: Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Thm: Série ↔ Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Espaces Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Lemme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Inégalité de Hölder . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Inégalité de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Espaces Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Fonctions étagées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Suprémum essentiel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Lemme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Propriétés de l’espace L∞ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

2 Espace Dual Topologique 3

2.1 Continuité et linéarité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Rappel: Linéarité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Equivalences sur la linéarité d’application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Prop/Déf: Opérateur (linéaire) Borné . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Thm: L’espace de Banach d’opérateurs bornés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 Dual Topologique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Déf: Dual Topologique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Proposition sur les C-espaces vectoriels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Lemme de Zorn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Théorème de Hahn-Banach, forme analytique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Applications de Hahn-Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Opérateurs adjoints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Proposition et définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Thm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3 Interpretation géométrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Déf: Hyperplan (affine) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Déf: Ker/Image . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Proposition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Corollaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Déf: Nulle part dense . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Thm: Hyperplan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Corollaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.4 Formes géométriques de Hahn-Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Déf: Sépaer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

i
 Proposition/Définition: Jauge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Lemme: Separation d’hyperplan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Thm: Hahn-Banach, première forme géométrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Thm: Hahn-Banach, deuxième forme géométrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

3 Théorème de Baire et ses applications 8

Déf: Espace de Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Thm: Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Proposition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Thm: Banach-Steinhaus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Corollaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.1 Thm de l’application ouverte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Déf: Application ouverte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Thm de l’application ouverte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Lemme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.2 Théorème du graphe fermé . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Déf: Graphe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Thm du graphe fermé . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

4 Espaces de Hilbert 9
Déf: Produit scalaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Proposition: Inégalité de Cauchy-Schwarz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Identité du parallélogramme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Théorème de Pythagore . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
4.1 Décompositions orthogonales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Déf: L’orthogonal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Thm: Décomposition orthogonale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
4.2 Théorème de représentation de Riesz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Déf: Semi-linéaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Thm: Représentation de Riesz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Corollaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
4.3 Bases de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Déf: Base Hilbertienne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Exo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Inégalité de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Équivalent à l’axiome du choix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Thm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Déf: Isomorphisme unitaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Thm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

5 Topologies Faibles 11
Déf: Topologie initiale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Propriété universelle de la topologie initiale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Proposition: Convergeance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Déf: Topologie Faible . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Prop . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Propriété universelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Thm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Corollaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Déf: Topologie faible-∗ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Proposition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Thm: Goldstine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Thm: Kakutani . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Corollaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

ii
 Thm: Alaoglu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

6 Série tips: 13
Hölder inégalité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Completude d’un espace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Sur la norme d’opérateur et les hyperplans . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Sur les espaces `p . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Sur les différentes topologies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Borne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

iii
1 Espaces Vectoriels Normés
1.1 Espaces Métriques
Déf: Complet
Un espace métrique est complet si toute suite de Cauchy converge.

Déf: Banach
Un espace vectoriel complet est appelé un espace de Banach.

Thm: Série ↔ Banach

Un espace vectoriel normé est complet si et seulement si toute série convergeant absolument converge.

1.2 Espaces Lp
Lemme
Soient a, b ∈ R≥0 et λ ∈]0, 1[. Alors on a l’inégalité:
aλ · b1−λ ≤ λa + (1 − λ)b
Elle devient une égalité si et seulement si a = b.

Inégalité de Hölder
Soient p ∈ R>1 , f, g ∈ M(X; F), p ∈ R>1 tel que:
1 1
+ =1
p q
Alors:
kf gk1 ≤ kf kp kgkq
L’inégalité devient égalité si et seulement si il existe α, β ∈ R>0 tels que:
α + β 6= 0 α|f |p = β|g|q p.p.

Inégalité de Minkowski
Soient p ∈ R>1 et f, g ∈ Lp . Alors:
kf + gkp ≤ kf kp + kgkp

Espaces Lp
Pour tout p ≥ 1, l’espace vectoriel normé Lp est un espace de Banach.

Fonctions étagées
L’espace vectoriel Eµ<∞ (X; F) (l’espace des fonctions étagées) est un sous-espace vectoriel dense de Lp (X) pour
tout p ≥ 1.

Suprémum essentiel
Le suprémum esentiel d’un fonction f ∈ M(X; R̄) est la valeur:
ess sup(f ) := inf{a ∈ R | µ f −1 (R>a ) = 0}

avec comme convention que inf ∅ = ∞.

Cela nous permet de définir l’espace L̃∞ := {f ∈ M(X; F) | kf k < ∞}.

1
Lemme
Pour tout f ∈ L̃p (X), on a |f | ≤ kf k∞ p.p.

Propriétés de l’espace L∞
(1) La fonction k · k∞ est une norme sur L∞ .

ω
(2) Une suite f ∈ L∞ converge dans L∞ si et seulement si il existe un ensemble E ∈ A tel que µ(E c ) = 0 et
f converge uniformément sur E.
(3) L∞ est un espace de Banach.
(4) L’espace vectoriel E(X; F) des fonctions étagées est un sous-espace vectoriel dense de L∞ .
(5) Pour tous f, g ∈ M(X; F), on a l’inégalité:

kf gk1 ≤ kf k1 kgk∞

Et si f ∈ L1 , g ∈ L∞ , alors l’égalité tient si et seulement si |g(x)| = kgk∞ pour presque tout x tel que
f (x) 6= 0.

2
2 Espace Dual Topologique
2.1 Continuité et linéarité
Rappel: Linéarité
Une application A est linéaire si A(λx + µy) = λAx + µAy.

Equivalences sur la linéarité d’application

Soient E et F deux espaces normés et A : E → F une application linéaire. Alors, les conditions suivantes sont
équivalentes:
(1) A est continue en tout point de E.
(2) A est continue à l’origine 0 ∈ E.
(3) La norme kAxk est bornée sur la boule unité fermée BE := {x ∈ E | kxk ≤ 1}.

Remarque: Une application linéaire A : E → F entre deux espaces vectoriels normés est continue si et seulement
si il existe M ∈ R tel que
kAxk ≤ M kxk ∀x ∈ E

Prop/Déf: Opérateur (linéaire) Borné

Une application linéaire continue entre deux espaces vectoriels normés E et F est appelée opérateur (linéaire)
borné. L’ensemble de tous les opérateurs bornés A : E → F est un espace vectoriel noté L(E, F ) (L(E) si E = F ).
L’application k · k : L(E, F ) → R≥0 définie par:
kAxk
kAk = sup kAxk = sup kAxk = sup
kxk≤1 kxk=1 x6=0 kxk
est une norme appelée la norme induite par celles de E et F . L’inégalité:
kAxk ≤ kAk · kxk ∀x ∈ E
est appelée inégalité fondamentale.

Thm: L’espace de Banach d’opérateurs bornés

Soient E et F deux espaces vectoriels normés. Alors, l’espace vectoriel L(E, F ) muni de la norme induite k · k est
complet si F est complet.

2.2 Dual Topologique

Déf: Dual Topologique
Soit E un espace vectoriel normé. Une application linéaire f : E → F est appelée forme linéaire. L’espace de
Banach L(E, F) de toutes les formes linéaires continues est appelé le dual topologique de E et est noté E 0 .

Remarque: Pour une forme linéarie f sur E, l’image de x ∈ E par f sera noté de deux façons différentes:
f x := f (x) =:< f, x >

Proposition sur les C-espaces vectoriels

Pour tout C-espace vectoriel normé E, l’application:
1
<∗ : (E 0 )R → (ER )0


(<∗ f )x = <(f x) := fx + fx
2
est un R-isomorphisme isométrique.

3
Définitions
Soit P un ensemble muni d’une relation d’orde (parielle) notée ≤. On dit que:
(1) Un sous-ensemble Q ⊂ P est totalement ordonné si pour tout couple d’éléments a, b ∈ Q, on a soit a ≤ b soit
b ≤ a.

(2) Un élément c ∈ P est majorant d’un sous-ensemble Q ⊂ P si pour tout a ∈ Q, on a a ≤ c.

(3) P est inductif si tout sous-ensemble totalement ordonné de P possède un majorant.
(4) Un élément m ∈ P est maximal si pour tout x ∈ P tel que m ≤ x on a nécessairement x = m.

(Lemme admis equivalent à l’axiome du choix.)

Lemme de Zorn
Tout ensemble ordonné, inductif, non vide, possède (au moins) un élément maximal.

Théorème de Hahn-Banach, forme analytique

Soient E un R-espace vectoriel, G ⊂ E un sous-espace vectoriel et g : G → R une forme linéaire telle que:

g(x) ≤ p(x) ∀x ∈ G

où p : E → R est une application telle que

(1) p(λx) = λp(x) ∀x ∈ E, ∀λ ∈ R>0
(2) p(x + y) ≤ p(x) + p(y) ∀x, y ∈ E
Alors, il existe une forme linéarie f : E → R telle que

f (x) = g(x) ∀x ∈ G

et
f (x) ≤ p(x) ∀x ∈ E

Remarque: On peut interpréter ce Théorème comme l’existence d’une prolongation analytique de la forme g sur
E. En effet f = g sur G. De plus la prolongation f préserve g ≤ p (donc f ≤ p).

Applications de Hahn-Banach
Soit E un R-espace vectoriel normé.

(1) Soient G ⊂ E un sous-espace vectoriel fermé et u ∈ E \ G. Alors, il existe un élément f ∈ E 0 tel que kf k = 1,
f |G = 0 et
f (u) = δ := inf kx − uk > 0
x∈G

(2) Pour tout u ∈ E6=0 , il existe un élément f ∈ E 0 tel que kf k = 1 et f (u) = kuk.
(3) Pour tout couple d’éléments x, y ∈ E tels que x 6= y, il existe un élément f ∈ E 0 tel que kf k = 1 et f (x) 6= f (y).
(4) Pour tout x ∈ E, la forme linéaire ι(x) : E 0 → R définie par ι(x)(f ) = f (x) est continue avec la norme induite
kι(x)k = kxk. Notamment, on a une inclusion linéaire isométrique d’espaces vectoriels normés

ι : E → E 00 := (E 0 )0

4
Remarques:
- Le théorème implique que
|f (x)| |f (x)|
kxk = kι(x)k = sup = max
0
f ∈E6= 0
kf k 0
f ∈E6= 0 kf k

- Comme E 00 est un espace de Banach et ι(E) ⊂ E 00 est un sous-espace vectoriel, l’adhérence ι(E) est un espace
de Banach avec un sous-espace vectoriel dense ι(E). En particulier, on a ι(E) = ι(E) si E est un espace de
Banach. On dit que E est réflexif si ι(E) = E 00 .

Opérateurs adjoints
Proposition et définition
Soient E, F deux espaces vectoriels normés et A : E → F un opérateur linéaire borné. L’opérateur adjoint de A
est l’application linéarie A∗ : F 0 → E 0 définie par

(A∗ g)(x) = g(Ax) ∀g ∈ F 0 , ∀x ∈ E

qui est continue avec la norme kA∗ k ≤ kAk.

Thm
Soient deux espaces vectoriels normés E, F et A ∈ L(E, F ). Alors kAk = kA∗ k.

Remarque: L’application adjointe (·)∗ : L(E, F ) → L(F 0 , E 0 ) est une inclusion isométrique d’espaces vectoriels
normés.
Dans le cas particulier avec F = F 0 = F, on a L(E, F ) = E 0 et l’application adjointe (·)∗ : E 0 → L(F, E 0 ) est
l’isomorphisme naturel qui associe à tout élément f ∈ E 0 l’opérateur borné f ∗ : F → E 0 défini par f ∗ λ = λf ∀λ ∈ F.
Dans l’autre cas particulier avec E = E 0 = F, on a les identifications L(E, F ) ' F et L(F 0 , E 0 ) = F 00 alors que
l’application adjointe se réduit à l’inclusion canonique (·)∗ = ιF : F → F 00 .

2.3 Interpretation géométrique

Déf: Hyperplan (affine)
Soit E un espace vectoriel. Un hyperplan (affine) de E est un sous-ensemble de E de la forme

H = x + G := {x + y | y ∈ G} x∈E

où G est un sous-espace vectoriel de E de co-dimension 1, c’est-à-dire dim E/G = 1. On dit que H (resp. G) est le
translaté de G (resp. H) par x (resp. −x).

Déf: Ker/Image
Soit f : E → R une forme linéaire non nulle. On définit

K(f ) := Ker(f ) = f −1 (0) = {x ∈ E | f (x) = 0}

et
I(f ) := f −1 (1) = {x ∈ E | f (x) = 1}

Remarque: Pour tout a ∈ F6=0 , l’ensemble f −1 (a) s’identifie avec I(a−1 f ).

5
Proposition
Soit E un espace vectoriel.
(1) Pour toute forme linéaire non nulle f : E → F, l’ensemble K(f ) est un sous-espace vectoriel de E de co-
dimension 1. Notamment, pour tout x0 ∈ E \ K(f ) on a E = K(f ) + Fx0 , c’est-à-dire pour tout x ∈ E is
existe un unique couple (y, λ) ∈ K(f ) × F te que x = y + λx0 .
(2) L’ensemble I(f ) est un hyperplan de E contenu dans E6=0 := E \ {0} et qui est donné par le translaté de K(f )
par un élément de I(f ).
(3) Soient f, g : E → F deux formes linéaires non nulles. Alors, il existe λ ∈ F6=0 tel que f = λg si et seulement
si K(f ) = K(g).

(4) L’application f 7→ I(f ) est une bijection entre l’ensemble de formes linéaires non nulles sur E et l’ensemble
d’hyperplans de E contenus dans E6=0 .

Corollaire
Tout hyperplan de E est un sous-ensemble de la forme f −1 (a) où a ∈ F et f : E → F est une forme linéaire non
nulle.

Déf: Nulle part dense

Soit X un espace topologique. Un sous-ensemble A ⊂ X est dit nulle part dense (ou rare) dans X si l’intérieur de
l’adhérence de A est vide.

Thm: Hyperplan
Soient E un espace vectoriel normé et H = f −1 (a) un hyperplan de E. Alors, les conditions suivantes sont
équivalents:
(i) La forme linéarie f est continue.

(ii) H est fermé.

(iii) H est nulle part dense dans E.
(iv) H n’est pas dense dans E.

Corollaire
0
Soit E un espace vectoriel normé. L’application f 7→ I(f ) est une bijection entre l’ensemble E6= 0 des formes linéaires
continues non nulles sur E et l’ensemble des hyperplans fermés de E contenus dans E6=0 .

2.4 Formes géométriques de Hahn-Banach

Déf: Sépaer
Soient A et B deux sous-ensembles d’un espace vectoriel E. On dit qu’un hyperplan H = f −1 (a) de E sépare A et
B s’il existe ε ≥ 0 tel que
f (x) + ε ≤ a ≤ f (y) − ε ∀x ∈ A, ∀y ∈ B
Si ε = 0 (respectivement ε > 0), alors on dit que H sépare A et B au sens large (respectivement strict).

6
Proposition/Définition: Jauge
Soit C un sous-ensemble convexe ouvert d’un espace vectoriel normé E avec 0 ∈ C. Alors, la jauge de C est
l’application
p : E → R≥0 , p(x) = inf{t ∈ R>0 | t−1 x ∈ C}
qui possède les propriétés suivantes:

(1) Il existe M ∈ R>0 tel que p(x) ≤ M kxk ∀x ∈ E.

(2) p−1 [0, 1[ = C.

(3) p(tx) = tp(x) ∀(t, x) ∈ R>0 × E.

(4) p(x + y) ≤ p(x) + p(y) ∀x, y ∈ E.

Lemme: Separation d’hyperplan

Soit C un sous-ensemble convexe ouvert non vide d’un R-espace vectoriel normé E. Alors pour tout u ∈ E \ C, il
existe f ∈ E 0 tel que
f (x) < f (u) ∀x ∈ C
−1


En particulier, le hyperplan fermé f f (u) sépare C et {u} au sens large.

Thm: Hahn-Banach, première forme géométrique

Soient A et B deux parties convexes non vides d’un espaces vectoriel normé E telles que A∩B = ∅ et A est ouverte.
Alors, il existe un hyperplan fermé de E qui sépare A et B au sens large.

Thm: Hahn-Banach, deuxième forme géométrique

Soient A et B parties convexes non vides d’un espace vectoriel normé E telles que A ∩ B = ∅, A est fermée et B
est compacte. Alors, il existe un hpyerplan fermé de E qui sépare A et B au sens strict.

7
3 Théorème de Baire et ses applications
Déf: Espace de Baire
Un espace topologique est dit espace de Baire si toute intersection dénombrable d’ouverts denses est dense.

Thm: Baire
Tout espace métrique complet est un espace de Baire.

Proposition

ω [
Soit X un espace de Baire. Alors, pour toute suite de fermés F ∈ P(X) telle que X = Fn , il existe Fn0
n∈ω
d’intérieur non vide.

Thm: Banach-Steinhaus
Soient E, F deux espaces vectoriels normés avec E complet et U ⊂ L(E, F ) une famille telle que

sup kT xk < ∞ ∀x ∈ E
T ∈U

Alors sup kT k < ∞.

T ∈U

Corollaire
Soit B un sous-ensemble d’un espace vectoriel normé E tel que l’ensemble f (B) est borné pour tout f ∈ E 0 . Alors,
B est borné.

3.1 Thm de l’application ouverte

Déf: Application ouverte
Une application f : X → Y entre deux espaces topologiques est dite ouverte si l’image par f de tout ouvert de X
est un ouvert de Y .

Thm de l’application ouverte

Toute application linéaire continue surjective entre deux espaces de Banach est une application ouverte.

Lemme
Une application linéaire T : E
→ F entre deux espaces vectoriels normés est ouverte si et seulement s’il existe ε > 0
tel que BF (0, ε) ⊂ T BE (0, 1) .

3.2 Théorème du graphe fermé

Déf: Graphe
Le graphe d’un opérateur linéaire T : E → F entre deux espaces vectoriels est le sous-espace vectoriel G(T ) de
E × F défini par 
G(T ) := (x, T x) | x ∈ E

Thm du graphe fermé

Un opérateur linéaire T : E → F entre deux espaces de Banach est borné si et seulement si son graphe G(T ) est
fermé dans l’espace vectoriel E × F muni de la norme k(x, y)k = kxk + kyk.

8
Tips: Pour checker que le graphe est fermé on peut juste prendre (xn , T xn ) une suite dans G(T ) ⊂ E × F qui
converge vers (x, y) et montrer que y = Ax.

4 Espaces de Hilbert
Déf: Produit scalaire
Un produit scalaire (hermitien à gauche) sur un F-espace vectoriel E est une application h· | ·i : E × E → F qui est
(1) Symétrique (hermitienne): hx | yi = hx | yi ∀x, y ∈ E.
(2) Linéaire relativement au second argument:

hx | y + λzi = hx | yi + λhx | zi ∀(x, y, z, λ) ∈ E 3 × F

(3) Définie positive hx | xi > 0 ∀x ∈ E6=0 .

Proposition: Inégalité de Cauchy-Schwarz

Soit h· | ·i un produit scalaire sur un espace vectoriel E. Alors, pour tous x, y ∈ E, on a l’inégalité de Cauchy-Schwarz
p
hx | yi ≤ hx | xihy | yi

Identité du parallélogramme
Note: Vrai pour tout espace de Hilbert !

kx + yk2 + kx − yk2 = 2kxk2 + 2kyk2 ∀x, y ∈ H

Théorème de Pythagore
2
X X
(x ∈ Hn , hxi | xj i = 0 si i 6= j) =⇒ xi = kxi k2
i∈n i∈n

4.1 Décompositions orthogonales

Déf: L’orthogonal
Soit S ⊂ H un sous-ensemble d’un espace préhilbertien. L’ensemble S ⊥ := {x ∈ H | hx | yi = 0 ∀y ∈ S} est
appelé l’orthogonal de S.

Remarque: Si on suppose que ϕ ∈ S ⊥ ∩ S on obtient

∀x ∈ S hϕ | xi = 0, ϕ ∈ S =⇒ hϕ | ϕi = 0 =⇒ ϕ = 0

Thm: Décomposition orthogonale

Soie G ⊂ H un sous-espace vectoriel fermé d’un espace de Hilbert. Alors son oorthogonal G⊥ est un supplémentaire
topologique de G, c’est-à-dire un sous-espace vectoriel fermé de H tel que
(1) G ∩ G⊥ = {0}
(2) G + G⊥ = H

De plus, dans la décomposition z = x + y les éléments x ∈ G et y ∈ G⊥ sont tels que

dist(z, G) = kz − xk et dist(z, G⊥ ) = kz − yk

9
4.2 Théorème de représentation de Riesz
Déf: Semi-linéaire
Une application f : E → F entre deux F-espaces vectoriels est dite semi-linéaire si elle vérifie la condition

f (x + λy) = f (x) + λ̄f (y) ∀(x, y, λ) ∈ E 2 × F

Un isomorphisme semi-linéaire est une bijection semi-linéaire.

Thm: Représentation de Riesz

Pour tout espace de Hilbert H, l’application ρ : H → H 0 définie par ρ(x)y = hx | yi est un isomorphisme
semi-linéaire isométrique.

Corollaire
Tout espace de Hilbert est réflexif.

4.3 Bases de Hilbert

Déf: Base Hilbertienne
Une famille orthonormale A dans un espace de Hilbert est appelée base de Hilbert ou base hilbertienne si elle est
maximale dans le sens que son orthogonal est trivial A⊥ = {0}.

Exo
Une famille orthonormale A ⊂ H d’un espace de Hilbert est une base de Hilbert si et seulement si le sous-espace
vectoriel de H engendré par A est dense dans H.

Inégalité de Bessel
Pour toute famille orthonormale A ⊂ H d’un espace préhilbertien et tout élément x ∈ H, on a l’inégalité de Bessel
X 2
|hu | xi| ≤ kxk2
u∈A

En particulier, l’ensemble Ax := {u ∈ A | hu | xi =
6 0} est au plus infini dénombrable.

(Admis sans démo)

Équivalent à l’axiome du choix
Pour tout ensemble infini S, on a l’égalité card(S × S) = card(S).

Thm
Pour toute famille orthonormale A ⊂ H d’un espace de Hilbert, les trois conditions suivantes sont équivalentes:

(i) A est une base de Hilbert.

X
(ii) ∀x ∈ H, x = hu | xiu (série de Fourier).
u∈Ax
X 2
(iii) ∀x ∈ H, |hu | xi| = kxk2 (égalité de Parseval).
u∈A

10
Déf: Isomorphisme unitaire
Une bijection linéaire entre deux espaces de Hilbert T : H → L est dite isomorphisme unitaire si
hT x | T yi = hx | yi ∀x, y ∈ H

Note: Importance est fournie sur le mot bijection, il faut faire attention à trouver l’inverse.

Thm
Soit B ⊂ H une base de Hilbert d’un espace de Hilbert. Alors, l’application
U : H → `2 (B), (U x)b = hb | xi
est un isomorphisme unitaire.

5 Topologies Faibles
Déf: Topologie initiale
Soient X un ensemble et
F = {f : X → Yf }
une famille d’applications chacune définie sur X et à valeurs dans un espace topologique. La topologie sur X
engendrée par le sous-ensemble [ 
βF := f −1 (U ) | U ∈ τYf ⊂ P(X)
f ∈F

est appelée la topologie initiale engendrée par la famille F et notée σ(X, F). C’est la plus petite topologie sur X
pour laquelle toute application de la famille F est continue.

Propriété universelle de la topologie initiale

Soient X un ensemble muni d’une topologie initiale σ(X, F) et Z un espace topologique. Alors une application
g : Z → X est continue si et seulement si l’application composée f ◦ g : Z → Yf est continue pour tout f ∈ F.

Proposition: Convergeance
ω

x ∈ X converge vers a ∈ X pour une topologie initiale σ(X, F) si et seulement si la suite f (x) :=
Une suite
f (xn ) n∈ω converge vers f (a) pour tout f ∈ F.

Rappel: Dans la suite, le cours à été simplifié pour compréhension et on suppose que tous les espaces vectoriels
sont sur le corps de base des nombres réels R.

Déf: Topologie Faible

La topologie faible sur un espace vectoriel normé E est la topologie initiale σ(E, E 0 ) engendrée par la famille de
toutes les formes linéaires continues sur E.

Note: Pour tout ouvert de la topologie faible U ⊂ E et tout x ∈ U , il existe un sous-ensemble fini α ⊂ E 0 et
ε > 0 tels que
\
f −1 ]f (x) − ε, f (x) + ε[ = y ∈ E | |f (x − y)| < ε ∀f ∈ α ⊂ U


x ∈ Vα,ε :=
f ∈α

Aussi, xn −→ a ∈ E faiblement implique que ∀f ∈ E 0

f (xn ) −→ f (a)
En contraste, xn −→ a ∈ E fortement implique que kxn kE −→ kakE

11
Prop
La topologie faible est séparée

Propriété universelle
T : X→Y continue ⇐⇒ f ◦ T : X → R continue ∀f ∈ Y 0
Donc en particulier f ◦ T norme-continue =⇒ continuité faible car σ(X, X 0 ) ⊂ topologie k · k sur X.

Thm
Un sous-ensemble convexe d’un espace vectoriel normé est (fortement) fermé si et seulement s’il est faiblement
fermé.

Corollaire
Pour tout espace vectoriel normé E, la boule unité fermée BE := {x ∈ E | kxk ≤ 1} est fermée pour la topologie
faible.

Déf: Topologie faible-∗

La topologie faible-∗ sur le dual topologique E 0 d’un espace vectoriel normé E est la topologie initiale σ(E 0 , E)
engendrée par la famille ι(E) où ι : E → E 00 est l’inclusion isométrique canonique.

Note: Pour tout ouvert U ⊂ E 0 de la topologie faible-∗ et tout f ∈ U , il existe un sous-ensemble fini α ⊂ E et
ε > 0 tels que
\
ι−1 ]f (x) − ε, f (x) + ε[ = g ∈ E 0 | |f (x) − g(y)| < ε ∀x ∈ α ⊂ U


f ∈ Vα,ε :=
x∈α

Supplément sur la convergence: fn ∈ E 0 , on dit que fn −→ f pour la topologie faible-∗ si et seulement si

ιx fn −→ ιx f ⇐⇒ fn (x) −→ f (x) ∀x ∈ E

Proposition
La topologie faible-∗ est séparée.

Thm: Goldstine
Soit ι : E → E 00 l’inclusion isométrique canonique d’un espace vectoriel normé E dans son bidual topologique.
Alors ι(BE ) est dense dans BE 00 pour la topologie faible-∗.

Thm: Kakutani
Un espace de Banach est réflexif si et seulement si sa boule unité fermée est compacte pour la topologie faible.

Corollaire
Un espace de Banach E est réflexif si et seulement si son dual topologique E 0 est réflexif.

Note: Tout espace de Hilbert est réflexif.

Thm: Alaoglu
La boule unité fermée du dual topologique d’un espace vectoriel normé est compacte pour la topologie faible-∗.

12
6 Série tips:
Hölder inégalité
On peut poser:
kf p k1 = kf kpp
Utile pour introduire l’inégalité de Hölder des fois.

Dans un espace métrique fini d’ailleurs: a ≤ b ≤ ∞

1 1
kf ka ≤ kf kb · µ(X) a − b
Et pour:
1 1 1
+ + = 1 =⇒ kf gkc ≤ kf ka kgkb
a b c

Completude d’un espace

Si S est un espace métrique complet et G ⊂ S un sous-espace. Alors
G est fermé ⇐⇒ G est complet

Sur la norme d’opérateur et les hyperplans

1
= inf kyk
kf k y∈I(f )

Sur les espaces `p

La différence de 2 terme est toujours plus petite que la norme p, i.e.:
x, y ∈ `p =⇒ |xn − yn | ≤ kx − ykp

Sur les différentes topologies

E muni de la topologie faible (σ(E, E 0 )) est une topologie telle que E 0 sont continues.
E 00 muni de la topologie faible-∗ (σ(E 00 , E 0 )) est une topologie telle que E 0 sont continues aussi.

Dual de Lp : On peut définir un isomorphisme linéaire entre Lq −→(Lp )0 avec

Z
I : Lq → (Lp )0 I(g)(f ) := gf dµ ∀g ∈ Lq , ∀f ∈ Lp

1
Où + 1q = 1.
p
On peut facilement montrer que I est linéaire continue et que kIk ≤ 1. Pour montrer que I est un isomorphisme
et que kIk = 1 il faut travailler un peu plus. Pour tout f ∈ Lp , il existe g ∈ Lq
Z
kf kp = f · g dµ
X

On peut même définir:

|f (x)|p
(
kf k1−p
p f (x) f (x) 6= 0
g(x) =
0 sinon
Et alors kgkq = 1 ce qui nous permet de montrer avec un peu de travail que kIk = 1.

Borne
Peut être très utile le théorème:
Si B ⊂ E est tel que f (B) est borné ∀f ∈ E 0 , alors B est borné dans E.

13