Rappel sur les formes linéaires et les hyperplans
On en déduit immédiatement le résultat suivant:
Le lien entre les formes linéaires et les hyperplans est explicité ci-après:
Caractérisation des formes linéaires continues
Toutes les formes linéaires sur un espace normé E, ne sont pas forcément continues. Prenons par exemple pour E l'espace vectoriel des fonctions polynômes avec pour norme $||P||=\sup_{x\in \left [ 0,1 \right ]}\left | P(x) \right |$ alors si on pose Pn(x)=(x/2)n, (Pn) est clairement une suite de polynômes convergeant vers 0 pour la norme proposée. Posons maintenant f(P)=P(4) alors f(Pn)=2n. On voit que f(Pn) tend vers +∞, si f était continue f(Pn) devrait tendre vers 0.
Cependant il existe des formes linéaires continues. Prenons par exemple l'espace E de toutes les applications bornées sur l'intervalle [0,1] avec la norme ||u||=Supx∈[0,1]|u(x)| et considérons l'application f:u→u(0). Si ||u||≤1 on a bien évidemment |f(u)|=|u(0)|≤1, donc f est continue d'après les résultats de cette page.
Pour démontrer la réciproque considérons a∉H tel que f(a)=1. Comme H est fermé il en est de même de a+H image réciproque du fermé {a}×H par l'application continue (x,y)→x+y. Comme 0∉a+H il existe une boule V: ||x||≤r qui ne rencontre pas a+H. Par suite, x∈V⇒f(x)≠1. Montrons que x∈V⇒|f(x)|≤1. Supposons le contraire et soit et soit α=f(x) avec x∈V et |α|>1; alors ||x/α||=(1/|α|)||x||<r et f(x/α)=1 ce qui contredit la définition de V. f étant bornée sur une boule est bornée sur la boule unité et est donc continue.
Si b∉H on a x=λb+y de façon unique avec y∈H posons λ=g(x), g est alors une forme linéaire de noyau H tout comme f. g est donc continue et l'application x→(g(x),b) est continue donc par composition l'application x→g(x)b (projection sur la droite Kb est continue. Ceci démontre la dernière partie de notre assertion.