Bourbaki

Exercise 8, § 1

Topological Vector Spaces, V, p. 61

Let EE be a real or complex normed space, having the following property: if x,y,x′,y′x, y, x', y' are four vectors of EE such that

∥x∥=∥x′∥,∥y∥=∥y′∥,∥x+y∥=∥x′+y′∥, \|x\| = \|x'\|,\quad \|y\| = \|y'\|,\quad \|x + y\| = \|x' + y'\|,

then we have ∥x−y∥=∥x′−y′∥\|x - y\| = \|x' - y'\|. Prove that the norm on EE is prehilbertian (use Exercise 7).

Solution

No solution has been written yet.

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