 More precisely, a vector field formula_7 is a mapping from formula_4 into the tangent bundle formula_9 so that formula_10 is the identity mapping
where formula_11 denotes the projection from formula_9 to formula_4.In other words, a vector field is a section of the tangent bundle.An alternative definition