Frobenius theorem (source code)

= Frobenius theorem
{c}
{wiki=Frobenius_theorem_(differential_topology)}

For a nowhere-zero one-form $\alpha$, the hyperplane distribution $\ker\alpha$ is tangent to hypersurfaces exactly when $\alpha\wedge d\alpha=0$. In relativity this characterizes hypersurface-orthogonal vector fields and implies vanishing twist.