# Maximum theorem

The maximum theorem provides conditions for the continuity of an optimized function and the set of its maximizers as a parameter changes. The statement was first proven by Claude Berge in 1959.[1] The theorem is primarily used in mathematical economics.

## Statement of theorem

Let ${\displaystyle X}$ and ${\displaystyle \Theta }$ be metric spaces, ${\displaystyle f:X\times \Theta \to \mathbb {R} }$ be a function jointly continuous in its two arguments, and ${\displaystyle C:\Theta \twoheadrightarrow X}$ be a compact-valued correspondence.

${\displaystyle f^{*}(\theta )=\max\{f(x,\theta )|x\in C(\theta )\}}$ and
${\displaystyle C^{*}(\theta )=\mathrm {arg} \max\{f(x,\theta )|x\in C(\theta )\}=\{x\in C(\theta )\,|\,f(x,\theta )=f^{*}(\theta )\}}$.

If ${\displaystyle C}$ is continuous (i.e. both upper and lower hemicontinuous) at some ${\displaystyle \theta }$, then ${\displaystyle f^{*}}$ is continuous at ${\displaystyle \theta }$ and ${\displaystyle C^{*}}$ is non-empty, compact-valued, and upper hemicontinuous at ${\displaystyle \theta }$.

## Interpretation

The theorem is typically interpreted as providing conditions for a parametric optimization problem to have continuous solutions with regard to the parameter. In this case, ${\displaystyle \Theta }$ is the parameter space, ${\displaystyle f(x,\theta )}$ is the function to be maximized, and ${\displaystyle C(\theta )}$ gives the constraint set that ${\displaystyle f}$ is maximized over. Then, ${\displaystyle f^{*}(\theta )}$ is the maximized value of the function and ${\displaystyle C^{*}}$ is the set of points that maximize ${\displaystyle f}$.

The result is that if the elements of an optimization problem are sufficiently continuous, then some, but not all, of that continuity is preserved in the solutions.

## Proof

The proof relies primarily on the sequential definitions of upper and lower hemicontinuity.

Because ${\displaystyle C}$ is compact-valued and ${\displaystyle f}$ is continuous, the extreme value theorem guarantees the constrained maximum of ${\displaystyle f}$ is well-defined and ${\displaystyle C^{*}(\theta )}$ is non-empty for all ${\displaystyle \theta }$ in ${\displaystyle \Theta }$. Then, let ${\displaystyle \theta _{n}}$ be a sequence converging to ${\displaystyle \theta }$ and ${\displaystyle x_{n}\in C^{*}(\theta _{n})}$ be a sequence in ${\displaystyle X}$. Since ${\displaystyle C}$ is upper hemicontinuous, there exists a convergent subsequence ${\displaystyle x_{n_{k}}\to x\in C(\theta )}$.

If it is shown that ${\displaystyle x\in C^{*}(\theta )}$, then

${\displaystyle \lim _{k\to \infty }f^{*}(\theta _{n_{k}})=\lim _{k\to \infty }f(x_{n_{k}},\theta _{n_{k}})=f(x,\theta )=f^{*}(\theta )}$

which would simultaneously prove the continuity of ${\displaystyle f^{*}}$ and the upper hemicontinuity of ${\displaystyle C^{*}}$.

Suppose to the contrary that ${\displaystyle x\not \in C^{*}(\theta )}$, i.e. there exists an ${\displaystyle {\hat {x}}\in C(\theta )}$ such that ${\displaystyle f({\hat {x}},\theta )>f(x,\theta )}$. Because ${\displaystyle C}$ is lower hemicontinuous, there is a further subsequence of ${\displaystyle n_{k}}$ such that ${\displaystyle {\hat {x}}_{n_{j}}\in C(\theta _{n_{j}})}$ and ${\displaystyle {\hat {x}}_{n_{j}}\to {\hat {x}}}$. By the continuity of ${\displaystyle f}$ and the contradiction hypothesis,

${\displaystyle \lim _{j\to \infty }f({\hat {x}}_{n_{j}},\theta _{n_{j}})=f({\hat {x}},\theta )>f(x,\theta )=\lim _{j\to \infty }f(x_{n_{j}},\theta _{n_{j}})}$.

But this implies that for sufficiently large ${\displaystyle j}$,

${\displaystyle f({\hat {x}}_{n_{j}},\theta _{n_{j}})>f(x_{n_{j}},\theta _{n_{j}})}$

which would mean ${\displaystyle x_{n_{j}}}$ is not a maximizer, a contradiction of ${\displaystyle x_{n}\in C^{*}(\theta _{n})}$. This establishes the continuity of ${\displaystyle f^{*}}$ and the upper hemicontinuity of ${\displaystyle C^{*}}$.

Because ${\displaystyle C^{*}(\theta )\subset C(\theta )}$ and ${\displaystyle C(\theta )}$ is compact, it is sufficient to show ${\displaystyle C^{*}}$ is closed-valued for it to be compact-valued. This can be done by contradiction using sequences similar to above.

## Variants

If in addition to the conditions above, ${\displaystyle f}$ is quasiconcave in ${\displaystyle x}$ for each ${\displaystyle \theta }$ and ${\displaystyle C}$ is convex-valued, then ${\displaystyle C^{*}}$ is also convex-valued. If ${\displaystyle f}$ is strictly quasiconcave in ${\displaystyle x}$ for each ${\displaystyle \theta }$ and ${\displaystyle C}$ is convex-valued, then ${\displaystyle C^{*}}$ is single-valued, and thus is a continuous function rather than a correspondence.

If ${\displaystyle f}$ is concave and ${\displaystyle C}$ has a convex graph, then ${\displaystyle f^{*}}$ is concave and ${\displaystyle C^{*}}$ is convex-valued. Similarly to above, if ${\displaystyle f}$ is strictly concave, then ${\displaystyle C^{*}}$ is a continuous function.[2]

## Examples

Consider a utility maximization problem where a consumer makes a choice from their budget set. Translating from the notation above to the standard consumer theory notation,

Then,

Proofs in general equilibrium theory often apply the Brouwer or Kakutani fixed point theorems to the consumer's demand, which require compactness and continuity, and the maximum theorem provides the sufficient conditions to do so.

## Notes

1. Ok, p. 306
2. Sundaram, p. 239

## References

• {{#invoke:citation/CS1|citation

|CitationClass=book }}

• {{#invoke:citation/CS1|citation

|CitationClass=book }}

• {{#invoke:citation/CS1|citation

|CitationClass=book }} Template:Refend