流形(manifold)
流形(manifold)是高维空间中曲线、曲面概念的拓广。我们可以在低维上直观理解这个概念,比如我们说三维空间中的一个曲面是一个二维流形,因为它的本质维度(intrinsic dimension)只有2,一个点在这个二维流形上移动只有两个方向的自由度。
同理,三维空间或者二维空间中的一条曲线都是一个一维流形。
流形/黎曼流形
粗浅地说,2维流形就是3维空间的2维曲面。
3维流形就比较难想象,因为在4维空间才能完全“看到”3维流形。
(1)
流形的特点是在流形上每一点都可以建立局部坐标系(实空间)。在座标空间中,座标函数可以确定邻域的拓朴性质。 “比如,在2维流形上每一点都可以建立座标平面。既然有了空间,就可以在空间中引进度量。所谓度量就是空间中点与点之间的“距离”或“长度”。
如果在流形的(局部)空间中可以建立黎曼度量(即存在黎曼度量),这个流形就是黎曼流形。
所谓黎曼度量就是黎曼空间(黎曼几何,一种非欧几何)的度量,粗浅地说,黎曼度量就是空间中点与点之间的“弧度”。
黎曼度量
不是所有的流形都有黎曼度量。比如,2维流形是平面,它的度量是欧氏度量;相对论中的4维时-空流形,它的度量就不是黎曼度量。有人说,有多少数学家就有多少空间。
应用
黎曼流形作为一个几何概念有很多实际应用。一些物理和技术系统的问题都可以表示为黎曼流形问题。 “比如,将惯量矩阵看作黎曼度量,力学中的拉格朗日方程就可以表示为黎曼流形,而方程的解就是黎曼流形上的测地线(测地线定义为曲面上最短的一条曲线)。
机械动力系统可以用拉格朗日方程表示。在系统中引进控制量,就变为控制系统问题。这种控制系统问题可以转换为黎曼流形问题,即微分几何控制问题。”