Permutaatiomatriisi

Matriisit kuvaavat 3 alkion permutaatioita
Kahden permutaatiomatriisin matriisitulo on myös permutaatiomatriisi. ( Englanniksi matriisitulosta ).

Nämä ovat kuuden matriisin asemat:

(Ne ovat myös permutaatiomatriiseja.)

Permutaatiomatriisi on matematiikan matriisiteoriassa eliöllinen yksikkömatriisi, jolla on täsmälleen yksi johtava alkio 1 jokaisella rivillä ja sarakkeessa ja kaikkialla muualla 0. Jokainen sellainen matriisi esittää tiettyä permutaatiota, jossa on m alkiota ja kerrottaessa toisella matriisilla, se voi tuottaa uuden matriisin, jolla on toisen matriisin rivit ja sarakkeet.

Määritelmä

Annettu "m":n alkion permutaatio π ,

$\pi :\{1,\dots ,m\}\to \{1,\dots ,m\}$

annettu kahden rivin muodossa

$\left(\begin{array}{cccc}1& 2& \cdots & m\\ \pi (1)& \pi (2)& \cdots & \pi (m)\end{array}\right),$

sen permutaatiomatriisi on m × m matriisi P_π, jonka johtavat alkiot ovate kaikkialla 0, paitsi rivillä i, johtava alkio π(i) on 1. Voidaan kirjoittaa

$P_{\pi }=\left[\begin{array}{c}{𝐞}_{\pi (1)}\\ {𝐞}_{\pi (2)}\\ ⋮\\ {𝐞}_{\pi (m)}\end{array}\right],$

jossa ${𝐞}_j$ merkitsee rivivektorin pituutta "m", jolla on 1 js asemassa ja 0 kaikkialla muualla.

Ominaisuudet

Annetut kaiksi permutaatiota π ja σ, joilla on "m" alkiota ja vastaavat permutaatiomatriisit

Pπ ja Pσ 

$P_{\sigma }{P}_{\pi }=P_{\pi \circ \sigma }$

Tämä jollain tapaa epätoivottu sääntö on seurausta permutaatioiden kertolaskun määritelmästä (bijektioiden rakenne) ja matriiseista ja valinnasta käyttää vektoreita ${𝐞}_{\pi (i)}$ permutaatiomatriisien riveinä; jos käytetään sarakkeita niin yllä olevasta tulosta tulee $P_{\sigma \circ \pi }$, joke on yhtäsuuri alkuperäisessä järjestyksessä olevien permutaatioiden kanssa.

Koska permutaatiomatriisit ovat ortogonaalisia matriiseja (ts., $P_{\pi }{P}_{\pi }^T=I$), käänteismatriisit ovat olemassa ja voidaan kirjoittaa

$P_{\pi }^{-1}=P_{{\pi }^{-1}}=P_{\pi }^T.$

Kertomalla $P_{\pi }$ kertaa sarakevektorilla (englanniksi column vector) g voidaan permutoidan vektorin rivit:

$P_{\pi }𝐠=\left[\begin{array}{c}{𝐞}_{\pi (1)}\\ {𝐞}_{\pi (2)}\\ ⋮\\ {𝐞}_{\pi (n)}\end{array}\right]\left[\begin{array}{c}{g}_1\\ g_2\\ ⋮\\ g_n\end{array}\right]=\left[\begin{array}{c}{g}_{\pi (1)}\\ g_{\pi (2)}\\ ⋮\\ g_{\pi (n)}\end{array}\right].$

Käyttämällä $P_{\sigma }$ sen jälkeen kun $P_{\pi }$ on käytetty, saadaan sama tulos kuin käyttämällä suoraan $P_{\pi \circ \sigma }$

yhtäpitävästi yllä olevan kertolaskusäännön kanssa: merkitään $P_{\pi }𝐠={𝐠}^{\prime }$, toisin sanoen

$g{\text{'}}_i=g_{\pi (i)}$

kaikilla i, siten

$P_{\sigma }(P_{\pi }(𝐠))=P_{\sigma }({𝐠}^{\prime })=\left[\begin{array}{c}g{\text{'}}_{\sigma (1)}\\ g{\text{'}}_{\sigma (2)}\\ ⋮\\ g{\text{'}}_{\sigma (n)}\end{array}\right]=\left[\begin{array}{c}{g}_{\pi (\sigma (1))}\\ g_{\pi (\sigma (2))}\\ ⋮\\ g_{\pi (\sigma (n))}\end{array}\right].$

Kertomalla rivivektoria (englanniksi row vector) h kertaa $P_{\pi }$

permutoi vektorin sarakkeet käänteis $P_{\pi }$:

$𝐡P_{\pi }=\left[\begin{array}{c}{h}_1{h}_2\dots h_n\end{array}\right]\left[\begin{array}{c}{𝐞}_{\pi (1)}\\ {𝐞}_{\pi (2)}\\ ⋮\\ {𝐞}_{\pi (n)}\end{array}\right]=\left[\begin{array}{c}{h}_{{\pi }^{-1}(1)}{h}_{{\pi }^{-1}(2)}\dots h_{{\pi }^{-1}(n)}\end{array}\right]$

Jälleen voidaan tarkistaa, että $(𝐡P_{\sigma })P_{\pi }=𝐡P_{\pi \circ \sigma }$.

Notes

Merkitään S_n:lla symmetristä ryhmää (engl. symmetric group), tai permutaatioiden ryhmää {1,2,...,n}. Koska nyt on n! permutaatioita, on olemassa n! permutaatiomatriiseja. Yllä olevien kaavojen perusteella n × n permutaatiomatriisit muodostavat ryhmän (engl. group) yksikkömatriisin kertolaskulla.

Jos (1) viittaa identiteetti permutaatioon (yksikkö permutaatio), niin P₍₁₎ on yksikkömatriisi.

Permutaatiomatriisia voidaan tarkastella σ:n permutaationa, kun permutaatio σ on yksikkömatriisin "I" sarakkeina tai "I":n rivien permutaatioina σ⁻¹.

Permutaatiomatriisi on stokastinen neliömatriisi.

Tulo "PM" saadaan kertomalla matriisia "M" permutaatiomatriisilla "P", permutoimalla "M"n rivit "i" liikkuvat riveiksi π(i). Päinvastoin tulo MP permutoi M:n sarakkeita.

Kuvaus S_n → A ⊂ GL(n, Z₂). Siten, |A| = n!.

Permutaatiomatriisin jälki permutaation kiinnitettyjen pisteiden lukumäärä. Jos permutaatiolla on kiinteitä pisteitä, niin se voidaan kirjoittaa rengasmuodossa kuten π = (a₁)(a₂)...(a_k)σ where σ jos sillä ei ole kiinteitä pisteitä, silloin voidaan kirjoittaa e_a1,e_a2,...,e_ak jotka ovat permutaatiomatriisin ominaisarvot.

Ryhmäteorian pohjalta tiedetään että mikä tahansa permutaatio voidaan kirjoittaa transpoosin tulona. Sen tähden minkä tahansa permutaatiomatriisin "P" tekijät saadaan Alkeismatriisin rivitoimituksilla, jossa jokaisella on determinantti -1. Siten permutaatiomatriisin "P" determinatti on vastaavan permutaation merkki.

Esimerkkejä

Rivien ja sarakkeiden permutaatiot

Kun permutaatiomatriisia "P" kerrotaan matriisilla "M" vasemmalta "PM" permutoi "M":n rivit (sarakevektorin alkioilla), kun "P" kerrotaan "M":llä oikealta "MP" permutoi "M":n sarakkeet (rivivektorin alkiot):

P * (1,2,3,4)T = (4,1,3,2)T

(1,2,3,4) * P = (2,4,3,1)

Rivien ja sarakkeiden permutaatiot ovat esimerkkejä peilauksesta (katso alla) ja syklisistä permutaatioista (engl. cyclic permutation matrix).

reflections
(1,2,3,4) * PT = (4,1,3,2) PT * (1,2,3,4)T = (2,4,3,1)T Nämä matriisien järjestelyt ovat peilauksia yllä olevista. Tämä on seurausta säännöstä ${\left(𝐀𝐁\right)}^{\mathrm{T}}={𝐁}^{\mathrm{T}}{𝐀}^{\mathrm{T}}$      (Compare: Transpose)

Rivien permutaatio

PErmutaatiomatriisi P_π vastaa permutaatiota :$\pi =\left(\begin{array}{ccccc}1& 2& 3& 4& 5\\ 1& 4& 2& 5& 3\end{array}\right),$ joten

$P_{\pi }=\left[\begin{array}{c}{𝐞}_{\pi (1)}\\ {𝐞}_{\pi (2)}\\ {𝐞}_{\pi (3)}\\ {𝐞}_{\pi (4)}\\ {𝐞}_{\pi (5)}\end{array}\right]=\left[\begin{array}{c}{𝐞}_1\\ {𝐞}_4\\ {𝐞}_2\\ {𝐞}_5\\ {𝐞}_3\end{array}\right]=\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].$

Annetulle vektorille g,

$P_{\pi }𝐠=\left[\begin{array}{c}{𝐞}_{\pi (1)}\\ {𝐞}_{\pi (2)}\\ {𝐞}_{\pi (3)}\\ {𝐞}_{\pi (4)}\\ {𝐞}_{\pi (5)}\end{array}\right]\left[\begin{array}{c}{g}_1\\ g_2\\ g_3\\ g_4\\ g_5\end{array}\right]=\left[\begin{array}{c}{g}_1\\ g_4\\ g_2\\ g_5\\ g_3\end{array}\right].$

Selitys

Permutaatiomatriisi on aina muotoa

$\left[\begin{array}{c}{𝐞}_{a_1}\\ {𝐞}_{a_2}\\ ⋮\\ {𝐞}_{a_j}\end{array}\right]$

jossa e_ai esittää i:ttä basis alkeisvektoria (kuten riviä) R:lle '^j, missä

$\left[\begin{array}{cccc}1& 2& \dots & j\\ a_1& a_2& \dots & a_j\end{array}\right]$

on permutaatio muoto permutaatiomatriisista.

Suorittamalla matriisikertolaskun, erityisesti muodostamalla pistetulo ensimmäisen matriisin jokaisen rivin toisen matriisin jokaisen sarakkeen kanssa. Tässä esimerkissä muodostetaan pistetulo jokaisen tämän matriisin rivin ja halutun vektorin alkioiden välille. Joka on esimerkiksi v= (g₀,...,g₅)^T,

e_ai·v=g_ai

Siten permutaatiomatriisin tulo vektorin v kanssa (yllä), muodostaa vektorin muotoa (g_a1, g_a2, ..., g_aj), ja tämä on siten v:n permutaatio kun sanotaan, että permutaatio on muotoa

$\left(\begin{array}{cccc}1& 2& \dots & j\\ a_1& a_2& \dots & a_j\end{array}\right).$

Siten permutaatiomatriisit itse asiassa permutoivat vektorin alkioiden järjestyksessä kerrottaessa permutaatiomatriisit niillä.

Lähteet

• Malline:Cite book