Namespaces
Variants
Actions

Difference between revisions of "Symmetric function"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (→‎References: latexify)
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
A function that does not change under any permutation of its independent variables. The following are examples of symmetric functions: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s0916601.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s0916602.png" />,
+
<!--
 +
s0916601.png
 +
$#A+1 = 23 n = 1
 +
$#C+1 = 23 : ~/encyclopedia/old_files/data/S091/S.0901660 Symmetric function
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
<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/s/s091/s091660/s0916603.png" /></td> </tr></table>
+
{{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/s/s091/s091660/s0916604.png" /></td> </tr></table>
+
A function that does not change under any permutation of its independent variables. The following are examples of symmetric functions: $  x _ {1} + \dots + x _ {n} $,
 +
$  x _ {1} \cdots x _ {n} $,
  
the sum in decimal notation of an arbitrary set of one-digit numbers, a "voting function" , which is characterized by its independent variables taking only two values 1 ( "for" ) and 0 ( "against" ), and the function itself is put equal to 1 if more than half of its independent variables are 1 and is put equal to 0 otherwise. Trivial examples of symmetric functions are constant functions and a function of one variable.
+
$$
 +
\sum _ {1 \leq  i < j \leq n }
 +
x _ {i} x _ {j} ,\ \
 +
\max ( x _ {1}, \dots, x _ {n} ),
 +
$$
  
Any non-constant symmetric function is essentially dependent on all its variables. Thus, the addition of inessential variables other than constants makes a function non-symmetric, and their removal may make it symmetric. Thus, the concept of a symmetric function relies on an exact indication of all its variables. A simple criterion for the symmetry of a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s0916605.png" /> is that the following two equations hold simultaneously:
+
$$
 +
x _ {1} + \dots + x _ {n}  (  \mathop{\rm mod}  m),
 +
$$
  
<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/s/s091/s091660/s0916606.png" /></td> </tr></table>
+
the sum in decimal notation of an arbitrary set of one-digit numbers, a "voting function" , which is characterized by its independent variables taking only two values 1 ( "for" ) and 0 ( "against" ), and the function itself is put equal to 1 if more than half of its independent variables are 1 and is put equal to 0 otherwise. Trivial examples of symmetric functions are constant functions and a function of one variable.
  
<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/s/s091/s091660/s0916607.png" /></td> </tr></table>
+
Any non-constant symmetric function is essentially dependent on all its variables. Thus, the addition of inessential variables other than constants makes a function non-symmetric, and their removal may make it symmetric. Thus, the concept of a symmetric function relies on an exact indication of all its variables. A simple criterion for the symmetry of a function  $  f ( x _ {1}, \dots, x _ {n} ) $
 +
is that the following two equations hold simultaneously:
  
or, equivalently, that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s0916608.png" /> of the following equations hold:
+
$$
 +
f ( x _ {1} , x _ {2} , x _ {3}, \dots, x _ {n} )  = \
 +
f ( x _ {2} , x _ {1} , x _ {3}, \dots, x _ {n} ),
 +
$$
  
<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/s/s091/s091660/s0916609.png" /></td> </tr></table>
+
$$
 +
f ( x _ {1} , x _ {2} , x _ {3}, \dots, x _ {n} )  = f
 +
( x _ {n} , x _ {1} , x _ {2}, \dots, x _ {n - 1 }  )
 +
$$
 +
 
 +
or, equivalently, that  $  n- 1 $
 +
of the following equations hold:
 +
 
 +
$$
 +
f ( x _ {1}, \dots, x _ {i} , x _ {i + 1 },  \dots, x _ {n} )  = \
 +
f ( x _ {1}, \dots, x _ {i + 1 }  , x _ {i}, \dots, x _ {n} ),
 +
$$
  
 
together with
 
together with
  
<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/s/s091/s091660/s09166010.png" /></td> </tr></table>
+
$$
 +
f ( x _ {1} , x _ {2}, \dots, x _ {n - 1 }  , x _ {n} )  = \
 +
f ( x _ {n} , x _ {2}, \dots, x _ {n - 1 }  , x _ {1} ).
 +
$$
  
 
Symmetric functions are related to symmetric polynomials (cf. [[Symmetric polynomial|Symmetric polynomial]]). Every rational symmetric function (over a field of characteristic 0) is the quotient of two symmetric polynomials. Any Boolean symmetric function takes equal values on sets of its arguments containing an equal number of identities. These functions play a major role in mathematical cybernetics and its applications and, in particular, they crop up in the schematic realization of arithmetical and other operations.
 
Symmetric functions are related to symmetric polynomials (cf. [[Symmetric polynomial|Symmetric polynomial]]). Every rational symmetric function (over a field of characteristic 0) is the quotient of two symmetric polynomials. Any Boolean symmetric function takes equal values on sets of its arguments containing an equal number of identities. These functions play a major role in mathematical cybernetics and its applications and, in particular, they crop up in the schematic realization of arithmetical and other operations.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> B.L. van der Waerden,   "Algebra" , '''1–2''' , Springer (1967–1971) (Translated from German)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> S.V. Yablonskii,   "Introduction to discrete mathematics" , Moscow (1979) (In Russian)</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> B.L. van der Waerden, "Algebra" , '''1–2''' , Springer (1967–1971) (Translated from German) {{MR|0263582}} {{ZBL|1032.00001}} {{ZBL|1032.00002}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> S.V. Yablonskii, "Introduction to discrete mathematics" , Moscow (1979) (In Russian) {{MR|0563327}} {{ZBL|}} </TD></TR></table>
 
 
 
 
  
 
====Comments====
 
====Comments====
The theorem that a symmetric polynomial is a polynomial in the elementary symmetric functions is also known as Newton's theorem. Similar statements hold for continuous functions, holomorphic functions and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s09166011.png" />-functions (smooth functions). E.g., if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s09166012.png" /> is a symmetric smooth function, then there is a smooth function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s09166013.png" /> such that
+
The theorem that a symmetric polynomial is a polynomial in the elementary symmetric functions is also known as Newton's theorem. Similar statements hold for continuous functions, holomorphic functions and $  C  ^  \infty  $-
 +
functions (smooth functions). E.g., if $  f: \mathbf R  ^ {n} \rightarrow \mathbf R $
 +
is a symmetric smooth function, then there is a smooth function $  g: \mathbf R  ^ {n} \rightarrow \mathbf R $
 +
such that
  
<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/s/s091/s091660/s09166014.png" /></td> </tr></table>
+
$$
 +
f( x _ {1}, \dots, x _ {n} )  = g( s _ {1} ( x), \dots, s _ {n} ( x)),
 +
$$
  
[[#References|[a1]]]. More generally, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s09166015.png" /> be a compact group acting linearly on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s09166016.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s09166017.png" /> be homogeneous generators of the ring of invariants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s09166018.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s09166019.png" /> be the corresponding mapping, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s09166020.png" />. Then
+
[[#References|[a1]]]. More generally, let $  G $
 +
be a compact group acting linearly on $  \mathbf R  ^ {n} $,  
 +
and let $  \rho _ {1}, \dots, \rho _ {m} $
 +
be homogeneous generators of the ring of invariants $  \mathbf R [ x _ {1}, \dots, x _ {n} ]  ^ {G} $.  
 +
Let $  \rho : \mathbf R  ^ {m} \rightarrow \mathbf R  ^ {n} $
 +
be the corresponding mapping, $  x \mapsto ( \rho _ {1} ( x), \dots, \rho _ {m} ( x)) $.  
 +
Then
  
<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/s/s091/s091660/s09166021.png" /></td> </tr></table>
+
$$
 +
\rho  ^ {*} : C  ^  \infty  ( \mathbf R  ^ {m} )  \rightarrow  C  ^  \infty  ( \mathbf R  ^ {n} )  ^ {G}
 +
$$
  
is surjective, [[#References|[a2]]], the fundamental theorem for smooth invariant functions. This result relies on the Malgrange preparation theorem (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s09166023.png" /> preparation theorem, smooth preparation theorem), the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s09166024.png" /> analogue of the Weierstrass preparation theorem (cf. [[Weierstrass theorem|Weierstrass theorem]] 4)).
+
is surjective, [[#References|[a2]]], the fundamental theorem for smooth invariant functions. This result relies on the Malgrange preparation theorem ( $  C  ^  \infty  $
 +
preparation theorem, smooth preparation theorem), the $  C  ^  \infty  $
 +
analogue of the Weierstrass preparation theorem (cf. [[Weierstrass theorem|Weierstrass theorem]] 4)).
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> G. Glaeser,   "Fonctions composées différentiables" ''Ann. of Math.'' , '''77''' (1963) pp. 193–209</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> G. Schwarz,   "Smooth functions invariant under the action of a compact Lie group" ''Topology'' , '''14''' (1975) pp. 63–68</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> M. Golubitsky,   "Stable mappings and their singularities" , Springer (1973) pp. 108ff</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> V. Poénaru,   "Singularités <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091660/s09166025.png" /> en présence de symmétrie" , Springer (1976) pp. 3–58</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top"> G. Glaeser, "Fonctions composées différentiables" ''Ann. of Math.'' , '''77''' (1963) pp. 193–209 {{MR|0188382}} {{MR|0143058}} {{ZBL|0202.41503}} {{ZBL|0106.31302}} </TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top"> G. Schwarz, "Smooth functions invariant under the action of a compact Lie group" ''Topology'' , '''14''' (1975) pp. 63–68 {{MR|0370643}} {{ZBL|0297.57015}} </TD></TR>
 +
<TR><TD valign="top">[a3]</TD> <TD valign="top"> M. Golubitsky, "Stable mappings and their singularities" , Springer (1973) pp. 108ff {{MR|0341518}} {{ZBL|0294.58004}} </TD></TR>
 +
<TR><TD valign="top">[a4]</TD> <TD valign="top"> V. Poénaru, "Singularités $C^\infty$ en présence de symmétrie" , Springer (1976) pp. 3–58</TD></TR></table>

Latest revision as of 07:17, 24 March 2023


A function that does not change under any permutation of its independent variables. The following are examples of symmetric functions: $ x _ {1} + \dots + x _ {n} $, $ x _ {1} \cdots x _ {n} $,

$$ \sum _ {1 \leq i < j \leq n } x _ {i} x _ {j} ,\ \ \max ( x _ {1}, \dots, x _ {n} ), $$

$$ x _ {1} + \dots + x _ {n} ( \mathop{\rm mod} m), $$

the sum in decimal notation of an arbitrary set of one-digit numbers, a "voting function" , which is characterized by its independent variables taking only two values 1 ( "for" ) and 0 ( "against" ), and the function itself is put equal to 1 if more than half of its independent variables are 1 and is put equal to 0 otherwise. Trivial examples of symmetric functions are constant functions and a function of one variable.

Any non-constant symmetric function is essentially dependent on all its variables. Thus, the addition of inessential variables other than constants makes a function non-symmetric, and their removal may make it symmetric. Thus, the concept of a symmetric function relies on an exact indication of all its variables. A simple criterion for the symmetry of a function $ f ( x _ {1}, \dots, x _ {n} ) $ is that the following two equations hold simultaneously:

$$ f ( x _ {1} , x _ {2} , x _ {3}, \dots, x _ {n} ) = \ f ( x _ {2} , x _ {1} , x _ {3}, \dots, x _ {n} ), $$

$$ f ( x _ {1} , x _ {2} , x _ {3}, \dots, x _ {n} ) = f ( x _ {n} , x _ {1} , x _ {2}, \dots, x _ {n - 1 } ) $$

or, equivalently, that $ n- 1 $ of the following equations hold:

$$ f ( x _ {1}, \dots, x _ {i} , x _ {i + 1 }, \dots, x _ {n} ) = \ f ( x _ {1}, \dots, x _ {i + 1 } , x _ {i}, \dots, x _ {n} ), $$

together with

$$ f ( x _ {1} , x _ {2}, \dots, x _ {n - 1 } , x _ {n} ) = \ f ( x _ {n} , x _ {2}, \dots, x _ {n - 1 } , x _ {1} ). $$

Symmetric functions are related to symmetric polynomials (cf. Symmetric polynomial). Every rational symmetric function (over a field of characteristic 0) is the quotient of two symmetric polynomials. Any Boolean symmetric function takes equal values on sets of its arguments containing an equal number of identities. These functions play a major role in mathematical cybernetics and its applications and, in particular, they crop up in the schematic realization of arithmetical and other operations.

References

[1] B.L. van der Waerden, "Algebra" , 1–2 , Springer (1967–1971) (Translated from German) MR0263582 Zbl 1032.00001 Zbl 1032.00002
[2] S.V. Yablonskii, "Introduction to discrete mathematics" , Moscow (1979) (In Russian) MR0563327

Comments

The theorem that a symmetric polynomial is a polynomial in the elementary symmetric functions is also known as Newton's theorem. Similar statements hold for continuous functions, holomorphic functions and $ C ^ \infty $- functions (smooth functions). E.g., if $ f: \mathbf R ^ {n} \rightarrow \mathbf R $ is a symmetric smooth function, then there is a smooth function $ g: \mathbf R ^ {n} \rightarrow \mathbf R $ such that

$$ f( x _ {1}, \dots, x _ {n} ) = g( s _ {1} ( x), \dots, s _ {n} ( x)), $$

[a1]. More generally, let $ G $ be a compact group acting linearly on $ \mathbf R ^ {n} $, and let $ \rho _ {1}, \dots, \rho _ {m} $ be homogeneous generators of the ring of invariants $ \mathbf R [ x _ {1}, \dots, x _ {n} ] ^ {G} $. Let $ \rho : \mathbf R ^ {m} \rightarrow \mathbf R ^ {n} $ be the corresponding mapping, $ x \mapsto ( \rho _ {1} ( x), \dots, \rho _ {m} ( x)) $. Then

$$ \rho ^ {*} : C ^ \infty ( \mathbf R ^ {m} ) \rightarrow C ^ \infty ( \mathbf R ^ {n} ) ^ {G} $$

is surjective, [a2], the fundamental theorem for smooth invariant functions. This result relies on the Malgrange preparation theorem ( $ C ^ \infty $ preparation theorem, smooth preparation theorem), the $ C ^ \infty $ analogue of the Weierstrass preparation theorem (cf. Weierstrass theorem 4)).

References

[a1] G. Glaeser, "Fonctions composées différentiables" Ann. of Math. , 77 (1963) pp. 193–209 MR0188382 MR0143058 Zbl 0202.41503 Zbl 0106.31302
[a2] G. Schwarz, "Smooth functions invariant under the action of a compact Lie group" Topology , 14 (1975) pp. 63–68 MR0370643 Zbl 0297.57015
[a3] M. Golubitsky, "Stable mappings and their singularities" , Springer (1973) pp. 108ff MR0341518 Zbl 0294.58004
[a4] V. Poénaru, "Singularités $C^\infty$ en présence de symmétrie" , Springer (1976) pp. 3–58
How to Cite This Entry:
Symmetric function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Symmetric_function&oldid=13078
This article was adapted from an original article by V.M. Khrapchenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article