A kombinatorika permutációja egy számismétlődések nélküli rendezett halmaz , amelyet általában bijekcióként kezelnek a halmazon , amely a számot a halmaz -edik eleméhez társítja. A számot a permutáció hosszának nevezzük [1] .
A csoportelméletben egy tetszőleges halmaz permutációja ennek a halmaznak önmagára való bijekcióját jelenti. Az ebben az értelemben vett „permutáció” szó szinonimájaként egyes szerzők a helyettesítés szót használják . (Más szerzők a helyettesítést a permutáció írásának vizuális módjának nevezik. A jelentősebb különbség az, hogy a helyettesítés maga egy függvény, míg a permutáció annak eredménye, hogy ezt a függvényt egy sorozat elemeire alkalmazzuk.)
A „permutáció” kifejezés azért merült fel, mert eleinte tárgyakat vettek, valahogy elrendeztek, és a rendezés más módjai megkívánták az objektumok átrendezését. [2] .
A permutáció azonos számú elemből álló halmaz, amely csak az elemek sorrendjében tér el egymástól. [3]
Az elemek összes permutációjának száma megegyezik a by elhelyezéseinek számával , vagyis a faktoriális [4] [5] [6] [7] :
.A kompozíció meghatározza a szorzat műveletét azonos hosszúságú permutációkra: Erre a műveletre vonatkozóan az elemek permutációinak halmaza egy csoportot alkot, amelyet szimmetrikusnak neveznek, és általában jelölik .
Bármely véges elemcsoport izomorf a szimmetrikus csoport valamely részcsoportjával ( Cayley tétele ). Ebben az esetben minden elem egy permutációhoz van társítva, amelyet az elemeken az azonosság határozza meg, ahol egy csoportművelet -ben .
A permutáció hordozója a halmaz egy részhalmaza, amely így vandefiniálva
Egy permutáció fix pontja a leképezéstetszőleges, azaz a halmaz egy elemeEgy permutáció összes fix pontjának halmazaahordozójának komplementere a -ben .
A permutáció inverziója bármely olyan indexpár, amelyés. A permutációban lévő inverziók számának paritása határozza meg a permutáció paritását .
Egy halmaz permutációja felírható helyettesítésként , például:
hol és .
Bármely permutáció felbontható diszjunkt hosszúságú ciklusok szorzatára ( összetételére ) , és egyedi módon a szorzatban lévő ciklusok sorrendjéig. Például:
Gyakran azt is feltételezik, hogy egy permutáció fix pontjai független, 1 hosszúságú ciklusok, és ezekkel egészítik ki a permutáció cikluskiterjesztését. A fenti példában egy ilyen kiterjesztett dekompozíció a következő lenne . A permutáció ciklikus szerkezetét a különböző hosszúságú ciklusok száma, nevezetesen a számhalmaz , ahol a hosszúságú ciklusok száma határozza meg . Ebben az esetben az érték megegyezik a permutáció hosszával, és az érték egyenlő a ciklusok teljes számával. A ciklusos elemek permutációinak számát az első típusú előjel nélküli Stirling-szám adja meg .
Bármely ciklus felbontható (nem feltétlenül diszjunkt) transzpozíciók szorzatára . Ebben az esetben egy 1 hosszúságú ciklus (ami lényegében azonos permutáció ) ábrázolható a transzpozíciók üres szorzataként , vagy például bármely transzpozíció négyzeteként: Egy hosszúságú ciklust fel lehet bontani a következő átültetések szorzata :
Meg kell jegyezni, hogy a ciklusok transzpozíciók szorzatává való felbomlása nem egyedi:
Így bármely permutáció felbontható transzpozíciók szorzatára. Bár ezt sokféleképpen meg lehet tenni, az átültetések számának paritása minden ilyen dekompozícióban azonos. Ez lehetővé teszi , hogy egy permutáció ( permutációs paritás vagy permutációs szignatúra ) előjelét a következőképpen határozzuk meg:
ahol az átültetések száma a . Ebben az esetben páros permutációt hívnak , ha , és páratlan permutációt , ha .
Ezzel egyenértékűen a permutáció előjelét a ciklusszerkezete határozza meg: az elemek ciklusokból álló permutációjának előjele egyenlő
.A permutáció előjele az inverziók számából is meghatározható :
.Vegye figyelembe a különböző típusú elemeket , és minden típusban minden elem azonos. Ekkor ezeknek az elemeknek a permutációit, az azonos típusú elemek sorrendjéig , ismétléses permutációknak nevezzük . Ha a th típusú elemek száma, akkor a lehetséges permutációk száma ismétlődésekkel egyenlő a multinomiális együtthatóval
Az ismétlődéseket tartalmazó permutációt sokhalmazos permutációnak is tekinthetjük .
A véletlen permutáció egy véletlen vektor, amelynek minden eleme természetes értéket vesz fel 1-től, és bármely két elem egyezésének valószínűsége 0.
A független véletlen permutáció olyan véletlenszerű permutáció , amelyre:
néhány ilyenre:
Ha ugyanakkor nem függ től , akkor a permutációt egyenlő eloszlásúnak nevezzük . Ha nincs függőség -tól , akkor azt homogénnek nevezzük .