Spanier

生平

埃德温・亨利・斯潘尼尔（Edwin Henry Spanier，1921-1996）出生于美国首都华盛顿特区（Washington, D.C.）。他的童年和青少年时代在 Minnesota 州度过。

他的弟弟杰罗姆・斯潘尼尔（Jerome Spanier，后来成为了一位应用数学家）于 1930 年出生在 Minnesota 州的圣保罗（Saint Paul）。

Jerome 从小热衷于棒球并梦想成为一名投手，而 Spanier 则喜爱国际象棋。

为了互帮互助，兄弟俩达成了一项有趣的交易，Jerome 陪 Spanier 下两盘国际象棋，作为交换，Spanier 则陪弟弟 Jerome 练习一段时间的棒球传接球。

Spanier 在 Minnesota 大学完成了他的本科教育，于 1941 年获得学士学位。然而，第二次世界大战的爆发打断了他的学术生涯。

他应征入伍，在美国陆军通信兵团（U.S. Army Signal Corps）服役了三年。这段军旅生涯不仅磨练了他的意志，也让他接触到了早期通信技术中的实际问题。

退役后，Spanier 进入 Michigan 大学攻读博士学位，师从著名的拓扑学家斯廷罗德（Norman Earl Steenrod，1910-1971）。Steenrod 当时正与艾伦伯格（Samuel Eilenberg，1913-1998）致力于建立同调论的公理化体系（即著名的 Eilenberg-Steenrod axioms），这一宏大的代数拓扑纲领极大地启发了 Spanier。

1947 年，Spanier 凭借博士论文《一般空间的上同调理论》（Cohomology theory for general spaces）获得博士学位。

在这篇论文中，他构建了一种全新的上同调理论，旨在克服奇异上同调在处理局部病态空间时的缺陷，这项工作后来演变为了代数拓扑中的 Alexander-Spanier 上同调理论（Alexander-Spanier cohomology theory）。

由于博士论文的卓越贡献，Spanier 受邀前往普林斯顿高等研究院（IAS）担任为期一年的研究员（1947-1948）。1948 年，他被聘为 Chicago 大学数学系助理教授。

当时的 Chicago 大学数学系在系主任斯通（Marshall Harvey Stone，1903-1989）的带领下，正处于其历史上的黄金时代。

Stone 进行了一系列极具魄力的招聘，汇聚了韦伊（André Weil，1906-1998）、麦克莱恩（Saunders Mac Lane，1909-2005）、陈省身（Shiing-Shen Chern，1911-2004）、齐格蒙德（Antoni Zygmund，1900-1992）、哈尔莫斯（Paul Richard Halmos，1916-2006）等一批世界级大师。在这个充满活力的学术生态中，Spanier 迅速成长为拓扑学界的核心人物。

他于 1949 年在《Annals of Mathematics》上发表了他最重要的早期论文之一《Borsuk 上同伦群》（Borsuk's cohomotopy groups），给出了多面体到球面连续映射的代数分类。

1949 年，陈省身先生来到 Chicago 担任几何学教授，Spanier 随即与之展开了极具成效的合作。

1950 年，两人在《美国国家科学院院刊》（PNAS）上发表了奠基性论文《球面丛的同调结构》（The homology structure of sphere bundles），系统分析了纤维空间的同调群，为后来的示性类理论（characteristic classes theory）和纤维丛（fibre bundles）研究奠定了基础。同年，他受邀在 Harvard 大学举办的国际数学家大会（ICM）上作 45 分钟报告。

1952 至 1953 年，Spanier 获得了 Guggenheim Fellowship，前往巴黎访学，进一步加深了与欧洲代数拓扑学派的交流。1955 年，他与英国拓扑学家怀特海特（John Henry Constantine Whitehead，1904-1960）合作发表了《同伦理论里的对偶》（Duality in homotopy theory），正式提出了 Spanier-Whitehead 对偶（Spanier-Whitehead duality），对同伦论的发展起到了重要的作用。1958 至 1959 年，Spanier 再次前往 IAS 访问。

之后在 1959 年，他接受了 Berkeley 的正教授职位。在 Berkeley，他曾多次担任数学系副主任和代理主任，并凭借卓越的学术眼光和广泛的人脉，吸引了斯梅尔（Stephen Smale，1930-）、赫希（Morris William Hirsch，1933-）、布雷登（Glen Eugene Bredon，1932-2000）等大批顶尖拓扑学家加盟或访问，建立了一个极其强大的几何与拓扑研究团队。

1966 年，Spanier 出版了他的巨著《代数拓扑学》（Algebraic topology）。这本书被公认为代数拓扑学公理化、范畴化的杰作。它摒弃了早期教材中那种基于直觉的、手绘式的拓扑讲解，转而采用了由层论（sheaf theory）、逆极限（inverse limit）和谱序列（spectral sequence）构成的宏大代数框架。这本书在处理证明时的严谨与优美，使得几十年来，所有关于代数拓扑的进阶研究几乎都绕不开它。

在 Berkeley 求学时，我第一个学期选修了 Spanier 的代数拓扑课、劳森（Herbert Blaine Lawson, Jr, 1942- ）的微分几何课和莫雷（Charles Bradfield Morrey Jr., 1907-1984）的微分方程课，此外还旁听了代数、数论、群论、动力系统、自守形式和泛函分析等课。修读的三门课对我的影响都很大。

来 Berkeley 之前，我自以为了解拓扑学，但代数拓扑课提供了全新的角度，把拓扑问题化为代数问题处理。

开始上 Spanier 的代数拓扑学课时，我有些紧张，因为同学们比以前上课时更加投入。我没有打算说很多话，但其他同学则踊跃发言，似乎头头是道。几个星期后，我把课本（就是 Spanier 本人编写的）看了一大半，发觉大部分同学都是在胡说八道。

Spanier 一生在 Chicago 和 Berkeley 共指导了 17 位博士生，为现代拓扑学界培养了一批中流砥柱。在这些学生中，最著名的是 Hirsch 和利马（Elon Lages Lima，1929-2017）（两人均于 1958 年获得博士学位，Hirsch 的一个博士生是瑟斯顿（William Paul Thurston，1946-2012））。

Hirsch 因在微分拓扑、叶状结构和动力系统方面的开创性工作而闻名，后当选为美国数学会会士。Lima 则在返回巴西后，成为了巴西数学界的领军人物和教育家。

Hirsch 曾回忆道：“Spanier 的出版物像他的讲座一样，以一种非同寻常的清晰和准确为特征，甚至具有一种更为罕见的自然和简洁的品质。无论主题多么复杂，读者在最后都会觉得这些定理是合理的，假设是自然的，而方法是尽可能简单的。”

在 Spanier 职业生涯的中后期，他的研究视野进一步拓宽到了应用领域。1961 年起，他开始与金斯伯格（Seymour Ginsburg，1927-2004）合作研究形式语言理论（formal language theory），这在当时是一个新兴的交叉学科，对现代计算机科学的发展至关重要。他们发表了诸如《有界的类 ALGOL 语言》（Bounded ALGOL-like languages）等一系列具有先驱意义的论文。

此外，他与杜宾斯（Lester Dubins，1920-2010）合作研究的 “分蛋糕定理（Dubins-Spanier theorems）”，将测度论中的李亚普诺夫（Alexey Andreyevich Lyapunov，1911-1973）- 凸性定理引入到公平分配问题中，这一工作至今仍是经济学和博弈论模型中的基础性成果。

Spanier 一生都保持着对数学的热爱，即便在 1991 年从 Berkeley 退休成为名誉教授后，他依然活跃在学术研讨的前沿。1996 年 10 月 11 日，Spanier 因癌症在 Arizona 州的 Scottsdale 与世长辞，享年 75 岁。

贡献

一、Alexander-Spanier 上同调

在 20 世纪 40 年代初期，拓扑空间的上同调理论主要由奇异上同调和 Čech 上同调构成。然而，对于局部高度病态的空间，奇异单纯形往往无法捕捉到足够准确的拓扑信息，而 Čech 同调的正向极限构造又显得十分繁琐。

基于 J. W. Alexander 的早期思想和 A. N. Kolmogorov 的工作，Spanier 在其博士论文中系统地发展了后来被称为 Alexander-Spanier 上同调的理论。

设 为一个拓扑空间， 为一个 - 模（通常取环 为 或 ）。对于任意非负整数 ，定义 为从笛卡尔积 空间到 的所有函数的集合：

在这个函数空间上，定义上边缘算子（coboundary operator）

为

计算可知 ，从而 构成了一个上链复形（cochain complex）。

然而，如果直接对该复形取上同调，其结果是平凡的（即零次群为 ，其余高次群全为 ）。

Spanier 的深刻洞见在于，空间真正的拓扑属性，实际上隐藏在那些在对角线附近局部非零的函数中。令 为多重对角线（即所有坐标均相等的点的集合）。

Spanier 定义了一个子复形 如下：如果存在 的一个开邻域 ，使得函数 在 上恒为零，则称。Alexander-Spanier 上同调群 即被定义为商复形 的上同调群。

Alexander-Spanier 上同调不仅满足 Eilenberg-Steenrod 的所有上同调公理，还满足强切除定理（strong excision theorem）。

在现代几何与应用拓扑学中，Alexander-Spanier 上同调展现出了重要的价值。例如，在动力系统理论中，为了刻画高度复杂且可能是分形的孤立不变集，Conley-index 理论正是采用 Alexander-Spanier 上同调来提取能够抵抗连续扰动的拓扑不变量。

二、上同伦群

在 1949 年发表于《Annals of Mathematics》的论文《Borsuk 上同伦群》（Borsuk’s cohomotopy groups）中，他系统地确立了上同伦群的代数性质。

对于带基点的拓扑空间 ，其第 阶同伦群被定义为所有从球面 到 的保基点连续映射的同伦类集合，记为

对偶地，第 阶上同伦群（cohomotopy group）定义为从空间 映射到球面 的连续映射的同伦类集合

由于当 时球面 一般并不具备拓扑群的结构（除、 外），要自然地赋予集合 一个群结构在早年是很困难的。

Spanier 在这篇论文中，详细展开了博尔苏克（Karol Borsuk，1905-1982）的早期思想，通过引入对空间 的维度限制（），严格证明了可以通过将映射正规化到球面的单点并集 中，来为其赋予一个自然的 Abel 群结构。

在此基础上，Spanier 给出了一套用于计算多面体到球面映射的代数分类工具，并证明了上同伦群同样满足类似于上同调的正合序列（exact sequence）性质。

这不仅完善了代数拓扑的理论基石，也直接启发了后来同伦论学者（如亚当斯（John Frank Adams，1930-1989））对稳定同伦群（stable homotopy groups）的系统性计算。

三、球面丛的同调结构

Spanier 与陈省身先生于 1950 年发表在《美国国家科学院院刊》（PNAS）上的论文《球面丛的同调结构》（The homology structure of sphere bundles）解决了纤维丛理论中的核心计算问题。

对于一个纤维为球面的纤维丛 ，拓扑学界早前已有 Gysin 序列来联系各空间的同调群，但最初它仅限于底空间 为可定向流形的情况。

Spanier 和陈省身先生摒弃对流形结构的依赖，通过考察底空间单纯复形骨架的逆象以及应用 Eilenberg‑Steenrod 公理化同调理论，在一个统一的代数框架下重新推导并推广了这一长正合序列，证明其对底空间为一般的单纯复形依然成立。这些序列在计算各空间的 Betti 数及同调结构时极为有效。

Spanier 与陈省身先生利用障碍理论（obstruction theory），剖析球面丛截面的存在性问题。他们展示了每个球面丛都会自然诱导出一个特征类（即 Euler 类），它是构造底空间 维骨架上截面的确切拓扑阻碍。

更重要的是，他们证明了上同调序列中的维度提升同态，恰好等价于与该特征类的杯积（cup product）运算。他们的代数推导实际上已经触及了后来 René Thom 形式化的核心本质。

四、Spanier‑Whitehead 对偶

Spanier 与 J. H. C. Whitehead 在 1955 年左右的系列论文中系统地建立了 Spanier‑Whitehead 对偶理论。这一理论的初衷是为了在更抽象和本质的层面上理解经典的 Alexander 对偶：对于嵌入在球面 中的紧子空间 ，有

然而，这种对偶仅在同调的层次上成立， 和 通常具有不同的同伦型。

Spanier 和 Whitehead 发现，如果为空间添加基点并进行足够多次悬挂（suspension），这种对偶就成为了一种范畴意义下的对偶。

这直接促成了现代代数拓扑中谱（spectra）以及稳定同伦范畴（stable homotopy category）的诞生。

稳定同伦范畴 是一个对称半幺范畴（symmetric monoidal category），对象是谱（spectra），态射是谱之间的映射的同伦等价类。一个谱 可理解为一列带基点的空间 ，伴随有结构映射 。在 中，存在一种自然的张量积，称为 smash 积（smash product），记为 。其单位对象是球面谱（sphere spectrum） 。

我们可以将 与 Abel 群链复形范畴 进行以下对应：

定理（Spanier-Whitehead 对偶，1953-1955）

设 是 中的紧邻域收缩（compact neighborhood retract）。那么，在 中， 与 是对偶对象。这里 是 与一个不相交的基点的并， 和 分别是约化悬挂与非约化悬挂。取关于 Eilenberg-MacLane 谱的同调与上同调，可以在形式上还原出 Alexander 对偶。

五、Dubins-Spanier 定理

1961 年，Spanier 和 Lester Dubins 在《美国数学月刊》（The American Mathematical Monthly）上发表了一篇题为《如何公平地切蛋糕》（How to cut a cake fairly）的论文。
他们提出并证明了关于 “切蛋糕问题（cake-cutting problem）” 的若干深刻定理，被称为 Dubins-Spanier 定理。
尽管最初的动机来源于公平分配，它们实际上是测度论中的一般定理。

被分配的资源（即 “蛋糕”）可以抽象为一个可测空间 ，其中 代表整个资源， 是 上的一个 - 代数（代表所有允许被分割出的 “块” 的集合）。

假设有 个参与者，他们的价值偏好由定义在该空间上的非原子（non-atomic）且可数可加的概率测度 来表示。

非原子（non-atomic）的直观含义是蛋糕可以被无限细分，不存在任何不可分割且具有正价值的 “原子” 颗粒。

Dubins 和 Spanier 观察到，所有可能分配方案的评估矩阵，本质上构成了一个泛函空间中的像集。

他们利用了 Lyapunov - 凸性定理（该定理断言：任何非原子有限维向量测度的值域必定是一个紧致的凸集），得出了以下重要结论：

定理（共识划分，consensus partition）

设 为可测空间， 为 上的非原子概率测度。给定任意一组非负实数权重 且满足 ，必定存在 的一个可测划分 ，使得对于所有的参与者 和分配份额 ，都有

定理（超比例分配，super-proportional division）

设权重向量 的总和为 ，且每个权重严格为正（即 是 维单纯形的内部点）。如果存在至少两个参与者的测度不完全相同（即存在 使得 ），那么必定存在一个分配划分 ，使得对于所有的参与者 都有