變更

| 外文名 = Hassler Whitney

| 图像 =

| 出生日期 = {{birth date and age|1907|03|23}}

| 逝世日期 = {{Death date and age|1989|03|10|1907|03|23}}

== 数学成就 ==

惠特尼一生发表近80篇论文，三种专著，即《几何积分论》(Geometric integration theory，1957)、《复解析簇》(Complexanalytic varieties，1972)和《数学活动》(Math activities，1974)．他是一系列新概念、新理论的开创者，其中最主要的是拟阵、上同调、纤维丛、示性类、分类空间、分层等．

惠特尼一生对四色问题感兴趣，他最早和最后的数学论文都是关于四色问题的．他给出四色问题的等价命题并研究可约性问题．从四色问题出发他研究一般图论，特别是得出两图同胚的条件：如G和 G’是两连通图，均不包含三个形如 ab，ac，ad的弧．若存在任意具有公共顶点的两弧到另一图的具有公共顶点的两弧之间的一一对应，则两图同胚．他定义图的连通度，并给出n重连通的充分必要条件(所谓n重连通是指至少n+1个顶点的图不可能因去掉n-1个或更少的顶点以及连接它们的弧而使所得的图不连通．如果图Gn重连通但不n+1重连通，则称连通度为n)．他还定义图G的对偶G’，证明图G可嵌入平面的充分必要条件是G具有对偶图G’，从而给著名的K．库拉托夫斯基(Ku－ratowski)不可嵌入平面图的定理一个直接的组合证明．

他的博士论文是关于图的着色问题，其中证明M(λ)的公式并进行计算，这里M(λ)是用λ种颜色给一图不同着色方法数，他引进一组数mij，它们不仅可用来计算M(λ)，还可定义图G的拓扑不变量；

惠特尼在组合论方面的最大成就是他引进拟阵(matroid)理论，这是一种抽象的线性相关性理论，它不仅包含图论为其特例，而且还包括网络理论、综合几何以及横截(transversal)理论等．他的出发点很简单，考虑矩阵M的列C1，C2，…，Cn，这些列的子集或者线性独立或者线性相关，从而所有子集可划分为两类，这些类并非任意，它必须满足下面两个条件：

(1)一个独立集的任何子集也是独立的；

(2)如果Np及Np+1分别是p个列及p+1个列的独立集，则Np加上Np+1中的某个列构成一个独立的p+1集．

他把满足这两个条件的系统称为拟阵，并把许多图的性质推广到拟阵上．

(1)可微函数的解析延拓 惠特尼对拓扑学的主要贡献是建立微分拓扑学，为此，必须将拓扑学考虑的连续映射推广到可微情形．惠特尼在他早期工作中(1932—1942)就为此奠定基础．

1925年苏联数学家П．C．乌雷松(Улысон)证明，如A是n维欧氏空间E中的闭集(有界或无界)，f(x)为A中定义的连续函数，则f可延拓成为整个E上的连续函数F．惠特尼在1932年证明，存在F不仅连续，而且在E—A上可微，甚至解析；如果f(x)在A中属于Cm，则在A中F与f相等，且F的到m阶的各阶导数与f的各阶导数对应相等．其后他又考虑A为任意子集合的情形．此时在包含A的开集上可微阶降1．他还研究泰勒展开的余项的可微性问题，这些对研究奇点理论很重要．

(2)奇点理论 奇点理论是惠特尼最重要的创造之一，它来源于微分嵌入及浸入问题，奇点是临界点的推广．1942年他首先

研究n维欧几里得空间En到E2n-1的微分映射f的奇点，发现使f微小变化，可得f*，它的奇点是弧立奇点，并可化为标准型：

yi=xi(i=2，…，n)，

ym+i-1=xixi(i=2，…，n)．

1948年他还发表了“论可微函数的理想”(On ideals of di－fferentiable functions)，这开辟了奇点理论另一个新方向．后来B．马格朗日(Malgrange)等对这方面有很大突破，包括证明“预备定理”．

(3)分层理论 分层理论是惠特尼最后创造的理论，从某种意义上说，也是奇点理论的自然延续．通常研究的欧氏空间及流形均有很好的齐性结构(局部具有相同的结构)，但这点即使对代数簇也不满足，特别是由解析几何延续下来的实代数簇一般存在奇点．从1957年到1965年惠特尼研究实代数簇的拓扑学，并讨论把簇分解为流形，1957年引进惠特尼层化的概念，并且对代数簇及解析簇进行层化分解，这概念后来被托姆发展成分层集理论，在奇点的局部及大范围研究中起重要作用．1965年S．武雅谢维茨(ojasiewica)证明任何半解析集均有惠特尼分层．1965年惠特尼对解析簇定义了切向量、切平面族及切锥的概念，并考虑剖分时切集的协调问题．

虽然庞加莱甚至黎曼已研究微分流形的拓扑学，但是由于工具不足，真正创立微分流形的拓扑学以及微分拓扑学的是惠特尼，他在1936年的论文“微分流形”(Differentiable manifolds)中，奠定了微分流形理论基础．他给出微分流形的内蕴定义，定义其上的Cr结构(1≤r≤∞)，他证明所有Cr流形的Cr结构都包含C∞坐标系，且其C∞结构唯一确定．这个C∞结构称为该流形的可微结构或微分结构或光滑结构，相应的流形称为可徽流形或微分流形或光滑流形，微分流形与拓扑流形有本质的差别，即一个拓扑流形上可以不容许任何微分结构也可以容许多个微分结构，但是任何微分结构部容许实解析结构，而且还容许黎曼度量，这些也是惠特尼证明的．在这篇论文中，他证明了一些最基本的定理，特别是嵌入及浸入定理：任何n维微分流形均可微分嵌入在R2n+1(2n+1维欧氏空间)中，均可微分浸入在R2n中．1944年他又改进为n维微分流形可嵌入于R2n中，可浸入于R2n-1中．对于某些流形，这些结果已臻至善．这个工作开拓了微分流形的一个重要领域，其后，吴文俊等许多拓扑学家做出了贡献．

惠特尼在1935年首次定义真正的“纤维空间”，当时他称为“球空间”，1940年他改称为“球丛”，在1937年及1941年他对此作两个报告，包括许多根本的结果，他还打算对此写一本书，始终没有完成．他的兴趣一直集中于“示性类”(Characteristic class)上．他于1936年和瑞士数学家E．施蒂费尔(Stiefel)在1935年独立地定义这种示性类，后来称为施蒂费尔-惠特尼示性类．他的目的是用示性类来研究微分流形的拓扑学．对此，纤维丛只是一个工具，所以他的定义并非每一细节都讲得很清楚，但是他的定义是很一般的．1940—1950年间，纤维丛成为研究许多拓扑问题(特别是同伦、同调及微分几何问题)的主要工具．1949/1950年度的嘉当讨论班以纤维丛为专题进行系统讨论，1951年N．E．斯廷洛德(Steenrod)的专著《纤维丛的拓扑学》(Topology of fi－ber bundles)的出版，标志着纤维丛理论的成熟，其中惠特尼做出突出贡献．

(1)分类问题 从一开始，惠特尼就主要研究纤维丛的分类问题，1937年他对球丛得出分类空间，即格拉斯曼流形Gn，r，并断言底空间为B、秩为r的球丛同构类为〔B，Gn，r〕，即B到Gn,r映射的同伦类(nr)，他给出证明概要，1943年斯廷洛德完成了证明，后称惠特尼-斯廷洛德定理．

惠特尼还知道以B为底空间的球丛的丛空间只依赖于B的同伦型．这事实于1939年为J．费尔德波(Feldbau)所证明，另一方面，惠特尼早在1935年，对纤维丛ξ及连续映射g：B’→B构造新纤维丛g *(ξ)并称为g的拉回(Pull－back)，在研究纤维丛的分类中至关重要．1959年在和A．道尔德(Dold)合作的论文(文献中)，对4维复形上的定向球丛进行分类．

(2)示性类 施蒂费尔只考虑微分流形的切丛的示性类，而惠特尼考虑的要广得多，他考虑任意球丛(E，B，P)的底空间B也可以是任意局部有限的单纯复合形．他把示性类定义为施蒂费尔流形Sn，m的整系数同调类．他指出，Sn，m的同调群

1937年，他改用上同调定义未性类．1940年他指出，对于连续映射

其中∪表上积，他指出当r≥4，证明“极难”，1941年他只给出E及E′都是线丛的证明．公开发表的第一个证明是吴文俊在1948年给出的．他还用向量丛取代球丛，同年陈省身也发表另一个证明．

惠特尼还给出示性类的形式幂级数以及偶示性类的概念．至此，施蒂费尔-惠特尼示性类的理论基础正式建立．其后，J．米尔诺(Milnor)以惠特尼提出的四个定理为公理开展示性类理论，而且其他的示性类特别是Л．C．庞特里亚金(Понтрягин)示性类及陈省身示性类（简称陈类）也是依据施蒂费尔-惠特尼示性类的模式定义及研究的．

(3)示性类的应用 示性类在拓扑学及几何学巾起着极为重要的作用，惠特尼本人主要应用示性类来研究浸入问题．例如，他证明8维实射影空间P8(R)不能浸入到R14中，但能浸入在R15中，他的理论后来为吴文俊等所发展．

代数拓扑学

〔X，x0；Y，y0〕→Hn(X；πn(Y))

是一一对应．对于不同维的映射，这些条件不一定成立，惠特尼在1936年给出过2维复形到2维或3维射影空间的映射同伦的代数条件，但未发表．1941年，H．E．罗宾斯(Robbins)推广到2维复形到任何空间的映射的同伦分类，后来P．奥兰姆(Olum)又大规模地予以简化及推广．对3维复形，庞特里亚金在1941年考虑它到S2的映射同伦分类，其中首先应用新出现的上积．其实惠特尼早在1936年已得出相应结果．1948年，他研究单连通空间R的第二及第三同伦群的关系，并据此给出3维复形k到R中两个连续映射同伦的充分必要条件以及映射扩张的阻碍类．还应该指出，1938年惠特尼引进阿贝尔群的张量积概念，这对代数拓扑学及同调代数是必不可少的工具．

1946—1957年间，惠特尼建立几何积分论．它是更一般的积分理论，例如n维空间中的r维积分．借此，他给上链、上闭链等一个解析的解释，例如几何上链是处于“一般位置”的奇异链上的函数．这样，他把 E．嘉当(Cartan)及 G．德·拉姆(de Rham)的外微分形式理论中的可微条件换成李普希茨(Lipschitz)条件得出的积分理论等价于代数上同调理论，对于更一般的李普希茨空间也成立，它包括多面体及绝对邻域收缩核为其特例，特别是把斯托克斯(Stokes)定理推广到李普希茨空间上，他的理论总结在《几何积分论》(1957)一书中．