SafekipediaIn mathematics, an invariant is a special property of a mathematical object that stays the same even when certain operations or transformations are applied to it. This means that no matter how you change or move the object in specific ways, some aspects of it will always remain unchanged. For example, the area of a triangle does not change when you move or rotate the triangle in the Euclidean plane as long as the shape stays the same size and form—this kind of movement is called an isometry.
Invariants are important tools in many areas of mathematics, including geometry, topology, algebra, and discrete mathematics. They help mathematicians understand and classify different objects by focusing on what stays constant. For instance, conformal maps are special transformations that keep angles the same, even if the sizes change.
Finding invariants is a key part of solving many mathematical problems because they provide clues about the underlying structure of the objects being studied. By looking at what does not change, mathematicians can often determine important properties and relationships between different shapes, numbers, and structures.
Examples
A simple example of invariance is our ability to count. For a finite set of objects, there is always a number we reach, no matter the order we count them in. This number, called a cardinal number, stays the same even when we count differently.
An identity is an equation that stays true no matter what values we use for its variables. Some inequalities also stay true even when the values change. For example, the distance between two points on a number line does not change if we add the same number to both points. However, multiplication does not keep distances the same.
Angles and ratios of distances stay the same when we scale, rotate, translate, or reflect shapes. These transformations create similar shapes, which are important in trigonometry. But, angles and ratios do not stay the same if we stretch shapes unevenly. The total angles inside a triangle (always 180°) stay the same after these transformations. All circles are similar because we can change one into another, and the ratio of the circumference to the diameter always stays the same. This ratio is known as π (pi).
The MU puzzle shows how finding an invariant can help solve a problem. The puzzle challenge is to change the word MI into MU by following specific rules. By finding a property that does not change with any rule—like the number of I's not being a multiple of three—we can see that changing MI to MU is impossible. Since MI starts with one I (which is not a multiple of three), we can never reach MU using the given rules.
| Rule | #I's | #U's | Effect on invariant |
|---|---|---|---|
| 1 | +0 | +1 | Number of I's is unchanged. If the invariant held, it still does. |
| 2 | ×2 | ×2 | If n is not a multiple of 3, then 2×n is not either. The invariant still holds. |
| 3 | −3 | +1 | If n is not a multiple of 3, n−3 is not either. The invariant still holds. |
| 4 | +0 | −2 | Number of I's is unchanged. If the invariant held, it still does. |
Invariant set
An invariant set is a special group of numbers or points that stay the same even when we apply a certain rule or operation to them. Imagine you have a circle on a piece of paper. If you spin the paper around the center of the circle, the circle itself doesn’t change—it stays the same shape and size. That circle is an invariant set because it remains unchanged after the rotation.
In math, invariant sets are important in many areas. For example, in group theory, certain subgroups are invariant under specific operations. In linear algebra, if we have a special kind of math operation called a linear transformation, there can be lines or spaces that stay unchanged under that operation. These ideas help mathematicians understand how different shapes and numbers behave when we change or move them.
Formal statement
In mathematics, an invariant is a property that stays the same even when you change or move the object in certain ways. For example, the area of a triangle remains the same no matter how you turn or slide the triangle around.
There are three main ways to think about invariants. First, they can be unchanged when a group of actions, like rotations or translations, is applied to an object. For instance, rotating a point around another point leaves that center point unchanged. Second, invariants can be independent of how we describe or break down an object. The Euler characteristic, for example, is the same no matter how we build or describe a shape. Third, invariants can stay the same even when the object changes slightly in a family of objects, such as in algebraic or differential geometry.
Invariants in computer science
In computer science, an invariant is a rule that is always true during a certain part of a computer program. For example, a loop invariant is something that stays true at the start and end of every time a loop runs.
Invariants help programmers make sure their programs work correctly. They are used in making programs faster, planning how programs should work, and checking that programs do what they’re supposed to. Programmers often write these rules right in their code to make them clear. Some types of programming also have special ways to write these rules.
This article is a child-friendly adaptation of the Wikipedia article on Invariant (mathematics), available under CC BY-SA 4.0.
Images from Wikimedia Commons. Tap any image to view credits and license.