Bourbaki

Exercise 10, § 1

Topological Vector Spaces, V, p. 61

Let EE be a real Hilbert space, BB a bilinear form on E×EE \times E, c1,c2c_1, c_2 two numbers >0> 0 such that

∣B(x,y)∣≤c1∥x∥⋅∥y∥for all x,y in E;∣B(x,x)∣≥c2∥x∥2for all x∈E. \begin{align*} |B(x, y)| &\leq c_1 \|x\| \cdot \|y\| \quad \text{for all } x, y \text{ in } E; \\ |B(x, x)| &\geq c_2 \|x\|^2 \quad \text{for all } x \in E. \end{align*}

Prove that for every continuous linear form ff on E, there exists a unique element xf∈Ex_f \in E (resp. yf∈Ey_f \in E) such that f(x)=B(xf,x)f(x) = B(x_f, x) (resp. f(x)=B(x,yf)f(x) = B(x, y_f)) for all x∈Ex \in E.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.