切空間(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).