Matrice de permutation

Une matrice de permutation est une matrice carrée qui vérifie les propriétés suivantes : les coefficients sont 0 ou 1 ; il y a un et un seul 1 par ligne ; il y a un et un seul 1 par colonne. Ainsi : est une matrice de permutation. Les matrices de permutations carrées de taille n sont en bijection avec les permutations de l'ensemble {1,2,...n}. Si σ est une telle permutation, la matrice correspondante est de terme général Cette bijection est un morphisme de groupes : En utilisant cette identité avec deux permutations inverses l'une de l'autre, on obtient le fait qu'une matrice de permutation est inversible, et que son inverse est la matrice de la permutation inverse. L'ensemble des matrices de permutation forme un sous-groupe du groupe général linéaire d'indice n, isomorphe au groupe symétrique . Notons que l'usage anglo-saxon conduit à définir les matrices de permutations différemment (en prenant l'inverse de la permutation) : voir la version en anglais. Les colonnes de la matrice sont les vecteurs de la base canonique de , dont on a modifié l'ordre. En effet si on note ces vecteurs, Ainsi envoie une base orthonormale sur une base orthonormale : c'est une matrice orthogonale. La matrice transposée de est également son inverse, et vaut . Le déterminant de la matrice est +1 si et seulement si les vecteurs images de la base canonique forment une base directe, c'est-à-dire si et seulement si σ est une permutation paire. Dans le cas contraire, le déterminant est -1. Le déterminant de la matrice est donc la signature de σ. La trace de est égale au nombre d'entiers i tels que σ(i)=i, c'est-à-dire au nombre de points fixes de . Opération élémentaire De même que toute permutation est produit de transpositions, toute matrice de permutation est un produit de matrices de permutation élémentaires c'est-à-dire associées aux transpositions. Il est aisé de voir que multiplier à gauche (respectivement à droite) une matrice A par une telle matrice de permutation élémentaire revient à faire l'échange de deux lignes (resp. deux colonnes) de A.