Matrice antisymétrique

Matrice antisymétrique

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.

Sommaire

Définition

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 :

tA = -A

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

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

Exemples

Les matrices suivantes sont antisymétriques :

\begin{pmatrix} 0 & 2 \\ -2 & 0 \end{pmatrix}\qquad ;\qquad\begin{pmatrix} 0 &1& -2 \\ -1 & 0 &3 \\ 2&-3&0\end{pmatrix}

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 matrices sont à coefficients dans un corps commutatif K de caractéristique différente de 2 (typiquement : le corps des réels).

Propriétés

  • Une matrice A\in M_n(K) 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) :
\forall x,y\in K^n,\ ^{\operatorname t}\!y\ A\ x=-^{\operatorname t}\!x\ A\ y.
  • Une propriété équivalente (K étant supposé de caractéristique différente de 2) est que cette forme soit alternée, c'est-à-dire :
\forall x\in K^n,\ ^{\operatorname t}\!x\ A\ x=0.
Démonstrations

La forme bilinéaire associée à A est

f:K^n\times K^n\to K,\ (x,y)\mapsto^{\operatorname t}\!x\ A\ y.
  • A est antisymétrique ssi f l'est :
    • si ^{\operatorname t}\!A=-A alors pour tous x, y, comme une matrice de taille 1 est égale à sa transposée, on a :
f(y,x)=^{\operatorname t}\!y\ A\ x=^{\operatorname t}\!(^{\operatorname t}\!y\ A\ x)=^{\operatorname t}\!x\ ^{\operatorname t}\!A\ y=-^{\operatorname t}\!x\ A\ y=-f(x,y),
    • et réciproquement, si f est antisymétrique alors, en désignant par ej l'élément de Kn constitué d'un 1 en je position et des 0 ailleurs :
a_{j,i}=f(e_j,e_i)=-f(e_i,e_j)=-a_{i,j}.\,
  • f est antisymétrique ssi elle est alternée : reproduisons la preuve générale donnée dans l'article application multilinéaire.
    • Si f est alternée alors elle est antisymétrique car
f(x,y)+f(y,x)=f(x+y,x+y)-f(x,x)-f(y,y)=0+0-0=0,\,
ou encore, matriciellement :
a_{i,j}+a_{j,i}=f(e_i,e_j)+f(e_j,e_i)=f(e_i+e_j,e_i+e_j)-f(e_i,e_i)-f(e_j,e_j)=0.\,
    • La réciproque est vraie sous l'hypothèse de caractéristique différente de 2 car si f est antisymétrique alors
\forall x\in K^n,\ f(x,x)=-f(x,x)\Rightarrow f(x,x)=0.
  • 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.
  • 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 :
A = \frac{A+^{\operatorname t}\!A}2+\frac{A-^{\operatorname t}\!A}2.
  • 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 :
(A,B) \mapsto Tr(^{\operatorname t}\!A.B)
  • Les matrices antisymétriques de type (n,n) forment un espace vectoriel de dimension (n2 - n)/2. La base canonique est la famille \left(A_{ij}\right)_{1\leq i < j \leq n} de matrices Aij qui comportent un à la ième ligne et jème colonne et moins un à la jème ligne et 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 les matrices antisymétriques à des « rotations infinitésimales ».

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

[A,B] = AB - BA\,

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:

G=\exp(A)=\sum_{n=0}^\infty \frac{A^n}{n!}.

Voir aussi

v · Algèbre bilinéaire
Espace euclidien · Espace hermitien · Forme bilinéaire · Forme quadratique · Forme sesquilinéaire · Orthogonalité · Base orthonormale · Projection orthogonale · Inégalité de Cauchy-Schwarz · Inégalité de Minkowski · Matrice positive · Matrice définie positive · Décomposition QR · Déterminant de Gram · Espace de Hilbert · Base de Hilbert · Théorème spectral · Théorème de Stampacchia · Théorème de Lax-Milgram · Théorème de représentation de Riesz

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Matrice antisymétrique de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Matrice Antisymétrique — En mathématiques, et plus précisément en algèbre linéaire, une matrice antisymétrique est un type de matrice carrée. Sommaire 1 Définition 2 Exemple 3 Propriétés 4 …   Wikipédia en Français

  • Matrice antisymetrique — Matrice antisymétrique En mathématiques, et plus précisément en algèbre linéaire, une matrice antisymétrique est un type de matrice carrée. Sommaire 1 Définition 2 Exemple 3 Propriétés 4 …   Wikipédia en Français

  • Matrice antisymétrique — ● Matrice antisymétrique matrice carrée qui est égale à l opposé de sa transposée …   Encyclopédie Universelle

  • Matrice (algèbre) — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

  • Matrice (mathematiques) — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

  • Matrice carrée — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

  • antisymétrique — [ ɑ̃tisimetrik ] adj. • 1947; de 1. anti et symétrique(4o) ♦ Math., log. Se dit d une relation binaire entre deux éléments a et b d un ensemble qui n est pas la même que la relation entre b et a. La divisibilité d un nombre par un autre est une… …   Encyclopédie Universelle

  • Matrice Symplectique — En mathématique, une matrice symplectique est une matrice M de taille 2n par 2n (dont les entrées sont typiquement soit des réels soit des complexes) satisfaisant la condition MTJM = J où MT désigne la transposition de M et J est la matrice… …   Wikipédia en Français

  • Matrice symplétique — Matrice symplectique En mathématique, une matrice symplectique est une matrice M de taille 2n par 2n (dont les entrées sont typiquement soit des réels soit des complexes) satisfaisant la condition MTJM = J où MT désigne la transposition de M et J …   Wikipédia en Français

  • Matrice Symétrique — Sommaire 1 Définitions 2 Interprétations 3 Matrices symétriques positives 3.1 Définitions …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”