切空间(Tangent space)是在某一点所有的切向量组成的线性空间向量(切向量)存在多种定义。直观的讲,如果所研究的流形(Manifold)是一个三维空间中的曲面,则在每一点的切向量,就是和该曲面相切的向量,切空间就是和该曲面相切的平面。

切空间 和切向量 ,沿着曲面穿梭

非正式描述

一个n维的流形可理解为由多个同为n维的曲面(超曲面)。一般情况下,因为所有流形可以嵌入欧几里得空间,流形上的光滑函数就是欧几里得空间中的光滑函数。欧几里得空间的优势在于可以进行微分,透过微分流形(differential manifold)的代数关系,可以将欧几里得空间中的微积分搬上光滑流形。切空间也可以理解为在该点和流形相切的欧几里得空间的仿射子空间(affine space)。

所有切线空间可以“胶合在一起”,并形成基于原流形两倍维度的可微分流形(differentiable manifold),称之流形的切丛(tangent bundle)。

正式定义

上述的非正式描述依赖于嵌入在较大向量空间 Rm, 使得切向量可以从流形延伸出到更大的空间。切空间更好的定义不依赖于这种嵌入,[1]例如,切向量可以定义为通过该点的曲线的等价类,或者是对光滑函数在该点的在某个方向上的求导。但所有这些定义都是等价的。虽然通过曲线的速度的定义是直观上最简单的,但是也是挺麻烦的工作。更加优雅和抽象的方法描述如下。

曲线速度定义

在嵌入的流形图(manifold picture)中,点x处的切向量被认为是通过点x的曲线的“速度”。因此,我们可以取切向量作为通过x的曲线的等价类(equivalence class),而在x处彼此相切。

假设 M是Ck流形(k ≥ 1),x是M中的点。选择图表 : φ : URn,其中U是包含x的M的开子集。假设两个曲线γ1 : (−1,1) → Mγ2 : (−1,1) → M,其中γ1(0) = γ2(0) = x,使得φγ1φγ2都可以在0处微分。然后,如果在0处的正常导数(ordinary derivatives)φγ1φγ2在0处的正常导数一致(coincide),则γ1γ2在0处被称为等价。这定义此曲线上的等价关系,并且等价类被称为在x处的 M的切线向量。

导数定义

假设M是C流形。如果fφ−1对于每个图表: φ : URn是无限可微的,则实值函数f : MR属于C(M)。C(M)是点积乘积(pointwise product)和函数总和(sum of functions)与标量乘法(scalar multiplication)的实关联代数(associative algebra)。

在M中选择一个点x。在x处的导数是线性映射D : C(M) → R,其具有对于C(M)中的所有f, g的性质:

 

根据微积分的乘法规则(product rule)建模。如果我们为这样的导数定义加法和标量乘法

  以及  

我们得到一个实际的向量空间,我们定义为切空间TxM

余切空间的定义

再一次,我们从C流形M 开始,并且点xM中。考虑由所有函数f 组成的C(M)中的理想I,使得f(x) = 0。也就是说,定义通过x的曲线或表面之类的函数。然后I和I  2是实向量空间,并且TxM可以被定义为商空间(quotient space )I / I 2对偶空间(dual space)。后者之商空间也被称为x处的流形M 之余切空间。

属性

如果 M是Rn的开子集(open subset),则 M是C流形的自然形式(将图视为恒等函数),并且切线空间都自然以Rn加以识别。

正切向量作为方向性导数

另一种考虑切向量的方法是方向导数。给定Rn中的向量v定义了在点x处的平滑映射f : RnR的方向导数

 

这个映射是自然的导数。此外,结果是C(Rn)的每个推导具有这种形式。因此,在向量(在一点被认为是切向量)和导数之间存在一对一映射。

映射导数

每个平滑(或可微)流形的映射φ : MN在相应的切线空间之间引导自然线性映射:

 

如果切线空间通过曲线定义,则地图定义为

 

相反,如果通过导数定义切线空间,则

 

线性图dφx被称为x的导数、总导数、微分或前推(pushforward)。它经常用各种符号表示:

 

在某种意义上,导数是对于x附近的φ的最佳线性近似。注意,当N = R时,映射dφx : TxMR与函数φ的微分的通常概念一致。在局部坐标中,φ的导数可由雅可比矩阵给出。

注释

  1. ^ Chris J. Isham. Modern Differential Geometry for Physicists. Allied Publishers. 1 January 2002: 70–72 [2017-03-08]. ISBN 978-81-7764-316-9. (原始内容存档于2020-08-11).