Injection canonique de \(E\) dans son bidual \(E''\)

[ Definition ]
On définit une injection canonique de \(E\) dans son bidual \(E''\) par \(x \mapsto (f \mapsto f(x))\). À tout élement de \(E\) on associe donc une forme linéaire continue sur \(E'\) (il s’agit donc bien d’un élément de \(E''\). On notera \(\phi_x\), pour \(x\) dans \(E\), l’application qui à \(f\) dans \(E'\) associe \(f(x)\).
En savoir plus