I'm a bit confused by the conditions on the existence of coordinate basis given by Frobenius's theorem.
Namely, let's take a n-dimensional smooth manifold and a set of n smooth vector fields defined on it. Suppose they are pointwise linearly independent and do commute each other (i.e. zero commutator/Lie bracket).
That means they span the entire tangent space at any point and since commute, they define a local coordinate basis. What does this mean? Well, starting from any point on the...