Permutace n-prvkové množiny je uspořádaná n-tice obsahující každý prvek právě jednou, takže jednoznačně určuje jedno z možných uspořádání těchto prvků. Odtud (řídce užívané) české synonymum pro permutaci pořadí. Ekvivalentní definice je, že se jedná o n-prvkovou variaci z n prvků.[1]
V kombinatorice se také uvažují permutace s opakováním, zahrnující i taková uspořádání prvků, ve kterém se některé prvky vyskytují vícekrát.
Obecně je permutace (bez opakování) chápána jako bijektivní zobrazení množiny na sebe.
Pokud se prvky ve výběru nemohou opakovat, pak počet všech možných pořadí je určen vztahem[2]
kde n! (čteme "en faktoriál") označuje hodnotu posloupnosti zvané faktoriál čísla n.
Pokud se hovoří o permutacích prvků, jsou tím obvykle myšleny permutace bez opakování.
Mějme tři různé prvky a , b , c {\displaystyle a,b,c} .
Permutace těchto prvků představují skupiny a b c {\displaystyle abc} , a c b {\displaystyle acb} , b a c {\displaystyle bac} , b c a {\displaystyle bca} , c a b {\displaystyle cab} , c b a {\displaystyle cba} . Jejich počet je tedy
Pokud se prvky ve výběru mohou opakovat, pak počet permutací s opakováním z n prvků je určen jako
kde se jednotlivé prvky opakují k 1 , k 2 , . . . , k n − {\displaystyle \ k_{1},k_{2},...,k_{n}-} krát.
Mějme skupinu tří písmen a , a , b {\displaystyle a,a,b} . Trojice je tedy složena ze dvou prvků (tedy n = 2 {\displaystyle \scriptstyle n=2} ), přičemž první prvek a {\displaystyle \scriptstyle a} se opakuje dvakrát, tzn. k 1 = 2 {\displaystyle \scriptstyle k_{1}=2} , a druhý prvek b {\displaystyle \scriptstyle b} se opakuje jednou, tzn. k 2 = 1 {\displaystyle \scriptstyle k_{2}=1} .
Permutacemi s opakováním získáme trojice a a b {\displaystyle aab} , a b a {\displaystyle aba} , b a a {\displaystyle baa} . Počet těchto trojic je tedy roven
Permutace lze zapsat tabulkou, kde v horním řádku je vstupní hodnota funkce a v dolním její výsledná hodnota. Nebo se zapisuje jako spojení cyklů nebo transpozic.
Permutace je lichá, pokud lze vyjádřit spojením lichého počtu cyklů délky 2. Permutace je sudá, pokud lze vyjádřit spojením sudého počtu cyklů délky 2.
Pomocí tabulky lze permutaci množiny { 1 , 2 , 3 , 4 , 5 , 6 } {\displaystyle \{1,2,3,4,5,6\}} zapsat jako
Pomocí cyklů a transpozic lze předchozí permutaci zapsat jako
Tato permutace je sudá.
Každý prvek r ∈ M {\displaystyle r\in M} , pro který platí π ( r ) = r {\displaystyle \pi (r)=r} , se nazývá samodružným prvkem (bodem). V opačném případě se jedná o prvek nesamodružný.
Naříklad permutace
má samodružné prvky 1 a 6.
Jestliže každý prvek permutace je samodružný, pak jde o identickou (jednotkovou) permutaci.
Počet všech permutací n-prvkové množiny bez samodružných prvků se nazývá subfaktoriál a značí "!n".
K permutaci
je možné vytvořit inverzní permutaci
Inverzní permutaci značíme π − 1 {\displaystyle \scriptstyle \pi ^{-1}}
Složením permutace π {\displaystyle \scriptstyle \pi } a k ní inverzní permutace π − 1 {\displaystyle \scriptstyle \pi ^{-1}} získáme identickou permutaci.
Mějme na množině M {\displaystyle M} dvě permutace
Složením permutací π 1 , π 2 {\displaystyle \pi _{1},\pi _{2}} (hovoříme také o součinu permutací) je permutace
(pozor, toto je skládání zleva doprava, někdy se používá opačné)
Součin permutací zkráceně zapíšeme π = π 1 ∘ π 2 {\displaystyle \pi =\pi _{1}\circ \pi _{2}}
Násobení permutací není v obecném případě komutativní, tzn. π 1 ∘ π 2 ≠ π 2 ∘ π 1 {\displaystyle \pi _{1}\circ \pi _{2}\neq \pi _{2}\circ \pi _{1}} .
Za použití výše uvedené metody způsobu zápisu permutace vypadají následovně
Složením permutací π 1 {\displaystyle \pi _{1}} a π 2 {\displaystyle \pi _{2}} rozumíme permutaci π 2 ∘ π 1 = ( 1 , 5 , 3 , 4 ) ∘ ( 1 , 6 , 2 , 4 ) {\displaystyle \pi _{2}\circ \pi _{1}=(1,5,3,4)\circ (1,6,2,4)} Permutace skládáme jako funkce, tedy zprava doleva. Nejprve se podíváme na první prvek permutace π 1 {\displaystyle \pi _{1}} . V ní číslo 1 jde na číslo 6. Pak se podíváme, kam jde 6 v π 2 {\displaystyle \pi _{2}} . Permutace π 2 {\displaystyle \pi _{2}} o čísle 6 nic neříká, tedy píšeme
(1 6
Teď se podíváme, kam jde 6 v π 1 {\displaystyle \pi _{1}} . Na 2. Druhá permutace opět o 2 nehovoří. Tedy pokračujeme v zápisu
(1 6 2
Číslo 2 jde π 1 {\displaystyle \pi _{1}} na 4, ale číslo 4 jde v π 2 {\displaystyle \pi _{2}} na 1 a tento prvek už máme jako začátek našeho cyklu. Tedy zatím počítáme správně. Pokud by nám vyšlo nějaké číslo, které není na začátku cyklu, pak je někde chyba. Tedy uzavíráme cyklus.
(1 6 2)
Teď se podíváme na číslo do permutace vpravo, které jsme ještě nepoužili (není napsáno v již uzavřeném cyklu). Takovým číslem je 4. Číslo 4 jde v π 1 {\displaystyle \pi _{1}} na 1 a ta jde v π 2 {\displaystyle \pi _{2}} na 5. To zapíšeme
(1 6 2)(4 5
a provedeme tento postup pro zbylá čísla (zde chybí už jenom číslo 5). Tedy výsledek je
π 2 ∘ π 1 = ( 1 , 5 , 3 , 4 ) ∘ ( 1 , 6 , 2 , 4 ) = ( 1 , 6 , 2 ) ( 4 , 5 , 3 ) {\displaystyle \pi _{2}\circ \pi _{1}=(1,5,3,4)\circ (1,6,2,4)=(1,6,2)(4,5,3)}
Pozn.: Výsledek lze interpretovat také třeba jako (216)(534), neboť (216) = (162) = (621).
Máme-li na dané množině M {\displaystyle M} permutace π , π 1 , π 2 , π 3 {\displaystyle \scriptstyle \pi ,\pi _{1},\pi _{2},\pi _{3}\,\!} a identickou permutaci I {\displaystyle \scriptstyle I\,\!} , pak platí vztahy
To jsou axiomy grupy splněné obecně pro každou množinu permutací P(n), kde grupovým násobením je součin dvou permutací. Tedy množina permutací P(n) společně se skládáním permutací tvoří grupu.
Máme-li permutaci π {\displaystyle \scriptstyle \pi } , π k {\displaystyle \scriptstyle \pi ^{k}} značí permutaci vzniklou k-násobným složením permutace π {\displaystyle \scriptstyle \pi } , tj. π 1 = π {\displaystyle \scriptstyle \pi ^{1}=\pi } , π k = π ∘ π k − 1 {\displaystyle \scriptstyle \pi ^{k}=\pi \circ \pi ^{k-1}} . Řád permutace je nejmenší přirozené číslo k takové, pro které platí π k = I {\displaystyle \scriptstyle \pi ^{k}=I} , tj. po k složeních vznikne identická permutace.
Zobrazení f ( a ) = a + 1 {\displaystyle \scriptstyle f(a)=a+1} na celých číslech je permutace. Máme-li nyní permutaci g ( a ) = a − 3 {\displaystyle \scriptstyle g(a)=a-3} definovanou na celých číslech. Pak : f ∘ g ( a ) = f ( g ( a ) ) = f ( a − 3 ) = a − 2 {\displaystyle f\circ g(a)=f(g(a))=f(a-3)=a-2} .