Espaces vectoriels topologiques, V, p. 61
Soient E un espace hilbertien réel, B une forme bilinéaire sur E×E, c1,c2 deux nombres >0 tels que l’on ait
∣B(x,y)∣∣B(x,x)∣≤c1∥x∥⋅∥y∥quels que soient x,y dans E;≥c2∥x∥2quel que soit x∈E.
Montrer que pour toute forme linéaire continue f sur E, il existe un unique élément xf∈E (resp. yf∈E) tel que f(x)=B(xf,x) (resp. f(x)=B(x,yf)) quel que soit x∈E.