A vector bundle (E, p, M) is smooth, if E and M are smooth manifolds, p: E → M is a smooth map, and the local trivializations are diffeomorphisms. Depending on the required degree of smoothness, there are different corresponding notions of Cp bundles, infinitely differentiable C∞-bundles and real analytic Cω-bundles. In this section we will concentrate on C∞-bundles. The most important example of a C∞-vector bundle is the tangent bundle (TM, TM, M) of a C∞-manifold M.
