b-vector fields

Last time I showed that the space of vector fields tangent to the boundary of a manifold with corners

consists precisely of those vector fields which in any adapted coordinate system take the form

with smooth coefficients and An easy computation with the Jacobian shows that the transition maps between coordinate systems are smooth, so the vector space with local coordinate bases and form a vector bundle Then