- Invariant (mathematics)
In mathematics, an invariant is a property of a class of mathematical objects that remains unchanged when transformations 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 of a triangle is an invariant with respect to isometries of the Euclidean plane. The phrases "invariant under" and "invariant to" a transformation are both used. More generally, an invariant with respect to an equivalence relation is a property that is constant on each equivalence class.
Invariants are used in diverse areas of mathematics such as geometry, topology and algebra. Some important classes of transformations are defined by an invariant they leave unchanged, for example conformal maps are defined as transformations of the plane that preserve angles. The discovery of invariants is an important step in the process of classifying mathematical objects.
The most fundamental example of invariance is expressed in our ability to count. For a finite collection of objects of any kind, there appears to be a number to which we invariably arrive regardless of how we count the objects in the set. The quantity – a cardinal number – is associated with the set and is invariant under the process of counting.
Another 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.
Angles and ratios of distances are invariant under scalings, rotations, translations and reflections. These transformations produce similar shapes, which is the basis of trigonometry. All circles are similar therefore they can be transformed into each other and the ratio of the circumference to the diameter is invariant and equal to pi.
More advanced examples
Some more complicated examples:
- The real part and the absolute value of a complex number are invariant under complex conjugation.
- The degree of a polynomial is invariant under linear change of variables.
- The dimension of a topological object is invariant under homeomorphism.
- The number of fixed points of a dynamical system is invariant under many mathematical operations.
- Euclidean distance is invariant under orthogonal transformations.
- Euclidean area is invariant under a linear map with determinant 1 (see Equi-areal maps).
- The cross-ratio is invariant under projective transformations.
- The determinant, trace, and eigenvectors and eigenvalues of a square matrix are invariant under changes of basis, in a word, the spectra of a matrix is invariant to the change of basis.
- Invariants of tensors.
- 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.
- The integral of the Gaussian curvature K of a 2-dimensional Riemannian manifold (M,g) is invariant under changes of the Riemannian metric g. This is the Gauss-Bonnet Theorem.
A subset S of the domain U of a mapping T is an invariant set under the mapping when Note that the elements of S are not fixed, but rather the set S is fixed in the power set of U. For example, a circle is an invariant subset of the plane under a rotation about the circle’s center. Further, a conical surface is invariant as a set under a homothety of space.
An invariant set of an operation T is also said to be stable under T. For example, the normal subgroups that are so important in group theory are those subgroups that are stable under the inner automorphisms of the ambient group.
The notion of invariance is formalized in three different ways in mathematics: via group actions, presentations, and deformation.
Unchanged under group action
Firstly, if one has a group G acting on a mathematical object (or set of objects) X, then one may ask for which points x are unchanged, "invariant" under the group action, or under an element g of the group.
Very frequently one will have a group acting on a set X and ask for what objects in an associated set F(X) are invariant. For example, rotation in the plane about a point leaves the point that it is rotating about 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 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 coinvariants, also known as orbits, which formalizes the notion of 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 (two triangles with the same perimeter need not be congruent). In classification problems, one seeks to find a complete set of invariants, such that if two objects have the same values for this set of invariants, they are congruent. For example, triangles such that all three sides are equal are congruent, via SSS congruence, and thus the length of all three sides forms a complete set of invariants for triangles.
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 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 – if an object is constant on families or invariant under change of metric, for instance.
- Erlangen program
- Invariant in physics
- Invariant estimator in statistics
- Invariant theory
- Symmetry in mathematics
- Topological invariant
- Invariant differential operator
- Invariant measure
- Invariant subspace
- Mathematical constant
Wikimedia Foundation. 2010.
Look at other dictionaries:
Invariant theory — is a branch of abstract algebra that studies actions of groups on algebraic varieties from the point of view of their effect on functions. Classically, the theory dealt with the question of explicit description of polynomial functions that do not … Wikipedia
Invariant — may have several meanings, among which are:* Invariant (computer science), an expression whose value doesn t change during program execution * In computer science, a type in overriding that is neither covariant nor contravariant * Invariant… … Wikipedia
Invariant factorization of LPDOs — IntroductionFactorization of linear ordinary differential operators (LODOs) is known to be unique and in general, it finally reduces to the solution of a Riccati equation [http://en.wikipedia.org/wiki/Riccati equation] , i.e. factorization of… … Wikipedia
Invariant differential operators — appear often in mathematics and theoretical physics. There is no universal definition for them and the meaning of invariance may depend on the context. Usually, an invariant differential operator D is a map from some mathematical objects… … Wikipedia
invariant — ► ADJECTIVE ▪ never changing. ► NOUN Mathematics ▪ a function which remains unchanged when a specified transformation is applied. DERIVATIVES invariance noun … English terms dictionary
Mathematics of general relativity — For a generally accessible and less technical introduction to the topic, see Introduction to mathematics of general relativity. General relativity Introduction Mathematical formulation Resources … Wikipedia
Invariant subspace — In mathematics, an invariant subspace of a linear mapping : T : V rarr; V from some vector space V to itself is a subspace W of V such that T ( W ) is contained in W . An invariant subspace of T is also said to be T invariant.If W is T invariant … Wikipedia
Invariant subspace problem — In the field of mathematics known as functional analysis, one of the most prominent open problems is the invariant subspace problem, sometimes optimistically known as the invariant subspace conjecture. It is the question whether the following… … Wikipedia
Invariant measure — In mathematics, an invariant measure is a measure that is preserved by some function. Invariant measures are of great interest in the study of dynamical systems. The Krylov Bogolyubov theorem proves the existence of invariant measures under… … Wikipedia
Invariant (physics) — In mathematics and theoretical physics, an invariant is a property of a system which remains unchanged under some transformation.The gravitational field of the Sun is invariant under a change of time (from, say, now to tomorrow). It is also… … Wikipedia