TheoremBase

A Convex Function Bounded Above on a Set Symmetric about a Point is Bounded Below on It

Statement

Let nn be a natural number with 1≤n1\le n, let R\mathbb{R} be the set of real numbers with the operations and the order ≤\le of its ordered field structure, let CC be a convex subset of Euclidean space Rn\mathbb{R}^{n}, a real vector space by Euclidean Space Rn\mathbb{R}^n is a Real Vector Space, and let u:C→Ru:C\to\mathbb{R} be convex on CC.

Let D⊆CD\subseteq C and let x0∈Dx_{0}\in D be such that

x0+(x0−x)∈Dfor every x∈D,x_{0}+(x_{0}-x)\in D\qquad\text{for every }x\in D,

and let M∈RM\in\mathbb{R} satisfy u(w)≤Mu(w)\le M for every w∈Dw\in D. Write 2=1+12=1+1.

Then

2 u(x0)−M≤u(x)for every x∈D.2\,u(x_{0})-M\le u(x)\qquad\text{for every }x\in D.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…