∑ 数学名人档案库
← 返回 斯蒂芬·斯梅尔 简介档案 深度档案
拓扑动力系统计算复杂性

斯蒂芬·斯梅尔（Stephen Smale）

横跨拓扑学、动力系统、数学经济学与计算复杂性的通才大师；以证明五维及以上广义庞加莱猜想获 1966 年菲尔兹奖，以斯梅尔马蹄奠定混沌理论，晚年提出"21 世纪 18 个数学问题"，2007 年获沃尔夫奖。

一、生平与时代背景

斯蒂芬·斯梅尔（Stephen Smale）1930 年 7 月 15 日生于美国密歇根州弗林特（Flint）——以通用汽车公司总部闻名的工业城。5 岁起随家人住在农场，父亲在城里为通用汽车工作。他在一间只有一个教室的乡村小学读了八年，老师须同时教导不同年龄的孩子。高中时他最喜爱化学，进入密歇根大学时兴趣转向物理，但因一门物理课不及格而改学数学。1952 年获学士学位，次年获硕士学位。

他继续在密歇根大学安娜堡分校攻读博士，导师是拉乌尔·博特（Raoul Bott）。1957 年以论文《黎曼流形上的正则曲线》（Regular Curves on Riemannian Manifolds）获博士学位，该文把惠特尼 1937 年关于平面曲线的结果推广到 $n$ 维流形。1956–58 年任芝加哥大学讲师。

1958 年，斯梅尔接触到庞特里亚金关于结构稳定向量场的工作，开始用拓扑方法研究动力系统。1958–60 年以 NSF 博士后身份在普林斯顿高等研究院工作，最后六个月在里约热内卢的纯粹与应用数学研究所（IMPA）度过。正是在里约，他收到莱文森（Norman Levinson）的信，引导他研究混沌现象。

1960 年任加州大学伯克利分校副教授，次年转哥伦比亚大学教授，1964 年回到伯克利，此后在此度过学术生涯的主要阶段。1995 年从伯克利退休，任香港城市大学教授；2002 年起任芝加哥丰田理工学院教授；2009 年再度出任香港城市大学杰出大学教授。

斯梅尔还是一位活跃的政治活动家，1960 年代投身伯克利言论自由运动与反越战抗议，其言行常与当局及资助机构发生摩擦，但这并未妨碍他持续产出一流数学。

二、学术生涯年表

年份 事件
1930 7 月 15 日生于密歇根州弗林特。
1952 获密歇根大学数学学士。
1953 获密歇根大学数学硕士。
1956 任芝加哥大学讲师（1956–58）。
1957 获密歇根大学博士（导师 Raoul Bott）。
1958 发表二维球面浸入分类，证明球面可外翻（Smale's paradox）。
1958–60 普林斯顿高等研究院 NSF 博士后，后半年在里约 IMPA。
1960 任伯克利副教授；研究混沌现象，提出斯梅尔马蹄雏形。
1961 证明 $n\ge 5$ 的广义庞加莱猜想（h-配边定理）。
1962 转任哥伦比亚大学教授。
1964 返回伯克利任教授。
1965 发表《Diffeomorphisms with Many Periodic Points》，确立斯梅尔马蹄。
1966 莫斯科国际数学家大会获菲尔兹奖；同年获 AMS Veblen 几何奖。
1970 年代 转向应用：动力系统建模物理过程；研究一般经济均衡的数学基础。
1972 任 AMS 讲座讲师（Colloquium Lecturer）。
1980 年代 研究算法效率与牛顿法的平均复杂度；转向理论计算机科学。
1988 获 MAA Chauvenet 奖（论文《论分析中算法的效率》）。
1989 获 SIAM 冯·诺依曼讲座奖。
1995 从伯克利退休；任香港城市大学教授。
1996 获美国国家科学奖章。
1998 提出"21 世纪数学问题"清单（18 个问题，2000 年正式发表）。
2002 任芝加哥丰田理工学院教授。
2005 获 SIAM Jürgen Moser 奖。
2007 获沃尔夫数学奖。

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

1. 五维及以上广义庞加莱猜想与 h-配边定理

问题背景：庞加莱 1904 年猜想：单连通的闭三维流形必同胚于三维球面。高维推广（广义庞加莱猜想）断言：与 $n$ 维球面同伦等价的闭 $n$ 维流形必同胚于 $S^n$。三维情形极其困难，而斯梅尔出人意料地先攻克了高维。

关键思想：斯梅尔发展了配边（cobordism）与手柄分解（handlebody decomposition）技术，证明了更一般的 h-配边定理（1961）。

h-配边定理（$n\ge 5$）：若 $W$ 是单连通流形 $M^n$ 与 $N^n$ 之间的一个 h-配边（即 $W$ 两端的嵌入都是同伦等价），则 $W$ 微分同胚于 $M\times[0,1]$，特别地 $M$ 与 $N$ 微分同胚。

推论：当 $n\ge 5$ 时，与 $S^n$ 同伦等价的闭流形同胚于 $S^n$——即广义庞加莱猜想对 $n\ge 5$ 成立（拓扑范畴；光滑范畴有 exotic sphere 的细节，由 Kervaire-Milnor 处理）。

与前人关系：此前庞特里亚金、托姆（René Thom）发展了配边理论；斯梅尔把它们用到极致。四维情形后来由弗里德曼（Michael Freedman，1982）证明，三维原猜想由佩雷尔曼（Grigori Perelman，2003）用 Ricci 流解决。

意义：h-配边定理是微分拓扑的支柱之一，直接启发了手术理论（surgery theory）与高维流形的分类。

2. 球面外翻（Smale's Paradox，1958）

结果：斯梅尔在分类二维球面到三维欧氏空间的浸入时证明：标准球面的浸入与"内外翻转"的球面浸入属于同一个正则同伦类——也就是说，在允许自交、但不允许折痕或撕破的前提下，球面可以光滑地从内向外翻转。

意义：这一结论与直觉相悖（故名"悖论"），是微分拓扑中最令人惊叹的结果之一。最早的显式外翻动画由 Nelson Max 在 1977 年基于 Bill Thurston 的思想制作。

3. 斯梅尔马蹄（Smale Horseshoe）与混沌动力系统

问题背景：1960 年在里约，莱文森写信给斯梅尔，介绍 Cartwright 与 Littlewood 关于受迫 van der Pol 方程存在大量周期解的工作。斯梅尔起初猜测"大多数"系统是结构稳定且非混沌的，这封信促使他重新思考。

关键思想：斯梅尔构造了一个简单的二维映射——马蹄映射：把正方形沿一个方向拉伸、沿另一个方向压缩，再弯曲成马蹄形叠回原正方形。反复迭代后，不变集是一个康托集，其上的动力学与双边无穷符号序列的移位（Bernoulli shift）拓扑共轭。

精确性质：马蹄不变集上具有（i）可数无穷多个周期点，（ii）不可数多个非周期轨道，（iii）对初值的敏感依赖——这是确定性混沌的数学定义的核心。斯梅尔证明，任何具有横截同宿点（transverse homoclinic point）的系统都包含马蹄，从而必然混沌。

意义：这是现代混沌理论的奠基性结果，把庞加莱百年前关于同宿轨道复杂性的直觉变成了严格定理。马蹄成为教科书中混沌的标准模型。

4. 结构稳定性与动力系统的拓扑观点

斯梅尔与列夫谢茨、庞特里亚金、佩肖托（M. Peixoto）等人一道，把动力系统的研究从分析方程转向轨道的拓扑结构。他提出并部分证明了结构稳定系统的刻画猜想（"公理 A"与"强横截条件"，由其学生罗宾、罗宾逊等完善），并引入谱分解定理：公理 A 系统的非游荡集可分解为有限个拓扑传递的基本集。这一框架至今仍是动力系统的标准语言。

5. 数学经济学：一般均衡的拓扑与动力学

1970 年代，斯梅尔把拓扑与动力系统注入一般经济均衡理论。他用萨德定理与横截性证明均衡集的一般性质（均衡有限且正则），并研究价格调整的动力学。与杰拉德·德布鲁（Gérard Debreu）的工作相呼应，斯梅尔证明了均衡存在性的构造性版本，并开始思考"如何计算均衡"——这把他引向算法理论。

6. 计算复杂性与算法的平均分析

斯梅尔把动力系统的全局视角带入数值分析：不问"算法在某点附近是否收敛"，而问"它在多大范围内可靠、平均需要多少次迭代"。他对牛顿法求多项式根的平均复杂度做了开创性分析（1980 年代），证明在适当概率分布下牛顿法几乎总是快速收敛。

与 Lenore Blum、Mike Shub 合作，他提出 BSS 模型（Blum–Shub–Smale）：一种在实数域上的计算模型，把图灵机的离散计算与数值分析的连续计算统一起来，并在此框架下定义了实域上的 P/NP 问题。

7. "21 世纪数学问题"（Smale's Problems, 1998/2000）

1998 年，应国际数学家大会之邀，斯梅尔仿照希尔伯特 1900 年的演讲，提出面向下个世纪的 18 个数学问题，2000 年正式发表。其中包括：黎曼猜想（第 1 问）、庞加莱猜想（第 2 问，后由佩雷尔曼解决）、P 是否等于 NP（第 3 问）、多项式整数零点（第 4 问）、纳什均衡的计算复杂性（第 9 问）、牛顿法平均效率（第 14 问）等。该清单横跨纯数与应用，体现了斯梅尔"问题驱动"的数学观。

四、代表著作与文献

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

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

七、身后影响与学术谱系

八、延伸阅读与权威来源