A formal result that associates each continuous differentiable symmetry of an action functional in a variational physical system with a corresponding conserved quantity.

Principle

If an action is invariant under a continuous differentiable family of transformations, then there exists a conserved current or charge generated by that symmetry.

Demonstration

In a Lagrangian system whose Lagrangian does not depend explicitly on time, invariance under time translations yields a conserved quantity identified as the system's energy.

Misapplication

Applying the theorem to systems without a variational action, to discrete (noncontinuous) symmetries without modification, or ignoring required boundary conditions leads to incorrect conservation claims.

Consequence

Correct use yields explicit conserved quantities that reduce effective degrees of freedom and constrain long-term dynamics.

Reversal

Breaking a continuous symmetry (for example by making the Lagrangian time-dependent) removes the associated conservation law, so the formerly conserved charge need not be preserved.

Boundary

Applies to systems with a differentiable action functional and appropriate boundary conditions; it excludes non-variational dynamics, purely discrete symmetries unless treated by discrete analogs, and singular field configurations violating differentiability.

Semantic Tension

Differs from the informal statement 'symmetry implies invariance of equations': Noether's theorem links symmetry of the action (not just the equations of motion) to a conserved quantity, a stronger and more structural connection.

Synthesis

Noether's theorem precisely converts continuous variational symmetries into conserved currents, providing a systematic method to derive invariants that simplify and constrain physical dynamics.