切空间

维基百科,自由的百科全书
跳转至: 导航搜索

切空间tangent space)是在某一点所有的切向量组成的线性空间向量(切向量)存在多种定义。直观的讲,如果所研究的流形是一个三维空间中的曲面,则在每一点的切向量,就是和该曲面相切的向量,切空间就是和该曲面相切的平面。通常情形下,因为所有流形可以嵌入欧几里得空间,切空间也可以理解为在该点和流形相切的欧几里得空间的仿射子空间。切空间更好的定义不依赖于这种嵌入,例如,切向量可以定义为通过该点的曲线的等价类,或者是对光滑函数在该点的在某个方向上的求导。但所有这些定义都是等价的。