凸性的分析技巧-CAT空间1.docVIP

凸性的分析技巧：CAT-空间 (1) 作者：程天任 前言： 本文研究CAT空间，即有界曲率流形的基本群与几何量的关系。另外，我们还考虑了有界曲率流形的微分结构与拓扑结构。在微分流形以及黎曼几何中，一个黎曼流形是具有黎曼度量的微分流形，换句话说，这个流形上配备有一个对称正定的二阶协变张量场，亦即在每一点的切空间上配备一个正定二次型。给了度量以后，我们就可以像初等几何学中一样，测量长度，面积，体积等量。爱因斯坦的广义相对论告诉我们，引力并不是真正的力，而是反映空间扭曲的一个几何现象。对一个考察者来说，他身处在这个空间里，是无法直接体会到空间扭曲的。但是他可以通过测量自己所处的空间来判断是否存在空间扭曲，测量的标准就是所谓的度量。 度量是内蕴性质具有度量的空间就称为黎曼空间。流形上的黎曼度量给定后，我们可以得到一个唯一确定的对称（即无挠）联络，并且它保持黎曼度量。这个联络称为这个黎曼度量的Levi-Civita联络。有了联络，我们就可以定义向量场的协变微分和协变导数，从而建立起流形上的微分学。欧氏空间的联络就是通常意义上的向量函数的微分黎曼度量还诱导出曲率的概念，它反映了流形的弯曲程度。曲率处处为零的流形称为平坦黎曼流形。欧氏空间就是最常见的平坦流形。德国数学家高斯最早研究了曲面上的曲率，发现这种曲率是内蕴的，尽管它的定义式不是内蕴的。 我们定义平移变换： ，， 我们取： 接下来，我们分析切锥： 这里，我们引入如下事实：在上是稠密的 因为，在上是稠密的。由于为无理数，我们把分成个区间，至少有一个区间含有两个不同的。 那么在中，任何长度为的邻域中都含有： 这种类型的点。 接下来，我们考虑测地线的性质(文献[2] [3]) 当时， 因为， 这里，我们通过比较与的大小来限制的取值范围。 我们定义函数： 这里，我们定义了一个从黎曼流形到欧几里得空间的映射。并且，这个映射的定义域是一个半径为的闭球。 1.2 Gromov-Hausdorff 拓扑 这里，我们考虑如下函数形式(文献[4]) 我们定义一个概率测度： 设，令， 于是，， ， 然后，我们引入超度量： 我们取： 接下来，我们考虑范数： 接下来，我们引入一种对应关系： ，……，， 最后，我们定义一种映射： 其中，，互为逆映射。 根据嵌入的性质，我们有： 我们令 ， 其中， 这里，我们定义了一对立方体与欧几里得空间之间的互逆映射。 1.3 下有界瑞奇流 这里，我们研究瑞奇流的性质(文献[5] [6]) 首先，我们写出算子方程： 然后，我们引入泊松公式： 其中，，， ， 因为， 根据， 因为， 所以，我们可以限定的取值范围。 这里，我们引入1.2节的结果： 因为， 接下来，我们考虑Gromov-Hausdorff度量： 这里，我们考虑文献[5]中的方法： 接下来，我们引入1.1节中的结果： 首先，我们定义一个从黎曼流形到欧几里得空间的映射；然后，我们引入超度量，定义一对立方体与欧几里得空间之间的互逆映射，进而用半径与曲率表示圆周率pai；最后，我们引入泊松公式，以分析黎曼空间中的算子，运用文献[5]中的方法，将闭球之间的映射连接起来，得到一个下界。根据这个下界，我们可以得出CAT空间的某种对称性质。 2. Alexandrov 空间的几何性质 2.1 测地度量空间的凸性 这里，我们研究”distance convexity”即一致凸性(文献[7]) (为中点) 首先，我们构造正交基： ， 因为这个Banach空间是严格凸的，我们引入对偶空间： 2.2 凸可微Lipschitz函数 首先，我们写出Alexandrov关于二阶可微分函数的公式(文献[8] [9])： () 根据文献[10]，我们可以写出： 我们令，得到： 接下来，我们定义一个二次可微函数： 所以，我们可以把表示成： 我们运用文献[10]与[11]中的方法，来分析这个函数的性质： 根据文献[10]，我们定义函数： 根据文献[11]的结果，我们有： 然后，我们引入一种等价关系： ， 2.3 调和函数与半周长不等式 首先，我们考虑如下几何模型(文献[12]) 图1： 这里，我们引入如下的问题： 是否可以在单位圆周上找到1975个点，使得其中任意两点距离都是有理数？ (是有理数) ， 图2： 根据等比定理，我们有： 最后，我们写出我们的估计式： 我们引入2.1节与2.2节的结果，并固定以消去： 我们选取参数并消元，得到： 我们再次选取： 根据本节开头的分析，我们可以令与相一致： 我们选取： 经过比较，我们发现： 首先，我们引入对