Funzione simmetrica

Template:Nota disambigua In matematica, per funzione simmetrica si può intendere una funzione di più variabili che risulti invariante sotto permutazione dei suoi argomenti. Questa definizione sarebbe l'estensione naturale della definizione che si dà di polinomio simmetrico, ma non c'è una teoria sviluppata riguardo a funzioni simmetriche non polinomiali.

Una definizione correlata, ma non uguale, identifica per definizione una funzione simmetrica come un elemento dell'anello delle funzioni simmetriche, un oggetto che in parole povere rappresenta il limite degli anelli dei polinomi simmetrici in $n$ variabili al tendere di $n$ all'infinito. Esso compare nella combinatoria, dove risulta utile per studiare i rapporti che intercorrono tra polinomi simmetrici, senza dover portarsi continuamente dietro un numero fissato di variabili, e nella teoria della rappresentazione dei gruppi.

Motivazione

Molte relazioni tra polinomi simmetrici non dipendono dal numero di variabili. Ad esempio, una delle identità di Newton afferma che

$p_3(X_1,\dots ,X_n)=e_1(X_1,\dots ,X_n{)}^3-3e_2(X_1,\dots ,X_n)e_1(X_1,\dots ,X_n)+3e_3(X_1,\dots ,X_n)$

dove gli $e_k$ sono i polinomi simmetrici elementari, e questo è valido per ogni $n$, con l'accortezza di ricordarsi che $e_k=0$ se $k>n$. Il desiderio di scrivere questo nella forma più abbreviata

$p_3=e_1^3-3e_2{e}_1+3e_3$

si può realizzare nell'anello delle funzioni simmetriche.

Definizione

L'anello delle funzioni simmetriche si indica di solito con ${\mathrm{\Lambda }}_R$; ci sono due modi differenti per definirlo, una che richiama le serie formali di potenze, l'altra il limite diretto. $R$ sarà sempre un anello commutativo.

Mediante serie formali di potenze

Questa costruzione parte con l'anello delle serie formali di potenze $R[[X_1,X_2,...]]$ su $R$ e definisce ${\mathrm{\Lambda }}_R$ come il sottoanello delle serie formali $S$ che soddisfano le proprietà seguenti:

• $S$ è invariante per permutazioni delle indeterminate
• i gradi dei monomi di $S$ sono uniformemente limitati

Per la seconda condizione, ogni elemento di ${\mathrm{\Lambda }}_R$ è una somma finita, poiché solo un numero finito di gradi sono permessi, di elementi omogenei che a loro volta però sono somme infinite di termini (infatti se $S$ comprende il termine $X_1$ deve anche comprendere ogni $X_i$ per $i>1$).

Per ogni $k$ non negativo, gli elementi $e_k$ sono quindi definiti come la somma formale dei prodotti di $k$ distinte indeterminate; ${\mathrm{\Lambda }}_R$ risulta essere un anello graduato con grado dato dal grado totale dei polinomi.

Mediante limite diretto di anelli

Questa costruzione è più laboriosa, ma descrive meglio la relazione che esiste tra ${\mathrm{\Lambda }}_R$ e i singoli anelli di polinomi simmetrici $R[X_1,...,X_n{]}^{S_n}$.

Ora, per ogni $n$ è definito un omomorfismo di anelli suriettivo ${\rho }_n$ da $R[X_1,...,X_{n+1}{]}^{S_{n+1}}$ a $R[X_1,...,X_n{]}^{S_n}$, definito dall'imporre l'ultima coordinata a 0. Esso ha nucleo non banale e i suoi elementi hanno grado almeno $n+1$ (sono multipli di $X_1{X}_2...X_{n+1}$). Questo implica che la sua restrizione agli elementi di grado al più $n$ è una corrispondenza biunivoca e lineare, con la proprietà che ${\rho }_n(e_k(X_1,...,X_{n+1}))=e_k(X_1,...,X_n)$ per ogni $k\le n$.

L'inverso di questa trasformazione può essere esteso in modo univoco ad un omomorfismo ${\varphi }_n$ da $R[X_1,...,X_n{]}^{S_n}$ a $R[X_1,...,X_{n+1}{]}^{S_{n+1}}$ come conseguenza del teorema fondamentale per i polinomi simmetrici. Essendo le immagini ${\varphi }_n(e_k(X_1,...,X_n))=e_k(X_1,...,X_{n+1})$ ancora algebricamente indipendenti su $R$, l'omomorfismo ${\varphi }_n$ è iniettivo e può essere visto come un'immersione.

L'anello ${\mathrm{\Lambda }}_R$ infine è definito come il limite diretto di tutti questi anelli soggetti a tali inclusioni. ${\mathrm{\Lambda }}_R$ risulta essere un anello graduato poiché le ${\varphi }_n$ sono compatibili con le strutture graduate dei singoli anelli.

Osservazioni

Bisogna sottolineare che il termine "funzione simmetrica" è un nome improprio, poiché nessuna corrispondenza funzionale può essere in generale definita per questi elementi, che tipicamente sono somme infinite, senza imporre restrizioni sulle variabili. Il termine però è entrato nell'uso, come evidenziato da MacDonald nel 1979, cui sostanzialmente si deve la seconda costruzione: Template:Citazione

Per definire una singola funzione simmetrica si può quindi o indicare una serie di potenze che soddisfi le proprietà date dalla prima definizione o dare esplicitamente un polinomio simmetrico in $n$ variabili per ogni naturale $n$ in un modo compatibile con la seconda definizione. Un'espressione in un numero indefinito di indeterminate può andare bene per entrambi. Ad esempio

$e_2=\sum _{i<j}{X}_i{X}_j$

definisce il polinomio simmetrico elementare di secondo grado.

Denotando con $P(X_1,...,X_n)$ il polinomio simmetrico in $n$ variabili associato alla funzione simmetrica $P$, dalla seconda definizione si ricava il seguente principio fondamentale:

Se $P$ e $Q$ sono funzioni simmetriche di grado $d$, allora si ha $P=Q$ come funzioni simmetriche se e solo se $P(X_1,...,X_d)=Q(X_1,...,X_d)$ come polinomi simmetrici in $d$ variabili. In questo caso si ha inoltre $P(X_1,...,X_n)=Q(X_1,...,X_n)$ per ogni naturale $n$

Ciò è vero poiché si può sempre ridurre il numero di variabili, sostituendo 0 al posto delle variabili da eliminare, e al contrario aumentarlo, applicando l'omomorfismo ${\varphi }_n$.

Proprietà

Per quanto detto sopra e all'inizio dell'articolo, l'affermare queste identità nell'anello delle funzioni simmetriche equivale ad affermalo per ogni numero di variabili. Alcune identità fondamentali sono

$\sum _{i=0}^k(-1{)}^i{e}_i{h}_{k-i}=0=\sum _{i=0}^k(-1{)}^i{h}_i{e}_{k-i}\mathrm{\forall }k>0$

$k{e}_k=\sum _{i=1}^k(-1{)}^{i-1}{p}_i{e}_{k-i}\mathrm{\forall }k\ge 0$ (le identità di Newton)

$k{h}_k=\sum _{i=1}^k{p}_i{h}_{k-i}\mathrm{\forall }k\ge 0$

${\mathrm{\Lambda }}_R$ possiede anche alcune importanti proprietà "strutturali": ad esempio l'insieme delle funzioni simmetriche monomiali parametrizzate per partizioni formano una base di ${\mathrm{\Lambda }}_R$ come $R$-modulo graduato, così come le funzioni di Schur.

È definito inoltre un automorfismo involutorio che tra le altre cose scambia tra loro le funzioni simmetriche elementari e le funzioni simmetriche omogenee complete.

Come algebra, esso è isomorfo all'anello dei polinomi in un numero infinito di variabili $R[Y_1,...Y_n,...]$, dove $Y_i$ ha grado $i$, tramite la mappa che manda $e_i$ in $Y_i$ (questa affermazione non è altro che un'altra espressione del teorema fondamentale per i polinomi simmetrici). Ciò porta ad alcune conseguenze, come che il sottoanello di elementi con grado al più $n$ è isomorfo all'anello dei polinomi simmetrici in $n$ variabili.

Bibliografia

• Macdonald, I. G. Symmetric functions and Hall polynomials. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, Oxford, 1979. viii+180 pp. ISBN 0-19-853530-9

Voci correlate

• Polinomio simmetrico
• Permutazione
• Serie formale di potenze

Collegamenti esterni

• Template:Collegamenti esterni