急需一位数学家的成就及贡献

急需一位数学家的成就及贡献
急需一位数学家的成就及贡献

急需一位数学家的成就及贡献
祖冲之 祖冲之在数学上的杰出成就,是关于圆周率的计算．秦汉以前,人们以"径一周三"做为圆周率,这就是"古率"．后来发现古率误差太大,圆周率应是"圆径一而周三有余",不过究竟余多少,意见不一．．祖冲之在前人成就的基础上,经过刻苦钻研,反复演算,求出π在3.1415926与3.1415927之间．并得出了π分数形式的近似值,取为约率,取为密率,其中取六位小数是3.141929,它是分子分母在1000以内最接近π值的分数．祖冲之计算得出的密率,外国数学家获得同样结果,已是一千多年以后的事了．为了纪念祖冲之的杰出贡献,有些外国数学史家建议把π=叫做"祖率"． 祖冲之还与他的儿子祖暅（也是我国著名的数学家）一起,用巧妙的方法解决了球体体积的计算．

埃利·约瑟夫·嘉当
即埃利·嘉当，亦译作埃里，卡当（Élie Joseph Cartan，1869年4月9日—1951年5月6日），法国数学家。他在李群理论和其集合应用方面奠定基础。他也对数学物理，微分几何、群论做出了重大贡献。
嘉当生于萨瓦的多洛姆厄，在1888年成为巴黎的巴黎高师的一名学生。在1894年取得博士学位后，他在蒙比利艾和里昂任教，并于1903年在南锡当...

全部展开

埃利·约瑟夫·嘉当
即埃利·嘉当，亦译作埃里，卡当（Élie Joseph Cartan，1869年4月9日—1951年5月6日），法国数学家。他在李群理论和其集合应用方面奠定基础。他也对数学物理，微分几何、群论做出了重大贡献。
嘉当生于萨瓦的多洛姆厄，在1888年成为巴黎的巴黎高师的一名学生。在1894年取得博士学位后，他在蒙比利艾和里昂任教，并于1903年在南锡当上教授。他在1909年到巴黎任教，并于1912年成为教授，而在1942年退休。他卒于巴黎。数学家亨利·嘉当是他的儿子。曾指导过华人数学家陈省身。
据他自己在“科研简介”(Notice sur les travaux scientifiques)所作的描述，他的工作(总数达186，发表于1893-1947年间)的主题是李群的理论。他从在复的简单李代数上的基础材料上的工作开始，把恩格尔(Christian Engel)和基令(Wilhelm Killing)先前的工作整理起来。这被证明是有决定性意义的，至少对于分类来讲，他鉴定出4个主要的族和5个特殊情况。他也引入了代数群的概念，它在 1950年之前并没有被认真的发展过。
他也定义了反对称微分形式的一般概念，以我们现在所使用的风格；他通过马尤厄－嘉当方程处理李群的方式要用到2-形式来表达。那时，称为Pfaffian 系统（也就是用1-形式表达的1阶微分方程组）的概念很常用；通过引入表示导数的新变量，和额外的微分形式，他们可以表述很一般的偏微分方程(PDE)系统。嘉当加入了外导数，作为一个完全几何式的坐标无关的操作。这很自然导致了对于一般的p讨论p-形式的需要。嘉当描述了Riquier的一般PDE理论对他的影响。
基于这些基础 – 李群和微分形式 – 他继续深入完成了大量工作，以及一些通用的技术，例如移动标架法，这些逐渐融入到数学的主流中。
在“科研简介”中,他把自己的工作分成15个领域。用现代术语来描述，他们是：
李群
李群的表示
超复数(Hypercomplex number), 除法代数(division algebra)
PDE系统, Cartan-Kähler定理
等价性理论
可积系统，延长理论(theory of prolongation)和回旋系统(systems in involution)。
无穷维群和伪群
微分几何和活动标架法
一般化空间及其上的结构群和联络，嘉当联络，和乐(holonomy)，Weyl张量
李群的几何和拓扑
黎曼几何
对称空间
紧群的拓扑和它们的齐次空间
积分不变量和经典力学
相对论, 旋子
这些课题的大部分被后来的数学家完整的研究了。但不是全部：嘉当自己的方法惊人的统一，但大部分的后续工作可以说失去了他的特色。也就是说，变得更代数化。
看看这些不太主流的领域：
PDE理论必须包含奇异解(也就是包络]),例如在Clairaut方程中所见到的那样;
延长方法应该在回旋系统中中止(这是解析理论，而不是光滑理论，并导向形式化可积性理论和Spencer上同调)；
等效性问题，如他所说，是通过把结构的图像变成微分系统的积分流形来建立它们的微分同胚(并由此发现不变量)；
活动标架法，不但和主丛和它们的联络有关，也需要使用和几何相适应的标架；
现在，Ehresmann的jet丛方法被用于把切触作为系统化的等价关系。
所以，从某种意义上来说，嘉当的工作的独特的一面仍然正在被数学家们所消化。这可以在诸如变分法，Bäcklund变换和微分系统的一般理论之类的领域中不断的见到；大致来讲，这些是微分代数的那些感到现存的加罗华理论所导出的对称性模型过于狭窄并需要使用和关系的范畴更类似的东西的部分领域。

收起