微分几何简述

  • 格式:pdf
  • 大小:275.10 KB
  • 文档页数:4

了口SJ年第z期湖州帅专学报(自然羊

荆动

总第8期

微分几何简述`

杭州师院蔡开仁译

数学史,

就其本身而言是一个十分吸引人的研究领域,

在从事新的数学领域的工作时也

是很有帮助的。

为此,

我们就微分几何作一简述。

这些简述不能当作微分儿何史,

也不宜

当作才月亏中所述的一些成果的历史,

因为写这样的历史至少要写一卷书。

比较完整的历史叙

;卫,,

丁参考Struik〔1967〕或Co

lidge

〔1940〕,

在Boyer

〔1968〕书r

才,

也写了饶有兴味的一

沂。

爪数学分析发明以后,

一些平面曲线的微分几何问题就得到了研究。

丁:

此,

我们关心的

不是这方面的历史。

(一个有趣的事实:

一些历史学家考证了微分几何始于分析发明之前!)

吹拉(Le

皿har

dEuler

(1707

一1783)是这个学科的第一个有重要贡献的人物,

1736年欧拉

异出了一条平面曲线的内在坐标(孤长S和代替曲率R的曲率半径p),

从此开始了内在几

何学的研究。

应该记得,

正是欧拉首先将曲率表述为一个特殊角度的变化率,

常宽曲线基本

理沦的创建也应归功于他。

欧拉对于曲面论也有贡献,

关于测J也线方面的一些工作尤为出色

和约翰(Jo

hn

(1667

一1745)),

贝努里(Danie

l(1700

一1782)一起,

他准f先济测地线描述为

一些微分方程的解。

欧拉受到物理学问题的启示,

1936年证明了拘束于某个曲而_

卜的一个点

质量,

当它不受其他力作用时必定沿着一条测地线移动。

微分几何史上第二个重要人物是蒙日(Gaspar

dMonge

(1746

一1818),

他也受到一些

实际间题的启示

—就他而言是筑城学的一些问题。

在一篇写于1771

年刊出于1785年的论文

,

}“,

蒙日开创了空间曲线论的研究,

他所使用的方法是十分具有几何特色的,

并能反映他对

于偏微分方程的兴趣。

1807

年蒙日出版了微分几何的第一本数科书,

在他逝世30年时该书的

第5

版问世了,

这足够说明这本教科书的价值。

蒙日之所以值得纪念,

不仅是因为他的首创

性的贡献而且是由于他在教学方面取得的累累成果,

拉普拉斯(iPerre

Laplace

(174右一

1827)),

幕尼埃(Jean

Meusn

ier

(1754

一1793)),

富里叶(JosephFo

盯ier

(1768

1830)),

兰克雷(Mie

he

lLaneret(1774

一1807)),

阿姆匹霜(A:

dre

人mpere

(1775一

1836),

马勒斯(Elienne

Ma

lus

(1775

一2812)),

泊松(Simeoo

Po

insson

(2781

一2540)

杜潘(Char

les

Dupin

(2783一1573)),

彭赛列(Victo:

Ponce

let(1788

一1867))和罗德

「!又克(olin

de

R。

dr

igues

(2794

一2851))等都是他的学生。

蒙日学派是用无穷小最进行论证

的,

今天我们阅读他们的著作会感到很困难。

尽管欧拉在暮年对干空门曲线的研究已经引进

了解析方法,

然而在25年以后的蒙日教科书中并没有采用这些解析方法。

可以举出一个蒙日

本文节译自RSMillman

著《Elentso

fDiffer。ntia

lCeomet,󰀀

g》(2978),

标题

为译者所加,

所列参考文献的详细索引见文附录。

学派的这种难懂的数学语言的一个例子,

例如兰克雷(La

cnr

et)是将首次拐度(曲率)和

二次拐度(挠率)分别定义为二条相邻法线和二个密切平面之间夹角的微分。

而柯西(Au-

gos

itn

Cauchy<1789一1857)

—群论和极限论的奠基人之一,

首先以有限量表示曲率和

挠率,

这也是现在我们所采用的形式。

19世纪40年代的空间曲线论还很粗糙并且难以得到进展。

为了改善这种状况维纳(Be

re

deSa

intVenant(1798

一2856))于2846

年写了一幅关于空间曲线的论文,

在这篇论文中

他收集了许多历史材料并且将一些有可取之处的成果一起列入其中,

他使用了“

付法线”

个术语并给出T兰克雷(Laneret)定理的第一个证明。

弗雷内(F.

Frenet(2826一1868)和

塞雷(JosephSerret(151。一2855)分别在2547,

2552

年各自独立地导出了所谓的弗雷内

一塞雷方程,

从此空间曲线论最终地统一起来了。

然而,

他们的工作当时并没有受到高度的

重视,

其一部分原因是缺少我们现在广泛使用的线代数的语言,

例如他们以计算沿法线方向

的直线的方向余弦的导数来代替计算法线关于孤长的导数。

正是达布(Gas

otn

Darboux

(1824

一1917))使用活动标架(triec

le

mobile

)的概念第一次统一了曲线论,

这方面他

曾得到力学理论的启示。

活动标架法已是现代的理论,

后来在嘉当(lEieCartan

(1896一

951)的推动下发展成为流形理论,

了解活功标架法有助于我们深入理解流形理论。

高斯(Car

lFrie

dr

ie

hGauss

(1777

一1855))的贡献反映在2527

年他的一篇题为“

面的一般研究”

的著作中。

此文现已译成英语(Gauss

〔1965〕),

如果你了解数学语言方

面的一些差别,

就不难阅读这个译本,

特别可以参考SiPva

k(1670,v

oll)所著的“

如何

认识高斯”

这一节。

tSru

ik〔1973.

P164

〕写道:

高斯“

成了整个学术界的导师”。

这是因为高斯证明了

许多新的令人敬佩的结果,

高斯造就了一个全新的研究微分几何的方法,

150多年以来的情

况表明这个研究方法卓有成效的

—形成了以第一基本形式为基础的内在几何学。

欧拉已经

知道关于“

一个曲面至少局部地能参数表示为二个变量的函数”

的事实,

但高斯强调一个曲

面应以这种方式描述,

不应视为R3

中其坐标满足某个关系的一个点集。

球面映射(或称高

斯映射)也曾为欧拉所了解,

而高斯却充分地运用了它。

事实上,

在高斯的一木著作中球面

映射是被他定义的第一个概念。

罗德里克很早就发现了曲面面积和球面上对应的区域面积之

比的极限,

因此高斯只是第一个确认了这个极限的重要性并且将此极限定义为曲面上一点的

曲率,

这是高斯贡献的第二个重要方面

—高斯具有对于什么是有用和重要的东西的非凡洞

察力。

可以这样说:

高斯以前的几何学家总把曲面看作无穷多条曲线的构成物,

高斯则把曲面

本身看作一个实体。

为了更好地理解这句话的含义,

我们来考虑计算曲面曲率的两个方法。

一个方法是外在的:

先求主方向,

然后计算对应曲率线的法曲率的积,

欧拉基本上了解这个

方法。

第二个方法是内在的:

利用The

orema

Egr“gium(“

了不起”

定理)。

曲率的外在

和内在计算之间的对立是一个十分深刻的哲学上的对立,

高斯已经很好地意识到这一点。

T加oro

ma

Egreg沁m解释了这个现象,

同时表现了他对于视为一个整体的曲而的兴趣,

假如一个弯曲的曲面是由另一个任意的曲面展开而成的,

则该曲面每点上曲率的测度保持

不变。”

(于此“

展开”

的含义是一对一的在上的且保持距离的映射。

)高斯在内在几何学

的研究方面迈出了惊人的步伐,

然而当时内在几何学却没有完全被人们所认识。

由于高斯曲