Bourbaki

Exercise 25, § 1

Topological Vector Spaces, V, p. 65

a) Let EE be a real normed space and x′≠0x' \neq 0 a vector of the dual E′E' of EE. Now prove that in order that every vector yy of the hyperplane x′−1(0){x'}^{-1}(0) be quasi-normal to xx (exerc. 24), it is necessary and sufficient that ⟨x,x′⟩=∥x∥⋅∥x′∥\langle x, x' \rangle = \|x\| \cdot \|x'\|. b) Deduce from a) that for every x≠0x \neq 0 in EE, there exists a homogeneous closed hyperplane HH of EE such that every vector y∈Hy \in H is quasi-normal to xx. c) If x,yx, y are two points of EE and x≠0x \neq 0, there exists a scalar α\alpha such that αx+y\alpha x + y is quasi-normal to xx.

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.