每个光滑流形 都有一个切丛
,它由所有点
在
处的切空间
组成。 由于切空间
是
在
处所有切向量的集合,因此切丛是所有切向量的集合,以及它们所切于的点的信息的集合。
(1)
|
切丛是向量丛的一个特例。 作为一个丛,它的丛的秩为 ,其中
是
的维数。
上的坐标图为
提供了一个平凡化。 在坐标
) 中,向量场
,其中
,张成每个点(在坐标图中)的切向量。 从这些坐标到另一组坐标的过渡函数由坐标变化的雅可比矩阵给出。
例如,在单位球面上,在点 处,在同一个半球上定义了两个不同的坐标图,
和
,
(2)
|
(3)
|
其中 和
。 坐标图之间的映射是
。
(4)
|
雅可比矩阵 由矩阵值函数给出
(5)
|
它具有行列式 ,因此在
上是可逆的。
切向量通过雅可比矩阵变换。 在 中的点
处,切向量
对应于
中
的切向量
。 这两个只是切丛的同一个元素的不同版本。