∑ 数学名人档案库
← 返回 奥古斯丁-路易·柯西 简介档案 深度档案
分析复分析群论

奥古斯丁-路易·柯西（Augustin-Louis Cauchy）

现代分析的奠基人与 19 世纪最高产的数学家——他用极限把微积分从两百年的无穷小直觉中解放出来，把复变函数论变成一门独立学科，又在群论、微分方程与弹性力学中开疆拓土；他以 789 篇论文重塑了那个时代的数学，却也以其偏执、急躁与宗教热忱，成为数学史上最富争议的人物之一。

一、生平与时代背景

奥古斯丁-路易·柯西于 1789 年 8 月 21 日生于巴黎，正值法国大革命的动荡年代。四岁时，父亲路易-弗朗索瓦·柯西（Louis-François Cauchy，巴黎警察总署的高级官员）因担心在巴黎有性命之忧，举家迁往阿尔克伊（Arcueil）。生活极为艰苦，父亲在一封信中写道："我们的面包从没超过半磅——有时连半磅也没有。我们靠配给的少量硬饼干和大米充饥。"不久全家回到巴黎，父亲亲自参与对小奥古斯丁-路易的教育。拉普拉斯与拉格朗日常常做客柯西家，拉格朗日尤其关心小柯西的数学教育，他建议父亲先让儿子打下坚实的语言基础，再开始严肃的数学学习。1802 年柯西进入先贤祠中央学校（École Centrale du Panthéon），学习了两年古典语言。

1804 年起柯西开始听数学课，1805 年参加综合理工学院入学考试，由毕奥主考，名列第二。在综合理工学院，他听拉克鲁瓦、德普朗尼（de Prony）、阿谢特的课，分析辅导教师是安培。1807 年毕业，进入桥梁与公路学校（École des Ponts et Chaussées），成绩优异；实习时被派往乌尔克运河工程，在皮埃尔·吉拉尔（Pierre Girard）手下工作。

1810 年柯西在瑟堡（Cherbourg）接受第一份工作，为拿破仑入侵英国的舰队修筑港口设施。他随身带了拉普拉斯的《天体力学》和拉格朗日的《解析函数论》。工作极其繁忙，他在家信中说："我每天四点起床，从早忙到晚……工作不但不使我疲倦，反而使我振奋，我身体很好。"柯西是虔诚的天主教徒，其宗教态度此时已给他带来麻烦——1810 年他写信给母亲："他们说我的虔诚使我变得骄傲、傲慢、自负……现在他们不再跟我提宗教了。"繁重工作之余他做数学研究，1811 年证明了凸多面体的面角由其面决定，提交了第一篇论文；在勒让德和马吕斯的鼓励下，1812 年又提交了关于多边形与多面体的另一篇论文。柯西感到要在数学上做出影响就必须回巴黎，1812 年 9 月他因病返回巴黎——这病看似并非生理，而可能是严重的心理抑郁。

回到巴黎后，他研究对称函数，1812 年 11 月提交相关回忆录，1815 年发表于《综合理工学院学报》。他本应在 1813 年 2 月痊愈后回瑟堡，但这与其数学抱负冲突；他向德普朗尼请求桥梁与公路学校的副教授职位，被拒，但被允许继续在乌尔克运河任工程师，不必回瑟堡。他想走学术道路，申请经度局职位未果（勒让德获任），竞选研究院几何部也失败（普安索获任）。他又获得九个月不带薪病假，随后政治事件使乌尔克运河工程停工，他得以全心投入研究数年。又有空缺出现：1814 年一个给了安培，拿破仑退位后留下的一个力学部空缺给了莫拉尔（Molard），在这次选举中柯西一票未得（53 票中 0 票）。尽管如此，他的产出依然强劲，1814 年发表关于定积分的回忆录，后来成为他复变函数论的基础。

1815 年柯西在综合理工学院力学讲席竞争中败给比内（Binet），但被任命为分析学助理教授，负责二年级课程。1816 年他以波的研究获法兰西科学院大奖赛，真正成名则是因向研究院提交论文，解决了费马向梅森提出的关于多边形数的一个论断。政治此时帮了他：卡诺和蒙日失势被逐出研究院，柯西补上了两个空缺之一。1817 年毕奥赴苏格兰设得兰群岛考察，柯西接替他在法兰西公学院的职位，讲授他先前发现却未发表的积分方法。

柯西是第一个严格研究无穷级数收敛条件的人，并给出了积分的严格定义。1821 年的《分析教程》（Cours d'analyse）为综合理工学院学生而写，旨在把微积分的基本定理尽可能严格地展开。1826 年他在《论一种类似于无穷小计算的新计算》中开始研究留数演算；1829 年在《微分计算讲义》（Leçons sur le Calcul Différentiel）中第一次定义了复变量的复函数。

柯西与其他科学家的关系并不好。他坚定的天主教立场使他站在耶稣会一边、与科学院作对；他会把宗教带进科学工作，例如 1824 年在一份关于光的理论的报告中，他抨击作者认为牛顿不相信人有灵魂。一位记者写道："看到一位院士似乎在履行传教士向异教徒布道的职责，确是一桩奇事。"他对同事的态度也有诸多负面例子：1820 年他批评彭赛列的射影几何；对伽罗瓦与阿贝尔的处理尤其令人遗憾——阿贝尔 1826 年造访研究院后写道："柯西疯了，对他毫无办法，不过眼下他是唯一知道数学该怎么做的人。"Belhoste 记述：当阿贝尔 1829 年 4 月 6 日英年早逝时，柯西仍未就其 1826 年的论文写出报告，尽管勒让德多次抗议；他最终在 1829 年 6 月 29 日给出的报告仓促、恶劣而肤浅，配不上他自己的才华与所评研究的重要性。

到 1830 年，巴黎的政治事件与多年的辛劳终于使他决定休整。七月革命后他于 1830 年 9 月离开巴黎，在瑞士短暂停留，热心参与筹建赫尔维蒂克科学院（Académie Helvétique），但该项目因卷入政治而夭折。法国新政权要求他宣誓效忠，他拒不返回巴黎，因而失去了所有职位。1831 年他前往都灵，接受皮埃蒙特国王提供的理论物理讲席，1832 年起在都灵授课。梅纳布雷亚（Menabrea）听了这些课，写道："课程非常混乱，突然从一个想法跳到另一个想法、从一个公式跳到下一个公式，毫不试图建立联系……三十人选课，只有我一个人坚持到底。"1833 年他从都灵前往布拉格，追随查理十世，担任其孙（波尔多公爵，未来的尚博伯爵）的家庭教师，但并不成功——王子对科目毫无兴趣，柯西恼怒、大喊大叫，王后有时微笑着劝他"声音太大，别那么大声"。在布拉格期间，经波尔查诺请求，二人于 1834 年会面一次。学界讨论过柯西关于连续性的定义在多大程度上受惠于波尔查诺，Freudenthal 认为柯西的定义形成于接触波尔查诺之前，此说更可信。

1838 年柯西回到巴黎，恢复了在科学院的职位，但因拒绝宣誓而未能恢复教职。1839 年德普朗尼去世，经度局职位空缺，柯西得到毕奥和阿拉戈的大力支持，但遭到泊松的强烈反对。柯西当选，但因拒绝宣誓而未获任命，无法参会也领不到薪水。1843 年拉克鲁瓦去世，柯西竞选法兰西公学院的数学讲席，候选人还有刘维尔和利布里（Libri）。以数学能力柯西本应轻松当选，但他的政治与宗教活动（如支持耶稣会）成为关键因素，结果利布里——三人中数学最弱的——被选中，刘维尔次日写道："昨天在法兰西公学院发生的事，让我作为一个人和一个数学家深感屈辱。"

这段时期柯西的产出少于自我流放之前，但他在微分方程及其在数学物理中的应用上做了重要工作，也写了数学天文学方面的内容（主要为竞选经度局职位）。1840—1847 年出版的四卷本《分析与数学物理练习》（Exercices d'analyse et de physique mathématique）极为重要。1848 年路易-菲利普被推翻后，柯西恢复了大学职位，但他并未改变立场，继续给同事制造麻烦。利布里辞职逃离法国（部分因即将因偷书被起诉），1850 年刘维尔与柯西再次（如同 1843 年）竞争该讲席，经过势均力敌的选举，刘维尔当选；之后试图推翻这一决定的努力使二人关系极坏。他生命最后几年还有一场与迪阿梅尔（Duhamel）的可笑争执，关于非弹性碰撞中一个结果的优先权——迪阿梅尔质疑柯西声称 1832 年首先给出结果，彭赛列援引自己 1826 年的工作，证明柯西错了，但柯西从不认错。Valson 写道，这场争执给他生命的最后日子蒙上了一层只有朋友才知道的悲伤与苦涩。

柯西之女描述了他的去世："父亲一直完全清醒，完全掌控自己的精神，直到凌晨三点半……突然念出耶稣、玛利亚、约瑟的圣名。他似乎第一次意识到自己病情的严重。大约四点钟，他的灵魂归于上帝。他面对死亡时如此平静，反倒使我们为自己的悲伤感到羞愧。"1857 年 5 月 23 日，柯西在巴黎附近的索镇（Sceaux）逝世，与泊松死于同一小镇。他一生发表了 789 篇数学论文，全集（Oeuvres complètes d'Augustin Cauchy，1882—1970）共 27 卷。

二、学术生涯年表

年份 事件
1789 8 月 21 日生于巴黎；法国大革命爆发同年
约 1793 4 岁时全家避居阿尔克伊，生活困苦（面包配给不足半磅）
1802 入先贤祠中央学校，学习两年古典语言（拉格朗日建议先打语言基础）
1804—1805 开始听数学课；1805 年以第二名考入综合理工学院（毕奥主考）
1807 综合理工毕业，入桥梁与公路学校；实习于乌尔克运河（吉拉尔手下）
1810 赴瑟堡修筑港口设施（拿破仑侵英舰队）；随身带拉普拉斯《天体力学》与拉格朗日《解析函数论》
1811 证明凸多面体的面角由其面决定，提交首篇论文（受勒让德、马吕斯鼓励）
1812 提交多边形与多面体论文；9 月因病（疑抑郁）返巴黎；研究对称函数
1814 发表关于定积分的回忆录（复变函数论的基础）；两次竞选学术职位失败（53 票中得 0 票）
1815 竞选综合理工力学讲席败给比内，任分析学助理教授；关于行列式的论文发表（含柯西-比内公式）
1816 以波的研究获科学院大奖赛；解决费马多边形数论断成名；卡诺、蒙日被逐后入选科学院
1817 接替毕奥任法兰西公学院教职，讲授积分方法；首次严格研究无穷级数收敛
1821 出版《分析教程》（Cours d'analyse），用极限严格奠基微积分
1823 出版《无穷小计算讲义概要》（Résumé des leçons...sur le calcul infinitésimal），严格定义积分
1824 在光的理论报告中带入宗教观点，引起争议
1825 发表《关于取虚限的定积分的回忆录》，陈述柯西积分定理
1826 发表《论一种类似无穷小计算的新计算》，开始留数演算
1829 出版《微分计算讲义》，首次定义复变量的复函数
1830 7 月革命后 9 月离开巴黎赴瑞士，拒绝宣誓效忠新政权，失去所有职位
1831—1833 在都灵任理论物理教授（1832 起），课程混乱；完成柯西积分公式、留数定理等核心结果
1833 赴布拉格任查理十世之孙的家庭教师，教学不顺利
1834 在布拉格与波尔查诺会面（应波尔查诺请求）
1838 回巴黎，恢复科学院职位但未恢复教职（拒宣誓）
1840—1847 出版四卷本《分析与数学物理练习》
1843 竞选法兰西公学院数学讲席失败（利布里当选，刘维尔与柯西落败）
1845 发表关于置换群的回忆录，证明柯西定理（群阶含素因子 $p$ 则有 $p$ 阶元）
1848 路易-菲利普倒台后恢复大学职位
1850 再度竞选法兰西公学院讲席，惜败于刘维尔，二人关系恶化
1857 5 月 23 日卒于巴黎附近索镇；全集共 27 卷，论文 789 篇

三、核心成果（逐条技术解析）

1. 分析的严格化：极限、连续、导数、积分（1821—1823）

问题背景：自牛顿、莱布尼茨以来，微积分建立在模糊的"无穷小"概念之上，级数求和、积分、连续性都靠几何或形式直觉，缺乏逻辑基础（贝克莱 1734 年《分析学家》的著名批评——"已死量的幽灵"——一直未被回应）。拉格朗日 1797 年曾试图以幂级数为基础，被证明不足。

关键思想：柯西在《分析教程》（1821）与《无穷小计算讲义概要》（1823）中，把极限作为整个分析的基础，用不等式（后世 $\varepsilon$-$\delta$ 语言的雏形）严格定义连续、导数、积分与级数收敛。

精确表述： - 极限的定义（1821）：变量以某数为极限，当且仅当其与该数之差的绝对值可小于任意给定的量。这是第一个不依赖无穷小、不依赖几何的极限定义。 - 连续：$f(x)$ 在区间内连续，当且仅当对区间内每个 $x$，差 $f(x+\alpha)-f(x)$ 的数值随 $\alpha$ 无限减小而无限减小——这正是 $\varepsilon$-$\delta$ 连续定义的雏形（注：柯西有时借助"无穷小"叙述，但可译写为 $\varepsilon$-$\delta$）。 - 导数：$f'(x)=\lim_{h\to 0}\frac{f(x+h)-f(x)}{h}$，并证明了微分中值定理（若 $f'$ 在 $[a,b]$ 连续，则存在 $c$ 使 $\frac{f(b)-f(a)}{b-a}=f'(c)$）。 - 积分：在 1823 年讲义中，柯西把定积分严格定义为分割和的极限：对 $[a,b]$ 作分割 $a=x_0<x_1<\cdots<x_n=b$，定义 $\int_a^b f(x)\,dx=\lim_{\max\Delta x_i\to 0}\sum f(x_i)(x_i-x_{i-1})$，并证明了对连续函数该极限存在——这是历史上第一个积分的严格定义（早于黎曼积分）。他还证明了微积分基本定理（对连续函数，$\int_a^x f(t)\,dt$ 的导数是 $f(x)$）。 - 无穷级数：在 1821 年给出了柯西收敛准则（序列收敛 ⟺ 是柯西序列），以及柯西根值判别法（$\limsup_{n\to\infty}|a_n|^{1/n}<1$ 则 $\sum a_n$ 绝对收敛）和比值判别法。

与前人关系：超越了拉格朗日的幂级数尝试，与波尔查诺（1817，未刊）独立地走向分析的算术化；但其工作通过综合理工学院的教学广为流传，真正开启了"分析严格化"的时代，该纲领后由魏尔斯特拉斯完成。

局限性：柯西对"连续性"与"一致连续性"、"收敛"与"一致收敛"的区分不够清晰，导致他若干错误论断（如声称连续函数项级数的极限仍连续——1826 年阿贝尔指出反例）。这些概念的精确区分由魏尔斯特拉斯、狄利克雷、黎曼完成。存疑：关于柯西是否已隐含使用一致收敛，学界有长期讨论（拉卡托斯《证明与反驳》等），主流认为他未明确区分，但他的某些论证可作更宽松解读。

2. 复变函数论的创立（1814—1831）

问题背景：18 世纪，虚数与复函数在分析中被形式地使用（欧拉、拉普拉斯已用复积分求值），但缺乏系统理论：复积分的意义、复可微的条件、围道积分的性质都不清晰。

关键思想：柯西从 1814 年的定积分回忆录出发，在 1825 年《关于取虚限的定积分的回忆录》中陈述了划时代的柯西积分定理，随后发展出柯西积分公式与留数演算，把复分析建成一门独立学科。

精确表述： - 柯西积分定理（1825）：若 $f$ 在单连通区域 $D$ 内解析（复可微且导数连续），则对 $D$ 内任意闭曲线 $C$，$\oint_C f(z)\,dz=0$。这意味着解析函数的围道积分只依赖于端点，与路径无关。 - 柯西积分公式（约 1831，在都灵时期）：若 $f$ 在闭曲线 $C$ 所围区域内解析，$z_0$ 为区域内一点，则 $$f(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}\,dz.$$ 由此推出解析函数在区域内任意阶可微、可展为幂级数（全纯性），并得到高阶导数公式与刘维尔定理（有界整函数为常数）的雏形。 - 柯西-黎曼方程：解析函数 $f=u+iv$ 的实部与虚部满足 $u_x=v_y,\ u_y=-v_x$（柯西 1814 年已知，黎曼 1851 年系统使用，故联名）。 - 留数演算（1826 起）：定义 $f$ 在孤立奇点 $z_0$ 处的留数 $\mathrm{Res}(f,z_0)$ 为其洛朗展开中 $(z-z_0)^{-1}$ 的系数，给出留数定理：$\oint_C f(z)\,dz=2\pi i\sum$（$C$ 内奇点处的留数）。这是计算实积分的强大工具。

与前人关系：欧拉、拉普拉斯已用复形式技巧，但柯西是复变函数论的真正创立者；黎曼（1851）与魏尔斯特拉斯从不同角度（几何 vs 幂级数）进一步发展。

局限性：柯西早期证明假设导数连续（古萨 1900 年去掉了这一假设，给出更弱条件下的证明）；他对多值函数、分支的处理不够系统，后由黎曼面理论解决。

3. 无穷级数、幂级数与收敛理论（1821—1832）

问题背景：幂级数被广泛使用（牛顿、欧拉、拉格朗日），但"幂级数何时代表一个函数"、"收敛半径如何确定"、"能否逐项微分积分"等问题无人严格处理。

关键思想：在《分析教程》（1821）中，柯西给出了幂级数的收敛半径公式（后来由阿达马严格陈述为 $\limsup|a_n|^{1/n}=1/R$，即柯西-阿达马公式），并研究了级数的各种收敛判别法；在 1820—1830 年代的工作中建立了复幂级数与解析函数的对应关系（一个函数在某点解析当且仅当在该点附近可展为收敛的幂级数）。

精确表述： - 柯西-阿达马公式：幂级数 $\sum a_n z^n$ 的收敛半径 $R=1/\limsup_{n\to\infty}|a_n|^{1/n}$（当极限存在时即达朗贝尔/比值形式）。 - 柯西根值判别法与比值判别法（见上节）。

与前人关系：收敛半径公式的核心是柯西给出的，后由阿达马（1888）重新发现并严格证明，故联名；这一工作为复分析（幂级数定义解析函数）与泛函分析（谱半径）奠基。

局限性：柯西未能完全厘清收敛与一致收敛，他关于"连续函数项级数之和连续"的错误论断被阿贝尔纠正；严格的逐项积分理论由魏尔斯特拉斯及其学生建立。

4. 群论：柯西定理与有限置换群（1815，1844—1846）

问题背景：拉格朗日 1770 年已研究根的置换，阿贝尔、伽罗瓦在 1820—1830 年代用置换研究方程可解性，但"有限群"作为抽象对象尚未形成，甚至连"置换的运算"都没有统一记号。

关键思想：柯西在 1815 年及 1844—1846 年的一系列回忆录中，系统研究了有限个符号的置换（substitutions），引入了置换的乘积记号、置换的阶、对换分解等基本概念，是有限置换群理论的主要奠基者之一。他在 1845 年证明了著名的柯西定理。

精确表述：柯西定理：若 $G$ 是有限群，阶为 $n=|G|$，素数 $p$ 整除 $n$，则 $G$ 中存在一个阶为 $p$ 的元素（即存在 $g\in G$ 使 $g^p=e$ 且 $g\ne e$）。这是有限群论的奠基性定理，是后来西罗定理（1872）的特例与先导（西罗定理把"存在 $p$ 阶子群"加强为"存在最大 $p^k$ 阶子群"及其计数）。

与前人关系：拉格朗日的根置换研究为先驱；柯西把置换本身系统化研究，是群论从"方程论工具"走向"独立对象"的关键一步。他对伽罗瓦的工作态度不佳（1830 年代曾遗失/未妥善处理伽罗瓦提交给科学院的论文），但他的置换群研究为群论的发展铺平了道路；西罗、若尔当（1870《置换论》）继承并完成。

局限性：柯西未抽象出一般"群"的概念（仍限于置换群），也未建立群的同态/同构理论；抽象群论的公理体系由凯莱（1854）、戴德金、韦伯等在 19 世纪后期完成。

5. 微分方程：柯西问题与解的存在唯一性（1820s—1840s）

问题背景：微分方程被大量用于力学与物理，但"给定初始条件，解是否存在、是否唯一"长期被默认，无人严格证明。

关键思想：柯西在 1820 年代起研究微分方程的初值问题（今称柯西问题 / 初值问题），首次给出了解的存在性与唯一性的严格证明。他用两种方法：（1）逐次近似法（皮卡迭代法的前身，后由皮卡与林德勒夫完善，今称皮卡-林德勒夫定理）；（2）优级数法（méthode des majorantes），把解析函数展开为幂级数，用一个收敛的"优级数"控制其系数，从而证明解的幂级数展开收敛。

精确表述： - 对常微分方程初值问题 $y'=f(x,y),\ y(x_0)=y_0$：若 $f$ 关于 $y$ 满足利普希茨条件，则解在 $x_0$ 附近存在且唯一（柯西-利普希茨定理 / 皮卡-林德勒夫定理）。 - 对偏微分方程的解析初值问题，优级数法给出了解的存在性（后被柯瓦列夫斯卡娅 1875 年推广为柯西-柯瓦列夫斯卡娅定理，是非线性偏微分方程解析解的基本存在定理）。

与前人关系：超越了此前把微分方程求解当作形式运算的做法，开启了微分方程的定性/存在性理论。其优级数法被魏尔斯特拉斯及其学派广泛使用。

局限性：柯西的存在性证明多局限于解析情形；更一般（非解析）的唯一性/存在性定理由利普希茨（1876）、皮卡（1890）、佩亚诺等完成。

6. 数学物理与弹性力学：柯西应力张量（1822—1830）

问题背景：19 世纪初连续介质力学尚未建立，描述固体内部受力尚无统一的数学框架；光的波动理论与弹性固体的类比促使人们建立弹性理论。

关键思想：1822 年起，柯西在一系列论文中建立了弹性力学的数学理论，引入了柯西应力张量来描述连续介质内部的受力状态：在介质内任意一点，穿过任意面元的面力（traction）可由一个二阶张量 $\boldsymbol{\sigma}$ 与面元法向量 $\mathbf{n}$ 的乘积给出：$\mathbf{t}=\boldsymbol{\sigma}\cdot\mathbf{n}$。

精确表述：应力张量 $\boldsymbol{\sigma}$ 是对称的 $3\times 3$ 张量（对称性由角动量守恒推出），含 6 个独立分量（正应力与切应力），是连续介质力学（弹性力学、流体力学、塑性理论）的基本概念。柯西还建立了弹性介质的运动方程（柯西运动方程），提出了两种弹性理论，并研究了波在弹性介质中的传播（这使他 1816 年获科学院大奖赛的光的波动论文与他的弹性工作相联系）。

与前人关系：纳维（Navier 1821）从分子假设出发得到弹性方程，柯西从连续介质的应力张量出发，二者是 19 世纪弹性理论的双柱；圣维南、格林、开尔文等进一步发展。

意义：柯西应力张量至今是连续介质力学与有限元分析的核心概念，是土木、机械、航空航天工程的数学基础。

7. 其他重要贡献（行列式、分析工具等）

四、代表著作与文献

五、师承、学派与同时代交往

六、争议、公案与历史评价

七、身后影响与学术谱系

八、延伸阅读与权威来源