指數映射 (黎曼幾何)
外觀
此條目可參照英語維基百科相應條目來擴充。 (2017年12月15日) |
黎曼幾何中,指數映射(英語:exponential map)是由某(偽)黎曼流形切空間的子集,到本身的映射。(偽)黎曼度量對應某個典範仿射聯絡,而(偽)黎曼流形的指數映射就是這個聯絡的指數映射。直觀理解,由起點出發,以揀選切向量為速度,沿流形上的「直線」行單位時間,到達的終點就是。
定義
[編輯]設為微分流形,為上一點。利用上的仿射聯絡,可以定義過點的測地線。[1]
設為於點的切向量,則獨有一條測地線滿足,而初始切向量為。對應的指數映射由
定義。一般而言,指數映射不必在全個有定義,而衹有局部定義,即定義域是原點的小鄰域,映到在流形上的某鄰域內。原因是,測地線之所以存在(和唯一),藉賴常微分方程解的柯西-利普希茨定理,但該定理是僅在局部成立。若指數映射在切叢處處有定義,則該線性聯絡稱為完備。
參考資料
[編輯]- ^ 本節可參考Kobayashi & Nomizu (1975,§III.6) ,其稱仿射聯絡為linear connection「線性聯絡」。
- Kobayashi, Shoshichi; Nomizu, Katsumi, Foundations of Differential Geometry Vol. 1 New, Wiley-Interscience, 1996, ISBN 0-471-15733-3.