In

^{2} MII →^{2} MIIII →^{3} MUI →^{2} MUIUI →^{1} MUIUIU →^{2} MUIUIUUIUIU →^{4} MUIUIIUIU → ...
In light of this, one might wonder whether it is possible to convert MI into MU, using only these four transformation rules. One could spend many hours applying these transformation rules to strings. However, it might be quicker to find a

void MUPuzzle(void)

"Applet: Visual Invariants in Sorting Algorithms"

by William Braynen in 1997 {{DEFAULTSORT:Invariant (Mathematics) Mathematical terminology

mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and their changes (cal ...

, an invariant is a property of a mathematical object
A mathematical object is an abstract concept arising in mathematics.
In the usual language of mathematics, an ''object'' is anything that has been (or could be) formally defined, and with which one may do deductive reasoning and mathematical proofs ...

(or a class
Class or The Class may refer to:
Common uses not otherwise categorized
* Class (biology), a taxonomic rank
* Class (knowledge representation), a collection of individuals or objects
* Class (philosophy), an analytical concept used differently f ...

of mathematical objects) which remains unchanged after operations
Operation or Operations may refer to:
Science and technology
* Surgical operation
Surgery ''cheirourgikē'' (composed of χείρ, "hand", and ἔργον, "work"), via la, chirurgiae, meaning "hand work". is a medical or dental specialty that ...

or transformations
Transformation may refer to:
Science and mathematics
In biology and medicine
* Metamorphosis, the biological process of changing physical form after birth or hatching
* Malignant transformation, the process of cells becoming cancerous
* Transf ...

of a certain type are applied to the objects. The particular class of objects and type of transformations are usually indicated by the context in which the term is used. For example, the area
Area is the quantity
Quantity is a property that can exist as a multitude or magnitude, which illustrate discontinuity and continuity. Quantities can be compared in terms of "more", "less", or "equal", or by assigning a numerical value in ...

of a triangle
A triangle is a polygon
In geometry, a polygon () is a plane (mathematics), plane Shape, figure that is described by a finite number of straight line segments connected to form a closed ''polygonal chain'' (or ''polygonal circuit''). The ...

is an invariant with respect to isometries
In mathematics, an isometry (or congruence (geometry), congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be Bijection, bijective. "We shall find it convenient to use the w ...

of the Euclidean plane
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities an ...

. The phrases "invariant under" and "invariant to" a transformation are both used. More generally, an invariant with respect to an equivalence relation
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

is a property that is constant on each equivalence class
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities an ...

.
Invariants are used in diverse areas of mathematics such as geometry
Geometry (from the grc, γεωμετρία; ' "earth", ' "measurement") is, with , one of the oldest branches of . It is concerned with properties of space that are related with distance, shape, size, and relative position of figures. A mat ...

, topology
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities ...

, algebra
Algebra (from ar, الجبر, lit=reunion of broken parts, bonesetting, translit=al-jabr) is one of the areas of mathematics, broad areas of mathematics, together with number theory, geometry and mathematical analysis, analysis. In its most ge ...

and discrete mathematics
Discrete mathematics is the study of mathematical structures that are fundamentally discrete space, discrete rather than continuous function, continuous. In contrast to real numbers that have the property of varying "smoothly", the objects stud ...

. Some important classes of transformations are defined by an invariant they leave unchanged. For example, conformal map
In mathematics, a conformal map is a function (mathematics), function that locally preserves angles, but not necessarily lengths.
More formally, let U and V be open subsets of \mathbb^n. A function f:U\to V is called conformal (or angle-pres ...

s are defined as transformations of the plane that preserve angle
In Euclidean geometry
Euclidean geometry is a mathematical system attributed to Alexandrian Greek mathematics , Greek mathematician Euclid, which he described in his textbook on geometry: the ''Euclid's Elements, Elements''. Euclid's method ...

s. The discovery of invariants is an important step in the process of classifying mathematical objects.
Examples

A simple example of invariance is expressed in our ability tocount
Count (feminine: countess) is a historical title of nobility
Nobility is a social class normally ranked immediately below Royal family, royalty and found in some societies that have a formal aristocracy (class), aristocracy. Nobility ...

. For a finite set
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

of objects of any kind, there is a number to which we always arrive, regardless of the order
Order, ORDER or Orders may refer to:
* Orderliness
Orderliness is a quality that is characterized by a person’s interest in keeping their surroundings and themselves well organized, and is associated with other qualities such as cleanliness a ...

in which we count the objects in the set. The quantity—a cardinal number
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

—is associated with the set, and is invariant under the process of counting.
An identity
Identity may refer to:
Social sciences
* Identity (social science), personhood or group affiliation in psychology and sociology
Group expression and affiliation
* Cultural identity, a person's self-affiliation (or categorization by others ...

is an equation that remains true for all values of its variables. There are also inequalities
Inequality may refer to:
Economics
* Attention inequality
Attention inequality is a term used to target the inequality of distribution of attention across users on social networks, people in general, and for scientific papers. Yun Family Found ...

that remain true when the values of their variables change.
The distance
Distance is a numerical measurement
Measurement is the quantification (science), quantification of variable and attribute (research), attributes of an object or event, which can be used to compare with other objects or events. The scope and ...

between two points on a number line
In elementary mathematics
300px, Both groups are equal to 5. Apples are frequently used to explain arithmetic in textbooks for children.
Elementary mathematics consists of mathematics
Mathematics (from Ancient Greek, Greek: ) include ...

is not changed by the same quantity to both numbers. On the other hand, multiplication
Multiplication (often denoted by the cross symbol , by the mid-line dot operator , by juxtaposition, or, on computers, by an asterisk ) is one of the four Elementary arithmetic, elementary Operation (mathematics), mathematical operations ...

does not have this same property, as distance is not invariant under multiplication.
Angle
In Euclidean geometry
Euclidean geometry is a mathematical system attributed to Alexandrian Greek mathematics , Greek mathematician Euclid, which he described in his textbook on geometry: the ''Euclid's Elements, Elements''. Euclid's method ...

s and ratio
In mathematics, a ratio indicates how many times one number contains another. For example, if there are eight oranges and six lemons in a bowl of fruit, then the ratio of oranges to lemons is eight to six (that is, 8∶6, which is equivalent to ...

s of distances are invariant under scalings, rotation
A rotation is a circular movement of an object around a center (or point) of rotation. The plane (geometry), geometric plane along which the rotation occurs is called the ''rotation plane'', and the imaginary line extending from the center an ...

s, translation
Translation is the communication of the meaning
Meaning most commonly refers to:
* Meaning (linguistics), meaning which is communicated through the use of language
* Meaning (philosophy), definition, elements, and types of meaning discusse ...

s and reflection Reflection or reflexion may refer to:
Science and technology
* Reflection (physics), a common wave phenomenon
** Specular reflection, reflection from a smooth surface
*** Mirror image, a reflection in a mirror or in water
** Signal reflection, in s ...

s. These transformations produce similar shapes, which is the basis of trigonometry
Trigonometry (from Greek#REDIRECT Greek
Greek may refer to:
Greece
Anything of, from, or related to Greece
Greece ( el, Ελλάδα, , ), officially the Hellenic Republic, is a country located in Southeast Europe. Its population is ...

. In contrast, angles and ratios are not invariant under non-uniform scaling (such as stretching). The sum of a triangle's interior angles (180°) is invariant under all the above operations. As another example, all circle
A circle is a shape
A shape or figure is the form of an object or its external boundary, outline, or external surface
File:Water droplet lying on a damask.jpg, Water droplet lying on a damask. Surface tension is high enough to preven ...

s are similar: they can be transformed into each other and the ratio of the circumference
In geometry
Geometry (from the grc, γεωμετρία; ' "earth", ' "measurement") is, with , one of the oldest branches of . It is concerned with properties of space that are related with distance, shape, size, and relative position ...

to the diameter
In geometry
Geometry (from the grc, γεωμετρία; ' "earth", ' "measurement") is, with , one of the oldest branches of . It is concerned with properties of space that are related with distance, shape, size, and relative position ...

is invariant (denoted by the Greek letter π ()).
Some more complicated examples:
* The real part
In mathematics, a complex number is a number that can be expressed in the form , where and are real numbers, and is a symbol (mathematics), symbol called the imaginary unit, and satisfying the equation . Because no "real" number satisfies this ...

and the absolute value
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities an ...

of a complex number
In mathematics, a complex number is an element of a number system that contains the real numbers and a specific element denoted , called the imaginary unit, and satisfying the equation . Moreover, every complex number can be expressed in the for ...

are invariant under complex conjugation
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

.
* The degree
Degree may refer to:
As a unit of measurement
* Degree (angle)
Image:Degree diagram.svg, One degree (shown in red) andeighty nine degrees (shown in blue)
A degree (in full, a degree of arc, arc degree, or arcdegree), usually denoted by ° ( ...

of a polynomial
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). I ...

is invariant under a linear change of variables.
* The dimension
In physics
Physics is the that studies , its , its and behavior through , and the related entities of and . "Physical science is that department of knowledge which relates to the order of nature, or, in other words, to the regular s ...

and homology group
In mathematics, homology is a general way of associating a sequence of algebraic objects, such as abelian groups or module (mathematics), modules, with other mathematical objects such as topological spaces. Homology groups were originally define ...

s of a topological object are invariant under homeomorphism
In the mathematical
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantiti ...

.
* The number of fixed points of a dynamical system
In mathematics, a dynamical system is a system in which a Function (mathematics), function describes the time dependence of a Point (geometry), point in a Manifold, geometrical space. Examples include the mathematical models that describe the ...

is invariant under many mathematical operations.
* Euclidean distance is invariant under orthogonal transformation In linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as:
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as:
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and t ...

s.
* Euclidean area is invariant under linear map
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

s which have determinant
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

(see ).
* Some invariants of projective transformation
In projective geometry
In mathematics, projective geometry is the study of geometric properties that are invariant with respect to projective transformations. This means that, compared to elementary Euclidean geometry, projective geometry has a ...

s include collinearity
In geometry
Geometry (from the grc, γεωμετρία; ' "earth", ' "measurement") is, with , one of the oldest branches of . It is concerned with properties of space that are related with distance, shape, size, and relative position of ...

of three or more points, concurrency
Concurrency, concurrent, or concurrence may refer to:
* Concurrence, in jurisprudence, the need to prove both ''actus reus'' and ''mens rea''
* Concurring opinion (also called a "concurrence"), a legal opinion which supports the conclusion, though ...

of three or more lines, conic section
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). ...

s, the cross-ratio
In geometry, the cross-ratio, also called the double ratio and anharmonic ratio, is a number associated with a list of four collinear points, particularly points on a projective line. Given four points ''A'', ''B'', ''C'' and ''D'' on a line, the ...

.
* The determinant
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

, trace
Trace may refer to:
Arts and entertainment Music
* ''Trace'' (Son Volt album), 1995
* Trace (Died Pretty album), ''Trace'' (Died Pretty album), 1993
* Trace (band), a Dutch progressive rock band
* The Trace (album), ''The Trace'' (album)
Other ...

, and eigenvectors
In linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as:
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as:
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces ...

and eigenvalues
In linear algebra, an eigenvector () or characteristic vector of a Linear map, linear transformation is a nonzero Vector space, vector that changes at most by a Scalar (mathematics), scalar factor when that linear transformation is applied to it ...

of a square matrix
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

are invariant under . In other words, the spectrum of a matrix In mathematics, the spectrum of a matrix is the Set (mathematics), set of its eigenvalues. More generally, if T\colon V\to V is a linear operator over any finite-dimensional vector space, its spectrum is the set of scalars \lambda such that T-\lamb ...

is invariant to the change of basis.
* The principal invariants of tensors
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

do not change with rotation of the coordinate system (see Invariants of tensors In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and the ...

).
* The singular valuesIn mathematics, in particular functional analysis, the singular values, or ''s''-numbers of a compact operator acting between Hilbert spaces ''X'' and ''Y'', are the square roots of non-negative eigenvalues of the self-adjoint operator (where ''T'' ...

of a matrix
Matrix or MATRIX may refer to:
Science and mathematics
* Matrix (mathematics), a rectangular array of numbers, symbols, or expressions
* Matrix (logic), part of a formula in prenex normal form
* Matrix (biology), the material in between a eukaryot ...

are invariant under orthogonal transformations.
* Lebesgue measure In Measure (mathematics), measure theory, a branch of mathematics, the Lebesgue measure, named after france, French mathematician Henri Lebesgue, is the standard way of assigning a measure (mathematics), measure to subsets of ''n''-dimensional Eucli ...

is invariant under translations.
* The variance
In probability theory
Probability theory is the branch of mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces ...

of a probability distribution
In probability theory
Probability theory is the branch of mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces ...

is invariant under translations of the real line
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities an ...

; hence the variance of a random variable
A random variable is a variable whose values depend on outcomes of a random
In common parlance, randomness is the apparent or actual lack of pattern or predictability in events. A random sequence of events, symbols or steps often has no ...

is unchanged after the addition of a constant.
* The fixed points of a transformation are the elements in the domain
Domain may refer to:
Mathematics
*Domain of a function
In mathematics, the domain of a Function (mathematics), function is the Set (mathematics), set of inputs accepted by the function. It is sometimes denoted by \operatorname(f), where is th ...

that are invariant under the transformation. They may, depending on the application, be called symmetric
Symmetry (from Greek συμμετρία ''symmetria'' "agreement in dimensions, due proportion, arrangement") in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, "symmetry" has a more pre ...

with respect to that transformation. For example, objects with translational symmetry
In geometry
Geometry (from the grc, γεωμετρία; ' "earth", ' "measurement") is, with , one of the oldest branches of . It is concerned with properties of space that are related with distance, shape, size, and relative position of ...

are invariant under certain translations.
*The integral $\backslash int\_M\; K\backslash ,d\backslash mu$ of the Gaussian curvature $K$ of a 2-dimensional Riemannian manifold
In differential geometry
Differential geometry is a Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds, using the techniques of differential calculus, integr ...

$(M,g)$ is invariant under changes of the Riemannian metric
In differential geometry
Differential geometry is a Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds, using the techniques of differential calculus, integr ...

''$g$''. This is the Gauss–Bonnet theorem
The Gauss–Bonnet theorem, or Gauss–Bonnet formula, is a relationship between Surface (topology), surfaces in differential geometry. It connects the curvature of a surface (from geometry) to its Euler characteristic (from topology).
In the s ...

.
* Differential invariantIn mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ha ...

s for differential equations
In mathematics, a differential equation is an equation
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), ...

MU puzzle

The MU puzzle is a good example of a logical problem where determining an invariant is of use for an impossibility proof. The puzzle asks one to start with the word MI and transform it into the word MU, using in each step one of the following transformation rules: # If a string ends with an I, a U may be appended (''x''I → ''x''IU) # The string after the M may be completely duplicated (M''x'' → M''xx'') # Any three consecutive I's (III) may be replaced with a single U (''x''III''y'' → ''x''U''y'') # Any two consecutive U's may be removed (''x''UU''y'' → ''xy'') An example derivation (with superscripts indicating the applied rules) is :MI →property
Property is a system of rights that gives people legal control of valuable things, and also refers to the valuable things themselves. Depending on the nature of the property, an owner of property may have the right to consume, alter, share, r ...

that is invariant to all rules (i.e. that isn't changed by any of them), and demonstrates that getting to MU is impossible. By looking at the puzzle from a logical standpoint, one might realize that the only way to get rid of any I's is to have three consecutive I's in the string. This makes the following invariant interesting to consider:
:''The number of I's in the string is not a multiple of 3''.
This is an invariant to the problem, if for each of the transformation rules the following holds: if the invariant held before applying the rule, it will also hold after applying it. Looking at the net effect of applying the rules on the number of I's and U's, one can see this actually is the case for all rules:
:
The table above shows clearly that the invariant holds for each of the possible transformation rules, which means that whichever rule one picks, at whatever state, if the number of I's was not a multiple of three before applying the rule, then it won't be afterwards either.
Given that there is a single I in the starting string MI, and one that is not a multiple of three, one can then conclude that it is impossible to go from MI to MU (as the number of I's will never be a multiple of three).
Invariant set

Asubset
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

''S'' of the domain ''U'' of a mapping ''T'': ''U'' → ''U'' is an invariant set under the mapping when $x\; \backslash in\; S\; \backslash implies\; T(x)\; \backslash in\; S.$ Note that the elements of ''S'' are not fixed
Fixed may refer to:
* Fixed (EP), ''Fixed'' (EP), EP by Nine Inch Nails
* ''Fixed'', an upcoming 3D adult animated film directed by Genndy Tartakovsky
* Fixed (typeface), a collection of monospace bitmap fonts that is distributed with the X Window ...

, even though the set ''S'' is fixed in the power set
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities an ...

of ''U''. (Some authors use the terminology ''setwise invariant,'' vs. ''pointwise invariant,'' to distinguish between these cases.)
For example, a circle is an invariant subset of the plane under a rotation
A rotation is a circular movement of an object around a center (or point) of rotation. The plane (geometry), geometric plane along which the rotation occurs is called the ''rotation plane'', and the imaginary line extending from the center an ...

about the circle's center. Further, a conical surface
In geometry
Geometry (from the grc, γεωμετρία; ' "earth", ' "measurement") is, with , one of the oldest branches of . It is concerned with properties of space that are related with distance, shape, size, and relative position of ...

is invariant as a set under a homothety
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

of space.
An invariant set of an operation ''T'' is also said to be stable under ''T''. For example, the normal subgroup
In abstract algebra
In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematics), ...

s that are so important in group theory
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no ...

are those subgroup
In group theory
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ...

s that are stable under the inner automorphism
In abstract algebra
In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematics), ...

s of the ambient group
A group is a number
A number is a mathematical object used to counting, count, measurement, measure, and nominal number, label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with ...

.
In linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as:
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as:
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and through matrix (mat ...

, if a linear transformation
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

''T'' has an eigenvector
In linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as:
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as:
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces an ...

v, then the line through 0 and v is an invariant set under ''T'', in which case the eigenvectors span an invariant subspace In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and the ...

which is stable under ''T''.
When ''T'' is a screw displacement
A screw axis (helical axis or twist axis) is a line that is simultaneously the axis of rotation and the line along which translation (geometry), translation of a body occurs. Chasles' theorem (kinematics), Chasles' theorem shows that each Euclidea ...

, the screw axis
A screw axis (helical axis or twist axis) is a line that is simultaneously the axis of rotation
A rotation is a circular movement of an object around a center (or point) of rotation. The plane (geometry), geometric plane along which the rot ...

is an invariant line, though if the pitch
Pitch may refer to:
Acoustic frequency
* Pitch (music), the perceived frequency of sound including "definite pitch" and "indefinite pitch"
** Absolute pitch or "perfect pitch"
** Pitch class, a set of all pitches that are a whole number of octave ...

is non-zero, ''T'' has no fixed points.
Formal statement

The notion of invariance is formalized in three different ways in mathematics: viagroup action
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities an ...

s, presentations, and deformation.
Unchanged under group action

Firstly, if one has agroup
A group is a number
A number is a mathematical object used to counting, count, measurement, measure, and nominal number, label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with ...

''G'' acting
Acting is an activity in which a story is told by means of its Enactment (psychology), enactment by an actor or actress who adopts a Character (arts), character—in theatre, television, film, radio, or any other medium that makes use of the ...

on a mathematical object (or set of objects) ''X,'' then one may ask which points ''x'' are unchanged, "invariant" under the group action, or under an element ''g'' of the group.
Frequently one will have a group acting on a set ''X'', which leaves one to determine which objects in an ''associated'' set ''F''(''X'') are invariant. For example, rotation in the plane about a point leaves the point about which it rotates invariant, while translation in the plane does not leave any points invariant, but does leave all lines parallel to the direction of translation invariant as lines. Formally, define the set of lines in the plane ''P'' as ''L''(''P''); then a rigid motion
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

of the plane takes lines to lines – the group of rigid motions acts on the set of lines – and one may ask which lines are unchanged by an action.
More importantly, one may define a ''function'' on a set, such as "radius of a circle in the plane", and then ask if this function is invariant under a group action, such as rigid motions.
Dual to the notion of invariants are ''coinvariant
In mathematics, a group action on a space (mathematics), space is a group homomorphism of a given group (mathematics), group into the group of transformation (geometry), transformations of the space. Similarly, a group action on a mathematical ...

s,'' also known as ''orbits,'' which formalizes the notion of congruence relation, congruence: objects which can be taken to each other by a group action. For example, under the group of rigid motions of the plane, the perimeter of a triangle is an invariant, while the set of triangles congruent to a given triangle is a coinvariant.
These are connected as follows: invariants are constant on coinvariants (for example, congruent triangles have the same perimeter), while two objects which agree in the value of one invariant may or may not be congruent (for example, two triangles with the same perimeter need not be congruent). In classification problem (mathematics), classification problems, one might seek to find a complete set of invariants, such that if two objects have the same values for this set of invariants, then they are congruent.
For example, triangles such that all three sides are equal are congruent under rigid motions, via Congruence (geometry)#Congruence of triangles, SSS congruence, and thus the lengths of all three sides form a complete set of invariants for triangles. The three angle measures of a triangle are also invariant under rigid motions, but do not form a complete set as incongruent triangles can share the same angle measures. However, if one allows scaling in addition to rigid motions, then the Similarity (geometry)#Similar triangles, AAA similarity criterion shows that this is a complete set of invariants.
Independent of presentation

Secondly, a function may be defined in terms of some presentation or decomposition of a mathematical object; for instance, the Euler characteristic of a cell complex is defined as the alternating sum of the number of cells in each dimension. One may forget the cell complex structure and look only at the underlying topological space (the manifold) – as different cell complexes give the same underlying manifold, one may ask if the function is ''independent'' of choice of ''presentation,'' in which case it is an ''intrinsically'' defined invariant. This is the case for the Euler characteristic, and a general method for defining and computing invariants is to define them for a given presentation, and then show that they are independent of the choice of presentation. Note that there is no notion of a group action in this sense. The most common examples are: * The Differentiable manifold#Definition, presentation of a manifold in terms of coordinate charts – invariants must be unchanged under change of coordinates. * Various manifold decompositions, as discussed for Euler characteristic. * Invariants of a presentation of a group.Unchanged under perturbation

Thirdly, if one is studying an object which varies in a family, as is common in algebraic geometry and differential geometry, one may ask if the property is unchanged under perturbation (for example, if an object is constant on families or invariant under change of metric).Invariants in computer science

In computer science, one can encounter invariants that can be relied upon to be true during the execution of a program, or during some portion of it. It is a logical assertion that is always held to be true during a certain phase of execution. For example, a loop invariant is a condition that is true at the beginning and the end of every execution of a loop. Invariants are especially useful when reasoning about whether a computer program is correct. The theory of optimizing compilers, the methodology of design by contract, and formal methods for determining program correctness, all rely heavily on invariants. Programmers often use Assertion (computing), assertions in their code to make invariants explicit. Some object oriented programming languages have a special syntax for specifying class invariants.Automatic invariant detection in imperative programs

Abstract interpretation tools can compute simple invariants of given imperative computer programs. The kind of properties that can be found depend on the Abstract interpretation#Examples of abstract domains, abstract domains used. Typical example properties are single integer variable ranges like`0<=x<1024`

, relations between several variables like `0<=i-j<2*n-1`

, and modulus information like `y%40`

. Academic research prototypes also consider simple properties of pointer structures.
More sophisticated invariants generally have to be provided manually.
In particular, when verifying an imperative program using Hoare logic, the Hoare calculus, a loop invariant has to be provided manually for each loop in the program, which is one of the reasons that this approach is generally impractical for most programs.
In the context of the above MU puzzle example, there is currently no general automated tool that can detect that a derivation from MI to MU is impossible using only the rules 1–4. However, once the abstraction from the string to the number of its "I"s has been made by hand, leading, for example, to the following C program, an abstract interpretation tool will be able to detect that `ICount%3`

can't be 0, and hence the "while"-loop will never terminate.
See also

* Erlangen program * Invariant (physics) * Invariant estimator in statistics * Invariant theory *Invariants of tensors In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and the ...

* Symmetry in mathematics
* Topological invariant
* Invariant differential operator
* Invariant measure
* Mathematical constant
* Mathematical constants and functions
Notes

References

* * * * * J.D. Fokker, Hans Zantema, H. Zantema, S.D. Swierstra (1991). "Iteratie en invariatie", Programmeren en Correctheid. Academic Service. . * *External links

"Applet: Visual Invariants in Sorting Algorithms"

by William Braynen in 1997 {{DEFAULTSORT:Invariant (Mathematics) Mathematical terminology