Matriz permutación
La matriz permutación es la matriz cuadrada con todos sus n×n elementos iguales a 0, excepto uno cualquiera por cada fila y columna, el cual debe ser igual a 1. De acuerdo a esta definición existen n! matrices de permutación distintas, de las cuales una mitad corresponde a matrices de permutación par (con el determinante igual a 1) y la otra mitad a matrices de permutación impar (con el determinante igual a -1).
Para n = 3 se tiene:
Matrices de permutación par:
Matrices de permutación impar:
Puede notarse que las matrices de permutación conforman un grupo de orden n! respecto al producto.
Definición
editarDada una permutación de m elementos,
representada en forma de dos líneas por
hay dos maneras naturales de asociar la permutación con una matriz de permutación; a es decir, comenzando con la matriz identidad de m × m, , permuta las columnas o permuta las filas, según . Ambos métodos para definir las matrices de permutación aparecen en la literatura y las propiedades expresadas en una representación pueden ser fácilmente convertidas a la otra representación. Este artículo tratará principalmente de una sola de estas representaciones y la otra sólo se mencionará cuando haya una diferencia que haya que tener en cuenta.
La matriz permutación de m × m = (pij) que se obtiene al permutar las columnas de la matriz identidad es decir, por cada i, pij = 1 si j = (i) y 0 en caso contrario, se referirá a la representación de la columna en este artículo. Dado que las entradas en la fila i son todas 0 excepto que un 1 aparece en la columna (i), podemos escribir
donde , un vector de base estándar, denota un vector de longitud m con un 1 en la posición j y 0 en cualquier otra posición.
Por ejemplo, la matriz permutación correspondiente a la permutación: es
Observemos que la columna j de la matriz identidad ahora aparece como la columna de
La otra representación, obtenida por permutar las filas de la matriz identidad , es decir, por cada j, pij = 1 si i = y 0 en caso contrario, se denominará representación de la fila.
Propiedades
editarLa representación de las columnas de una matriz permutación se utiliza a lo largo de esta sección, salvo que se indique lo contrario.
Multiplicando veces un vector columna g permutará las filas del vector:
El uso repetido de este resultado muestra que si es una matriz de tamaño apropiado, el producto, es sólo una permutación de las filas de . Sin embargo, observando que
para cada se muestra que la permutación de las filas viene dada por . ( es la transpuesta de ).
Como las matrices de permutación son matrices ortogonales (es decir, ), existe la matriz inversa y se puede escribir como
Multiplicar un vector fila h veces permutará las columnas del vector:
Una vez más, la aplicación repetida de este resultado muestra que la post-multiplicación de una matriz por la matriz permutación o sea, resulta en la permutación de las columnas de . Nótese también que
Dadas dos permutaciones y σ de m elementos, las correspondientes matrices de permutación y actúan sobre vectores columna y están compuestos por
Las mismas matrices que actúan sobre los vectores fila (es decir, post-multiplicación) se componen según la misma regla
Para ser claros, las fórmulas anteriores utilizan la notación polaca para la composición de permutación, es decir,
Dejemos que sea la matriz permutación correspondiente a en su representación en filas. Las propiedades de esta representación se pueden determinar a partir de las de la representación de la columna, ya que En particular,
De ello se deduce que
Del mismo modo,
Otras propiedades:
- El elemento neutro del grupo es la matriz identidad.
- El elemento inverso de cada elemento del grupo de matrices de permutación es la matriz traspuesta correspondiente.
- Cada elemento del grupo de matrices de permutación es una matriz ortogonal.
- El producto de matrices de permutación par siempre genera una matriz de permutación par.
- El producto de matrices de permutación impar siempre genera una matriz de permutación par.
- El producto de matrices de permutación de paridad distinta siempre genera una matriz de permutación impar.
- Observe que las matrices de permutación par conforman un semigrupo y que además el grupo de matrices de permutación no es conmutativo.
- Cada elemento del grupo de matrices de permutación fuera del semigrupo es una matriz simétrica.
Grupo matricial
editarSi (1) denota la permutación identidad, entonces es la matriz identidad.
Dejemos que denote denote el grupo simétrico, o grupo de permutaciones, en {1,2,...,n}. Puesto que hay n permutaciones, hay n! matrices permutación. Por las fórmulas anteriores, las matrices permutación de n × n forman un grupo bajo la matriz multiplicación con la matriz identidad como elemento neutro.
El mapa Sn → A ⊂ GL(n, Z2) es una representación fiel. Por lo tanto, |A| = n!
Matrices dobles estocásticas
editarUna matriz permutación es en sí misma una matriz doble estocástica, pero también desempeña un papel especial en la teoría de dichas matrices. El teorema de Birkhoff-von Neumann dice que cada matriz real doble estocástica es una combinación convexa de matrices permutación del mismo orden y que las matrices permutación son precisamente los puntos extremos del conjunto de matrices dobles estocásticas. Es decir, el politopo de Birkhoff, el conjunto de matrices dobles estocásticas, es la envolvente convexa del conjunto de matrices permutación.
Propiedades algebraicas lineales
editarLa traza de una matriz permutación es el número de puntos fijos de la permutación. Si la permutación tiene puntos fijos, se puede escribir en forma de ciclo como π = (a1)(a2)...(ak)σ donde σ no tiene puntos fijos, Entonces ea1,ea2,...,eak son vectores propios de la matriz permutación.
Para calcular los vectores propios de una matriz permutación anotamos como un producto de permutaciónes cíclicas, es decir, . Dejemos que las longitudes correspondientes de estos ciclos sean , y dejemos que sea el conjunto de soluciones complejas de . La unión de todos los forman el conjunto de autovalores de la matriz permutación correspondiente. La multiplicidad geométrica de cada autovalor es igual al número de que lo contengan.
De la teoría de grupos sabemos que cualquier permutación puede ser expresada como producto de transposiciones. Por lo tanto, cualquier matriz permutación los factores como producto de un intercambio de matrices elementales, cada una de las cuales tiene como determinante -1. Por lo tanto, el determinante de una matriz permutación es sólo la paridad de la permutación correspondiente.
Ejemplos
editarPermutación de filas y columnas
editarCuando una matriz permutación P es multiplicada por la izquierda por una matriz M para generar PM permutará las filas de M (aquí los elementos de un vector columna),
cuando P es multiplicada por la derecha por M para generar MP permutará las columnas de M (aquí los elementos de un vector fila):
Las permutaciones de filas y columnas son por ejemplo reflexiones (ver más abajo) y permutaciones cícicas (ver matriz circulante).
Permutación de filas
editarLa matriz permutación Pπ corresponde a la permutación: hay
Dado un vector g,
Explicación
editarUna matriz permutación siempre será de la forma
donde eai representa el i vector base (como fila) para Rj, y donde
es la forma permutación de la matriz permutación.
Ahora, al realizar la matriz multiplicación, uno forma esencialmente el producto escalar de cada fila de la primera matriz con cada columna de la segunda. En este caso, estaremos formando el producto escalar de cada fila de esta matriz con el vector de elementos que queremos permutar. Es decir, por ejemplo, v= (g0,...,g5)T,
eai·v=gai
Así, el producto de la matriz permutación con el vector v anterior, será un vector en la forma (ga1, ga2, ..., gaj) , y ésta es pues una permutación de v ya que hemos dicho que la forma de permutación es
Por lo tanto, las matrices permutación sí permuta el orden de los elementos en vectores multiplicados por ellos.
Véase también
editarReferencias
editar- Esta obra contiene una traducción total derivada de «Permutation matrix» de Wikipedia en inglés, concretamente de esta versión del 5 de abril de 2019, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.