local minimum of convex function is necessarily global
Theorem 1.
A local minimum (resp. local maximum) of a convex function (resp. concave function) on a convex subset of a topological vector space, is always a global extremum.
Proof.
Let be a convex function on a convex set in a topological vector space.
Suppose is a local minimum for ; that is, there is an open neighborhood of where for all . We prove for arbitrary .
Consider the convex combination for :
Since scalar multiplication and vector addition are, by definition, continuous in a topological vector space, the convex combination approaches as . Therefore for small enough , is in the neighborhood . Then
for small | ||||
since is convex. |
Rearranging , we have .
To show the analogous situation for a concave function , the above reasoning can be applied after replacing with . ∎
Title | local minimum of convex function is necessarily global |
---|---|
Canonical name | LocalMinimumOfConvexFunctionIsNecessarilyGlobal |
Date of creation | 2013-03-22 13:33:37 |
Last modified on | 2013-03-22 13:33:37 |
Owner | stevecheng (10074) |
Last modified by | stevecheng (10074) |
Numerical id | 13 |
Author | stevecheng (10074) |
Entry type | Theorem |
Classification | msc 26B25 |
Synonym | extremal value of convex/concave functions |
Synonym | local maximum of concave function is necessarily global |