189

Théorème de Hahn-Banach

Théorème � Soit E un R-espace vectoriel normée séparable. Soit F ⊂ E un sous-espace

vectoriel. Toute forme linéaire continue f sur F est prolongeable en une forme linéaire
continue g ∈ E � telle que
�f � = �g�.

Preuve :
On commence par traiter le cas où F est un hyperplan. Soit x0 ∈ E\F .
Pour h ∈ F et t ∈ R, on a

g(h + tx0 ) = g(h) + tg(x0 ) = f (h) + ta.

1
Il faut trouver a = g(x0 ) tel que �f � = �g�. Quitte à considérer , on peut supposer �f � = 1.
�f �
Il faut alors pour h ∈ F et t > 0
�
f (h) + ta ≤ �h + tx0 �
f (h) − ta ≤ �h + tx0 �

donc � � � � � � � �
h0 � h0 � � h1 � h1
f −�
� − x0 �
� ≤a≤�
� x0 + � +f
t0 t0 t1 � t1
avec h0 , h1 ∈ F et t0 , t1 > 0. Pour qu’un tel a existe, il faut que pour tout z, y ∈ F

f (y) − �y − x0 � ≤ �x0 + z� − f (z), c’est à dire f (y + z) ≤ �x0 + z� + �y − x0 �.

Or f (y + z) ≤ �y + z� ≤ �x0 + z� + �y − x0 � donc il existe un tel a et on a

∀x ∈ E, g(x) ≤ �x�.

Or g|F = f et �f � = 1 donc �g� = 1.

Dans le cas général, on considère une suite (en )n∈N∗ dense dans E. On définit par récurrence
fn par �
� f0 = f
�
�
� fn+1 le prolongement de fn à Vect(F, e1 , . . . , en )

Comme �fn+1 � = �fn � par ce qui précéde, on a �fn � = �f � pour tout n ∈ N. On définit
g : E → R par g(x) = fn (x) pour x ∈ Vect(F, e1 , . . . , en ). Elle est bien définie sur E car on
définit ainsi une forme linéaire sur une partie dense de E. De plus pour x ∈ E on a

|fn (x)| ≤ �f ��x�

donc par passage à la limite, �g� ≤ �f �. Or g|F = f0 = f donc �g� = �f �.

Antoine Mouzard
190

Corollaire � E s’injecte canoniquement dans son bidual via l’isométrie

�
� ��
� E → � E
J :�
� �
� x →
� f →
� f (x)

Preuve :
Soit x ∈ E. On commence par montre que

�x� = sup |f (x)|.

f ∈E �
�f �≤1

On a immédiatement sup |f (x)| ≤ �x�. D’arpès le théorème de Hahn-Banach avec F = Rx et

f ∈E �
�f �≤1

f (tx) = t�x�2 , il existe g ∈ E � tel que �g� = �x� et g(tx) = t�x�2 . Alors
�� � �
� 1 �
�x� = �
� g (x)�� ≤ sup |f (x)|,
�x� �f ∈E
�f �≤1

d’où l’égalité annoncée. Enfin, on a

�Jx� = sup |Jx(f )| = sup |f (x)| = �x�

f ∈E � f ∈E �
�f �≤1 �f �≤1

où la première égalité est par définition.

Remarque Le théorème de Hahn-Banach reste vrai dans un cas non séparable mais
l’axiome du choix et nécéssaire pour la preuve, et donc le corollaire aussi. Que ce soit en
dimension finie, séparable ou non, l’étape pour passer d’un hyperplan à l’espace total
est la même. Ce qui change, c’est l’étape pour conclure. En dimension finie, c’est une
récurrence sur la dimension et dans le cas non séparable il faut utiliser l’axiome du choix.

Antoine Mouzard