初中数学 数学 惠特尼

惠特尼

惠特尼，H．(Whitney，Hassler)1907年3月23日生于美国纽约；1989年5月10日卒于普林斯顿．数学、数学教育．

惠特尼的祖父是语言学家，外祖父是著名天文学家S．纽康门(Newxiexingcun.comb，1897—1898年曾任美国数学会主席)，父亲是法官．他少时喜欢制作机械玩具，并没有数学上的偏爱．据他自己讲，唯一与数学家生涯有关的是在9岁时思考能被9整除的数的公式，认为与10有关，而且据此推出被11整除的数的公式．小学、中学期间只学一点点数学，1921—1923年他到瑞士上学，他学一年法文、一年德文之外就学爬山．1924年上耶鲁大学学习物理，其间也没听过数学，所用的微积分是他自修的，学完也就忘了．1928年取得物理学的学士学位后，又继续专攻音乐，1929年取得音乐学士学位．他一生热爱音乐，有高度音乐才华，会弹奏钢琴，演奏小提琴、中提琴、双簧管等乐器，曾担任普林斯顿交响乐团首席小提琴手．还爱好爬山，《全集》中有他14岁时站在险峻的瑞士阿尔卑斯山峰顶端的照片．大学毕业后，由于对四色问题感兴趣，去哈佛大学考G．D．伯克霍夫(Birkhoff)的博士研究生．但第一次考试没有通过，这使伯克霍夫极为恼火．不过伯克霍夫还是收留了这位后来决不逊于自己的学生，而且在自己不专攻的领域指导他．不久，惠特尼的论文就一篇接一篇地出来了，在他1932年拿到博士学位时，他写了近10篇论文，完全是图论的．博士论文的题目是“图的着色”(The coloring of graphs)，其中定义及计算“色数”．由于他工作出色，1931—1933年任美国国家研究委员会研究员，1933年在哈佛大学数学系任讲师，1946年升为教授．这时，他的方向也从图论改为拓扑，1935年9月参加在苏联莫斯科举行的国际拓扑学大会．而这次大会成为拓扑学史的里程碑，用他最后一篇论文的题目来说就是“莫斯科1935：拓扑学移向美国” (Moscow 1935：Topology moving toward America)．文中写道，会上H．霍普夫(Hopf)成为他最喜欢的拓扑学家，当时所有大人物都去了，拓扑学的面貌正在改变：四个人不约而同地引进上同调，同伦论也正式出现，在向量场问题上的应用导致纤维丛概念的产生，而这种大改变与惠特尼的工作密不可分，也决定了惠特尼后来10年的工作方向．

第二次世界大战期间，他参与战时研究工作，1943—1945年在科学研究发展局国防研究委员会应用数学组搞研究．战后，他在美国数学会作1946年度大会讲演，题目是“光滑流形的拓扑学”，1948一1950年任美国数学会副主席，1944—1949年任《美国数学杂志》(American Journal of Mathematics)的编辑，1949—1954年任《数学评论》(Mathematical review)的编辑．1950年他任在哈佛召开的国际数学家大会程序委员会委员，在大会上作“n维空间中的r维积分”的报告．

1952年他被任命为普林斯顿高级研究院教授，1977年退休．这个时期他曾任美国国家科学基金会数学组第一任主席，1966一1967年任国家研究委员会支持数学科学研究委员会委员．

1967年起，他的兴趣完全转向数学教育，特别是中小学教育．他亲自深入课堂，了解学生的思想及感觉，发现数学教学中许多问题．他指出小孩的直觉方式与数学家的方式十分接近．当时的学校教学目标狭窄，语言贫乏，学生碰到问题只会代公式，没有学会思考．教学是灌输莫名其妙的概念以及应付标准化的考试，学生只能被动接受．为此他制订了教师进修计划，写了教师指导教材．他是美国、英国、比利时、巴西等国的数学教学的顾问．1979—1982年任国际数学教育委员会中心主席．

由于他的非凡贡献，他获得很多荣誉．1945年他被选为美国国家科学院院士，1976年被授予美国国家科学奖章，1982年获沃尔夫(Wolf)奖，1985年以其一生成就获美国数学会斯蒂尔(Steele)奖．

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

惠特尼一生对四色问题感兴趣，他最早和最后的数学论文都是关于四色问题的．他给出四色问题的等价命题并研究可约性问题．从四色问题出发他研究一般图论，特别是得出两图同胚的条件：如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的拓扑不变量；

其中R为图G的秩，N为G的零度．他利用这些不变量研究图的分类问题．

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

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

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

他把满足这两个条件的系统称为拟阵，并把许多图的性质推广到拟阵上． 2．可微映射和奇点理论

(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)．

1955年，他首先对于平面E2到E的奇点类型进行分类；结果只有两类，一类是折点(fold)，其标准型为

另一类是尖点(Cusp)，其标准型为

通过这篇论文，开创了奇点理论．1956年他又对En→Em的微分映射奇点的一些情形进行分类并得出标准型，其中包括n≥m=2，3以及(n，m)=(4，4)，(5，5)，(5，4)，(n，2n-2)等情形．对于其他的En→Em，其中n=3，4，m=4，…，2n-3，在当时所知甚少．这个基本的奇点分类问题连同其他问题形成了奇点理论的热门．同年R．托姆(Thorm)运用自己的横截理论以及普遍开折理论首先取得突破，这项研究成为后来他的突变理论的基础．其后1968—1971年J．麦泽(Mather)建立稳定性理论及决定性理论，1967年起以苏联数学家B．И．阿诺尔德(Арнолъв)为首的苏联学派在理论及应用方面取得辉煌的成就． 1948年他还发表了“论可微函数的理想”(On ideals of di－fferentiable functions)，这开辟了奇点理论另一个新方向．后来B．马格朗日(Malgrange)等对这方面有很大突破，包括证明“预备定理”．

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

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

惠特尼在1935年首次定义真正的“纤维空间”，当时他称为“球空间”，1940年他改称为“球丛”，在1937年及1941年他对此作两个报告，包括许多根本的结果，他还打算对此