Hello,

Let M be a manifold and j:M-> a smooth embedding.

What is the local structure of dj?

If we have such a embedding, then dj:TM-> is a map between the Tangent bundles. But what about the local structure?

I have found this equation, but i'm not sure, whether it is true in general or not:

, with

Thanks in advance!