Frobenius theorem (differential topology)
…the theorem, both concepts must be clearly defined. One begins by noting that an arbitrary smooth vector field X on a manifold M defines a family of curves, its integral curves u : I → M (for intervals I ). These are the solutions of u ˙ ( t ) = X u ( t ) , which is a system of first-order ordinary…