# Invariant (mathematics)

Jump to navigation
Jump to search

In mathematics, an **invariant** is something that does not change under a set of transformations. The property of being an invariant is **invariance**.

Mathematicians say that a quantity is invariant "under" a transformation; some economists say it is invariant "to" a transformation.

One simple example of invariance is that the distance between two points on a number line is not changed by adding the same quantity to both numbers. On the other hand multiplication does not have this property so distance is not invariant under multiplication. Some more complicated examples:

- The real part and the absolute value of a complex number, under complex conjugation.
- The degree of a polynomial, under linear change of variables.
- The dimension of a topological object, under homeomorphism.
- The number of fixed points of a dynamical system is invariant under many mathematical operations.
- 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.
- Lebesgue measure is invariant under translations.
- The variance of a probability distribution is invariant under translations of the real line; hence the variance of a random variable is unchanged by the addition of a constant to it.
- The fixed points of a transformation are the elements in the domain invariant under the transformation. They may, depending on the application, be called symmetric with respect to that transformation. For example, objects with translational symmetry are invariant under certain translations.
- Symmetry, a form of invariance, may itself be invariant under large groups of (asymmetric) transformations. See the diamond theorem.