Let be a natural number with , let be the real numbers with the order of their ordered field structure, and write to mean that and . Regard Euclidean space as a real vector space, with the sum of points and the scalar multiple. Let be the Euclidean distance, a metric on , and write for the closed ball of centre and radius in .
Let be convex, let with , and put
Then is convex.
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.