Bourbaki

Exercise 28, § 1

Topological Vector Spaces, V, p. 66

Let EE be a normed space, E′E' its dual. a) Now prove that if E′E' is smooth (V, p. 65, exer. 26), EE is strictly convex (if x,yx, y are such that x≠yx \neq y, ∥x∥=∥y∥=∥12(x+y)∥=1\|x\| = \|y\| = \|\frac{1}{2}(x + y)\| = 1, consider an x′∈E′x' \in E' such that one has ∥x′∥=1\|x'\| = 1 and ⟨12(x+y),x′⟩=1\langle \frac{1}{2}(x + y), x' \rangle = 1). b) Now prove that if E′E' is strictly convex, EE is smooth.

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.