项武义（Wu-Yi Hsiang）
一位「云游四方又回归本寺」的几何学家——他早年与兄长项武忠一起把等变拓扑（变换群作用）做成 20 世纪下半叶的主流方向，晚年却「返璞归真」用古典几何冲击开普勒装球猜想，提出最小作用量原理的几何证明（其证明未被学界普遍接受，引发著名公案）；他又是一位热忱的数学教育家，为海峡两岸的基础数学教材改革倾注了半生心力。
一、生平与时代背景
项武义 1937 年生于中华民国浙江省乐清县（其父项昌权，后赴台）。他成长于两岸分治的动荡年代，1949 年随家赴台。1959 年毕业于国立台湾大学数学系，旋即赴美，1964 年获普林斯顿大学数学博士学位。其兄项武忠（Wu-Chung Hsiang，1935— ）也是著名拓扑学家，长期任普林斯顿大学教授，兄弟二人合称「项氏兄弟」，是 1960—1980 年代国际拓扑与几何界的重要力量。
取得博士学位后，他先后任职于布朗大学、普林斯顿高等研究所、芝加哥大学，1970 年升任加州大学伯克利分校数学系教授，此后在伯克利度过主要学术生涯，为该校几何学的建设做出重要贡献。1998—2003 年访问香港科技大学，参与该校数学学科建设。
他一生关心中文世界的数学教育：1970 年回台大讲学，公开反对把美国的 SMSG「新数学」生硬移植到台湾，参与中学数学实验教材的编写；1973 年首次回大陆，有感于中国现代化，写下《微积分大意》送给大陆年轻人；1998—2003 年在港科大期间完成基础数学教材，由大陆人民教育出版社与台湾五南出版社分别出版。他性格鲜明、敢言，在两岸数学教育界都留下深刻印记。
（存疑）本批次信息记项武义卒于 2024 年，但公开权威来源（伯克利数学系、香港科技大学、数学传播等）中尚未检索到讣告与确切逝世日期。本档案依批次信息记「1937—2024」，具体日期标为存疑，待后续核实。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 1937 | 生于浙江乐清（后随家赴台） |
| 1959 | 毕业于国立台湾大学数学系 |
| 1964 | 获美国普林斯顿大学数学博士学位 |
| 1960s | 任职布朗大学、普林斯顿高等研究所、芝加哥大学；与兄项武忠合作研究变换群 |
| 1970 | 升任加州大学伯克利分校数学系教授；回台大讲学一学期，公开反对 SMSG 新数学 |
| 1970s | 参与台湾中学数学实验教材编写，推动向量几何进中学 |
| 1973 | 首次回大陆访问；后撰写《微积分大意》赠予大陆青年 |
| 1975 | 出版 Cohomology Theory of Topological Transformation Groups（Springer） |
| 1978 | 再度回大陆，感受「四个现代化」氛围 |
| 1990 | 宣布用古典几何方法证明开普勒装球猜想（最小作用量原理） |
| 1998—2003 | 访问香港科技大学，完成基础数学教材 |
| 2000 | 出版 Lectures on Lie Groups（World Scientific） |
| 2001 | 出版 Least Action Principle of Crystal Formation of Dense Packing Type and the Proof of Kepler's Conjecture（World Scientific） |
| 2003 | 自香港科技大学荣休（6 月 30 日） |
| 2024 | 逝世（具体日期存疑，见第一节） |
三、核心成果（逐条技术解析）
1. 等变拓扑与变换群的上同调理论（1960s—1975）
问题背景：紧李群（或有限群）在流形上的作用如何用代数拓扑刻画？1950—1960 年代，Borel 等人用谱序列建立了等变上同调的框架，但许多具体分类问题（如球面、射影空间上的群作用）仍悬而未决。
结果：项武义与兄项武忠是这一方向的领军人物。他 1975 年的专著 《拓扑变换群的上同调理论》（Cohomology Theory of Topological Transformation Groups，Springer Ergebnisse 系列）系统总结了等变上同调方法，并应用于球面与流形上变换群的分类。兄弟二人的工作推动了「等变拓扑」（equivariant topology）成为 20 世纪下半叶拓扑学的主流分支之一，他们也因此被视为该领域的奠基人。
意义：把群作用的几何与上同调的代数精密结合，影响了后来的等变配边、等变 K 理论与几何表示论。
2. 李群几何与大域微分几何
背景：李群作为「带有群结构的流形」，其几何（曲率、测地线、极小曲面）是整体微分几何的核心。
结果：项武义在李群与齐性空间的几何上有系统研究，2000 年出版 《李群讲义》（Lectures on Lie Groups，World Scientific），以几何直观讲解李群理论。他还研究极小曲面与等周问题，其关于齐性空间中极小子流形的工作与 Simons、陈省身等人的伯克利几何学派传统一脉相承（数学文献中有所谓「Hsiang 问题」，涉及极小锥/洛伦兹空间中零平均曲率曲面，是其几何影响的遗存）。
3. 古典几何的复兴与开普勒装球猜想（1990—2001）
问题背景：开普勒 1611 年猜想：三维空间中相同球的最密堆积是面心立方（FCC）与六方密堆积，密度 $\pi/\sqrt{18}\approx 0.7405$。这是持续近四百年的著名难题。1953 年 Fejes Tóth 把它归约为有限个局部构型的检查，预示可用计算机辅助证明。
关键思想：项武义主张「返璞归真」，用古典几何而非计算机蛮力。他提出最小作用量原理（Least Action Principle）：处理大域极值问题应先理解局部极值现象，以局部作用量度量极值，「以近及远」再推到整个空间。1990 年他宣布证明，1993 年在 AMS–MAA 联合会议上报告，一度受到 Encyclopædia Britannica 与 Science 的关注与称赞。
精确结论 / 争议：他 2001 年在 World Scientific 出版专著，给出完整书面证明。但学界并未普遍接受：Gábor Fejes Tóth（László Fejes Tóth 之子）等专家指出其关键步骤存在漏洞，缺乏严格性；托马斯·黑尔斯（Thomas Hales）也指出其论证中的缺陷。学界公认的证明是 Hales 1998 年给出、2005 年发表的计算机辅助证明（2014 年经 Flyspeck 项目形式化验证）。
与前人关系 / 局限性：项武义的几何洞见（局部密度估计、Voronoi 胞腔、十二面体猜想）确实推进了对装球几何的理解，但其纯几何路线未能闭合所有缺口。这一公案成为 20 世纪末数学界「古典几何 vs. 计算机证明」方法论之争的典型案例。
4. 数学教育与基础教材改革（1970s—2000s）
背景：1965 年台湾引进美国 SMSG「新数学」教材，脱离学生认知、弊病丛生。
结果：1970 年项武义回台公开批评 SMSG（讥讽其把行列式定义成 $n!$ 项展开却让读者「试自展验证之」），参与组建中学数学实验教材编写组，主张以平行四边形定理、勾股定理、相似三角形定理为基础引入向量运算，实现空间结构的全面代数化（向量几何）。他在日内瓦访学期间花十个月独立撰写高一教材初稿（不参考任何现成微积分书）。1973 年后为大陆青年撰写《微积分大意》；1998—2003 年在港科大期间完成整套基础数学教材，两岸分别出版。
意义：虽然其教材改革因政治与社会环境波折不断（如「欢迎大陆乒乓球队」的照片一度使他被台湾当局视为「通匪」），但他倡导的向量几何思想最终在台湾中学数学中扎根，影响了一代师生。
四、代表著作与文献
- 《拓扑变换群的上同调理论》（Cohomology Theory of Topological Transformation Groups，1975，Springer Ergebnisse der Mathematik und ihrer Grenzgebiete）：等变拓扑的经典专著。
- 《李群讲义》（Lectures on Lie Groups，2000，World Scientific）：以几何观点讲解李群的教材。
- 《密堆积型晶体形成的最小作用量原理与开普勒猜想的证明》（Least Action Principle of Crystal Formation of Dense Packing Type and the Proof of Kepler's Conjecture，2001，World Scientific）：其开普勒猜想几何证明的完整书面版本。
- 《微积分大意》及港科大时期基础数学教材（大陆人民教育出版社 / 台湾五南出版社）：面向中文青年的基础数学教材。
五、师承、学派与同时代交往
- 师承：普林斯顿博士（1964），身处普林斯顿拓扑与几何黄金年代（同时代有 Milnor、Smale、Bott 等）；其兄项武忠既是亲人也是最重要的学术合作者，兄弟二人共同引领等变拓扑。
- 伯克利几何学派：与陈省身（Chern）、I. M. Singer 等伯克利几何大家同代相交，其李群与极小曲面工作属于伯克利几何传统。
- 教育界交往：在台与刘太平、张海潮、黄武雄、施拱星等数学家共同推动数学教育；在大陆与北大、中科院数学界长期交流。
- 开普勒猜想公案中的对手/对话者：与 Gábor Fejes Tóth、Thomas Hales 在装球问题上有学术交锋（Hales 的证明是被接受的版本）。
六、争议、公案与历史评价
- 开普勒猜想证明的接受问题：这是项武义最著名也最有争议的工作。他坚信用古典几何可以给出「优雅」的证明，但学界主流判定其证明存在漏洞、未达严格标准。他本人长期坚持己见，2001 年再版专著。公允评价：其几何直观与局部估计有启发价值，但「证明开普勒猜想」的优先权不属于他——公认的证明者是 Hales。这是「个人信念 vs. 同行评议」的典型案例。
- 教材改革的政治风波：1970 年代他因在台公开反对 SMSG、又因欢迎大陆乒乓球队的照片，被台湾情报机构视为「通匪」，导致教材封面被迫撤换、多年签证受阻。这段经历展现了他刚直的性格与时代的荒诞。
- 历史评价：在学术上，项氏兄弟是等变拓扑的奠基人之一，项武义在变换群与李群几何上的工作是坚实的；在数学教育上，他对两岸基础数学的影响深远而持久。他「返璞归真」用古典几何挑战大猜想的勇气，即便结果未被接受，也体现了一种纯粹的数学精神。
七、身后影响与学术谱系
- 对等变拓扑：与项武忠共同奠定的变换群上同调方法，是当代等变拓扑、等变配边与几何表示论的源头之一。
- 对装球与离散几何：其最小作用量原理与局部密度思想虽未完成开普勒猜想证明，但推动了对装球局部结构（Voronoi 胞腔、十二面体猜想）的研究；Hales 等后续工作也在同一几何框架内。
- 对中文数学教育：倡导的向量几何进中学、《微积分大意》等教材影响了两岸数代学生与教师。
- 命名遗存：数学文献中的「Hsiang 问题」（极小曲面相关）、等变拓扑中的「Hsiang 型」构造，是其影响的痕迹；「项氏兄弟」在华人数学家中传为美谈。
八、延伸阅读与权威来源
- 中文维基百科：项武义：基本履历、著作与家族（父项昌权、兄项武忠）。
- 《数学传播》32 卷 4 期：有朋自远方来——专访项武义教授（PDF）：中研院数学所刘太平、张海潮的长篇访谈，含其教育改革、两岸经历与开普勒猜想工作的自述，本档案主要生平出处。
- 香港科技大学数学系：项武义（荣休）：HKUST 官方教职信息（1998—2003 访问，2003 年 6 月 30 日荣休）。
- 加州大学伯克利分校数学系：Emeritus Faculty — Wu-Yi Hsiang：伯克利官方荣休教授页面。
- World Scientific: Wu-Yi Hsiang 著作页：其 Lectures on Lie Groups、Least Action Principle… 等书的出版信息。
- George Szpiro, Kepler's Conjecture (Wiley, 2003)：书中专章讨论 Hsiang 的证明尝试与学界反应（见中文维基参考文献）。
- Wikipedia: Kepler's conjecture：开普勒猜想的历史，含 Hsiang 1993 证明与 Hales 证明的对照。
- 美国国会图书馆权威记录：Hsiang, Wu Yi, 1937-：生卒年与异名（Xiang, Wuyi）的规范记录。