1. Théorème de Riesz-Fréchet : H' ≅ H. 2. Toute forme linéaire continue s'écrit x ↦ ⟨x,a⟩. 3. Démonstration par projection sur le noyau. 4. Application : Lax-Milgram
Isométrie antilinéaire H → H'. Projection orthogonale