1.引言
大范围微分几何研究流形中给定的几何实在(geometric being)的局部性质与该流形的整体性质之间的关系。该流形在下述意义下是可微的:它被一组坐标邻域所覆盖,这些坐标邻域都有同样个数的坐标,并且每两个这样的不同的坐标系在它们的公共区域中用一个至少一阶可微的变换来联系。这后一假定可以使我们可以在局部几何的研究中使用微分,进而导致由欧拉、高斯和蒙日首先研究的那些几何性质。
作为这类研究课题的一个例子,我们考虑一个闭曲面S,它(至少二阶)可微嵌入三维欧式空间中。令K为S的高斯曲率,dA为S的面积元素。则经典的高斯-博内公式断言:
(1)(1/2pi)∫∫_S KdA=2(1-p),
这里p是S的亏格。这个公式用微分不变量来表示S的亏格p这一拓扑不变量。换句话说,p完全由S的局部性质所决定。
另一个例子考虑嵌入于欧式平面的一条闭曲线C。如果C可求长并有长度l,以及C所围区域的面积为A,那么
(2)l^2-4piA>=0,
其中等号仅当C为圆周时成立。这就是所谓的等周不等式,它最近被意外地从积分几何导出,后者是研究微分不变量的积分的学科。
这类研究问题有两个方面:局部方面和整体方面。经过几十年的大量工作,局部方面的问题得到了广泛研究和发展,这些成果集中体现在张量分析理论中。虽然张量分析为处理大多数局部问题提供了很好的工具,但是对整体问题的研究自然