InvariantAn invariant is something that does not change under a set of transformations. The property of being an invariant is called invariance.
- Euclidean distance is invariant under orthogonal transformations.
- The cross-ratio is invariant under projective transformations.
- The determinant and the trace of a square matrix are invariant under changes of basis.
- The singular values of a matrix are invariant under orthogonal transformations.
- Acceleration is invariant under the Galilean transformations.
- The speed of light invariant under the transformations of special relativity.
In computer science, optimising compilers and the methodology of Design by contract pay close attention to invariant quantities in computer programs, where the set of transformations involved is the execution of the steps of the computer program.