Invariants


Also found in: Dictionary, Thesaurus, Legal.

Invariants

 

numbers, algebraic expressions, and so forth related to some mathematical object and remaining unchanged under certain transformations of the object or of the frame of reference in which the object is described. In order to characterize a geometric figure and its position in terms of numbers, it is usually necessary to introduce some auxiliary frame of reference or coordinate system. The numbers x1, x2, …, xn obtained in such a system characterize not only the geometric figure under study but also its relation to the coordinate system, and when this system changes, the numbers x1, x2, …, xn are replaced by some other numbers x1, x2, . . . xn. Therefore, if the value of some expression f (x1, x2, …, xn) is characteristic of the figure itself, it should not depend on the coordinate system, that is, the following relation must hold:

f(x1, x2, …, xn) = f(x1, x2, …, xn)

All expressions that satisfy relation (1) are called invariants. For example, the position of a segment M1M2 in a plane is defined in a rectangular coordinate system by two pairs of numbers x1, y2 and x2, y2—the coordinates of its end points M1 and M2. If we transform the coordinate system (by translating and rotating its axes), then the points M1 and M2 obtain different coordinates x1, y1 and x2, y2, but (x1 - x2)2 + (y1 - y2)2 = (x1 - x2)2 + (y1 - y2)2. Therefore, the expression (x1 - x2)2 + (y1 - y2)2 is an invariant of each transformation of rectangular coordinates. The geometric meaning of this invariant is clear: it is the square of the length of the segment M1M2.

A second-order curve in a rectangular coordinate system is given by a second-degree equation

(2) ax2 + 2bxy + cy2 + 2dx + 2ey + f = 0

whose coefficients may be viewed as numbers that define the curve. Upon transition to another system of rectangular coordinates, these coefficients change, but the expression I = (acb2)/(a + c)2 retains its value and consequently is an invariant of the curve (2). A similar but more general problem arises in the study of curves and surfaces of higher orders.

The concept of an invariant was used already by the German mathematician L. O. Hesse (1844), but the theory of invariants was developed systematically by the British mathematician J. Sylvester (1851–52), who proposed the term “invariant.” During the second half of the 19th century the theory of invariants was one of the mathematical theories most frequently worked on. In the course of development of this classical theory of invariants, the main efforts of investigators gradually came to be concentrated around the solution of certain “fundamental” problems, the best known of which was stated in the following manner. Consider invariants of a system of forms that are rational integral functions of the coefficients of these forms. Prove that there exists a finite basis for the invariants of each finite system of such forms, that is, a finite system of rational integral numbers in terms of which every other rational integral invariant may be expressed in the form of a rational integral function. The proof for projective invariants was given at the end of the 19th century by the German mathematician D. Hilbert.

An extremely fruitful approach to the concept of invariants results if the n-tuples x1, x2, …, xn and x1, x2, …, xn are considered not as coordinates of a single point with respect to different coordinate systems but rather as the coordinates of different points in the same coordinate system obtained from one another by a motion. The motions of space form a group. Invariants of coordinate transformations are also invariants of the group of motions. Direct generalization leads to the concept of the invariants of any group of transformations. The theory of such invariants is closely related to group theory, especially the theory of group representations.

The concept of the invariants of a group of transformations underlies the well-known systematization of the geometric disciplines according to the groups of transformations whose invariants are studied in these disciplines. For example, the invariants of the group of orthogonal transformations are studied in ordinary Euclidean geometry, the invariants of affine transformations in affine geometry, and the invariants of projective transformations in projective geometry. All one-to-one bicon-tinuous mappings constitute an extremely general group of transformations. The study of the invariants of these so-called topological mappings is the subject of topology. In differential geometry differential invariants are of fundamental importance. Their study led to the creation of the tensor calculus.

In the 20th century the theory of relativity, in which the invariance of physical laws with respect to a certain group of motions is a leading principle, has had a profound influence on the development of the theory of invariants, in particular on the development of the tensor calculus.

REFERENCES

Pogorelov, A. V. Analiticheskaia geometriia, 3rd ed. Moscow, 1968.
Shirokov, P. A. Tenzornyi analiz, part 1. Moscow-Leningrad,
1934. Gurevich, G. B. Osnovy teorii algebraicheskikh invariantov. Moscow-Leningrad, 1948.
Weyl, H. Klassicheskie gruppy, ikh invarianty i predstavleniia. Moscow, 1947. (Translated from English.)
References in periodicals archive ?
In the next section, we prove that the switching system (1) has an invariant conic [x.sup.2] + [cy.sup.2] = 1, c [member of] R, and there exists a large limit cycle in switching system (1); half attracting invariant conic [x.sup.2] + [cy.sup.2] = 1, c [member of] R, is found in switching systems.
In Section 2 we present the Schwarzian derivative {z, x} and the invariant I(z) of the differential equation [u.sub.zz] + f(z)[u.sub.z] + g(z)u = 0 through acting the similarity transformation [psi](z) = [phi](z)u(z) on the Schrodinger equation.
Reidemeister torsions and twisted Alexander invariants. Following [9] and [13], we review some definitions and conventions in this section.
The five images of each subset (each row) for one person are shown in Figure 4, and their illumination invariants are extracted by GF method.
The realizations given in [8] are used to obtain the differential invariants and their corresponding invariant representation for the system of three 2nd-order ordinary differential equations.
In this section we study and characterize the properties of fully invariant and large submodules of QTAG-modules.
Based on the unified projection model (Geyer, 2003), specific invariant features are selected through virtual unitary spherical projection.
The profiles are used to extract invariants in the next phase.
The quantities P, Q, and R appearing in (1) are the first, second, and third invariants of A, respectively, and the first invariant P reflects the compressibility of a fluid element; that is, P > 0 signifies fluid element compression, P < 0 signifies fluid element expansion, and P = 0 indicates that fluid element is incompressible [4, 5].
However, the FAST detector is not scale invariant. The FREAK descriptor suffers from large quantities of data storage.
David Hilbert (1862-1943) did his first mathematical work in classical Invariant Theory, a major area of research in the second part of the 19th century.
Since invariants repeat the properties and relations of program variables, invariants can express the behavior of a program.