第七章_分流行简介.docVIP

第七章 微分流形简介 自从大数学家B.Riemann提出n维微分流形的概念至今已有150多年了, 流形概念相对于殴氏空间概念的进步, 可以形象地比作“大地是球形的”思想相对于古人认为的“大地是平坦的”思想的进步. 所以在20世纪的数学领域中, 微分流形成为最重要的研究对象之一, 同时流形上的微积分(古典微积分是它的特例)也迅速从数学传到物理学、力学及工程技术界， 形成了近代物理学、力学、工程技术、近代社会经济科学的重要的数学基础。 现代科技的发展越来越显出微分流形的重要性。 流形是一种局部相似于殴氏空间 SKIPIF 1 0 的拓扑空间. 如 SKIPIF 1 0 中的球面、环面等都是二维流形的典型例子. 微分几何中的曲线与曲面也是流形的重要特例. 现实世界中， 一些物理现象的位相空间也常常具有流形的特征. 例如， 日月地三体所形成的动力系统中， 月球就大致地运行在以太阳为参考系的环面之中. 流形的特点是它一般只能局部地同胚于殴氏空间（或Banach空间， Hilbert空间等）的开子集，一般不一定能整体地同胚于殴氏空间. 例如整个球面不能与殴氏平面同胚， 但它的每一点都存在与平面上开集同胚之开邻域. 因此流形一般无全局坐标而只有局部坐标， 这是它的一个重要特征. 这里主要介绍流形的概念与实例及它应用的几个方面. 关于流形上的微积分请参考文献 [1]. §7.1 基本概念 拓扑流行与微分流形 定义 7.1.1：如果拓扑空间 SKIPIF 1 0 满足： （1） SKIPIF 1 0 是一个有可数的拓扑基的Hausdorff拓扑空间， （2） SKIPIF 1 0 是局部殴氏的：即对任意 SKIPIF 1 0 ， 存在 SKIPIF 1 0 点的开邻域 SKIPIF 1 0 和映射 SKIPIF 1 0 ，使 SKIPIF 1 0 是同胚映射，则称 SKIPIF 1 0 是n 维拓扑流形， SKIPIF 1 0 叫坐标映射， SKIPIF 1 0 叫坐标域， SKIPIF 1 0 叫坐标卡. 殴氏空间 SKIPIF 1 0 是一个n 维拓扑流形， 坐标映射取 id. 闭区间 SKIPIF 1 0 不是拓扑流形，因为其端点的邻域不能同胚于 SKIPIF 1 0 任何的开子集. 定义7.1.2：n 维拓扑流形 SKIPIF 1 0 上的 SKIPIF 1 0 类微分构造是 SKIPIF 1 0 上的坐标卡之集 SKIPIF 1 0 SKIPIF 1 0 满足： 覆盖性： SKIPIF 1 0 ； 相容性：若 SKIPIF 1 0 ，当 SKIPIF 1 0 时， SKIPIF 1 0 与 SKIPIF 1 0 都是 SKIPIF 1 0 类微分同胚. 最大性：若 SKIPIF 1 0 与 SKIPIF 1 0 中每个坐标卡是 SKIPIF 1 0 类相容的， 则 SKIPIF 1 0 . 定义7.1.3: n维拓扑流行 SKIPIF 1 0 带上 SKIPIF 1 0 类微分构造 SKIPIF 1 0 , 则称 SKIPIF 1 0 是n维 SKIPIF 1 0 类微分流形. 当 SKIPIF 1 0 时, 称作光滑(微分)流形. 惠特尼定理指出: 对任何 SKIPIF 1 0 微分流形 SKIPIF 1 0 总可找到与其 SKIPIF 1 0 微分构造是 SKIPIF 1 0 -相容的 SKIPIF 1 0 微分结构, 从而使 SKIPIF 1 0 成为 SKIPIF 1 0 微分流行(光滑流行). 所以以下只讨论光滑流形. 由一个整体坐标域构成的 SKIPIF 1 0 微分流形 定理7.1.4: 设 SKIPIF 1 0 是一个有可数的拓扑基的Hausdorff拓扑空间, 若存在同胚映射 SKIPIF 1 0 则 SKIPIF 1 0 是n维 SKIPIF 1 0 微分流形, 其中 SKIPIF 1 0 . 证明: (1) 覆盖性: SKIPIF 1 0 .