Matrice antisymétrique

matrice carrée opposée à sa transposée

En mathématiques, et plus précisément en algèbre linéaire, une matrice antisymétrique est une matrice carrée opposée à sa transposée.

Définition

modifier

Une matrice carrée A à coefficients dans un anneau quelconque est dite antisymétrique si sa transposée est égale à son opposée, c'est-à-dire si elle satisfait à l'équation :

A = –A

ou encore, en l'écrivant avec des coefficients sous la forme A = (ai,j), si :

pour tout i et j, aj,i = –ai,j

Exemples

modifier

Les matrices suivantes sont antisymétriques :

 

Le cas où la matrice est à coefficients dans un anneau de caractéristique 2 est très particulier. Dans ce cas, –A = A donc A est antisymétrique si elle est symétrique. Dans tout ce qui suit, les coefficients de la matrice sont à coefficients dans un corps commutatif K de caractéristique différente de 2 (typiquement : le corps des réels).

Les matrices de rotations infinitésimales sont un exemple de matrices antisymétriques.

Propriétés

modifier

Caractérisations

modifier
  • Une matrice   est antisymétrique si et seulement si la forme bilinéaire qu'elle représente est antisymétrique, c'est-à-dire si (en notant les éléments de Kn comme des matrices colonnes) : 
  • Une propriété équivalente (K étant supposé de caractéristique différente de 2) est que cette forme soit alternée, c'est-à-dire : 

Propriétés élémentaires

modifier
  • Toutes les entrées de la diagonale principale d'une matrice antisymétrique ont un zéro : en effet il faut que ai,i = –ai,i et dans K, le seul nombre égal à son opposé est 0 ; ainsi, la trace d'une matrice antisymétrique est nulle.
  • Le déterminant d'une matrice antisymétrique de taille n est nul si n est impair (car égal à son produit par (-1)n), et est le carré du pfaffien si n est pair.
  • La somme de tous ses coefficients est nulle.

Espaces des matrices antisymétriques

modifier
  • L'espace des matrices symétriques et celui des matrices antisymétriques sont supplémentaires dans l'espace des matrices carrées. En effet, toute matrice carrée se décompose de façon unique de la façon suivante : 
  • Lorsque le corps de coefficients est celui des réels, ces deux espaces sont même orthogonaux si on munit l'espace des matrices carrés du produit scalaire canonique dont une des expressions est justement : 
  • Les matrices antisymétriques de type (n,n) forment un espace vectoriel de dimension n(n-1)/2. La base canonique est la famille   de matrices   qui comportent 1 à la i-ième ligne et j-ième colonne et –1 à la j-ième ligne et i-ième colonne.
  • Dans le cas réel, cet espace vectoriel est l'espace tangent au groupe orthogonal O(n). Dans ce sens, nous pouvons assimiler[pas clair] les matrices antisymétriques à des « rotations infinitésimales ».

Diagonalisation et décompositions

modifier

Toute matrice antisymétrique réelle est diagonalisable sur le corps des complexes et ses valeurs propres sont imaginaires pures. En fait, si A est antisymétrique réelle, iA est hermitienne, c'est-à-dire autoadjointe.

En fait, les matrices antisymétriques de type (n, n) forment une algèbre de Lie utilisant le crochet de Lie   et c'est l'algèbre de Lie associée au groupe de Lie O(n).

Une matrice G est orthogonale et a un déterminant égal à 1, c'est-à-dire est un élément de la composante connexe du groupe orthogonal où se trouve la matrice unité, si et seulement s'il existe une matrice antisymétrique A telle que :   (voir l'article « Exponentielle de matrice »).

Matrice antisymétrique associée à un vecteur

modifier

Un exemple de matrice antisymétrique 3×3 est la matrice   associée au vecteur vitesse angulaire   (de taille 3x1) :

 

où la matrice antisymétrique   a la forme[1] :

 

Notes et références

modifier