个坐标邻域中的局部平凡化。至此，要证明这个表面上的纤维丛是真正的纤维丛，只需证明它在坐标变换下有非奇异的变换函数。令formula_75为一个不同的坐标系，并令formula_76为相伴随的从欧氏空间到自身的坐标变换微分同胚。通过formula_29的仿射变换，我们可以不失一般性地假设ρ(0)=0。在该假设下，只要证明formula_78是射流复合下的可逆变换即可。（参看射流群。）但是由于ρ是微分同胚，formula_79也是光滑映射。因而，这表明formula_81是非奇异的。而且，它是光滑的，虽然我