Separation by hyperplanes in finite-dimensional vector spaces over Archimedean ordered fields.
For combining two convex bodies C and D to produce a third body, two of the most important ways are the operation ∓ of forming the closure of the vector sum C+D and the operation γ̅ of forming the closure of the convex hull of C ⋃ D. When the containing normed linear space X is reflexive, it follows from weak compactness that the vector sum and the convex hull are already closed, and from this it follows that the class of all rotund bodies in X is stable with respect to the operation ∓ and the class...
Page 1