Bourbaki

Exercise 9, § 1

Topological Vector Spaces, V, p. 61

Let EE be a real hilbertian space, ff a continuous linear form in EE. Now prove that on every closed convex subset A of EE, the function x↦∥x∥2−f(x)x \mapsto \|x\|^2 - f(x) is bounded below and attains its minimum at one and only one point of A.

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.