多媒体应用基础_第六节(丘成桐_集合魅力) .ppt

高斯—博涅公式 对多面体我们可以指定与某个顶点 v 相连的面的曲率为 - 与 v 相连的面的内夹角 所有顶点处曲率之和为 高斯-博涅-魏依-艾伦多夫和陈省身推广了上述公式 * 高斯—博涅公式 这类联系几何信息和拓扑量的公式在现代几何学和现代物理学中有着显著的重要性。（在物理语言中，这类公式联系着拓扑荷，拓扑缺陷。） 这类理论建立在陈类基础上。1960年 阿蒂亚-辛格 作出了光辉的推广。分析和几何产生了紧密的联系。 * 天 文 测 量 希腊天文学家将几何学应用于天文测量。例如，地球的直径（在赛伊尼的埃拉斯特尼 (公元前 275年-195年))。 对天文测量的愿望反过来又影响着几何学和三角学的发展。 * … 相信我，如果我可以重新开始学习，我将听从柏拉图的建议，从数学开始。 ——伽利略 * 文艺复兴时期 笛卡儿(1596-1650) 解析几何：笛卡儿坐标系 德萨格 (1591-1661) 射影几何 费马(1601-1665) 变分原理：测地线 牛顿 (1642-1727) 微积分 莱布尼茨(1646-1716) 微积分 * 源于少数原理，…却结出累累硕果， 这就是几何的骄傲。 ——牛顿 * 拓扑和几何的现代发展 欧拉 (1707-1783) 多面体的欧拉公式，组合几何，变分分析，几何与力学，极小曲面。 高斯 (1777-1855) 双曲几何 ( 和罗巴切夫斯基 ( 1792-1856), 波尔约 (1802-1829)一起 )，高斯曲率的内蕴 定义。 ) * 曲率的内蕴定义 一张纸的曲率为零。可以将纸弯成一个圆柱面。 两个曲面是相同的：不拖长或撕裂曲面。两曲面的形状不同。 两类几何： 内蕴度量给出高斯曲率 外蕴形状给出主曲率 悬链面 – 螺旋面 (等距形变 )。 demo * 高斯(1817) 我越来越确信几何的必然性无法被验证，至少现在无法被人类或为了人类而验证。我们或许能在未来领悟到那无法知晓的空间的本质。 我们无法把几何和纯粹是先验的算术归为一类。几何和力学却不可分割。 * 黎曼(1826-1866) 在抽象定义的空间上引入黎曼度量 在无穷小近似下就是欧氏几何。然而只在一阶近似下是等同的。 二阶近似由度量的曲率张量来衡量。 导致了几何学的革命。 克里斯托费尔，列维-齐维塔，比安基……，发展了这类抽象空间上的微积分。 * 黎 曼 面 后来人们意识到对二维空间，每个黎曼度量都可以写成 如果引入复数 度量可写成 * 黎 曼 面 这样的复坐标在相差一个全纯变换的意义下是唯一的。 具有这样复坐标的抽象二维空间称为黎曼面。 此概念应用于计算机图形学。 * 黎 曼 面 ●曲面间的全纯变换 demo * 高斯曲率 黎曼面的高斯曲率为 黎曼面给出称为复流形的首个例子。 问题：如何重新发现度量？ 有一个黎曼面，即给出一个复坐标 z。 有一个定义在黎曼面上的曲率函数 K。 * 高斯曲率 * 黎曼度量的曲率 在高维情形，黎曼度量的曲率远不是一个数量函数，它依赖于空间在某个截面上是如何弯曲的，称为曲率张量。 可以对全部曲率张量缩并，得到一个小的张量，称为里奇张量。记为 。 里奇张量是一个对称张量，其迹称为数量曲率。 记为 。 * 爱因斯坦方程 黎曼几何被爱因斯坦(在格罗斯曼、希尔伯特帮助下)用来描述广义相对论。广义相对论融合了狭义相对论和引力。 爱因斯坦方程 这里 是物质张量（引力由度量 的全部的曲率张量来描述）。 爱因斯坦方程对几何学家们启发深刻。这是一个高度非线性理论。（ 是引力位势，是未知量）。 * 时 空 一般地，我们不能期望由爱因斯坦方程定义的时空有很多的对称性。 因而，很多经典力学中的守恒量在广义相对论无法直接定义。这里包括质量、动量、角动量等。 对于广义相对论中的孤立物理系统，时空在无穷远处基本上是平坦地，因而具渐进对称性。这给出了总质量、总动量和总角动量的定义。 * 正 质 量 一个复杂的问题是在某些合理的条件下,证明总质量是正的。 这对应着几何中，在某些数量曲率的限制下，研究三维流形的几何。 萧恩和丘成桐用经典的变分方法证明了正质量猜想：研究空间中的极小曲面。 后来威腾用狄拉克方程和超引力重新证明了正质量猜想。 * 求解爱因斯坦方程 广义相对论中困难的问题是如何求解爱因斯坦