恩斯特·菲舍尔
概述
恩斯特·西吉斯蒙德·菲舍尔（Ernst Sigismund Fischer，1875–1954）是20世纪初奥地利-德国数学家，以两项永久性贡献为后人铭记：其一是1905年提出的极大极小定理，为对称矩阵所有特征值给出统一的变分刻画；其二是1907年与 Frigyes Riesz 各自独立证明的 Riesz-Fischer 定理，建立了 L² 空间的完备性，奠定了现代泛函分析的基石。Fischer 的学术生涯横跨代数、分析与几何，对二次形式理论尤有深刻洞察。
关键内容
生平
- 生卒年：1875年7月12日（维也纳）— 1954年11月14日（科隆）
- 国籍：奥地利/德国
- 任职：维也纳大学 → 布吕恩（今布尔诺）德意志技术大学 → 埃尔朗根大学
- 领域：代数、分析（二次形式理论、积分方程、实分析）
两项永久性贡献
1. 极大极小定理（1905）
发表于 Monatshefte für Mathematik und Physik，论文题为 "Über quadratische Formen mit reellen Koeffizienten"。
Fischer 的核心洞察：不仅最大/最小特征值，每一个特征值都可以用 Rayleigh商 在子空间约束下的双重极值精确表达：
$$\lambda_k = \max_{\dim V = k} \min_{x \in V,\, x \neq 0} \frac{x^T A x}{x^T x}$$
这将特征值从代数方程的根（行列式方法）彻底转化为变分优化问题，绕开了特征多项式的计算。
2. Riesz-Fischer 定理（1907）
Fischer 与 Frigyes Riesz 各自独立证明：L² 空间是完备的（即 Cauchy 列收敛于 L² 中的元素）。该定理是现代泛函分析和无穷维谱理论的基础——也正是它使得 Fischer 极大极小定理向无穷维算子的推广（Courant-Fischer 定理）成为可能。
极大极小定理的历史地位
Fischer 定理是特征值理论从"特征方程求根"范式向"优化问题求解"范式转变的里程碑。直接启发了：
- Hermann Weyl（1912）：Weyl 特征值扰动不等式
- Richard Courant（1920）：无穷维推广（Courant-Fischer 定理）用于 PDE 特征值
- 现代数值方法：Lanczos 算法、Rayleigh-Ritz 方法
来源
- raw/books/矩阵分析/06_fischer_minimax_theorem_1905.md