∑ 数学名人档案库
← 返回 吴文俊 简介档案 深度档案
拓扑机器证明数学史

吴文俊（Wen-Tsun Wu）

20 世纪后半叶最具原创性的中国数学家——他前半生在巴黎与拓扑学黄金时代同侪并驾，以「吴示性类」「吴公式」刻进代数拓扑的经典教科书；后半生在文革的工厂里被计算机击中，一手创立「数学机械化」（国际通称「吴方法」），让几何定理第一次能被成批自动证明；晚年又以中国古代数学的「算法化」传统，为宋元数学争回了世界数学史上的应有席位。

一、生平与时代背景

吴文俊 1919 年 5 月 12 日生于上海，祖籍浙江嘉善。父亲吴福国毕业于南洋公学（上海交通大学前身），是知识分子家庭，家中藏书颇丰，使他自幼养成自学习惯。1936 年他考入上海交通大学数学系；1937 年 8 月淞沪会战爆发，交大迁入上海法租界继续办学，他在炮火中读完本科，1940 年毕业。此时抗战正酣，学校内迁，无法继续深造，他只得在中学任教数年。

1945 年抗战胜利，交大重建为上海临时大学，吴文俊受聘为助教，得以重拾研究。1946 年是他一生的转折点：他结识了正在筹办中央研究院数学研究所的陈省身。吴文俊后来写道：「与陈省身的这次会面对我数学生涯的未来起了决定性作用。」他被吸收入所做研究生，同年考取中法交换奖学金，1947 年赴法国斯特拉斯堡大学，师从夏尔·埃雷斯曼（Charles Ehresmann）研究拓扑学。1949 年以论文 Sur les classes caractéristiques des structures fibrées sphériques（《论球纤维结构的示性类》）获博士学位。

博士毕业后他前往巴黎，在亨利·嘉当（Henri Cartan）处工作，并与嘉当的学生勒内·托姆（René Thom）频繁交流——1950 年前后，托姆证明了 Stiefel-Whitney 类的拓扑不变性，吴文俊则发现了以他命名的「吴示性类」与「吴公式」，两人互相印证、共同推进了示性类理论。这是代数拓扑在法国的黄金年代。

1951 年吴文俊回到中国，受聘于北京大学；1953 年调任中国科学院数学研究所研究员。从 1953 年起，他对当时被同伦论热潮掩盖的经典拓扑非形变问题做了系统研究，引入「示嵌类」，建立多面体在欧氏空间中嵌入、浸入、同痕的理论，1965 年成书出版。1956 年他以「示性类及示嵌类的研究」获首届国家自然科学奖一等奖（与华罗庚、钱学森同批），1957 年当选中科院学部委员（院士），时年 38 岁。1958 年他被邀请在爱丁堡国际数学家大会（ICM）作报告，但未能成行。

1966 年文革爆发，知识分子被下放劳动。吴文俊被派到一家计算机制造工厂，正是这段经历彻底改变了他的学术方向。他在自述中说：「我最初被计算机的威力所震动。同时我也潜心研究中国古代数学，开始理解中国古代数学真正是什么。我被其思想与方法的深度和威力深深打动。正是在这种影响下，我开始研究用机械化方法证明几何定理的可能性。」他看到，古希腊以公理—演绎为核心的数学传统之外，中国古代数学走的是一条「算法化」「机械化」的道路，而这恰与计算机时代的需求暗合。1976 年文革结束，他的纯数学研究基本停止，第二阶段「数学机械化」全面展开。

1977 年，他提出几何定理机器证明的新方法（后称「吴方法」），把初等几何命题化为多项式方程组的消元问题，在计算机上成批证明了数百条定理，包括费尔巴哈九点圆、莫利三等分角定理等著名难题，甚至发现了人所未及的简洁证明与非退化条件。1984 年中文著作《几何定理机器证明的基本原理（初等几何部分）》出版，1994 年由 Springer 译为英文 Mechanical Theorem Proving in Geometries。1986 年他第二次受邀在伯克利 ICM 作报告，主题竟是中国古代数学史——他以此把中国数学传统推向世界舞台。

晚年荣誉接踵而至：1990 年当选第三世界科学院院士并获 TWAS 数学奖；1997 年获自动推理领域最高奖 Herbrand Award；2000 年获首届国家最高科学技术奖（与袁隆平同获，2001 年由江泽民主席颁发）；2006 年获邵逸夫数学科学奖（与 David Mumford 共获）。他曾任中国数学会理事长、中国科学院数理学部主任、2002 年北京国际数学家大会主席、中科院系统科学研究所名誉所长，并主编十卷本《中国数学史大系》。2017 年 5 月 7 日，吴文俊在北京病逝，享年 97 岁，距其 98 岁生日仅 5 天。

二、学术生涯年表

年份 事件
1919 5 月 12 日生于上海，祖籍浙江嘉善
1936 入上海交通大学数学系
1937 淞沪会战爆发，交大迁入上海法租界，在战火中完成学业
1940 交大毕业；因抗战无法深造，任中学数学教师
1945 抗战胜利，任上海临时大学（交大）助教，恢复研究
1946 结识陈省身，入中央研究院数学所；考取中法交换奖学金
1947 赴法国斯特拉斯堡大学，师从埃雷斯曼研究拓扑；发表首篇论文
1949 获博士学位，论文《论球纤维结构的示性类》
1949—1951 在巴黎随亨利·嘉当工作，与托姆交流；发现吴示性类与吴公式（1950）
1951 回国，任北京大学教授
1953 调中国科学院数学所任研究员；系统研究示嵌、示浸、同痕理论
1956 以「示性类及示嵌类」获首届国家自然科学奖一等奖
1957 当选中科院学部委员（院士），38 岁
1958 受邀在爱丁堡 ICM 作报告（未能出席）
1965 出版《可剖形在欧氏空间中的实现问题》
1966—1976 文革期间下放计算机工厂，转向中国数学史与机器证明
1977 提出几何定理机器证明方法（「吴方法」）
1984 出版《几何定理机器证明的基本原理》中文版
1986 在伯克利 ICM 作邀请报告，主题为中国古代数学史
1990 当选第三世界科学院院士
1991 获 TWAS 数学奖
1994 Mechanical Theorem Proving in Geometries 英文版由 Springer 出版
1997 获国际自动推理联合会 Herbrand Award
2000 获首届国家最高科学技术奖（2001 年颁发）
2006 获邵逸夫数学科学奖（与 Mumford 共获）
2008 Selected Works of Wen-Tsun Wu 由 World Scientific 出版
2017 5 月 7 日病逝于北京，享年 97 岁

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

1. 吴示性类与吴公式（1950）——示性类理论的基石

问题背景：流形的 Stiefel-Whitney 示性类原本是通过切丛的障碍理论（obstruction theory）定义的，依赖于流形的可微结构。一个核心问题是：它们到底在多大程度上是纯拓扑（同伦）不变量？1940 年代末，托姆正在研究 Stiefel-Whitney 类的拓扑不变性，吴文俊则从另一个角度给出了完整回答。

关键思想：吴文俊把 Stiefel-Whitney 类与上同调运算（Steenrod 平方）直接挂钩。对 $n$ 维闭光滑流形 $M$，考虑系数域 $\mathbb{Z}/2$。对每个 $k$，存在唯一的上同调类 $v_k\in H^k(M;\mathbb{Z}/2)$，使得对任意 $x\in H^{n-k}(M;\mathbb{Z}/2)$ 都有

$$\langle \operatorname{Sq}^k(x),[M]\rangle=\langle v_k\cup x,[M]\rangle,$$

即 $v_k$ 是上同调运算 $\operatorname{Sq}^k$ 在庞加莱对偶下的对偶类。这个 $v_k$ 就称为吴示性类（Wu class），总吴类 $v=1+v_1+v_2+\cdots$。

精确表述（吴公式）：流形的总 Stiefel-Whitney 类 $w=1+w_1+w_2+\cdots$ 由下式给出

$$w=\operatorname{Sq}(v),\qquad w_i=\sum_{j=0}^{i}\operatorname{Sq}^{j}(v_{i-j}),$$

其中 $\operatorname{Sq}=1+\operatorname{Sq}^1+\operatorname{Sq}^2+\cdots$ 是总 Steenrod 运算。

意义：因为 $v_k$ 完全由流形的 $\mathbb{Z}/2$ 上同调环及其 Steenrod 运算决定——这两者都是同伦不变量——所以吴公式证明了 Stiefel-Whitney 类是同伦不变量。这一结果与托姆证明 Stiefel-Whitney 类的拓扑不变性（1950）相互呼应，成为示性类理论的经典定理，写进了每一本代数拓扑教科书。

与前人关系：Stiefel（1935）、Whitney（1935）定义了示性类；吴文俊用 Steenrod 运算重新刻画它们，是该理论的一次深刻重述。

2. 示嵌类理论（1953—1965）——多面体在欧氏空间的实现问题

问题背景：一个 $k$ 维多面体何时能嵌入（嵌入、浸入、同痕）到 $n$ 维欧氏空间 $\mathbb{R}^n$？这是经典拓扑问题，但在 1950 年代同伦论飞速发展时被冷落。

关键思想：吴文俊引入「示嵌类」（imbedding class）作为判别不变量，建立了多面体在欧氏空间中嵌入、浸入、同痕的系统理论。对复形 $K$ 及其删除积（deleted product）$K^$，通过研究 $K^$ 在对称群作用下的等变上同调，定义出刻画嵌入障碍的特征类，并给出一系列可计算的判别准则。

结果：他证明了若干嵌入/浸入的充分必要条件，把范坎彭（Van Kampen）、惠特尼等人的零散结果统一到一个框架中。1965 年以专著 A Theory of Imbedding, Immersion, and Isotopy of Polytopes in a Euclidean Space 出版。

局限性：该理论主要面向有限多面体（组合拓扑），对一般拓扑空间的嵌入问题覆盖有限；随着 1960 年代后纽结理论、手术理论（surgery theory）的兴起，示嵌类方法在高维流形的嵌入分类中部分被新工具取代，但其思想在离散几何与计算拓扑中仍有回响。

3. 吴方法（1977）——几何定理机器证明与数学机械化

问题背景：能否用计算机自动证明平面几何定理？此前（如 1950 年代人工智能先驱）的尝试依赖逻辑搜索，效率极低，只能证明极少数简单命题。

关键思想：吴文俊受中国古代数学（尤其是朱世杰《四元玉鉴》的消元思想）和里特（J. F. Ritt）微分代数「特征集」方法的启发，不走逻辑路线，而是把几何问题代数化：建立坐标系后，几何命题的「假设」与「结论」都化为多项式方程，定理证明就转化为判断结论多项式是否属于假设多项式生成的理想（在某种消去意义下）。

算法（吴消元法 / 特征集方法）： 1. 对变量排序（「约束变元」排在后面）； 2. 用伪除法（pseudo-division，把一元多项式除法推广到多元，处理首项系数的分母问题）反复约化，从假设多项式组中计算出一个特征集（ascending chain，升列）； 3. 把结论多项式对特征集逐次伪除，若余式为零，则在特征集各多项式的「初式」（首项系数）非零的非退化条件下，结论成立。

精确结论：对无序（unordered）几何，吴方法是一个完备的判定算法：定理在非退化条件下成立当且仅当余式为零。

意义：它在计算机上几分钟内证明了数百条初等几何定理，包括费尔巴哈九点圆定理、莫利三等分角定理等公认难题，且常发现比人工更简洁的证明，或揭示出人类证明中默认省略的非退化条件。国际上称之为「Wu's method」，是符号计算与自动推理领域的里程碑，直接推动了 1980—90 年代几何定理机器证明的繁荣，并影响了多项式消元、机器人运动学、计算机视觉等应用。

与前人关系：方法的代数消元思想可上溯至朱世杰、西尔维斯特（Sylvester）、麦克劳林；特征集概念来自里特（Ritt，其工作又源于范德瓦尔登）。吴文俊的原创性在于把这一整套工具系统地用于几何定理证明并证明其完备性。

4. 有理同伦型的构造性计算（I*-测度）

问题背景：有理同伦论（rational homotopy theory）由奎伦（Quillen，1969）和沙利文（Sullivan，1977）建立，核心是用微分分次代数（DGA）的极小模型刻画空间的有理同伦型。但沙利文极小模型的计算在一般情形极其困难。

关键思想：吴文俊把其机械化哲学带入同伦论，提出I*-测度（I*-measure），构造性地从空间的上链复形出发计算其有理同伦型，给出了一个可由算法执行的替代方案，可用于空间的有理同伦等价分类。这是「数学机械化」从几何延伸到代数拓扑的体现。

5. 中国数学史的「机械化传统」重估

观点：吴文俊通过研究《九章算术》《数书九章》《四元玉鉴》等典籍，提出中国古代数学走的是一条与古希腊公理—演绎传统平行但不同的路线：以问题为驱动、以算法为核心，强调机械化、构造性的求解（如方程术、天元术、四元术、大衍求一术）。他认为这一传统在宋元达到世界高峰，与西方近代数学的算法化趋势（尤其是计算机科学的需求）高度契合。

影响：他主编十卷本《中国数学史大系》，并在 1986 年 ICM 上以此为题作邀请报告，使国际数学界重新认识中国古代数学的算法成就。他还提出莱布尼茨的二进制可能受到中国《易经》象数体系启发（存疑：此说学界有争议，莱布尼茨本人在与传教士通信后才完善二进制表述，但「启发」程度的因果链条尚无定论）。

四、代表著作与文献

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

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

七、身后影响与学术谱系

八、延伸阅读与权威来源