Bounded convex functions are locally Lipschitz on an open ball
ID: bounded-convex-functions-are-locally-lipschitz-on-an-open-ball
Let a real convex function satisfy on the open unit ball of a normed space. For , points satisfy . Extend the segment from through to length ; its endpoint still lies in the domain, and convexity bounds the difference by . Reverse for the opposite inequality. Unlike finite-dimensional local continuity theorems, this argument applies in arbitrary dimension because boundedness on a full neighborhood is assumed.
New to topics? Read the docs here!