流形(manifold)

《流形(manifold)》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、.流形球面(球的表面)为二维的流形，由于它能够由一群二维的图形来表示。流形（Manifold），是局部具有欧几里得空间性质的空间。欧几里得空间就是最简单的流形的实例。地球表面这样的球面则是一个稍微复杂的例子。一般的流形可以通过把许多平直的片折弯并粘连而成。流形在数学中用于描述几何形体，它们提供了研究可微性的自然的舞台。物理上，经典力学的相空间和构造广义相对论的时空模型的四维伪黎曼流形都是流形的实例。他们也用于位形空间（configurationspace）。环面（torus）就是双摆的位形空间。我们可以把几何形体的拓扑结构看作是完全“

2、柔软”的，因为所有变形（同胚）会保持拓扑结构不变；而把解析簇看作是“硬”的，因为整体的结构都是固定的。例如一个1维多项式，如果你知道(0,1)区间的取值，则整个实数范围的值都是固定的，局部的扰动会导致全局的变化。我们还可以把光滑流形看作是介于两者之间的形体：其无穷小的结构是“硬”的，而整体结构则是“柔软”的。这也许是中文译名流形的原因（整体的形态可以流动）。该译名由著名数学家和数学教育学家江泽涵引入。这样，流形的硬度使它能够容纳微分结构，而它的软度使得它可以作为很多需要独立的局部扰动的数学和物理的模型。流形可以视为近看起来象欧几里得空

3、间或其他相对简单的空间的物体。例如，人们曾经以为地球是平坦的，因为我们相对于地球很小，这是一个可以理解的假象。所以，一个理想的数学上的球在足够小的区域也像一个平面，这使它成为一个流形。但是球和平面有很不相同的整体结构:如果你在球面上沿一个固定方向走，你最终回到起点，而在一个平面上，你可以一直走下去。一个曲面是二维的。但是，流形可以有任意维数。其他例子有：一根线的圈（一维的）以及三维空间中的所有旋转（三维的）。旋转所组成的空间的例子表明，...流形可以是一个抽象空间。流形的技术使得我们能够独立考虑这些对象。从某种意义上来说，我们可以有一

4、个不依赖于任何其他空间的球。局部的简单性是一个很强的要求。例如，我们不能在球上吊一个线，并把这个整体叫做一个流形；包含把线粘在球上的那一点的区域都不是简单的——既不是线也不是面——无论这个区域有多小.我们用收集在地图集中的平的地图在地球上航行。类似的，我们可以用在数学图集中的数学地图（称为坐标图）来描述一个流形.通常不可能用一张图来描述整个流形，这是因为流形和建造它的模型所用的简单空间在全局结构上的差异。当使用多张图来覆盖流形的时候，我们必须注意它们重叠的区域，因为这些重叠包含了整体结构的信息。有很多不同种类的流形。最简单的是拓扑流形

5、，它们局部看来像欧几里得空间。其他的变种包含了它们在使用中所需要的额外的结构。例如，一个微分流形不仅支持拓扑，而且要支持微积分。黎曼流形的思想导致了广义相对论的数学基础，使得人们能够用曲率来描述时空。定义流形的数学定义可以表述为[1]：设M是豪斯多夫空间，若对任意一点，则有x在M中的一个邻域U同胚于m维欧几里得空间Rm的一个开集，称M是一个m维流形。引例:圆圈四张图分别把圆的一部分映射到一个开区间，它们合在一起覆盖了整个圆。圆是除欧几里得空间外的拓扑流形的最简单的例子。让我们考虑，例如一个半径为1，圆心在原点的圆。若x和y是圆上的点的

6、坐标，则我们有x²+y²=1....局部看来，圆像一条线，而线是一维的。换句话说，我们只要一个坐标就可以在局部描述一个圆。例如，圆的上半部，y-坐标在那里是正的（右图中黄色的部分）。那个部分任何一点都可以用x-坐标确定。所以，存在双射χtop，它通过简单的投影到第一个坐标（x）将圆的黄色部分映射到开区间（−1,1）：这样的一个函数称为图（chart）。类似的，下半部（红），左半部（蓝），右半部（绿）也有图。合起来，这些部分覆盖了整个圆，我们称这四个图组成一个该圆的图集（atlas）。注意上部和右部的图的重叠部分。它们的交集位于圆上x和

7、y坐标都是正的四分之一弧上。两个图χtop和χright将这部分双射到区间（0,1）。这样我们有个函数T从（0,1）到它自己，首先取黄色图的逆到达圆上再通过绿图回到该区间:这样的函数称为变换映射（坐标变换）.圆圈流形基于斜率的坐标图集，每个图覆盖除了一点之外的所有点。上，下，左，右的坐标图表明圆圈是一个流形，但它们不是唯一可能的图集。坐标图不必是几何射影，而图的数量也可以有某种选择。考虑坐标图和...这里s是穿过坐标为（x,y）的可变点和固定的中心点（−1,0）的线的斜率;t是s的镜像对称，其中心点为（+1,0）。从s到（x,y）的逆

8、映射为我们很容易确认x²+y²=1对于所有斜率值s成立。这两个图提供了圆圈的又一个图集，其变换函数为注意每个图都缺了一点，对于s是（−1,0），对于t是（+1,0），所以每个图不能独自覆盖整个圆圈。利用拓扑学的工具，我们