Past exam of the mathematics course of the University of Cambridge / 2019 / ii / Paper 3 / 37D / a

WriteBy the chain rule, ${\tilde{V}}^{\alpha }=J^{\alpha }{}_{\mu }{V}^{\mu }$, ${\tilde{W}}^{\alpha }=J^{\alpha }{}_{\mu }{W}^{\mu }$, and ${\tilde{V}}^{\beta }{\tilde{\partial }}_{\beta }=V^{\nu }{\partial }_{\nu }$. ThereforeThe last term vanishes because its first factor is antisymmetric in $\mu ,\nu$ and its second is symmetric. Thus the coordinate invariance of the Lie bracket is

For every smooth function $f$, equality of mixed partial derivatives givesConsequently the commuting coordinate basis property is

Write $V={\sum }_a{f}_a{Z}^{(a)}$ and $W={\sum }_b{g}_b{Z}^{(b)}$. Relation (2) reduces $[V,W]$ to brackets of individual summands. Applying relations (3), (1), and (3), in that order, givesThe middle term vanishes because the $Z^{(a)}$ commute, and every remaining term lies in their smooth span. ThereforeThis is the involutivity condition in the Frobenius theorem.