极值定理

极值定理 (Extreme Value Theorem)

极值定理是实分析与微积分中的一个基本存在性定理：若实值函数 $f$ 在闭区间 $[a,b]$ 上连续，则 $f$ 在该区间上必然取到最大值与最小值。即存在 $c,d\in[a,b]$，使得对一切 $x\in[a,b]$ 有 $f(c)\le f(x)\le f(d)$。

该定理由 Karl Weierstrass 于 19 世纪严格证明，是数学分析从直观走向严格化的里程碑。其重要性在于：它仅要求连续性与紧致定义域两个条件，便保证了最优解的存在性，为最优化理论的全部讨论奠定了基础。

条件与反例

极值定理的三个条件缺一不可：

• 定义域非闭：$f(x)=x$ 在 $(0,1)$ 上连续但无最值——端点被排除。
• 定义域无界：$f(x)=1-e^{-x}$ 在 $[0,\infty)$ 上连续有上界 $1$，但最大值为 $1$ 永远达不到。
• 函数不连续：$f(x)=x$ 当 $x\in[0,1)$，$f(1)=0$，在 $[0,1]$ 上有上确界 $1$ 但无最大值。

这三个反例揭示了定理的精髓：闭区间提供紧致性（Heine-Borel定理保证有界闭集等价于紧致），连续函数将紧致集映射为紧致集，而 $\mathbb{R}$ 中的紧致集必有最大元和最小元。

证明思路

标准证明依赖 Bolzano-Weierstrass 定理：有界数列存在收敛子列。

设 $M=\sup_{x\in[a,b]}f(x)$（上确界，可为 $+\infty$）。取序列 $(x_n)\subset[a,b]$ 使 $f(x_n)\to M$。由 Bolzano-Weierstrass，$(x_n)$ 有收敛子列 $x_{n_k}\to d\in[a,b]$（闭性保证 $d$ 属于定义域）。由连续性：$f(d)=f(\lim x_{n_k})=\lim f(x_{n_k})=M$。若 $M$ 无穷则矛盾（连续函数在紧集上有界），故 $M$ 有限且被 $d$ 取到。最小值证法对称。

经济学核心应用

消费者理论：效用函数 $U(x)$ 在预算集（瓦尔拉斯均衡中为紧致单纯形）上连续，则极值定理直接保证最大效用解的存在，无需逐一求解一阶条件。

生产者理论：成本最小化问题中，生产函数连续且等产量线与预算约束定义紧致可行集，极值定理保证最优投入组合的存在。

一般均衡：Arrow-Debreu 框架中，超额需求函数在价格单纯形上的零点存在性证明（不动点定理）预设了连续函数在有界闭集上取最值的性质。

动态优化：动态规划中值函数的有界性与可达性、最优控制中 Hamiltonian 的极值条件，均以极值定理为底层支撑。

计量经济学：OLS 估计量最小化残差平方和，连续目标函数加紧致参数空间即可直接断言估计量存在；极大似然估计中的对数似然函数最大化同理。

与紧致性的关系

极值定理的本质是紧致性的结论。在 $\mathbb{R}^n$ 中，Heine-Borel定理断言紧致等价于有界闭集。连续函数将紧致集映射为紧致集，而 $\mathbb{R}$ 中紧致集必有最大值与最小值——这构成了极值定理的拓扑学证明路径，比 Bolzano-Weierstrass 的序列论证更一般、更简洁。这一视角将极值定理从一维推广至多维乃至无穷维空间：只要定义域紧致、函数连续，最值必然存在。

推广

广义极值定理：将定义域从 $\mathbb{R}$ 推广至任意拓扑空间——紧致空间上的连续实值函数总取到最值。进一步，上半连续函数在紧致集上也取到最大值。该推广在经济动态规划的值函数收敛性、不动点定理的构造性证明中频繁调用。在泛函分析中，紧致性条件（如 Ascoli-Arzelà 定理中的等度连续条件）常与极值定理的推广联合使用，以保证无限维优化问题解的存在。

统计学方向：需注意区分本定理与极值理论 (Extreme Value Theory)——后者即 Fisher-Tippett-Gnedenko 定理，讨论独立同分布样本最大值经适当标准化后的极限分布（Gumbel、Fréchet、Weibull 三族），是金融风险 (VaR) 与巨灾建模的数学基础。这两个"极值定理"名称相近但内容截然不同：前者保证最值存在，后者刻画最值分布。

常见误区

初学者常将极值定理与费马引理（导数为零是内点极值的必要条件）混淆。极值定理保证的是全局最值的存在性而非如何找到它，且最值常出现在区间端点而非导数为零的驻点处。另外，极值定理给出的仅仅是存在性结论——它不提供任何构造性算法来定位最值点，这正是非线性规划中数值优化方法需要独立发展的原因。