Namespaces
Variants
Actions

Difference between revisions of "Invariant"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (fixing superscripts)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
A mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i0522001.png" /> of a given collection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i0522002.png" /> of mathematical objects endowed with a fixed equivalence relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i0522003.png" />, into another collection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i0522004.png" /> of mathematical objects, that is constant on the equivalence classes of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i0522005.png" /> with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i0522006.png" /> (more precisely, that is an invariant of the equivalence relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i0522007.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i0522008.png" />). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i0522009.png" /> is an object in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220010.png" />, then one often says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220011.png" /> is an invariant of the object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220012.png" />. The concept of an invariant is one of the most important in mathematics, since the study of invariants is directly related to problems of classification of objects of some type or other. Essentially, the aim of every mathematical classification is to construct some complete system of invariants (if possible, one as simple as possible), that is, a system that distinguishes any two inequivalent objects of the collection under consideration.
+
<!--
 +
i0522001.png
 +
$#A+1 = 62 n = 0
 +
$#C+1 = 62 : ~/encyclopedia/old_files/data/I052/I.0502200 Invariant
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
The simplest examples of invariants are the invariants of the real plane second-order curves (cf. [[Second-order curve|Second-order curve]]). Thus, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220013.png" /> be the set of all such non-splitting curves and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220014.png" /> be the equivalence relation on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220015.png" /> given by the rule: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220016.png" /> is equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220017.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220018.png" /> is obtained from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220019.png" /> by a motion (that is, an isometry, cf. [[Isometric mapping|Isometric mapping]]) of the plane. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220020.png" /> is the equation of the curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220021.png" /> in a Cartesian coordinate system, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220022.png" />,
+
{{TEX|auto}}
 +
{{TEX|done}}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220023.png" /></td> </tr></table>
+
A mapping  $  \phi $
 +
of a given collection  $  M $
 +
of mathematical objects endowed with a fixed equivalence relation  $  \rho $,
 +
into another collection  $  N $
 +
of mathematical objects, that is constant on the equivalence classes of  $  M $
 +
with respect to  $  \rho $ (more precisely, that is an invariant of the equivalence relation  $  \rho $
 +
on  $  M $).  
 +
If  $  X $
 +
is an object in  $  M $,
 +
then one often says that  $  \phi ( M) $
 +
is an invariant of the object  $  X $.  
 +
The concept of an invariant is one of the most important in mathematics, since the study of invariants is directly related to problems of classification of objects of some type or other. Essentially, the aim of every mathematical classification is to construct some complete system of invariants (if possible, one as simple as possible), that is, a system that distinguishes any two inequivalent objects of the collection under consideration.
  
Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220024.png" /> and the numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220025.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220026.png" /> do not depend on the choice of the coordinate system (even though the equation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220027.png" /> itself does depend on it). If two curves <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220028.png" /> are equivalent, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220029.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220030.png" />. In other words, the mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220031.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220032.png" /> from the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220033.png" /> into the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220034.png" /> of all real numbers are invariants of the equivalence relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220035.png" />; these mappings are also called invariants of real plane second-order non-splitting curves. The values of these invariants on a specific curve enable one to determine the type of this curve (ellipse, hyperbola, parabola).
+
The simplest examples of invariants are the invariants of the real plane second-order curves (cf. [[Second-order curve|Second-order curve]]). Thus, let  $  M $
 +
be the set of all such non-splitting curves and let  $  \rho $
 +
be the equivalence relation on  $  M $
 +
given by the rule: $  \Gamma \in M $
 +
is equivalent to  $  \Gamma _ {1} \in M $
 +
if and only if  $  \Gamma _ {1} $
 +
is obtained from  $  \Gamma $
 +
by a motion (that is, an isometry, cf. [[Isometric mapping|Isometric mapping]]) of the plane. If  $  A x  ^ {2} + 2 B x y + C y  ^ {2} + 2 D x + 2 E y + F = 0 $
 +
is the equation of the curve $  \Gamma \in M $
 +
in a Cartesian coordinate system, let  $  \sigma ( \Gamma ) = A + C $,
  
Another classical example is the [[Cross ratio|cross ratio]] of an ordered set of four points lying on a real projective line. The cross ratio does not change if these points undergo a projective transformation of the line. In this example: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220036.png" /> is the set of ordered quadruples of points of a real projective line; the equivalence relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220037.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220038.png" /> is defined by the rule: two sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220039.png" /> are equivalent if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220040.png" /> is taken into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220041.png" /> by a projective transformation of the line; and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220042.png" /> is the set of real numbers completed by infinity. Taking the cross ratio defines a mapping from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220043.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220044.png" /> that is an invariant of the relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220045.png" />; it is in this sense that one says that the cross ratio is an invariant of four points (with respect to the projective group).
+
$$
 +
\delta ( \Gamma )  = \
 +
\left |  
 +
\begin{array}{cc}
 +
A  & B  \\
 +
B  & C  \\
 +
\end{array}
 +
\right | \ \
 +
\textrm{ and } \ \
 +
\Delta ( \Gamma ) = \
 +
\left |
 +
\begin{array}{ccc}
 +
A  & B  & D  \\
 +
B  & C  & E  \\
 +
D  & E  & F  \\
 +
\end{array}
 +
\right | .
 +
$$
  
Associating to a [[Quadratic form|quadratic form]] in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220046.png" /> variables its rank also gives an example of an invariant: the rank does not change when the form is replaced by an equivalent one (for short, the rank is an invariant of quadratic forms). Furthermore, if the forms are considered over the field of complex numbers, then the rank constitutes a complete system of invariants of forms in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220047.png" /> variables; two forms are equivalent if and only if they have the same rank. If, on the other hand, one considers forms over the field of real numbers, then there arises another invariant, namely, the signature of the form; rank and signature constitute a complete system of invariants. In these examples, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220048.png" /> is the set of quadratic forms in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220049.png" /> variables, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220050.png" /> is the equivalence relation defined by non-singular linear transformation of the variables and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220051.png" /> is the set of integers.
+
Then  $  \Delta ( \Gamma ) \neq 0 $
 +
and the numbers  $  f ( \Gamma ) = \sigma ( \Gamma ) / \Delta ( \Gamma )  ^ {- 1/3} $,
 +
$  g ( \Gamma ) = \sigma ( \Gamma ) / \Delta ( \Gamma )  ^ {- 2/3} $
 +
do not depend on the choice of the coordinate system (even though the equation of $  \Gamma $
 +
itself does depend on it). If two curves  $  \Gamma , \Gamma _ {1} \in M $
 +
are equivalent, then $  f ( \Gamma ) = f ( \Gamma _ {1} ) $
 +
and  $  g ( \Gamma ) = g ( \Gamma _ {1} ) $.  
 +
In other words, the mappings  $  f $
 +
and $  g $
 +
from the set  $  M $
 +
into the set  $  N $
 +
of all real numbers are invariants of the equivalence relation  $  \rho $;  
 +
these mappings are also called invariants of real plane second-order non-splitting curves. The values of these invariants on a specific curve enable one to determine the type of this curve (ellipse, hyperbola, parabola).
  
The common feature uniting these (and many other) examples is that the equivalence relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220052.png" /> is defined by some group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220053.png" /> of transformations of the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220054.png" /> (that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220055.png" /> are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220056.png" />-equivalent if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220057.png" /> for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220058.png" />). The invariants arising in such cases are called invariants of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220059.png" />. In the first example, these are the transformations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220060.png" /> induced by the group of isometries of the plane, in the second, by the projective group, and in the third, by the general linear group of non-singular transformations of the variables. These examples illustrate the general concept, advanced by F. Klein (the so-called [[Erlangen program|Erlangen program]]), according to which each group of transformations can serve as the group of "transformations of a coordinate system" (automorphisms) in some geometry; the quantities defined by the objects of this geometry that do not change under a "coordinate change" (the invariants) describe the intrinsic properties of the geometry under consideration and provide the "structural" classification of its theorems. For example, the problem of projective geometry is to find invariants (and relations between them) for the projective group; for Euclidean geometry, for the group of motions (isometries) of Euclidean space, etc.
+
Another classical example is the [[Cross ratio|cross ratio]] of an ordered set of four points lying on a real projective line. The cross ratio does not change if these points undergo a projective transformation of the line. In this example:  $  M $
 +
is the set of ordered quadruples of points of a real projective line; the equivalence relation $  \rho $
 +
on  $  M $
 +
is defined by the rule: two sets  $  F , F ^ { \prime } \in M $
 +
are equivalent if and only if $  F $
 +
is taken into  $  F ^ { \prime } $
 +
by a projective transformation of the line; and $  N $
 +
is the set of real numbers completed by infinity. Taking the cross ratio defines a mapping from $ M $
 +
into $ N $
 +
that is an invariant of the relation $ \rho $;
 +
it is in this sense that one says that the cross ratio is an invariant of four points (with respect to the projective group).
  
In this way the classical theory of invariants (cf. [[Invariants, theory of|Invariants, theory of]]) was developed, in which only invariants of special type are considered (namely, polynomial or rational invariants for groups of linear transformations or, more broadly, numerical functions that are constant on the orbits of some group).
+
Associating to a [[Quadratic form|quadratic form]] in  $  n $
 +
variables its rank also gives an example of an invariant: the rank does not change when the form is replaced by an equivalent one (for short, the rank is an invariant of quadratic forms). Furthermore, if the forms are considered over the field of complex numbers, then the rank constitutes a complete system of invariants of forms in $  n $
 +
variables; two forms are equivalent if and only if they have the same rank. If, on the other hand, one considers forms over the field of real numbers, then there arises another invariant, namely, the signature of the form; rank and signature constitute a complete system of invariants. In these examples,  $  M $
 +
is the set of quadratic forms in  $  n $
 +
variables,  $  \rho $
 +
is the equivalence relation defined by non-singular linear transformation of the variables and  $  N $
 +
is the set of integers.
  
However, the more general concept of an invariant is a broader one and need not be restricted within the framework of invariants of a transformation group, since not every equivalence relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220061.png" /> on a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052200/i05220062.png" /> of mathematical objects under consideration is determined by a group action. Examples of invariants of such a type can be given in many areas of mathematics. In algebraic topology and homotopic topology one associates to each topological space its homotopy groups as well as its singular homology groups (with coefficients in some group); these groups are invariant with respect to homotopy equivalence of spaces. In algebraic geometry one considers the relation of birational equivalence of algebraic varieties; the dimension of a variety and, if one restricts oneself to smooth complete varieties — the arithmetic genus, provide an example of invariants of this equivalence relation. In differential topology manifolds are considered up to diffeomorphisms; the Stiefel–Whitney classes of a manifold are invariant with respect to this equivalence relation. In classical differential geometry one considers the integral curvature of a closed surface; this is a bending invariant. In the theory of Abelian groups one considers so-called invariants of finitely-generated groups, namely the rank and the orders of the primary components; these constitute a complete set of invariants for the set of such groups, considered up to isomorphism.
+
The common feature uniting these (and many other) examples is that the equivalence relation $  \rho $
 +
is defined by some group $  G $
 +
of transformations of the set  $  M $ (that is,  $  X , Y \in M $
 +
are  $  \rho $-equivalent if and only if  $  Y = g ( X) $
 +
for some  $  g \in G $).
 +
The invariants arising in such cases are called invariants of the group  $  G $.  
 +
In the first example, these are the transformations of  $  M $
 +
induced by the group of isometries of the plane, in the second, by the projective group, and in the third, by the general linear group of non-singular transformations of the variables. These examples illustrate the general concept, advanced by F. Klein (the so-called [[Erlangen program|Erlangen program]]), according to which each group of transformations can serve as the group of  "transformations of a coordinate system"  (automorphisms) in some geometry; the quantities defined by the objects of this geometry that do not change under a "coordinate change"  (the invariants) describe the intrinsic properties of the geometry under consideration and provide the "structural"  classification of its theorems. For example, the problem of projective geometry is to find invariants (and relations between them) for the projective group; for Euclidean geometry, for the group of motions (isometries) of Euclidean space, etc.
  
 +
In this way the classical theory of invariants (cf. [[Invariants, theory of|Invariants, theory of]]) was developed, in which only invariants of special type are considered (namely, polynomial or rational invariants for groups of linear transformations or, more broadly, numerical functions that are constant on the orbits of some group).
  
 +
However, the more general concept of an invariant is a broader one and need not be restricted within the framework of invariants of a transformation group, since not every equivalence relation  $  \rho $
 +
on a set  $  M $
 +
of mathematical objects under consideration is determined by a group action. Examples of invariants of such a type can be given in many areas of mathematics. In algebraic topology and homotopic topology one associates to each topological space its homotopy groups as well as its singular homology groups (with coefficients in some group); these groups are invariant with respect to homotopy equivalence of spaces. In algebraic geometry one considers the relation of birational equivalence of algebraic varieties; the dimension of a variety and, if one restricts oneself to smooth complete varieties — the arithmetic genus, provide an example of invariants of this equivalence relation. In differential topology manifolds are considered up to diffeomorphisms; the Stiefel–Whitney classes of a manifold are invariant with respect to this equivalence relation. In classical differential geometry one considers the integral curvature of a closed surface; this is a bending invariant. In the theory of Abelian groups one considers so-called invariants of finitely-generated groups, namely the rank and the orders of the primary components; these constitute a complete set of invariants for the set of such groups, considered up to isomorphism.
  
 
====Comments====
 
====Comments====
 
Instead of taking the signature of a form over the reals one may take its Witt index (cf. also [[Witt decomposition|Witt decomposition]]).
 
Instead of taking the signature of a form over the reals one may take its Witt index (cf. also [[Witt decomposition|Witt decomposition]]).

Latest revision as of 07:04, 6 May 2022


A mapping $ \phi $ of a given collection $ M $ of mathematical objects endowed with a fixed equivalence relation $ \rho $, into another collection $ N $ of mathematical objects, that is constant on the equivalence classes of $ M $ with respect to $ \rho $ (more precisely, that is an invariant of the equivalence relation $ \rho $ on $ M $). If $ X $ is an object in $ M $, then one often says that $ \phi ( M) $ is an invariant of the object $ X $. The concept of an invariant is one of the most important in mathematics, since the study of invariants is directly related to problems of classification of objects of some type or other. Essentially, the aim of every mathematical classification is to construct some complete system of invariants (if possible, one as simple as possible), that is, a system that distinguishes any two inequivalent objects of the collection under consideration.

The simplest examples of invariants are the invariants of the real plane second-order curves (cf. Second-order curve). Thus, let $ M $ be the set of all such non-splitting curves and let $ \rho $ be the equivalence relation on $ M $ given by the rule: $ \Gamma \in M $ is equivalent to $ \Gamma _ {1} \in M $ if and only if $ \Gamma _ {1} $ is obtained from $ \Gamma $ by a motion (that is, an isometry, cf. Isometric mapping) of the plane. If $ A x ^ {2} + 2 B x y + C y ^ {2} + 2 D x + 2 E y + F = 0 $ is the equation of the curve $ \Gamma \in M $ in a Cartesian coordinate system, let $ \sigma ( \Gamma ) = A + C $,

$$ \delta ( \Gamma ) = \ \left | \begin{array}{cc} A & B \\ B & C \\ \end{array} \right | \ \ \textrm{ and } \ \ \Delta ( \Gamma ) = \ \left | \begin{array}{ccc} A & B & D \\ B & C & E \\ D & E & F \\ \end{array} \right | . $$

Then $ \Delta ( \Gamma ) \neq 0 $ and the numbers $ f ( \Gamma ) = \sigma ( \Gamma ) / \Delta ( \Gamma ) ^ {- 1/3} $, $ g ( \Gamma ) = \sigma ( \Gamma ) / \Delta ( \Gamma ) ^ {- 2/3} $ do not depend on the choice of the coordinate system (even though the equation of $ \Gamma $ itself does depend on it). If two curves $ \Gamma , \Gamma _ {1} \in M $ are equivalent, then $ f ( \Gamma ) = f ( \Gamma _ {1} ) $ and $ g ( \Gamma ) = g ( \Gamma _ {1} ) $. In other words, the mappings $ f $ and $ g $ from the set $ M $ into the set $ N $ of all real numbers are invariants of the equivalence relation $ \rho $; these mappings are also called invariants of real plane second-order non-splitting curves. The values of these invariants on a specific curve enable one to determine the type of this curve (ellipse, hyperbola, parabola).

Another classical example is the cross ratio of an ordered set of four points lying on a real projective line. The cross ratio does not change if these points undergo a projective transformation of the line. In this example: $ M $ is the set of ordered quadruples of points of a real projective line; the equivalence relation $ \rho $ on $ M $ is defined by the rule: two sets $ F , F ^ { \prime } \in M $ are equivalent if and only if $ F $ is taken into $ F ^ { \prime } $ by a projective transformation of the line; and $ N $ is the set of real numbers completed by infinity. Taking the cross ratio defines a mapping from $ M $ into $ N $ that is an invariant of the relation $ \rho $; it is in this sense that one says that the cross ratio is an invariant of four points (with respect to the projective group).

Associating to a quadratic form in $ n $ variables its rank also gives an example of an invariant: the rank does not change when the form is replaced by an equivalent one (for short, the rank is an invariant of quadratic forms). Furthermore, if the forms are considered over the field of complex numbers, then the rank constitutes a complete system of invariants of forms in $ n $ variables; two forms are equivalent if and only if they have the same rank. If, on the other hand, one considers forms over the field of real numbers, then there arises another invariant, namely, the signature of the form; rank and signature constitute a complete system of invariants. In these examples, $ M $ is the set of quadratic forms in $ n $ variables, $ \rho $ is the equivalence relation defined by non-singular linear transformation of the variables and $ N $ is the set of integers.

The common feature uniting these (and many other) examples is that the equivalence relation $ \rho $ is defined by some group $ G $ of transformations of the set $ M $ (that is, $ X , Y \in M $ are $ \rho $-equivalent if and only if $ Y = g ( X) $ for some $ g \in G $). The invariants arising in such cases are called invariants of the group $ G $. In the first example, these are the transformations of $ M $ induced by the group of isometries of the plane, in the second, by the projective group, and in the third, by the general linear group of non-singular transformations of the variables. These examples illustrate the general concept, advanced by F. Klein (the so-called Erlangen program), according to which each group of transformations can serve as the group of "transformations of a coordinate system" (automorphisms) in some geometry; the quantities defined by the objects of this geometry that do not change under a "coordinate change" (the invariants) describe the intrinsic properties of the geometry under consideration and provide the "structural" classification of its theorems. For example, the problem of projective geometry is to find invariants (and relations between them) for the projective group; for Euclidean geometry, for the group of motions (isometries) of Euclidean space, etc.

In this way the classical theory of invariants (cf. Invariants, theory of) was developed, in which only invariants of special type are considered (namely, polynomial or rational invariants for groups of linear transformations or, more broadly, numerical functions that are constant on the orbits of some group).

However, the more general concept of an invariant is a broader one and need not be restricted within the framework of invariants of a transformation group, since not every equivalence relation $ \rho $ on a set $ M $ of mathematical objects under consideration is determined by a group action. Examples of invariants of such a type can be given in many areas of mathematics. In algebraic topology and homotopic topology one associates to each topological space its homotopy groups as well as its singular homology groups (with coefficients in some group); these groups are invariant with respect to homotopy equivalence of spaces. In algebraic geometry one considers the relation of birational equivalence of algebraic varieties; the dimension of a variety and, if one restricts oneself to smooth complete varieties — the arithmetic genus, provide an example of invariants of this equivalence relation. In differential topology manifolds are considered up to diffeomorphisms; the Stiefel–Whitney classes of a manifold are invariant with respect to this equivalence relation. In classical differential geometry one considers the integral curvature of a closed surface; this is a bending invariant. In the theory of Abelian groups one considers so-called invariants of finitely-generated groups, namely the rank and the orders of the primary components; these constitute a complete set of invariants for the set of such groups, considered up to isomorphism.

Comments

Instead of taking the signature of a form over the reals one may take its Witt index (cf. also Witt decomposition).

How to Cite This Entry:
Invariant. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Invariant&oldid=12916
This article was adapted from an original article by V.L. Popov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article