Let f:M→N be a smooth map between smooth manifolds, and let p∈M. The differential (or pushforward) of f at p is the linear map
dfp:TpM⟶Tf(p)N
between tangent spaces (equivalently, between the fibers of the tangent bundle) characterized as follows.
Choose smooth charts (U,φ) around p and (V,ψ) around f(p) with f(U)⊂V. Writing ψ∘f∘φ−1:φ(U)→ψ(V) as a smooth map between open subsets of Euclidean space, dfp is the unique linear map whose matrix in these coordinates is the Jacobian of ψ∘f∘φ−1 at φ(p). This definition is independent of the chosen charts.
The differential is functorial: if g:N→P is smooth, then
d(g∘f)p=dgf(p)∘dfp,d(idM)p=idTpM.