1.Previous
3.Next

follows from the definition that the differential of a composite is the composite of the differentials (i.e., functorial behaviour). This is the chain rule for smooth maps.

Also, the differential of a local diffeomorphism is a linear isomorphism of tangent spaces.

The differential on the tangent bundle

The differential of a smooth map induces, in an

1.Previous
3.Next