Matriz de permutação
Definição
Uma matriz de permutação n × n é uma matriz cujas linhas são as linhas da identidade I, em alguma ordem. Equivalentemente, ela tem exatamente uma entrada igual a 1 em cada linha e em cada coluna, e as demais entradas iguais a 0.
Teorema
Seja P uma matriz de permutação n × n.
- Se a linha i de P é a linha j de I, então a linha i de PA é a linha j de A, para toda matriz A com n linhas.
- Se a coluna j de P é a coluna i de I, então a coluna j de AP é a coluna i de A, para toda matriz A com n colunas.
- P é invertível, e P−1 = PT.
- O produto de duas matrizes de permutação n × n é uma matriz de permutação.
Itens 1, 2 e 4. A linha i de PA é a linha i de P vezes A. Se a linha i de P é a linha j de I, esse produto é a linha j de A, o que prova o item 1. O item 2 tem a mesma prova, com colunas. Para o item 4, seja Q outra matriz de permutação n × n. Pelo item 1, as linhas de PQ são as linhas de Q em outra ordem, logo são as linhas de I em outra ordem.
Por que P−1 = PT. A entrada (i, j) de PPT é o produto da linha i de P pela coluna j de PT, que é a linha j de P, transposta. As linhas de P são linhas diferentes da identidade, então esse produto vale 1 se i = j e 0 se i ≠ j: PPT = I. Da mesma forma, as colunas de P são colunas diferentes da identidade, e PTP = I.
Ciclos e ordem de uma permutação
Multiplicar um vetor x ∈ ℝn por P muda as posições das suas coordenadas. Se a linha i de P é a linha j de I, a coordenada i de Px é a coordenada j de x: a multiplicação leva o valor da posição j para a posição i. Dizemos que P leva a posição j à posição i.
Definição
Um ciclo de P, de tamanho q, é uma lista de q posições distintas j1, …, jq tal que P leva j1 a j2, j2 a j3, e assim por diante, até levar jq a j1. Uma posição que P leva a ela mesma forma um ciclo de tamanho 1. A ordem de uma matriz de permutação P é o menor inteiro k ≥ 1 tal que Pk = I.
Toda posição pertence a exatamente um ciclo. Partindo de uma posição e seguindo para onde P a leva, a lista de posições visitadas volta à posição de partida, porque há finitas posições e P leva posições diferentes a posições diferentes. A cada multiplicação por P, cada valor passa para a posição seguinte do seu ciclo. Num ciclo de tamanho q, os valores voltam às posições iniciais exatamente quando o número de multiplicações é múltiplo de q.
A ordem existe. As potências de P também são matrizes de permutação (item 4 do teorema), e há apenas n! matrizes de permutação n × n. Então duas das potências P, P2, …, Pn!+1 coincidem: Pk = Pk+h, com h ≥ 1. Multiplicando os dois lados por (P−1)k, obtemos Ph = I. Se os ciclos de P têm tamanhos q1, …, qt, então Pk = I exatamente quando k é múltiplo de todos esses tamanhos. Por isso, a ordem de P é o mínimo múltiplo comum desses tamanhos, mmc(q1, …, qt).
Exemplo
Para P = 010001100, as linhas de PA são as linhas 2, 3 e 1 de A, nessa ordem, para toda matriz A com 3 linhas, e
P(x1, x2, x3)T = (x2, x3, x1)T.
Assim, P leva a posição 2 à posição 1, a posição 3 à posição 2 e a posição 1 à posição 3: as três posições formam um único ciclo, de tamanho 3. Calculando,
que é PT. Logo P3 = P2P = PTP = I, a ordem de P é 3, e P−1 = P2 = PT.
Na bancada: no modo Permutações, escolha P no painel Escolha da permutação P e use os botões do quadro A tabela de lotes T: PT reordena as linhas (os lotes), e TP, as colunas (as etapas). O quadro A permutação P mostra P, PT e PPT = I. Na parte Em dimensão n, o campo Tamanhos dos ciclos monta uma permutação de até 24 posições, e o quadro Os ciclos de P desenha os seus ciclos.