Fonction symétrique

En mathématiques, une fonction symétrique est une fonction invariante par permutation de ses variables. Le cas le plus fréquent est celui d'une fonction polynomiale symétrique, donnée par un polynôme symétrique.

Définition[modifier | modifier le code]

Une fonction $f(x_{1},\ldots ,x_{n})$ en n variables est symétrique si pour toute permutation s de l'ensemble d'indices {1, … ,n}, l'égalité suivante est vérifiée :

f(x_{1},\dots ,x_{n})=f(x_{s(1)},\dots ,x_{s(n)}).

Pour n = 1, toute fonction est symétrique. Pour n = 2, la fonction $(x,y)\mapsto \mathrm {e} ^{xy}$ est symétrique, alors que la fonction $x\operatorname {e} ^{y}$ ne l'est pas.

Une équation $f(x_{1},\ldots ,x_{n})=0$ est une équation symétrique lorsque la fonction $f(x_{1},\ldots ,x_{n})$ est symétrique.

Exemples[modifier | modifier le code]

Les fonctions

f(x_{1},x_{2})=x_{1}+x_{2}

et

f(x_{1},x_{2})=x_{1}x_{2}

sont symétriques. Le discriminant en trois variables

f(x_{1},x_{2},x_{3})=(x_{1}-x_{2})^{2}(x_{1}-x_{3})^{2}(x_{2}-x_{3})^{2}

est aussi symétrique. Un exemple de fonction symétrique, toujours en trois variables, qui n'est pas un polynôme est

f(x_{1},x_{2},x_{3})=\max\{|x_{1}-x_{2}|,|x_{1}-x_{3}|,|x_{2}-x_{3}|\}

.

Vérification[modifier | modifier le code]

Pour vérifier qu'une fonction est symétrique, il n'est pas nécessaire de tester qu'elle est invariante pour chacune des n! permutations de ses arguments. Il suffit de choisir un ensemble de permutations qui engendre le groupe symétrique, et l'on a plusieurs choix pour de tels ensembles.

Échanges de deux variables[modifier | modifier le code]

Comme toute permutation est une composée de transpositions de la forme $(i,j)$ , une fonction est symétrique dès qu'elle reste inchangée par l'échange de deux variables arbitraires $x_{i}$ et $x_{j}$ , donc lorsque

f(\dotsc ,x_{i},\dotsc ,x_{j},\dotsc )=f(\dotsc ,x_{j},\dotsc ,x_{i},\dotsc )

pour tout $i,j\in \{1,\ldots ,n\}$ avec $i<j$ . Ceci réduit le nombre de permutations à tester à $n^{2}$ .

Échanges de variables consécutives[modifier | modifier le code]

Comme toute transposition s'exprime aussi comme une composée de transpositions de valeurs consécutives de la forme $(i,i+1)$ , il suffit de considérer des variables consécutives $x_{i}$ et $x_{i+1}$ . Pour la symétrie, il suffit que les n – 1 égalités

f(\dotsc ,x_{i},x_{i+1},\dotsc )=f(\ldots ,x_{i+1},x_{i},\dotsc )

valent pour $i=1,\ldots ,n-1$ .

Échanges avec une variable fixée[modifier | modifier le code]

On peut aussi bien considérer les transpositions de la forme $(1,i)$ . Une fonction est alors symétrique lorsque l'on peut échanger la première et la $i$ -ème variable sans changer la valeur de la fonction, en d'autres termes, lorsque

f(x_{1},\dotsc ,x_{i},\dotsc )=f(x_{i},\dotsc ,x_{1},\dotsc )

pour $i=2,\ldots ,n$ . À la place de la première variable, on peut choisir toute autre variable.

Critère minimal[modifier | modifier le code]

Un ensemble générateur du groupe symétrique $S_{n}$ est formé des deux permutations $(1,2,\ldots ,n)$ et $(1,2)$ . Il suffit donc, pour qu'une fonction soit symétrique, qu'elle vérifie seulement les deux égalités

f(x_{1},x_{2},\dotsc ,x_{n})=f(x_{2},\ldots ,x_{n},x_{1})

et

f(x_{1},x_{2},\dotsc ,x_{n})=f(x_{2},x_{1},\ldots ,x_{n})

.

La paire formée de $(1,2,\ldots ,n)$ et $(1,2)$ peut aussi être remplacée par n'importe quelle permutation circulaire et toute transposition d'éléments consécutifs dans ce cycle.

Propriétés[modifier | modifier le code]

Lorsque les fonctions sont à valeurs réelles ou complexes, les fonctions symétriques forment une sous-algèbre de l'algèbre des fonctions à n variables, c'est-à-dire :

la somme de deux fonctions symétriques est encore une fonction symétrique ;
le produit de deux fonctions symétriques est encore une fonction symétrique.

Toute fraction rationnelle symétrique (sur un corps commutatif) est le quotient de deux polynômes symétriques.

Démonstration

Soit $F={\frac {P}{Q}}\in K(X_{1},\dots ,X_{n})$ une fraction rationnelle symétrique.

Pour toute permutation $s\in S_{n}$ , notons $Q^{s}(X_{1},\dots ,X_{n})=Q(X_{s(1)},\dots ,X_{s(n)})$ .

Le polynôme $D:=\prod _{s\in S_{n}}Q^{s}$ est symétrique donc $N:=FD$ (qui est un polynôme) l'est aussi, et $F={\frac {N}{D}}$ .

Symétrisation[modifier | modifier le code]

Sur un corps de caractéristique 0, la symétrisation est la sommation d'une fonction sur toutes les permutations possibles de variables, pondérée par n!. C'est l'expression

Sf(x_{1},\dotsc ,x_{n})={\frac {1}{n!}}\sum _{s\in S_{n}}f(x_{s(1)},\dotsc ,x_{s(n)})

.

Par construction, la fonction $Sf$ est symétrique. L'opérateur de symétrisation $S$ est une projection de l'espace des fonctions sur le sous-espace des fonctions symétriques.

Extensions[modifier | modifier le code]

Le théorème fondamental des polynômes symétriques, ou théorème de Newton, affirme que tout polynôme symétrique est un polynôme en les polynômes symétriques élémentaires ; il s'étend aux séries formelles^[1]. Des résultats analogues sont valables pour des fonctions continues, des fonctions holomorphes et des fonctions lisses (fonctions $C^{\infty }$ ). On a

f(x_{1},\ldots ,x_{n})=g(\sigma _{1}(x_{1},\ldots ,x_{n}),\ldots ,\sigma _{n}(x_{1},\ldots ,x_{n}))

,

où les $\sigma _{i}$ sont les fonctions symétriques élémentaires^[2].

Plus généralement, soit $G$ un groupe compact opérant linéairement sur $\mathbb {R} ^{n}$ , et soient $\rho _{1},\ldots ,\rho _{m}$ des opérateurs homogènes générateurs de l'anneau des invariants $\mathbb {R} [x_{1},\dotsc ,x_{n}]^{G}$ . Soit $\rho :\mathbb {R} ^{n}\to \mathbb {R} ^{m}$ l'application $x\mapsto (\rho _{1}(x),\dotsc ,\rho _{m}(x))$ correspondante. Alors l'application

\rho ^{*}:C^{\infty }(\mathbb {R} ^{m})\to C^{\infty }(\mathbb {R} ^{n})^{G}

est surjective^[3], ce qui est le théorème fondamental pour les fonctions lisses invariantes. Ce résultat est basé sur le théorème de préparation de Malgrange, qui est un analogue $C^{\infty }$ du théorème de préparation de Weierstrass.

Notes et références[modifier | modifier le code]

(de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Symmetrische Funktion » (voir la liste des auteurs).

↑ N. Bourbaki, Algèbre : chapitres 4 à 7, Springer, 2007 (lire en ligne), IV.57 et suivantes.
↑ Georges Glaeser, « Fonctions composées différentiables », Ann. of Math., vol. 77, n^o 2,‎ 1963, p. 193-209 (MR 0143058, zbMATH 0106.31302).
↑ (en) Gerald W. Schwarz, « Smooth functions invariant under the action of a compact Lie group », Topology, vol. 14,‎ 1975, p. 63-68 (MR 0370643, zbMATH 0297.57015).

Annexes[modifier | modifier le code]

Article connexe[modifier | modifier le code]

Algèbre symétrique

Liens externes[modifier | modifier le code]

(en) V. M. Khrapchenko, « Symmetric function », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)
(en) Eric W. Weisstein, « Symmetric Function », sur MathWorld

Bibliographie[modifier | modifier le code]

Pierre Cartier, « La théorie classique et moderne des fonctions symétriques », Séminaire Bourbaki, n^o 597,‎ 1982-1983, p. 1-23 (lire en ligne)
(en) M. Golubitsky (en) et V. Guillemin, Stable Mappings and Their Singularities, Springer, coll. « GTM » (n^o 14), 1973, x+209 (MR 0341518, zbMATH 0294.58004), p. 108 et suiv.
Serge Lang, Algèbre [détail des éditions]
(en) B. L. van der Waerden, Algebra I, Springer, 2003, 265 p. (ISBN 978-0-387-40624-4, lire en ligne)
(en) B. L. van der Waerden, Algebra II, Springer, 2003, 284 p. (ISBN 978-0-387-40625-1, lire en ligne)
(en) Ian G. Macdonald, Symmetric Functions and Hall Polynomials, Oxford University Press, coll. « Oxford Mathematical Monographs », 1979 (ISBN 0-19-853530-9)

Portail des mathématiques

[1] N. Bourbaki, Algèbre : chapitres 4 à 7, Springer, 2007 (lire en ligne), IV.57 et suivantes.

[2] Georges Glaeser, « Fonctions composées différentiables », Ann. of Math., vol. 77, n^o 2,‎ 1963, p. 193-209 (MR 0143058, zbMATH 0106.31302).

[3] (en) Gerald W. Schwarz, « Smooth functions invariant under the action of a compact Lie group », Topology, vol. 14,‎ 1975, p. 63-68 (MR 0370643, zbMATH 0297.57015).

[1]

[2]

[3]