Polinomio simmetrico

Template:F In algebra, un polinomio in più variabili si dice simmetrico se risulta invariante rispetto a tutte le permutazioni dell'ordine delle variabili, cioè se

$P(X_1,X_2,\dots ,X_n)=P(X_{\sigma (1)},X_{\sigma (2)},\dots ,X_{\sigma (n)})$

per ogni possibile permutazione $\sigma$.

Polinomi simmetrici si incontrano nello studio delle relazioni tra le radici di un polinomio in una variabile e i suoi coefficienti. Un teorema cosiddetto "fondamentale" afferma che ogni polinomio simmetrico si può esprimere come funzione polinomiale di un certo numero di polinomi simmetrici "di base", detti polinomi simmetrici elementari.

Esempi

• $X_1^3+X_2^3-7$
• $4X_1^2{X}_2^2+X_1^3{X}_2+X_1{X}_2^3+(X_1+X_2{)}^4$
• $X_1{X}_2{X}_3-2X_1{X}_2-2X_1{X}_3-2X_2{X}_3$

Un esempio leggermente più artificioso è

• ${(\prod _{i=1}^{n-1}\prod _{j=i+1}^n(X_i-X_j))}^2$

Questo polinomio è simmetrico grazie all'elevamento al quadrato finale, altrimenti cambierebbe di segno ad ogni scambio tra due variabili.

Al contrario, il polinomio

• $X_1^4{X}_2^2{X}_3+X_1{X}_2^4{X}_3^2+X_1^2{X}_2{X}_3^4$

è invariante solo per permutazioni cicliche, quindi non è simmetrico.

Relazioni con le radici di un polinomio

Template:Vedi anche Se $x_1,\dots ,x_n$ sono le radici del polinomio $P(X)$, dall'uguaglianza

$X^n+a_{n-1}{X}^{n-1}+\dots +a_{1}X+a_0=(X-x_1)\cdots (X-x_n)$

possiamo ricavare delle formule che esprimono i coefficienti $a_i$ in termini delle radici mediante polinomi simmetrici.

Polinomi simmetrici elementari

Per ogni grado $n$ esistono dei particolari polinomi simmetrici, detti polinomi simmetrici elementari. Il polinomio simmetrico elementare di grado $k$, detto $e_k$, è dato da tutte le somme dei prodotti di $k$ variabili distinte (prese con gli indici ordinati in senso crescente per evitare ripetizioni). Ad esempio per $n=3$ avremo:

$\begin{array}{cc}{e}_0(X_1,X_2,X_3)& =1,\\ e_1(X_1,X_2,X_3)& =X_1+X_2+X_3,\\ e_2(X_1,X_2,X_3)& =X_1{X}_2+X_1{X}_3+X_2{X}_3,\\ e_3(X_1,X_2,X_3)& =X_1{X}_2{X}_3\\ \end{array}$

e in generale

$\begin{array}{cc}{e}_0(X_1,X_2,\dots ,X_n)& =1,\\ e_1(X_1,X_2,\dots ,X_n)& =\sum _{1\le j\le n}{X}_j,\\ e_2(X_1,X_2,\dots ,X_n)& =\sum _{1\le j<k\le n}{X}_j{X}_k,\\ e_3(X_1,X_2,\dots ,X_n)& =\sum _{1\le j<k<l\le n}{X}_j{X}_k{X}_l,\\ ⋮\\ e_n(X_1,X_2,\dots ,X_n)& =X_1{X}_2\cdots X_n\\ \end{array}$

Teorema fondamentale per i polinomi simmetrici

Denotiamo con $A[X_1,\dots ,X_n{]}^{S_n}$ l'anello dei polinomi simmetrici a coefficienti nell'anello $A$. Il teorema afferma che ogni polinomio $P\in A[X_1,\dots ,X_n{]}^{S_n}$ ammette un'unica rappresentazione

$P(X_1,\dots ,X_n)=Q(e_1(X_1,\dots ,X_n),\dots ,e_n(X_1,\dots ,X_n))$

per qualche polinomio $Q$ nello stesso numero di variabili. Questo vuol dire che ogni polinomio simmetrico è esprimibile come somme e prodotti dei polinomi simmetrici elementari.

Come conseguenza, si può dedurre che quanto detto riguardante le radici e i coefficienti dei polinomi di una variabile si può invertire: ogni espressione polinomiale simmetrica nelle radici corrisponde ad una (unica) espressione polinomiale nei coefficienti.

Voci correlate

• Polinomio di Schur
• Funzione simmetrica
• Rappresentazione dei gruppi
• Identità di Newton
• Disuguaglianza di raggruppamento

Collegamenti esterni

• Template:Collegamenti esterni