En permutationsmatris är en kvadratisk matris som har precis en etta i varje rad och varje kolumn och vars övriga element är noll.

En permutationsmatris för permutationen (2,6,3,1,8,4,7,5)

Permutationsmatriser är ortogonalmatriser, eftersom deras rader är omkastningar av raderna i en enhetsmatris och matriserna är således inverterbara.

Om en permutationsmatris multipliceras med en vektor permuteras vektorns rader eller kolumner beroende på om matrisen står till vänster eller höger om multiplikationstecknet.

Alla permutationer i den symmetriska gruppen kan skrivas som en n × n-permutationsmatris och dessa matriser bildar en grupp under matrismultiplikation, med enhetsmatrisen som neutralt element. Inversen till en permutation med matrisen P ges av , där T betecknar transponat.

Matrisspåret av en permutationsmatris är antalet fixpunkter för permutationen.

Definition redigera

Givet en permutation π av m element,

 

representerad i form av två rader av

 

finns det två naturliga sätt att associera permutationen med en permutationsmatris, nämligen att starta med en m × m enhetsmatris, Im och endera permutera kolumnerna eller raderna i Im i enlighet med π. Båda sätten att definiera en permutationsmatris förekommer i litteraturen och egenskaperna uttryckta i den ena representationen kan enkelt översättas till den andra representationen. Denna artikel behandlar blott den ena representationen med undantag av när det finns särskilda skäl för att uppmärksamma skillnaden.

m × m-permutationsmatrisen Pπ = (pij) erhållen genom permutation av kolumnerna av idetitetsmatrisen Im, det vill säga, för varje i är pij = 1 om j = π(i) eller 0 i övriga fall, kommer att refereras till som kolumnrepresentation i denna artikel.[1] Då elementen i rad i är alla 0 med undantag för en 1:a som förekommer i π(i), kan vi skriva

 

där  , en standardbasvektor, betecknar en radvektor av längden m med 1 i position j och 0 i övriga positioner.[2]

Exempelvis är, permutationsmatrisen Pπ svarande mot permutationen  

 

Observera att kolumn j av I5 i identitetsmatrisen nu uppträder som π(j)-kolumnen hos Pπ.

Den andra representationen, erhållen genom permutering av raderna hos identitetsmatrisen Im, det vill säga, för varje j, är pij = 1 om i = π(j) och 0 i övrigt, refereras till som radrepresentationen.

Egenskaper redigera

Kolumnrepresentationen av en permutationsmatris används genomgående i detta avsnitt om inte annat anges.

Att multiplicera   med en kolumnvektor g permuterar vektors rader:

 

Upprepad användning av detta resultat visar att om M är en korrekt dimensionerad matris, är produkten,   en permutation av raderna i M. Emellertid, observationen att

 

för varje k visar att permutationer av rader ges av π−1.

Då permutationsmatriserna är ortogonala matriser (exempelvis,  ), existerar den inversa matrisen och kan skrivas som

 

Multiplikation av en radvektor med   permuterar vektorns kolumner:

 

Återigen, upprepad tillämpning av detta resultat, det vill säga, multiplikation av en matris M med permutationsmatrisen Pπ, enligt M Pπ, resulterar i en permutation av M:s kolumner. Notera också att

 

Givet två permutationer π and σ av m element, är de motsvarande permutationsmatriserna Pπ and Pσ som verkar på kolumnvektorer, komponerade enligt

 

Samma matriser verkande på radvektorer (multiplikation enligt mönstret M Pπ) är sammansatta enligt samma regel

 

För klarhets skull, ovanstående uttryck använder prefixnotation för permutationssammansättningar, det vill säga

 

Låt   vara permutationsmatrisen som svarar mot π i dess radrepresentation. Egenskaperna hos denna representation kan bestämmas från de med kolumnrepresentation då   Speciellt,

 

Från detta följer

 

och på liknande sätt,

 

Exempel redigera

Permutation av rader och kolumner redigera

När en permutationsmatris P multipliceras från vänster med en matris M (PM) permuterar den M:s rader (här, en kolumnvektors element),

när P multipliceras från höger med M (MP) kommer den att permutera M:s kolumner (här, en radvektors element):

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

Permutation av rader redigera

Permutationsmatrisen Pπ motsvarande permutationen

  är
 

Givet en vektor g,

 

Referenser redigera

Noter redigera

  1. ^ Terminologin är inte standard. De flesta författare väljer en notation som är konsistent med övriga notationer som kan ha introducerats så det finns vanligen ingen anledning att tillhandahålla ett specifikt namn.
  2. ^ Brualdi (2006) p.2