Matrice di permutazione

In matematica una matrice di permutazione, o matrice permutativa, è una matrice che si ottiene scambiando alcune righe o colonne della matrice identità. Vengono utilizzate principalmente per rappresentare permutazioni e da ciò deriva il loro nome.

Definizione

Data una permutazione π {\displaystyle \pi } di n {\displaystyle n} elementi

π : { 1 , , n } { 1 , , n } {\displaystyle \pi \colon \lbrace 1,\ldots ,n\rbrace \to \lbrace 1,\ldots ,n\rbrace }

la matrice di permutazione P π {\displaystyle P_{\pi }} con n {\displaystyle n} elementi è definita come

P π := [ e π ( 1 ) e π ( n ) ] , {\displaystyle P_{\pi }:={\begin{bmatrix}\mathbf {e} _{\pi (1)}\\\vdots \\\mathbf {e} _{\pi (n)}\\\end{bmatrix}},}

dove e i {\displaystyle e_{i}} denota la i {\displaystyle i} -esima riga della matrice identità n × n {\displaystyle n\times n} .

Se una matrice M {\displaystyle M} viene moltiplicata a destra (postmoltiplicata) per una matrice di permutazione P π {\displaystyle P_{\pi }} (per esempio M P {\displaystyle MP} ), i suoi vettori colonna permutano secondo π T {\displaystyle \pi ^{T}} .

Se una matrice M {\displaystyle M} è moltiplicata a sinistra (premoltiplicata) per una matrice di permutazione P {\displaystyle P} (per esempio P M {\displaystyle PM} ), i suoi vettori riga permutano secondo π {\displaystyle \pi } .

Perciò se per esempio π ( i ) = j {\displaystyle \pi (i)=j} , allora la matrice di permutazione P π {\displaystyle P_{\pi }} ha il termine p i j {\displaystyle p_{ij}} uguale ad uno, dunque la riga i {\displaystyle i} di P M {\displaystyle PM} corrisponde alla riga j {\displaystyle j} di M {\displaystyle M} , mentre la colonna j {\displaystyle j} di M P {\displaystyle MP} corrisponde alla colonna i {\displaystyle i} di M {\displaystyle M} .

Proprietà

Le matrici di permutazione sono matrici binarie che hanno esattamente un 1 in ogni riga e in ogni colonna e zeri altrove, dando quindi come somma di ogni riga o colonna esattamente 1.

Sono matrici non singolari, quindi invertibili. Il loro determinante vale sempre ±1 e precisamente è il segno della permutazione corrispondente. Segue che se una matrice viene moltiplicata per una matrice di permutazione, la matrice risultante avrà ancora lo stesso determinante della matrice iniziale ma sarà di segno opposto se la permutazione è dispari.

Una matrice di permutazione P {\displaystyle P} moltiplicata per la propria trasposta P T {\displaystyle P^{T}} restituisce la matrice identità: P P T = I {\displaystyle PP^{T}=I} .

Date due permutazioni π {\displaystyle \pi } e σ {\displaystyle \sigma } dei primi n {\displaystyle n} interi e le corrispondenti matrici di permutazione P π {\displaystyle P_{\pi }} e P σ {\displaystyle P_{\sigma }}

P σ P π = P π σ . {\displaystyle P_{\sigma }P_{\pi }=P_{\pi \circ \sigma }.}

Poiché le matrici di permutazione sono matrici ortogonali, possiedono matrice inversa che può essere scritta come

P π 1 = P π 1 . {\displaystyle P_{\pi }^{-1}=P_{\pi ^{-1}}.}

La moltiplicazione di una matrice di permutazione P π {\displaystyle P_{\pi }} con un vettore g {\displaystyle g} fa permutare di conseguenza le componenti del vettore.

P π g = [ e π ( 1 ) e π ( n ) ] [ g 1 g n ] = [ g π ( 1 ) g π ( n ) ] . {\displaystyle P_{\pi }\mathbf {g} ={\begin{bmatrix}\mathbf {e} _{\pi (1)}\\\vdots \\\mathbf {e} _{\pi (n)}\end{bmatrix}}{\begin{bmatrix}g_{1}\\\vdots \\g_{n}\end{bmatrix}}={\begin{bmatrix}g_{\pi (1)}\\\vdots \\g_{\pi (n)}\end{bmatrix}}.}

Osservazioni

P ( 1 ) {\displaystyle P_{(1)}} è la matrice identità.

Una matrice di permutazione è un caso particolare di matrice stocastica o più precisamente un caso particolare di matrice doppiamente stocastica.

Si può mostrare che tutte le matrici quadrate di un dato aspetto doppiamente stocastiche sono combinazioni lineari convesse di matrici di permutazione; l'insieme delle matrici permutative costituisce quindi un insieme di punti estremi dell'insieme delle matrici doppiamente stocastiche.

Vi sono n ! {\displaystyle n!} (vedi fattoriale) matrici di permutazione n × n {\displaystyle n\times n} .

Le matrici di permutazione n × n {\displaystyle n\times n} munite dell'operazione di moltiplicazione formano un gruppo; questo presenta la matrice identità come elemento unità e costituisce una rappresentazione lineare del gruppo simmetrico di n {\displaystyle n} oggetti.

Le matrici di permutazione vengono impiegate per partizionare a blocchi le matrici riducibili.

Esempi

La matrice di permutazione P π {\displaystyle P_{\pi }} corrispondente alla permutazione π = ( 1 2 3 4 5 1 4 2 5 3 ) {\displaystyle \pi ={\begin{pmatrix}1&2&3&4&5\\1&4&2&5&3\end{pmatrix}}} , è

P π = [ e π ( 1 ) e π ( 2 ) e π ( 3 ) e π ( 4 ) e π ( 5 ) ] = [ e 1 e 4 e 2 e 5 e 3 ] = [ 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 ] {\displaystyle P_{\pi }={\begin{bmatrix}\mathbf {e} _{\pi (1)}\\\mathbf {e} _{\pi (2)}\\\mathbf {e} _{\pi (3)}\\\mathbf {e} _{\pi (4)}\\\mathbf {e} _{\pi (5)}\end{bmatrix}}={\begin{bmatrix}\mathbf {e} _{1}\\\mathbf {e} _{4}\\\mathbf {e} _{2}\\\mathbf {e} _{5}\\\mathbf {e} _{3}\end{bmatrix}}={\begin{bmatrix}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{bmatrix}}}

e agendo su un vettore g {\displaystyle g} fornisce:

P π g = [ e π ( 1 ) e π ( 2 ) e π ( 3 ) e π ( 4 ) e π ( 5 ) ] [ g 1 g 2 g 3 g 4 g 5 ] = [ g 1 g 4 g 2 g 5 g 3 ] . {\displaystyle P_{\pi }\mathbf {g} ={\begin{bmatrix}\mathbf {e} _{\pi (1)}\\\mathbf {e} _{\pi (2)}\\\mathbf {e} _{\pi (3)}\\\mathbf {e} _{\pi (4)}\\\mathbf {e} _{\pi (5)}\end{bmatrix}}{\begin{bmatrix}g_{1}\\g_{2}\\g_{3}\\g_{4}\\g_{5}\end{bmatrix}}={\begin{bmatrix}g_{1}\\g_{4}\\g_{2}\\g_{5}\\g_{3}\end{bmatrix}}.}

Spiegazione

Una matrice di permutazione sarà sempre nella forma

[ e a 1 e a 2 e a n ] , {\displaystyle {\begin{bmatrix}\mathbf {e} _{a_{1}}\\\mathbf {e} _{a_{2}}\\\vdots \\\mathbf {e} _{a_{n}}\\\end{bmatrix}},}

dove, per ogni i {\displaystyle i} , e a i {\displaystyle e_{a_{i}}} rappresenta l' i {\displaystyle i} -esimo vettore di base (come una riga) per R n {\displaystyle \mathbb {R} ^{n}} , e dove

[ 1 2 n a 1 a 2 a n ] {\displaystyle {\begin{bmatrix}1&2&\ldots &n\\a_{1}&a_{2}&\ldots &a_{n}\end{bmatrix}}}

è la permutazione caratterizzante la matrice di permutazione.

In concreto, nell'eseguire la moltiplicazione di matrice, si forma essenzialmente il prodotto interno di ogni riga della prima matrice con ogni colonna della seconda.

In questo esempio, si forma il prodotto interno di ogni colonna di questa matrice con il vettore con elementi che vogliamo permutare. Cioè, per esempio, se chiamiamo il vettore v = ( g 0 , , g 5 ) T {\displaystyle v=(g_{0},\dots ,g_{5})^{T}} ,

e a i v = g a i . {\displaystyle e_{a_{i}}\cdot v=g_{a_{i}}.}

Quindi, il prodotto della matrice di permutazione con il vettore v {\displaystyle v} precedente, è un vettore della forma ( g a 1 , g a 2 , , g a n ) {\displaystyle (g_{a_{1}},g_{a_{2}},\dots ,g_{a_{n}})} , e quindi questa è una permutazione di v {\displaystyle v} poiché abbiamo detto che la permutazione che si forma è

[ 1 2 n a 1 a 2 a n ] . {\displaystyle {\begin{bmatrix}1&2&\ldots &n\\a_{1}&a_{2}&\ldots &a_{n}\end{bmatrix}}.}

Quindi, le matrici di permutazione applicate a un vettore effettivamente permutano le sue componenti.

Generalizzazione

Una possibile generalizzazione di matrici di permutazione sono le matrici dove i valori di ogni colonna e riga hanno somma un certo numero c {\displaystyle c} . Per esempio nella seguente matrice M {\displaystyle M} ogni colonna o riga ha somma 5.

M = [ 5 0 0 0 0 0 3 2 0 0 0 0 0 5 0 0 1 2 0 2 0 1 1 0 3 ] . {\displaystyle M={\begin{bmatrix}5&0&0&0&0\\0&3&2&0&0\\0&0&0&5&0\\0&1&2&0&2\\0&1&1&0&3\end{bmatrix}}.}

Una matrice di questo tipo può essere scomposta in matrici di permutazione come

M = c 1 P 1 + + c t P t , {\displaystyle M=c_{1}P_{1}+\ldots +c_{t}P_{t},}

con

i = 1 t c i = c . {\displaystyle \sum _{i=1}^{t}c_{i}=c.}

Voci correlate

Altri progetti

Altri progetti

  • Wikimedia Commons
  • Collabora a Wikimedia Commons Wikimedia Commons contiene immagini o altri file su matrice di permutazione

Collegamenti esterni

  • (EN) Pagina su Wolfram MathWorld, su mathworld.wolfram.com.
Controllo di autoritàGND (DE) 4811820-5
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica