Continuous supporting functional for a locally bounded convex function

ID: continuous-supporting-functional-for-a-locally-bounded-convex-function

A real convex function locally bounded on an open convex set has a continuous supporting linear functional at every interior point. Apply the dominated Hahn-Banach theorem to its sublinear directional derivative to obtain . Increasing secant slopes imply whenever the endpoint is in the domain. A local Lipschitz continuity bound gives both and , proving continuity.

New to topics? Read the docs here!