主题
Search

切线映射


如果 f:M->N,则与 f 相关的切线映射 Tf 是一个 向量丛 同胚 Tf:TM->TN (即,映射切丛 MN 之间,分别是)。切线映射对应于通过以下公式表示的微分

 Tf(v)=(f degreesphi)^'(0),
(1)

其中 phi^'(0)=v (即,phi 是一条在时间 0 以速度 v 通过 TM 中基点 v 的曲线)。在这种情况下,如果 f:M->Ng:N->O,则链式法则表示为

 T(f degreesg)=Tf degreesTg.
(2)

换句话说,用这种形式化微分的方式,链式法则可以记住为“取映射的切线映射的过程是函子的。”对于拓扑学家来说,形式

 (f degreesg)^'(a)=f^'(g(a)) degreesg^'(a),
(3)

对于所有 a,比通常形式的链式法则更直观。


另请参阅

微分同胚

使用 Wolfram|Alpha 探索

参考文献

Gray, A. "Tangent Maps." §11.3 in Modern Differential Geometry of Curves and Surfaces with Mathematica, 2nd ed. Boca Raton, FL: CRC Press, pp. 250-255, 1997.

在 Wolfram|Alpha 上被引用

切线映射

请引用为

Weisstein, Eric W. "切线映射。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/TangentMap.html

主题分类