M"="TM"。要证明"T""M"实际上构成一个纤维丛，我们需要查看一下formula_58在局部坐标中的属性。令("x")= ("x"...,"x")为"M"在"p"的邻域"U"中的一个局部坐标系。稍微滥用记号一下，我们可以视("x")为一个局部微分同胚formula_64。"断言："穿过"p"的两条曲线"f"和"g"以formula_30为模等价，当且仅当formula_66在"p"的某个邻域formula_67上成立。因此，这个表面上的纤维丛"T""M"确实有每个坐标邻域中的局部平凡化。至