尋犀記 (9)

更新於 發佈於 閱讀時間約 2 分鐘

九、協變導數

在平坦的歐式平面 (flat Euclidean plane) 上,方向導數 (directional derivative) 被定義為、兩個鄰近的點的方向向量之差,這也就是,把一個向量、平行輸運 (parallel transport) 到另一個向量的原點之上,然後求它們的差。

此時,我們無須掛心、基底向量由於座標改變所導致的變異為何;這是因為,在平坦的平面上,向量平行移動、不會有基底向量隨著改變之效應產生,換句話說,「向量從某個點、平行移動到另一個點、而仍然能夠保持恆定」,在平坦平面的範圍內、是有意義的。

平坦平面、和彎曲平面的關鍵差異在於:當我們把向量、從彎曲平面上的某個點、平行輸運 (parallel transport) 到另一個點時,其結果、將取決於我們所選擇的路徑。

換言之,若使一個向量在任意曲面的不同條測地線上平行移動,而分別從不同的路徑、到達相同的終點時,在最終處,兩個來自不同路徑的、被平行輸運 (parallel transported) 而來的「兩個」向量、並不會重疊在一起;曲面的彎曲程度愈大,兩個向量的偏移、也就愈大。

在平坦的歐式平面 (flat Euclidean plane) 上,協變導數 (covariant derivative) 只不過是單純的向量場的微分,但在非歐平面 (non-Euclidean plane) 上,則要進一步考慮由於座標之改變所導致的、微小變異之程度。

曲線的切向量可以描述為一組基底向量之組成:

V⃗ = V¹ g⃗₁ + V² g⃗₂

這可以簡寫為:

V⃗ = Vᵐ g⃗ₘ

如前所述,協變導數 (covariant derivative) 乃是以與基底向量協變之方式、來衡量自身、及其因座標改變所導致的、微小變異之程度。

此即:

∂/∂Xᵏ V⃗

= ∂/∂Xᵏ (Vᵐ g⃗ₘ)

= (∂/∂Xᵏ Vᵐ) g⃗ₘ + Vᵐ (∂/∂Xᵏ g⃗ₘ)

= (∂/∂Xᵏ Vᵐ) g⃗ₘ + Vᵐ (Γˡₘₖ g⃗ₗ)

= (∂/∂Xᵏ Vᵐ) g⃗ₘ + Vⁿ (Γᵐₙₖ g⃗ₘ)

= (∂/∂Xᵏ Vᵐ) g⃗ₘ + (Vⁿ Γᵐₙₖ) g⃗ₘ

= (∂/∂Xᵏ Vᵐ + Vⁿ Γᵐₙₖ) g⃗ₘ

這可以表示為:

∇ₖ Vᵐ = ∂/∂Xᵏ Vᵐ + Vⁿ Γᵐₙₖ

= ∂ₖ Vᵐ + Γᵐₙₖ Vⁿ

在直覺上,直線就是「直直」延伸的一條線。在幾何上,直線則被定義為:兩點間、距離最短的路徑;但此時,還有一個同樣好的定義:直線乃是能夠平行輸運一個向量、從某個點至另一個點的路徑。

依此,測地線 (geodesic) 乃是歐氏平面的「直線」概念、在彎曲平面之推廣。

留言
avatar-img
留言分享你的想法!
avatar-img
在我死前的沙龍
3會員
21內容數
在我死前的沙龍的其他內容
2025/03/09
等待的時間十分漫長,在地下室裡,雖然杯觥交错、熙來攘往,但時間的流動卻彷彿靜止了一般,讓人注意不到此地還有「時間」的存在。
Thumbnail
2025/03/09
等待的時間十分漫長,在地下室裡,雖然杯觥交错、熙來攘往,但時間的流動卻彷彿靜止了一般,讓人注意不到此地還有「時間」的存在。
Thumbnail
2023/12/14
十八世紀的哲學家Immanuel Kant (1724~1804)) 曾經説過,自己乃被David Hume (1711~1776) 的經驗哲學從「教義信條主義的酣睡」(dogmatic slumbers) 中喚醒,自此「覺醒」之後,Kant 便開始著手、嘗試結合傳統的理性主義、和英國的經驗主義之各
Thumbnail
2023/12/14
十八世紀的哲學家Immanuel Kant (1724~1804)) 曾經説過,自己乃被David Hume (1711~1776) 的經驗哲學從「教義信條主義的酣睡」(dogmatic slumbers) 中喚醒,自此「覺醒」之後,Kant 便開始著手、嘗試結合傳統的理性主義、和英國的經驗主義之各
Thumbnail
2023/12/06
「不須要去比較以前的同學、朋友過得怎樣,你只須要和自己比較,you know?好比龜兔賽跑,如果兔子不把時間浪費在東打聽、西比較上,而只是自顧自地悶著頭一路往前衝、往前跑,
Thumbnail
2023/12/06
「不須要去比較以前的同學、朋友過得怎樣,你只須要和自己比較,you know?好比龜兔賽跑,如果兔子不把時間浪費在東打聽、西比較上,而只是自顧自地悶著頭一路往前衝、往前跑,
Thumbnail
看更多
你可能也想看
Thumbnail
創作者營運專員/經理(Operations Specialist/Manager)將負責對平台成長及收入至關重要的 Partnership 夥伴創作者開發及營運。你將發揮對知識與內容變現、影響力變現的精準判斷力,找到你心中的潛力新星或有聲量的中大型創作者加入 vocus。
Thumbnail
創作者營運專員/經理(Operations Specialist/Manager)將負責對平台成長及收入至關重要的 Partnership 夥伴創作者開發及營運。你將發揮對知識與內容變現、影響力變現的精準判斷力,找到你心中的潛力新星或有聲量的中大型創作者加入 vocus。
Thumbnail
前篇提到,任意向量 V⃗ 可以描述為一組基底向量之組成: V⃗ = V¹ g⃗₁ + V² g⃗₂ 這可以簡寫為: V⃗ = Vᵐ g⃗ₘ
Thumbnail
前篇提到,任意向量 V⃗ 可以描述為一組基底向量之組成: V⃗ = V¹ g⃗₁ + V² g⃗₂ 這可以簡寫為: V⃗ = Vᵐ g⃗ₘ
Thumbnail
在平坦的歐式平面 (flat Euclidean plane) 上,方向導數 (directional derivative) 被定義為、兩個鄰近的點的方向向量之差,這也就是,把一個向量、平行輸運 (parallel transport) 到另一個向量的原點之上,然後求它們的差。
Thumbnail
在平坦的歐式平面 (flat Euclidean plane) 上,方向導數 (directional derivative) 被定義為、兩個鄰近的點的方向向量之差,這也就是,把一個向量、平行輸運 (parallel transport) 到另一個向量的原點之上,然後求它們的差。
Thumbnail
在二維的歐式平面 (Euclidean plane) 上,沿著曲線座標 (curvilinear coordinates) 之方向,有二個基底向量 (basis vectors) g⃗₁、和 g⃗₂,它們構成了微小的曲面塊 (surface patch),而度量張量 (metric tensor)
Thumbnail
在二維的歐式平面 (Euclidean plane) 上,沿著曲線座標 (curvilinear coordinates) 之方向,有二個基底向量 (basis vectors) g⃗₁、和 g⃗₂,它們構成了微小的曲面塊 (surface patch),而度量張量 (metric tensor)
Thumbnail
前面幾篇一直反覆提到,奠定幾何磐石的畢氏定理: x² + y² = r² 可以轉換為畢氏定理的向量表達: x x̂ + y ŷ = r r̂
Thumbnail
前面幾篇一直反覆提到,奠定幾何磐石的畢氏定理: x² + y² = r² 可以轉換為畢氏定理的向量表達: x x̂ + y ŷ = r r̂
Thumbnail
與偏導數 (partial derivative) 不同,全導數 (total derivative) 乃根據所有分量 (而非僅是單一分量) 之微小移動、所產生的各別對於函數數值的貢獻,來逼近函數本身的「值」之微小改變。
Thumbnail
與偏導數 (partial derivative) 不同,全導數 (total derivative) 乃根據所有分量 (而非僅是單一分量) 之微小移動、所產生的各別對於函數數值的貢獻,來逼近函數本身的「值」之微小改變。
Thumbnail
在二維平面上,連續變動的點 (x₁, y₁)、(x₂, y₂)、(x₃, y₃)⋯ 可以統稱為 (x, y)。 (x, y) 代表:沿著 x 軸向量 x̂ 之方向、行進了 x 的距離,再沿著 y 軸向量 ŷ 之方向、行進了 x 的距離,將兩者加總,所對應到的平面上的某個點。
Thumbnail
在二維平面上,連續變動的點 (x₁, y₁)、(x₂, y₂)、(x₃, y₃)⋯ 可以統稱為 (x, y)。 (x, y) 代表:沿著 x 軸向量 x̂ 之方向、行進了 x 的距離,再沿著 y 軸向量 ŷ 之方向、行進了 x 的距離,將兩者加總,所對應到的平面上的某個點。
Thumbnail
「直角三角形,其兩邊的平方之和、等於斜邊的平方。」 這就是著名的畢氏定理,可以表示為:
Thumbnail
「直角三角形,其兩邊的平方之和、等於斜邊的平方。」 這就是著名的畢氏定理,可以表示為:
追蹤感興趣的內容從 Google News 追蹤更多 vocus 的最新精選內容追蹤 Google News