吴文俊公式

109 吴文俊公式

数学家吴文俊所给出的有关拓扑学中的一个公式。1950年，他证明了向量丛的惠特尼示性类的乘法公式，给出了计算微分流形的切丛的斯蒂菲尔—惠特尼示性类W的公式：W=SqV，被誉为“吴文俊公式”。他还定义了非同伦不变的拓扑不变量，并用于复合形在欧氏空间中的嵌入问题，引进了示嵌类，给出用此表示的n(n>2)维复合形嵌入于2n维欧氏空间的充要条件。他引进的示嵌类被称为“吴(文俊)类(Wuclass)”，已写入拓扑学教科书和词典之中。他以《示性类和示嵌类》的研究荣获1956年我国首次颁发的国家自然科学奖一等奖。此外，他用拓扑学方法出色地解决了电子器件中的布线问题。用电子计算机证明并发现了一些高难度定理。以极小模理论给出I^*—度量的公理化定义，证明了I^*—度量对于多种几何作法的可计算性。给出了带奇点的代数流形的“陈示性类”的定义等。吴文俊1940年毕业于上海交通大学数学系。后考入中央研究院数学研究所，受教于陈省身，学习拓扑学。1947年留学法国，参加嘉当领导并主持的数学讨论班。在爱勒斯曼和嘉当指导下，于1949年完成了《“球纤维空间”的示性类理论》博士论文，获法国国家科学博士学位。1951年回国，在新创建的中国科学院数学研究所任研究员。1957年任中国科学院学部委员。1983年任中国科学院系统科学研究所名誉所长。1983年10月当选为中国数学学会理事长。