Produit extérieur

Enmathématiques,la notion deproduit extérieurpermet de rendre compte de façonalgébriquedes concepts d'aires et de volumes orientés et, en dimension quelconque, de déterminants, à travers le produit desvecteursqui sous-tendent les sous-espaces considérés.

C'est unproduitdans le sens où il forme avec l'additionet lamultiplication scalaireunealgèbre sur un corps,diteextérieure.Il est qualifié d'extérieurvraisemblablement dans la mesure où son résultat estlinéairement indépendantde ses opérandes.

Bien que son nom ne l'indique pas, le produit extérieur estalterné.En ce sens il se distingue duproduit tensoriel,dont il constitue en fait une antisymétrisation.

Histoire

Le produit extérieur a été imaginé vers 1844 par le mathématicien allemandHermann Grassmann.Ce concept a été intégré parWilliam Kingdon Cliffordà sonalgèbre géométrique,appelée aussialgèbre de Clifford,laquelle généralise et développe les travaux de Grassmann ainsi que ceux deWilliam Rowan Hamiltonen 1843 sur lesquaternions.

Même notation que le produit vectoriel

Parmi les obstacles à la compréhension de la notion de produit extérieur, il faut insister sur le fait que le symbole$\wedge$,appeléchevronen français mais souvent désigné par le mot anglaiswedge,notamment à travers la commande équivalente enTeX,est universellement employé pour désigner le produit extérieur, opération associative pouvant porter sur les vecteurs de tout espace vectoriel, mais coïncide aussi avec celle employée en France pour désigner leproduit vectoriel,c'est-à-dire une opération non associative portant uniquement sur les vecteurs d'unespace euclidienorienté à trois dimensions. De natures différentes, ces deux opérations entretiennent des relations étroites (liées à ladualité de Hodge), d'où un risque de confusion.

Plus généralement, du fait de l'existence de nombreux isomorphismes plus ou moins naturels entre les objets en jeu, les domaines concernés par le calcul extérieur sont affectés d'un certain nombre de variations terminologiques et de notations selon les communautés scientifiques qui les emploient, variations qui peuvent aussi être sources de confusion.

Produit extérieur de vecteurs

Propriétés

Différents produits extérieurs.

Contrairement au produit vectoriel de deux vecteurs, le produit extérieur de deux vecteurs deE,appelébivecteur,n'est pas un vecteur du même espace mais d'un nouvel espace, notéΛ²(E). Alors que le produit vectoriel n'est défini que dans un espace à 3 dimensions, le produit extérieur est défini pour tout espace vectoriel.

Le produit extérieur estbilinéaire:

$a\wedge (\beta b)=\beta (a\wedge b)=(\beta a)\land b$

$a\wedge (b+c)=(a\wedge b)+(a\wedge c)$

$(b+c)\wedge a=(b\wedge a)+(c\wedge a)$

Le produit extérieur de deux vecteurs estalterné,c'est-à-dire que

$a\wedge a=0$

ce qui, par bilinéarité, implique qu'il estantisymétrique:

$a\wedge b=-(b\wedge a).$

Si l'espaceEest pourvu d'une métrique euclidienne, alorsΛ²(E) aussi et la norme du bivecteur est

$\|a\wedge b\|=\|a\|\|b\|\sin({\widehat {a,b}}).$

C'est l'aire duparallélogrammeconstruit sur les deux vecteursaetb.

Relation avec le produit vectoriel

Le produit extérieur et le produit vectoriel de Gibbs sont liés par une relation de dualité. Le résultat d'un produit vectoriel est en effet un bivecteur déguisé, le bivecteur étant remplacé par le vecteur qui en est le dual dans l'espace à trois dimensions. Ceci explique pourquoi le produit vectoriel n'est valable que dans un espace à trois dimensions. C'est, en effet, uniquement dans un tel espace que le dual d'un bivecteur est un vecteur.

On peut passer d'un produit vectoriel à un produit extérieur au moyen de la relation suivante:

$a\times b=-I(a\wedge b)$où I est l'unité pseudoscalaire de l'espace à 3 dimensions. Ici la croix symbolise le produit vectoriel.

Relation avec le produit tensoriel

Selon le point de vue le plus classique, le fait qu'un parallélépipède appuyé sur une famille de vecteurs soit « aplati » dès que cette famille est liée conduit à envisager le produit extérieur comme résultant d'une antisymétrisation duproduit tensoriel,c'est-à-dire de la forme la plus générale de produit associatif. Une telle antisymétrisation est réalisée par un passage au quotient, en l'occurrence le quotient de l'algèbre tensorielle associée à l'espace vectoriel sur lequel on travaille par l'idéal bilatèrede cette algèbre qu'y engendrent les carrés tensoriels$u\otimes u$,puisque ceux-ci sont destinés à être « aplatis ». On obtient ainsi l'algèbre extérieure$\bigwedge E$d'un espace vectoriel$E$.Ainsi, d'une certaine façon, la notion d'algèbre extérieure d'un espace vectoriel précède celle du produit extérieur de deux vecteurs.

Le produit extérieur et le produit tensoriel agissant au sein d'algèbres différentes, il n'est en principe pas possible de combiner dans une même expression des produits tensoriels et des produits extérieurs. Ainsi, la formule

$a\wedge b=a\otimes b-b\otimes a$

parfois présentée comme une définition du produit extérieur ne doit pas être prise au pied de la lettre, mais comme exprimant la possibilité d'injecter l'espace vectoriel$\wedge ^{2}E$dans$\otimes ^{2}E$,où$\wedge ^{2}E$désigne le sous-espace vectoriel de l'algèbre extérieure$\bigwedge E$engendré par les « parallélogrammes » (ou bivecteurs)$u\wedge v$.

Cette injection permet en effet d'identifier$\wedge ^{2}E$à un sous-espace de$\otimes ^{2}E$,en identifiant lebivecteur$a\wedge b$au tenseur antisymétrique$a\otimes b-b\otimes a$.Laurent Schwartz,dans son ouvrageLes tenseurs(Hermann, 1975), indique (p. 103) qu'une telle identification estpeu recommandée.

Cependant, dans le cas particulier où l'espace vectoriel$E$est donné comme l'espace dual$F^{*}$d'un espace$F$,$\bigwedge E$et$\bigotimes E$s'interprètent alors naturellement comme, respectivement, algèbre desformes multilinéairesalternées et algèbre des formes multilinéaires sur F. Dans ce cas, les espaces vectoriels$\wedge ^{n}E$sont naturellement des sous-espaces des$\otimes ^{n}E$.En particulier, de ce point de vue, le produit extérieur de deux formes linéaires$\phi,\psi \in F^{*}$est laforme bilinéairealternée définie par la formule

$\phi \wedge \psi =\phi \otimes \psi -\psi \otimes \phi.$

Produit extérieur demultivecteurs

Le produit extérieur est aussi valable pour les multivecteurs. Par multivecteur on entend l'élément le plus général de l'algèbre géométrique,à savoir, pour un espace à n dimensions:

$M=\alpha +\beta A_{1}+\gamma A_{2}+...+\mu A_{k}+...\nu A_{n}$

où les lettres grecques représentent des valeurs scalaires et les A indicés des p-vecteurs avec$p\leq n.$

Multiple produit extérieur

Dans le cas général, on peut former des entités que l'on peut appeler des p-vecteurs au moyen du produit extérieur. On a ainsi

$a_{1}\wedge a_{2}\wedge...\wedge a_{p}\in \Lambda ^{p}(E).$

Sipest strictement supérieur à la dimension de l'espaceEalorsΛ^p(E) est l'espace nul.

Sinest égal à la dimension deEalorsΛⁿ(E) est unedroite vectorielle.

Par exemple siEest l'espace euclidien de dimension 3, les trivecteurs sont des multiples de l'unitépseudoscalaireI:

$a\wedge b\wedge c=\lambda I$,où le scalaire vaut le volume duparallélépipèdeconstruit sur les vecteurs.