Permutacja

Szablon:Dopracować Permutacja (Szablon:Łac. „zmiana, wymiana”) – wzajemnie jednoznaczne przekształcenie pewnego zbioru na siebie. Najczęściej termin ten oznacza funkcję na zbiorach skończonych.

Permutacje zbiorów skończonych mogą być utożsamiane z ustawianiem elementów zbioru w pewnej kolejności. W poniższym artykule zbiór wszystkich permutacji zbioru $X$ będzie oznaczany $S(X),$ jeżeli $X=\{1,2,3,\dots ,n\},$ to zapisywany on będzie symbolem $S_n$ (zob. pozostałe oznaczenia w artykule o grupach permutacji).

Zapis

Dla permutacji zbiorów skończonych stosuje się specjalne oznaczenia. Niech $\pi \in S_n,$ wówczas zapisuje się ją jako

$\pi =\left(\begin{array}{cccc}1& 2& \dots & n\\ a_1& a_2& \dots & a_n\end{array}\right),$

gdzie $a_i=\pi (i)$ dla $i=1,\dots ,n.$

Zapis macierzowy

Permutację $\pi \in S_n$ można też zapisać jako macierz $A,$ dla której $A_{i,j}^{\pi }=\{\begin{array}{cc}1,& \text{dla }\pi (i)=j,\\ 0,& \text{dla }\pi (i)\ne j\end{array}.$ Alternatywnie jako macierz $B_{i,j}^{\pi }=\{\begin{array}{cc}1,& \text{dla }\pi (j)=i,\\ 0,& \text{dla }\pi (j)\ne i\end{array}.$

Oba przyporządkowania różnią się o transpozycję wynikowej macierzy, tzn. dla dowolnej $\pi \in S_n$ mamy, że $A^{\pi }=(B^{\pi }{)}^T.$

Reprezentacja w postaci $S_n\ni \pi \to B^{\pi }\in GL(n)$ jest izomorfizmem grupy $S_n$ z operacją składania funkcji na odpowiednią podgrupę grupy macierzy $n\times n$ z operacją mnożenia macierzy, tzn.:

$B^{\sigma \circ \pi }=B^{\sigma }\cdot B^{\pi }$

dla dowolnych $\pi ,\sigma \in S_n$

Reprezentacja w postaci macierzy $A^{\pi }$ jest bijektywnym antyhomomorfizmem:

$A^{\sigma \circ \pi }=A^{\pi }\cdot A^{\sigma }$

Na przykład dla permutacji $\pi =\left(\begin{array}{ccccc}1& 2& 3& 4& 5\\ 1& 4& 2& 5& 3\end{array}\right)$ mamy, postacie macierzowe $A^{\pi }=\left(\begin{array}{ccccc}1& 0& 0& 0& 0\\ 0& 0& 0& 1& 0\\ 0& 1& 0& 0& 0\\ 0& 0& 0& 0& 1\\ 0& 0& 1& 0& 0\end{array}\right)$

oraz

$B^{\pi }=\left(\begin{array}{ccccc}1& 0& 0& 0& 0\\ 0& 0& 1& 0& 0\\ 0& 0& 0& 0& 1\\ 0& 1& 0& 0& 0\\ 0& 0& 0& 1& 0\end{array}\right).$

Grupa permutacji

Szablon:Osobny artykuł Zbiór $S(X)$ wszystkich permutacji zbioru $X$ wraz z działaniem składania funkcji stanowi grupę nazywaną grupą permutacji. Jeśli $X$ jest zbiorem $n$-elementowym, to grupa $S(X)$ jest izomorficzna z $S_n:$ niech $f:\{1,\dots ,n\}\to X$ będzie bijekcją. Wówczas odwzorowanie

$S(X)\to S_n;\pi \mapsto f^{-1}\circ \pi \circ f$

jest izomorfizmem grup. Podobnie można pokazać, że jeśli zbiory $X,Y$ są równoliczne, to grupy $S(X),S(Y)$ są izomorficzne, a więc nierozróżnialne na gruncie teorii grup.

Rząd grupy $S_n,$ czyli moc zbioru wszystkich permutacji zbioru $n$-elementowego, to możliwa liczba uporządkowań tego zbioru równa $n!,$ gdzie wykrzyknik oznacza silnię. W kombinatoryce na oznaczenie liczności tego zbioru stosuje się również symbol $P_n.$

Składanie permutacji

Szablon:Osobny artykuł Złożeniem permutacji ${\pi }_1,{\pi }_2\in S(X)$ jest permutacja ${\pi }_2\circ {\pi }_1\in S(X)$ zadana wzorem

$({\pi }_2\circ {\pi }_1)(x)={\pi }_2({\pi }_1(x))$ dla $x\in X.$

Przykład

$\left(\begin{array}{ccc}1& 2& 3\\ 3& 2& 1\end{array}\right)\circ \left(\begin{array}{ccc}1& 2& 3\\ 2& 3& 1\end{array}\right)=\left(\begin{array}{ccc}1& 2& 3\\ 2& 1& 3\end{array}\right).$

Permutacja odwrotna

Szablon:Osobny artykuł Permutacja ${\pi }^{-1},$ odwrotna do permutacji $\pi \in S_n$ odwzorowującej wiersz górny na dolny to permutacja odwzorowująca dolny wiersz na górny: aby uzyskać jej zapis, należy zamienić porządek wierszy i (dla wygody) uporządkować rosnąco kolumny.

W zapisie macierzowym, macierz permutacji ${\pi }^{-1},$ odwrotnej do permutacji $\pi \in S_n,$ to transpozycja macierzy permutacji $\pi .$

Przykład

Jeśli $\pi =\left(\begin{array}{ccc}1& 2& 3\\ 2& 1& 3\end{array}\right)\in S_3,$ to

${\pi }^{-1}={\left(\begin{array}{ccc}1& 2& 3\\ 2& 1& 3\end{array}\right)}^{-1}=\left(\begin{array}{ccc}2& 1& 3\\ 1& 2& 3\end{array}\right)=\left(\begin{array}{ccc}1& 2& 3\\ 2& 1& 3\end{array}\right).$

W zapisie macierzowym, ta sama permutacja $\pi =\left(\begin{array}{ccc}1& 2& 3\\ 2& 1& 3\end{array}\right)\in S_3$ ma macierz: $A=\left(\begin{array}{ccc}0& 1& 0\\ 1& 0& 0\\ 0& 0& 1\end{array}\right),$

a permutacja ${\pi }^{-1},$ odwrotna do $\pi ,$ ma macierz $A^T={\left(\begin{array}{ccc}0& 1& 0\\ 1& 0& 0\\ 0& 0& 1\end{array}\right)}^T=\left(\begin{array}{ccc}0& 1& 0\\ 1& 0& 0\\ 0& 0& 1\end{array}\right)=A.$

Znak permutacji

Znak permutacji definiuje się jako znak wyznacznika macierzy tej permutacji. Można na to spojrzeć też w inny sposób: każdą permutację można otrzymać za pomocą złożenia różnych liczb przestawień (transpozycji) par elementów. Takie przedstawienie permutacji nie jest jednoznaczne i można zmienić liczbę użytych transpozycji, niemniej jednak liczba transpozycji w takiej reprezentacji jest zawsze albo parzysta, albo nieparzysta. Inaczej mówiąc, parzystość liczby transpozycji jest niezmiennikiem tej operacji. Wynika to z faktu, że każda transpozycja zmienia całkowitą liczbę inwersji o liczbę nieparzystą. Permutację, która ma parzystą liczbę inwersji nazywamy parzystą (lub dodatnią), zaś jeśli ma ona nieparzystą liczbę inwersji, to nazywamy ją permutacją nieparzystą (lub ujemną).

Cykle

Cyklem nazywamy każdą permutację postaci:

$\left(\begin{array}{ccccccccc}{a}_1& a_2& \dots & a_{k-1}& a_k& a_{k+1}& a_{k+2}& \dots & a_n\\ a_2& a_3& \dots & a_k& a_1& a_{k+1}& a_{k+2}& \dots & a_n\end{array}\right).$

Zazwyczaj, gdy operujemy na cyklach opuszczamy część: $\left(\begin{array}{cccc}{a}_{k+1}& a_{k+2}& \dots & a_n\\ a_{k+1}& a_{k+2}& \dots & a_n\end{array}\right),$ gdyż nie wnosi ona nic nowego.

Zapis cyklu możemy jeszcze uprościć. Wystarczy zauważyć, że dolny wiersz naszego symbolu oznaczającego cykl można jednoznacznie odtworzyć z górnego. Zatem nasz ostateczny uproszczony symbol przybiera postać:

$\left(\begin{array}{ccccc}{a}_1& a_2& \dots & a_{k-1}& a_k\\ a_2& a_3& \dots & a_k& a_1\end{array}\right)=(a_1,a_2,\dots ,a_k).$

Można udowodnić (choć jest to dość intuicyjne), że każdą permutację można przedstawić jako złożenie $k$ rozłącznych (niezależnych), a więc i różnych, cykli. Ponieważ cykle są różne i wszystkie należą do zbioru $S_n,$ o ilości elementów $\mathrm{\#}{S}_n=n!,$ więc $k<n!.$

Składanie permutacji, podobnie jak większości funkcji, nie jest przemienne. Nie dotyczy to sytuacji, gdy składamy permutacje rozłączne (niezależne). Ponieważ permutacjami rozłącznymi są rozłączne cykle to zachodzi następujące twierdzenie:

${\mathrm{\forall }}_{m\in {\mathbb{N}}_{\mathbb{+}}}{\pi }^m=p_1^m\circ p_2^m\circ \dots \circ p_k^m,$ gdzie $\pi =p_1\circ p_2\circ \dots \circ p_k$ jest rozkładem permutacji $\pi$ na $k$ rozłącznych cykli.

Przykłady

Cyklem jest permutacja:

$\left(\begin{array}{cccccccc}1& 3& 5& 8& 2& 4& 6& 7\\ 3& 5& 8& 1& 2& 4& 6& 7\end{array}\right)$ którą można zapisać jako $\left(\begin{array}{cccc}1& 3& 5& 8\\ 3& 5& 8& 1\end{array}\right)$

Rozkład na cykle

$\begin{array}{ccc}\left(\begin{array}{cccccccc}1& 2& 3& 4& 5& 6& 7& 8\\ 3& 4& 8& 6& 7& 2& 1& 5\end{array}\right)& =& \left(\begin{array}{cccccccc}1& 3& 8& 5& 7& 2& 4& 6\\ 3& 8& 5& 7& 1& 4& 6& 2\end{array}\right)\\ & =& \left(\begin{array}{cccccccc}1& 3& 8& 5& 7& 2& 4& 6\\ 3& 8& 5& 7& 1& 2& 4& 6\end{array}\right)\circ \left(\begin{array}{cccccccc}1& 3& 8& 5& 7& 2& 4& 6\\ 1& 3& 8& 5& 7& 4& 6& 2\end{array}\right)\\ & =& \left(\begin{array}{ccccc}1& 3& 8& 5& 7\\ 3& 8& 5& 7& 1\end{array}\right)\circ \left(\begin{array}{ccc}2& 4& 6\\ 4& 6& 2\end{array}\right)\\ & =& (1,3,8,5,7)\circ (2,4,6)\end{array}$

Kombinatoryka

Permutacje zbioru 3 elementowego

Permutacja bez powtórzeń

Permutacja jest szczególnym przypadkiem wariacji bez powtórzeń.

Definicja: Permutacją bez powtórzeń zbioru złożonego z n różnych elementów nazywamy każdy n wyrazowy ciąg utworzony ze wszystkich wyrazów zbioru. Wszystkich możliwych permutacji zbioru n-elementowego jest:

$P_n=n!$

Przykład: Elementy zbioru $A=\{a,b,c\}$ można ustawić w ciąg na $P_3=3!=6$ sposobów: $abc,acb,bac,bca,cab,cba.$

Wyjaśnienie: W każdej z permutacji mamy do zapełnienia trzy wolne miejsca. W pierwszym z nich możemy umieścić dowolną z liter na trzy sposoby $(P_n=3\cdot \dots ),$ na drugim dowolną spośród pozostałych jeszcze dwóch liter na dwa sposoby $(P_n=3\cdot 2\cdot \dots )$ itd. Na ostatnim miejscu musi znaleźć się ostatnia dostępna litera (element zbioru), a zatem możemy to zrobić tylko na jeden sposób. Ostatecznie otrzymujemy: $P_n=3\cdot 2\cdot 1=3!$

Permutacja z powtórzeniami

Niech $A$ oznacza zbiór złożony z $k$ różnych elementów $A=\{a_1,a_2,\dots ,a_k\}.$ Permutacją $n$ elementową z powtórzeniami, w której elementy $a_1,a_2,\dots ,a_k$ powtarzają się odpowiednio $n_1,n_2,\dots ,n_k$ razy, $n_1+n_2+\dots +n_k=n,$ jest każdy $n$-wyrazowy ciąg, w którym elementy $a_1,a_2,\dots ,a_k$ powtarzają się podaną liczbę razy.

Liczba takich permutacji z powtórzeniami wynosi $\frac{n!}{n_1!\cdot n_2!\cdot \dots \cdot n_k!}.$

Przykład: Przestawiając litery $b,a,b,k,a$ można otrzymać $\frac{5!}{2!\cdot 2!\cdot 1!}=30$ różnych napisów.

Wyjaśnienie: „Zwykłe” przestawianie liter w słowie babka spowoduje kilkukrotne powstanie identycznych wyrazów, np. zamieniając miejscami pierwszą i trzecią literę znów otrzymamy słowo babka. Należy to uwzględnić przy zliczaniu, dlatego rezultat trzeba podzielić każdorazowo przez liczbę „zbędnych” permutacji, które nie prowadzą do powstania nowych słów (ciągów uporządkowanych).

Spostrzeżenie: Można wobec tego zapisać wzór na permutację bez powtórzeń następująco: $P_n=n!=\frac{n!}{1!\cdot 1!\cdot \dots \cdot 1!}$ (każdy z elementów występuje dokładnie raz).

Urządzenia do wyliczania permutacji matematycznych

Urządzeniem do wyliczania cyklicznych permutacji był wynaleziony w połowie lat trzydziestych przez polskiego matematyka i kryptologa Mariana Rejewskiego cyklometr. Służył on polskiemu wywiadowi do łamania kodów niemieckiej maszyny szyfrującej Enigma.

Zobacz też

• Nieporządek

Linki zewnętrzne

• Szablon:Pismo Delta
• Szablon:Otwarty dostęp Signature (permutation) Szablon:Lang, Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-04-05].