Composta di due permutazioni

xsl
Salve ragazzi,

non ho capito come si svolge l'operazione di composizione tra due permutazioni!
Vi propongo un esempio semplice sul quale potreste aiutarmi:

Ho due permutazioni: $f$ e $g$ $in$ S5

$f$ =
/ $1 2 3 4 5$ \
\ $5 1 4 3 2$ /

$g$ =
/ $1 2 3 4 5$ \
\ $2 1 5 3 4$ /

Come posso svolgere $f * g$? (inteso come composizione o prodotto)

Risposte
mistake89
inizia col considerare i cicli disgiunti delle singole permutazioni...

xsl
$f$ in cicli disgiunti è:
($1 5 2$)
($3 4$)

$g$ in cicli disgiunti è:
($1 2$)
($3 5 4 $)

ora come procedo?

Paolo902
Non è strettamente necessario passare attraverso i cicli disigunti... basta solo lavorare per bene. Anzitutto, che cosa sono le permutazioni? nulla di "speciale", in fondo: sono delle semplici biiezioni, cioè delle funzioni, o applicazioni. Quindi, proprio come per le funzioni, $f circ g$ significa: prima applichi la $g$, poi al risultato applichi la $f$ (non è un'interpretazione universale questa, ma di solito è quella più usata).

Ad esempio, supponiamo di voler trovare l'immagine di $1$ mediante la $f circ g$: cerchiamo, cioè, $(f circ g)(1)$.
Procediamo come descritto sopra: $g(1)=2$. Ora facciamo $f(g(1))=f(2)=1$.

Chiaro? Rifai questo discorso per tutti e cinque i termini e hai finito.

Se hai bisogno posta pure, siamo qui. :wink:

xsl
Grazie mille Paolo, infatti poi ci sono arrivato da solo :) mi è bastato ragionare sulla definizione stessa di Applicazione Composta! (come hai fatto tu del resto)

Però vorrei avere certezze riguardo le definizioni di classe pari e dispari!
Nel caso della permutazione $f$
/ $12345$ \
\ $51432$ /

essa si decompone nei seguenti cicli disgiunti: ($152$)($34$)

questa decomposizione si può scrivere a sua volta come composizione di trasposizioni, cioè: ($12$)($15$)($34$)
Allora adesso posso dire che la permutazione $f$ è di classe Dispari? (poichè conto che essa è stata decomposta in 3 trasposizioni)


Poi ti propongo un altro esempio:
Ho la seguente permutazione
$g in$ S9
/ $123456789$ \
\ $987654312$ /

decomposta in cicli disgiunti: $g=$($1928$)($37$)($46$) con $5$ fisso!
la composizione delle trasposizioni è: ($18$)($12$)($19$)($37$)($46$)

La mia domanda a riguardo è: anche $g$ è di classe Dispari?

Paolo902
Certo, tutto corretto.

Tieni conto che la parità di una permutazione è molto importante, perchè è invariante: se decomponi una permutazioni in un numero pari di trasposizioni (o scambi), allora potrai decomporla solo in un numero pari di scambi. Ovviamente vale lo stesso per il dispari: ad esempio, le permutazioni che hai scritto tu in $S_5$ e $S_9$ non potrai mai scriverle come prodotto di un numero pari di scambi.

Chiaro?
:wink:

xsl
Ok chiaro! Grazie ancora! :)

Mi potresti aiutare a fare questo calcolo?

Ho la permutazione $f in$ S6
/ 123456 \
\ 261453 /

non riesco a calcolare $f^3$

Paolo902
In $S_6$:

$f=((1, 2, 3, 4, 5, 6),(2, 6, 1, 4, 5, 3))$

Calcolare $f^3$ significa semplicemente applicare tre volte la permutazione: ad es, $f(1)=2$. Adesso faccio $f(2)=6$ e ancora $f(6)=3$: in definitiva $f^3(1)=3$.

Tutto ok? Take care.

xsl
Si si questo mi è chiaro! Non riesco a scrivere la permutazione $f^3$ in forma estesa:

$f^3=((1, 2, 3, 4, 5, 6),(?, ?, ?, ?, ?, ?))$

in modo poi da scriverla sottoforma di ciclo o cicli disgiunti!

Grazie per la pazienza!

Paolo902
"xsl":
Si si questo mi è chiaro! Non riesco a scrivere la permutazione $f^3$ in forma estesa:

$f^3=((1, 2, 3, 4, 5, 6),(?, ?, ?, ?, ?, ?))$

in modo poi da scriverla sottoforma di ciclo o cicli disgiunti!

Grazie per la pazienza!


Non capisco, se ti è chiaro ciò ho scritto io nel post sopra come fai a non scrivere la permutazione in forma estesa? Parti da un elemento. Ne fai l'immagine. Ottieni un valore: bene prendi questo valore e rifanne l'immagine. Ottieni ancora un numero: riapplica la $f$ a questo numero.

Ripeti questo ragionamento per tutti i numeri da $1$ a $6$ e sei a posto.
Ok?

xsl
Praticamente nei calcoli (che in realtà come hai detto tu, è un gioco di sostituzioni) arrivo a questo punto
$f^3=((1, 2, 3, 4, 5, 6),(3, 1, 2, 6, ?, ?))$

Nel momento in cui giungo a calcolare $f(6)$ si ottiene $3$ che è già tra le immagini, come procedo?

Paolo902
Non capisco come ti esca il $6$ come immagine del $4$, ad esempio... in ogni caso a me risulta $((1, 2, 3, 4, 5 ,6), (3, 1, 6, 4, 5, 2))$ che ancora una permutazione di $S_6$...

xsl
Non lo so forse sono stanco! Per favore mi scrivi come ti esce quella permutazione? oggi devo finire questo argomento :(

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.