主題
Search

圖切空間


從座標圖的角度來看,切空間的概念非常簡單。切空間由粒子可以採取的所有方向或速度組成。在 U 中的開集 R^n 中沒有約束,因此點 p 的切空間是 R^n 的另一個副本。集合 U 可以是 n流形的座標圖。

p 的切空間,表示為 TM_p,是透過 p 的路徑的可能速度向量的集合。因此,存在一個規範向量基:如果 (x_1,...,x_n) 是座標,則 v_1,...,v_n 是切空間的基,其中 v_i 是一個粒子以單位速度沿座標 x_i 向內移動的速度向量。流形上每個點的所有切向量的集合,稱為切叢,是單個粒子在流形 M 中運動的相空間

看起來在圖 p 中,點 p 的切空間與所有其他點的切空間相同。然而,雖然它們確實共享相同的維度並且是同構的,但在座標變換中,它們失去了規範同構。

Tangent space stretch

例如,設 U=(0,1)V=(0,3) 是單位區間 I 的座標圖。我們可以用 phi:U->V 定義的 phi(x)=x+2x^2 來改變座標。這是一個座標變換,因為導數在 U 上不消失。但是這種變換不是線性的,並且在 1 附近比在 0 附近更拉伸 I。切向量透過導數變換。在 x=1/4 處,它們被拉伸了 dphi/dx=2 倍。而在 x=3/4 處,它們被拉伸了 dphi/dx=4 倍。

一般來說,切向量根據雅可比矩陣變換。點 q 處的切向量 v 也可以被視為另一個座標圖上 phi(q) 處的切向量 J_phiv,其中 phi 是從一個圖到另一個圖的微分同胚。由 phi雅可比矩陣確定的線性變換是可逆的,因為 phi 是一個微分同胚

雅可比矩陣鏈式法則不僅表明切空間是良好定義的,與座標圖無關,而且還表明切向量可以“前推”。也就是說,給定流形之間的任何光滑對映 f:X->Y,將 X 的切向量對映到 Y 的切向量是有意義的。將 f^~ 寫為 fX 中的座標圖和 Y 中的座標圖之間的函式,則 f_*(v)=J_(f^~)(v)vTX_p 對映到 TY_(f(p))f_* 的另一個表示法是 dff微分。用張量的語言來說,切向量的前推意味著向量場是一個協變張量


另請參閱

微積分, 座標圖, 微分 k-形式, 方向導數, 歐幾里得空間, 外代數, 雅可比矩陣, 流形, 子流形, 切叢, 切空間, 向量場, 速度向量

此條目由 Todd Rowland 貢獻

使用 探索

請引用為

Rowland, Todd. “圖切空間。” 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/ChartTangentSpace.html

學科分類