Finsler流形的曲率与拓扑并分析.pdfVIP

摘 要 Finsler几何就是度量没有二次型限制的黎曼几何．著名数学家黎曼fB． 于没有二次型限制后计算上过于复杂，他将研究限于二次型度量的几何，也就是 称其：为Finsler几何． L．Berwald、J．Douglas等人的努力下，Finsler几何的内容日益丰富． 普适的结果，同时也给我们提供了一种更好的几何认知．重要的结果有：测 Gauss-Bonnet定理(fBCl)等． 定理、Finsler流形的体积测度和Finsler流形上的基本群． Kadzan定理，基本群，第一Betti数． 一．Finsler流形的Gromov预紧性定理 大范围度量几何研究的一个重要方向是探索度量空间族做成的度量空间的 iv FINSLE麟e形的曲率与拓扑 重要的预紧性定理(fBBI，GLP，PPl])，即： 对任意一族紧度量空间，如果满足：它们的直径有一致的上界，且对任 意∈0，存在常数N(e)0，使得对该族中的每个度量空间都有一个势(即元素 紧的，即此族中的任意序列都含有一(相对Gromov-Hausdor础巨离的)收敛子列． M．Gromov将以上定理应用到黎曼几何上．同时利用Gromov相对体积比较 定理，就得到关于黎曼几何中的预紧性定理(fCI，GLP，PPl])，即： 设{(尬，仇))是一族紧致黎曼流形，且硒cci曲率满足RiCM,≥(钆一1)k，直 由于可反的Finsler流形也是通常意义下的度量空间，沈忠民利用Finsler流形上 的体积比较定理得到了关于可反的Finsler流形的预紧性定N([Shl，Sh2])，即： Gromov-Hausdor廊扑下是预紧的． 对于～般的Finsler流形，由于其度量未必是可反的，所以不是一般意义下的 度量空间．因而不适合在上述空间结构下研究其预紧性．但另一方面，Finsler度 量给出的向前(或向后)球拓扑却和流形本身的拓扑是一致的(『BCSl)，这就要求 我们要推广度量空间的定义． 首先，我们给出广义度量空间的定义：一个广义度量空间是一偶对(X，d)， 其中X是一集合，d：X×X—R+u．f∞’}是一函数，称之为度量，且对任 意z，Y，z∈X，满足以下两个条件： (i)d(x，Y)≥0，等号成立的充要条件是兮z=秒； (ii)d(x，Y)+d(y，z)≥d(x，z)． 然后，我们定义关于z∈x的向前(或向后)￡一球为磁(s)：={可∈XId(x，Y) cx，如果满足：对任意 ￡)(或B；(￡)：={可∈Xld(y，z)￡))．一子集U 点X∈U，在U内存在z的一向前争球，那么称U是开的．由此我们得到X上的 拓扑．所有的广义度量空间都是第一可数的，且是正一空间．由于我们没有要求 摘 要 数A定义为 k z，ziyuoEX，嬲re,y,．， zJ z≠暑， 易见可反系数A≥1，且等号成立的充要条件是度量d是可反(对称)的．对A： 1的广义度量空间也称为可反(度量)空间，也就是一般意义下的度量空间．特 别地，对可反系数是有限的广义度量空间，其拓扑性质与一般度量空间的拓 离推广到广义度量空间上．首先我们把Hausdorff距离推广到广义度量空间上： c 设(X，d)为一广义度量空间，A，BX，我们定义 d(A，B)：=inf{d(a，6)la∈A，b∈B)，B+(A，E)：={z∈XI d(A，z)e)， Ac c dH(A，B)：=inf{eB+(B，E)，BB+(A，E))． 其次，我们给出相容度量的定义：设X和y为度量空间．不交并Xuy上一相容 度量是X和y上的度量的扩张．一个6一相容度量是一个可反系数6。。的相 容度量． Gromov-Hausdorff距_离如下： 设X和y为两个广义度量空间，且可反系数都不大于6．那