A Convex Function is Bounded Above near a Point by its Values at Coordinate Neighbours
lemmaAnalysisMultivariable Calculuslem:convex-function-bounded-above-crosspolytope-2026aLet be a natural number with , let be the initial segment determined by , and let be the set of real numbers with the operations and the order of its ordered field structure, with the absolute value written . Let be a convex subset of Euclidean space , a real vector space by Euclidean Space is a Real Vector Space, and let be convex on .
For let be the point whose th coordinate is and whose th coordinate is for every with . Let , let with , and suppose that
Let satisfy
Then every with
the sum being the finite sum of , lies in and satisfies .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.