TheoremBase

A Convex Function is Lipschitz on a Ball around an Interior Point

Statement

Let nn be a natural number with 1≤n1\le n, let [n][n] be the initial segment determined by nn, and let R\mathbb{R} be the set of real numbers with the operations and the order ≤\le of its ordered field structure, with the absolute value written ∣⋅∣|\cdot|.

On Euclidean space Rn\mathbb{R}^{n}, a real vector space by Euclidean Space Rn\mathbb{R}^n is a Real Vector Space, write ∥⋅∥\lVert\cdot\rVert for the Euclidean norm and dEd_{E} for the Euclidean metric, which satisfy dE(x,y)=∥x−y∥d_{E}(x,y)=\lVert x-y\rVert by claim 2 of Elementary Properties of the Euclidean Norm on Rn\mathbb{R}^n; closed balls BˉdE(x,s)\bar{B}_{d_{E}}(x,s) are those of Closed Ball in a Metric Space.

Regard Rn\mathbb{R}^{n} as a topological space with the collection of those subsets that are open in the metric space (Rn,dE)(\mathbb{R}^{n},d_{E}), a topology by Metric Open Sets Form a Topology.

Let C⊆RnC\subseteq\mathbb{R}^{n} be convex, let u:C→Ru:C\to\mathbb{R} be convex on CC, and let x0x_{0} be an interior point of CC in Rn\mathbb{R}^{n}.

Then there are ρ,L∈R\rho,L\in\mathbb{R} with 0<ρ0<\rho and 0≤L0\le L such that BˉdE(x0,ρ)⊆C\bar{B}_{d_{E}}(x_{0},\rho)\subseteq C and

∣u(y)−u(x)∣≤L ∥y−x∥for all x,y∈BˉdE(x0,ρ).\bigl|u(y)-u(x)\bigr|\le L\,\lVert y-x\rVert\qquad\text{for all }x,y\in\bar{B}_{d_{E}}(x_{0},\rho).

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…