百科问答小站 logo
百科问答小站 font logo



如何理解微分几何中的切空间? 第1页

  

user avatar   zhi-yuan-83-73 网友的相关建议: 
      

说一点点我自己的理解,不一定对

曲线和曲面是最简单的流形,不妨先重视一下我们以前的理解.

回忆一下我们对参数曲线 上的一点 处的切线怎么定义的?凡是与 共线的向量.

再回顾一下对于一张2维参数曲面 在一点处 的切平面怎么定义的?由两个向量 和 生成的一个向量空间.

上面两个例子都定义了在一点的切空间,但是都有个共同的缺陷:它们的定义依赖于外蕴的结构:即它们的参数方程. 什么是外蕴的结构?意思就是它们是被放到一个更大的欧氏空间里观察的(嵌入),也就是我们的参数方程,现在要想一个问题:

如何不用参数方程来定义切空间?

这就需要我们去寻找一些曲线和曲面上的内蕴的量,利用内蕴的方式重新给出切空间的定义,然后才有可能把切空间搬到流形上去,因为流形的定义就是内蕴的,它不依赖于往任何欧氏空间里的嵌入.

首先,最容易想到的是在曲线或者曲面上定义函数,以曲线为例,我们可以定义从曲线到 上的一个映射: ,而我们之前定义的切线无非就是对参数方程求导,为了显示出求导的特性,我们可以定义 点处切向量 对这个映射 的的作用: ,可以见得求导最明显的两个特征都满足:

  1. 线性: ;

2. Leibniz律: .

因此原始定义的求导部分可以体现在作用在 上的线性性和Leibniz性,而参数方程的部分,可以体现在 的任意性,即:

对任意的 , 算子 满足:

满足以上两点的一个算子 就可以作为曲线上一点 处的一个切向量,并且这时候我们看到,这个定义不再依赖任何外蕴的结构,因此可以搬到流形上面,于是就有了书上面对流形上的切向量的那种定义.




  

相关话题

  数学该不该被踢出高考?数学有什么用处? 
  有没有什么可以让自己对数学感兴趣的书? 
  为什么算数不等式叫算数不等式,几何不等式叫几何不等式? 
  为什么n维欧式空间中的单位球面(n-1 sphere)的表面积和体积,在 n 趋于 ∞ 时,都趋于0? 
  沃罗诺伊图(Voronoi Diagram,也称作Dirichlet tessellation,狄利克雷镶嵌 )是怎样的? 
  线性空间的对偶空间和优化里的拉格朗日对偶有什么关系? 
  民科这个称呼是不是阶级固化的表现?阿贝尔,伽罗瓦当时看来是不是民科?民哲更有意思了? 
  数学史上你认为最丑陋的公式是什么? 
  数学中为什么要定义各种空间? 
  如何将无穷级数Σ1/n²写成定积分的形式? 

前一个讨论
请问这个概念题目有大佬能讲解一下吗?
下一个讨论
n阶实方阵矩阵的换位子问题?





© 2025-03-06 - tinynew.org. All Rights Reserved.
© 2025-03-06 - tinynew.org. 保留所有权利