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