Most introductory physics courses teach constraints through the lens of a bead on a wire or a pendulum. These are holonomic constraints: they reduce the number of independent coordinates (degrees of freedom) needed to describe the system. A bead on a fixed wire has 1 degree of freedom instead of 3. Simple.
[ \dot{x} \sin \theta - \dot{y} \cos \theta = 0 ] dynamics of nonholonomic systems
The Lie brackets of constraint vector fields generate directions not initially allowed. That’s why you can parallel park: the bracket of “move forward” and “turn” gives “sideways slide” at the Lie algebra level, and through a sequence of motions, you achieve net motion in the forbidden direction. Simple
This leads to the , which differs from the standard Euler-Lagrange equations in a crucial way: the constraint forces do no work under virtual displacements, but real displacements (which must satisfy the constraints) may still lead to energy-conserving but non-integrable motion. This leads to the , which differs from