Produit vectoriel

Le produit vectoriel est une opération vectorielle effectuée dans les espaces euclidiens orientés de dimension trois. Le formalisme utilisé aujourd'hui est apparu en 1881 dans un manuel d'analyse vectorielle rédigé par Josiah Willard Gibbs...

Catégories :

Géométrie euclidienne - Aire - Opération

Page(s) en rapport avec ce sujet :

Quelques propriétés remarquables du produit vectoriel. On appellera par conséquent produit vectoriel ou produit extérieur des vecteurs et , le vecteur noté... (source : promenadesmaths.free)
Si et sont colinéaires, le produit vectoriel de par est le vecteur nul :... Le produit vectoriel des vecteurs et , dans cet ordre, est .... (source : schoolangels)

Le produit vectoriel est une opération vectorielle effectuée dans les espaces euclidiens orientés de dimension trois^[1]. Le formalisme utilisé aujourd'hui est apparu en 1881 dans un manuel d'analyse vectorielle rédigé par Josiah Willard Gibbs pour ses étudiants en physique. Les travaux de Hermann Günther Grassmann et William Rowan Hamilton sont à l'origine du produit vectoriel défini par Gibbs^[2]^,^[3].

Histoire

Résumé^[2]

En 1843, Hamilton inventa les quaternions qui permettent de définir le produit vectoriel. Indépendamment ainsi qu'à la même période (1844) Grassmann définissait dans Die lineale Ausdehnungslehre ein neuer Zweig der Mathematik un «produit géométrique» à partir de considérations géométriques ; mais il ne parvient pas à définir clairement un produit vectoriel. Puis Grassmann lit Hamilton et s'inspire de ses travaux pour publier en 1862 une deuxième version de son traité qui est nettement plus claire^[4]. De même, Hamilton a lu les travaux de Grassmann et les a commentés et appréciés^[5]. Plus tard Maxwell commença à utiliser la théorie des quaternions pour l'appliquer à la physique. Après Maxwell, Clifford modifia profondément le formalisme de ce qui devenait l'analyse vectorielle. Il s'intéressa aux travaux de Grassmann et Hamilton avec une nette prédilection pour le premier^[3]. En 1881, Gibbs publia Elements of Vector Analysis Arranged for the Use of Students of Physics s'inspirant des travaux déjà réalisés surtout ceux de Clifford et Maxwell. Si les physiciens se sont empressés d'utiliser le formalisme de Gibbs, ce dernier ne fut accepté en mathématiques que énormément plus tard après plusieurs modifications.

Anecdote

Peter Guthrie Tait dans la préface de la troisième édition de son traité sur les quaternions qualifia le nouveau formalisme créé par Gibbs de «monstre hermaphrodite, composé des notations de Hamilton et Grassmann»^[6].

Notation

Plusieurs notations sont en concurrence pour le produit vectoriel :

En France, le produit vectoriel de u et de v est noté $u\wedge v$ , où le V inversé se lit wedge ou vectoriel. Cette notation a été initiée par Cesare Burali-Forti et Roberto Marcolongo en 1908^[7]. Son inconvénient est de rentrer en conflit avec la notation du produit extérieur.
Dans la littérature anglophone (et au Canada francophone, ainsi qu'en Suisse), le produit vectoriel est noté $u\times v$ . Cette notation est due à Josiah Willard Gibbs^[6]. Son inconvénient est d'induire une confusion éventuelle avec le produit des réels et le produit cartésien. Mais ces produits ne portent pas sur des objets de même nature.
Une troisième notation est l'utilisation des crochets de Lie : $\left[\vec u\, , \vec v\right]$ ^[8].

Dans cet article, nous utiliserons la première convention.

Définition

Soit E un espace vectoriel euclidien orienté de dimension 3. Par le choix d'une base orthonormée, E peut être identifié avec l'espace R³, mais cette identification n'est pas obligatoire pour définir le produit vectoriel.

D'un point de vue géométrique, le produit vectoriel de deux vecteurs $\vec u$ et $\vec v$ de E non colinéaires se définit comme l'unique vecteur $\vec w$ tel que :

le vecteur $\vec w$ est orthogonal aux deux vecteurs donnés ;
la base $(\vec{u},\vec{v}, \vec{w})$ est de sens direct ;
$\|\vec w\| = \|\vec u\| \cdot \|\vec v\| \cdot |\sin(\widehat{\vec u,\vec v})|$ .

Quand les vecteurs sont colinéaires, leur produit vectoriel est nul.

La notion d'orientation peut ici être comprise de manière élémentaire en utilisant la règle de la main droite : le pouce, l'index et le majeur écartés en un triède indiquent respectivement le sens de u, de v et de w. Cette définition, utilisée dans l'enseignement secondaire, n'est pas complètement satisfaisante.

Définition par le produit mixte

Une seconde définition utilise la théorie des déterminants et la notion de produit mixte comme point de départ. Le produit mixte de trois vecteurs $u, v, w$ , noté $[u, v, w]$ , est le déterminant de ces trois vecteurs dans une base orthonormale directe quelconque. La formule de changement de base montre que ce déterminant est indépendant du choix de la base ; géométriquement il est égal au volume orienté du parallélépipède appuyé sur les vecteurs $u, v, w$ . Le produit vectoriel de deux vecteurs $u$ et $v$ est l'unique vecteur $u\wedge v$ tel que, pour tout $w$ , on a :

$\left[\vec u, \vec v, \vec w\right] = (\vec u \wedge \vec v) \cdot \vec w\,$ .

L'existence et l'unicité d'un tel vecteur sont un cas spécifique simple du théorème de représentation de Riesz. Le produit vectoriel s'interprète comme les variations du volume orienté d'un parallélépipède selon le troisième côté.

Avec une telle définition, il est envisageable de définir, dans un espace vectoriel orienté de dimension n + 1, le produit vectoriel de n vecteurs.

Équivalence des deux premières définitions

Prenons la seconde définition ; et appliquons l'identité ci-dessus à w= u et v respectivement. On obtient :

$(\vec u \wedge \vec v) \cdot \vec u=0\,$ et $(\vec u \wedge \vec v) \cdot \vec v=0$ .

Donc, le vecteur $(\vec u \wedge \vec v)$ est orthogonal à u ainsi qu'à v.

De plus, si u, v, w forme une base directe, le produit mixte [u, v, w] est strictement positif. De fait, $(\vec u \wedge \vec v)$ et w ne sont pas scindés par le plan vectoriel génèré par u et v. C'est à dire, u, v, u $\wedge$ v forme une base directe.

Si w est de plus unitaire (de norme 1), alors $(\vec u \wedge \vec v) \cdot \vec w$ n'est autre que la norme euclidienne de u $\wedge$ v. Cette dernière est par conséquent le produit mixte [u, v, w] ; soit le volume orienté du parallélipipède appuyé sur u, v et w. Ce volume est le produit de la hauteur $\|w\|=1$ par l'aire de la base $\|\vec u\|\cdot\|\vec v\|\cdot\sin(\widehat{\vec u,\vec v})$ . De suite :

$\|\vec u\wedge\vec v\|= \|\vec u\|\cdot\|\vec v\|\cdot\sin (\widehat{\vec u,\vec v})$ .

Calcul en composantes

Le choix d'une base orthonormée directe donne une identification de E et de ℝ³. Notons les coordonnées u= (u₁, u₂, u₃) et v= (v₁, v₂, v₃). Leur produit vectoriel est donné par :

$u\wedge v=\begin{pmatrix} u_2v_3-u_3v_2\\ u_3v_1-u_1v_3\\ u_1v_2-u_2v_1 \end{pmatrix}$

Cette identité pourrait être prise comme une troisième définition, à condition de prouver que le vecteur obtenu est indépendant de la base orthonormale directe choisie pour le calculer.

Calculs

Introduisons un vecteur w= (w₁, w₂, w₃) et utilisons la définition par le produit mixte. Ce dernier est donné par :

$[u,v,w]=\det\begin{pmatrix} u_1 & v_1 & w_1\\ u_2 & v_2 & w_2\\ u_3 & v_3 & w_3 \end{pmatrix}$

En développant le déterminant comparé à la troisième colonne :

$[u,v,w]=w_1\cdot\det\begin{pmatrix} u_2 & v_2 \\ u_3 & v_3 \end{pmatrix}-w_2\cdot \det\begin{pmatrix} u_1 & v_1 \\ u_3 & v_3 \end{pmatrix} +w_3\cdot\det\begin{pmatrix} u_1 & v_1 \\ u_2 & v_2 \\ \end{pmatrix}$ .

Ce qui donne les cœfficients de $u\wedge v$ .

Propriétés

Propriétés algébriques

Le produit vectoriel est un produit distributif, anticommutatif, non associatif :

Distributivité sur l'addition :

$\vec u\wedge(\vec v+\vec w) = \vec u\wedge\vec v+\vec u\wedge\vec w$ ,
Compatibilité avec la multiplication par un scalaire :

$\lambda (\vec u\wedge\vec v) = \lambda\vec u\wedge\vec v = \vec u\wedge\lambda\vec v$ ,
Antisymétrie :

$\vec u\wedge\vec v = -\vec v\wedge\vec u$
Non-associativité :

$\vec u\wedge(\vec v\wedge\vec w) \ne (\vec u\wedge\vec v)\wedge\vec w$

Ces propriétés découlent immédiatement de la définition du produit vectoriel par le produit mixte et des propriétés algébriques du déterminant.

Comme crochet de Lie, le produit vectoriel satisfait l'identité de Jacobi :

$\vec u\wedge(\vec v\wedge\vec w) + \vec w\wedge(\vec u\wedge\vec v) + \vec v\wedge(\vec w\wedge\vec u) = \vec 0$

D'autre part, il satisfait aux identités de Lagrange (Égalités du Double produit vectoriel) :

$\vec u\wedge(\vec v\wedge\vec w) = (\vec u\cdot\vec w)\vec v - (\vec u\cdot\vec v)\vec w$ ^[9]

$(\vec u\wedge\vec v)\wedge\vec w = (\vec u\cdot\vec w)\vec v - (\vec v\cdot\vec w)\vec u$

Démonstration

Soient $(\vec u,\vec v,\vec w)\in \mathbb{R}ˆ3.$

On construit une base orthonormée $(\vec e_1,\vec e_2,\vec e_3)$ directe de $\mathbb{R}ˆ3$ : On pose $\vec e_1=\dfrac{\vec u}{\|\vec u\|}.$

Par la suite on choisit $\vec e_2$ comme étant l'unique vecteur directement orthogonal à $\vec e_1$ dans le plan définit par $(\vec u,\vec v)$ .

Enfin on pose $\vec e_3$ tel que $\vec e_3=(\vec e_1\wedge\vec e_2).$

Dans cette base, les vecteurs $\vec u, \vec v,\vec w$ ont pour coordonnées :

$\vec{u} = \begin{pmatrix} a \\ 0 \\ 0 \end{pmatrix}$ $\vec{v} = \begin{pmatrix} b \\ c \\ 0 \end{pmatrix}$ $\vec{w} = \begin{pmatrix} d \\ e \\ f \end{pmatrix}$

Avec $a,b,c,d,e,f \in \mathbb{R}$ .

Ainsi :

$(\vec u \wedge \vec v) \wedge \vec w = ( a \cdot\vec e_1 \wedge ( b \cdot\vec e_1 + c \cdot\vec e_2 ) ) \wedge ( d \cdot\vec e_1 + e\cdot \vec e_2 + f\cdot \vec e_3 )$

$= (a c\cdot \vec e_3 \wedge ( d \cdot\vec e_1 + e\cdot \vec e_2 + f \cdot\vec e_3 ) )$

$= a c d\cdot \vec e_2 - a e c \cdot\vec e_1$

De même : $(\vec u\cdot\vec w)\vec v - (\vec v\cdot\vec w)\vec u = ad ( b \cdot\vec e_1 + c \cdot\vec e_2 ) - a ( bd + ec )\cdot \vec e_1$

$= a c d\cdot \vec e_2 - a e c \cdot\vec e_1$

D'où l'égalité.

En partant de l'identité algébrique :

$\left((bc'-b'c)ˆ2+(ca'-c'a)ˆ2+(ab'-a'b)ˆ2\right) + (aa'+bb'+cc')ˆ2 = (aˆ2+bˆ2+cˆ2)\cdot (a'ˆ2+b'ˆ2+c'ˆ2)$ ,

on peut démontrer aisément l'égalité (Identité de Lagrange) :

que on peut aussi écrire sous la forme :

$\left(\dfrac{\|\vec u\wedge\vec v\|}{\|\vec u\|\cdot \|\vec v\|}\right)ˆ2 + \left(\dfrac{\vec u\cdot\vec v}{\|\vec u\|\cdot \|\vec v\|}\right)ˆ2 = 1\,$

ce qui équivaut à l'identité trigonométrique :

$\sinˆ2(\widehat{\vec{u},\vec{v}}) + \cosˆ2(\widehat{\vec{u},\vec v}) = 1$ ,

et qui n'est rien d'autre qu'une des façons d'écrire le théorème de Pythagore.

Invariance par isométries

Le produit vectoriel est invariant par l'action des isométries vectorielles directes. Plus précisément, pour tous vecteurs u et v de E et pour toute rotation f de E, on a :

$f\left[u\wedge v\right]=f(u)\wedge f(v)$ .

Cette identité peut être prouvée différemment suivant l'approche adoptée :

Définition géométrique : L'identité est immédiate avec la première définition, car f préserve l'orthogonalité, l'orientation et les longueurs.

Produit mixte : L'isomorphisme linéaire f laisse invariant le produit mixte de trois vecteurs. En effet, le produit mixte de f (u), f (v), f (w) peut être calculé dans l'image par f de la base orthonormée directe dans la quelle le produit mixte de u, v et w est calculé. De fait, l'identité précédente s'obtient immédiatement :

$(f(u)\wedge f(v))\cdot f(w)=[f(u),f(v),f(w)]=[u,v,w]=(u\wedge v)\cdot w\,$ .

Définitions alternatives

Comme produit de Lie

Toute isométrie directe de R³ est une rotation vectorielle. La totalité des isométries directes forme un groupe de Lie classique noté SO (3) (c'est à dire, un sous-groupe fermé de GL₃ (R) ). Son algèbre de Lie, notée so (3) est la sous-algèbre de Lie de gl₃ (R) définie comme l'espace tangent de SO (3) en l'identité. Un calcul direct montre qu'il est l'espace des matrices antisymétriques de taille 3. Cet espace est a fortiori stable par le crochet de Lie.

Toute matrice antisymétrique M de taille 3 s'écrit de manière unique :

$M=\begin{pmatrix} 0 & -c & b\\ c & 0 & -a\\ -b & a & 0 \end{pmatrix}$ .

En identifiant M et le vecteur (a, b, c), on définit un isomorphisme linéaire entre so (3) et R³. Le crochet de Lie se transporte via cet isomorphisme, et R³ hérite d'une structure d'algèbre de Lie. Le crochet [u, v] de deux vecteurs est exactement le produit vectoriel de u et de v.

En effet, si u₁= (a₁, b₁, c₁), et u₂= (a₂, b₂, c₂), leur crochet se calcule en introduisant les matrices antisymétriques correspondantes M₁ et M₂ :

$[M_1,M_2]=M_1M_2-M_2M_1=\begin{pmatrix} 0 & a_2b_1-a_1b_2 & a_2c_1-a_1c_2\\ a_1b_2 -a_2b_1 & 0 & b_2c_1-b_1c_2\\ a_1c_2-a_2c_1 & b_1c_2-b_2c_1 & 0 \end{pmatrix}$

Le vecteur correspondant, à savoir [u₁, u₂], a par conséquent pour coordonnées (b₁c₂-b₂c₁, a₂c₁-a₁c₂, a₁b₂-a₂b₁). Cette approche redéfinit par conséquent le produit vectoriel.

Si on suit cette approche, il est envisageable de prouver directement l'invariance du produit vectoriel par isométries

$f\left[u\wedge v\right]=f(u)\wedge f(v)$ .

Comme algèbres de Lie, so (3) a été identifié à R³. L'action (linéaire) de SO₃ (R) sur R³ s'identifie à l'action par conjugaison sur so (3). SO₃ (R) opère par conséquent par automorphisme d'algèbres de Lie. C'est à dire, l'identité ci-dessus est vérifiée.

Comme produit de quaternions imaginaires

Il est envisageable de retrouver produit vectoriel et produit scalaire à partir du produit de deux quaternions purs. Pour rappel, le corps (non commutatif) des quaternions H est l'unique extension de R de dimension 4. Sa base canonique est (1, i, j, k) où le sous-espace génèré par i, j, k forme l'espace des quaternions purs, canoniquement identifié avec R³. Ces éléments vérifient :

$iˆ2 = jˆ2 = kˆ2 = ijk = -1\,$ ;

$ij=-ji=k\quad ;\quad jk=-kj=i\quad ;\quad ki=-ik=j$ .

Si q₁=a₁i+b₁j+c₁k et q₂ = a₂i+b₂j+c₂k, le produit q₁q₂ se calcule immédiatement :

q 1 q 2 = - (a 1 a 2 + b 1 b 2 + c 1 c 2) + (b 1 c 2 - b 2 c 1) i + (c 1 a 2 - c 2 a 1) j + (a 1 b 2 - a 2 b 1) k

La partie réelle est au signe près le produit scalaire de q₁ et de q₂, la partie imaginaire est un quaternion pur qui correspond au produit vectoriel, après identification avec R³.

Cette coïncidence trouve ses explications dans le paramétrage du groupe SO (3) par les quaternions unitaires.

Éléments d'explication

L'application linéaire envoyant 1 sur 1, i sur -i, j sur -j et k sur -k est nommée la conjugaison. Le conjugué d'un quaternion q est noté $\overline{q}$ . Un quaternion est un réel si et uniquement s'il est égal à son conjugué. L'application $(q,q')\mapsto q\overline{q'}$ définit un produit scalaire sur l'espace vectoriel H. Un quaternion est dit unitaire quand il est de norme 1. Dans ce cas, il suit de la définition même du produit scalaire qu'il est inversible et que son inverse est son conjugué. La totalité des quaternions unitaires, la sphère unité S³, forme un groupe (de Lie) compact et simplement connexe. Il agit sur l'espace des quaternions imaginaires par conjugaison. Pour tout quaternion unitaire u et pour tout quaternion imaginaire q :

$u\cdot q=uq\overline{u}=uquˆ{-1}$ .

Cette action préserve la norme ; c'est à dire, c'est une action par isométries. Elle définit par conséquent un morphisme de groupes :

$Sˆ3\rightarrow SO(3)$

Ce morphisme est en réalité le revêtement universel du groupe SO (3). Il induit par conséquent un isomorphisme entre les algèbres de Lie.

L'algèbre de Lie de S₃ est précisément l'espace des quaternions imaginaires pourvus du crochet de Lie obtenu comme la partie imaginaire du produit des quaternions. Cette algèbre de Lie est isomorphe à l'algèbre de Lie R³ (muni du produit vectoriel).

C'est la raison principale pour laquelle la partie imaginaire de deux quaternions imaginaires s'identifie au produit vectoriel.

Article détaillé : quaternion.

Il est de nouveau envisageable de justifier l'invariance par isométrie. Toute isométrie de l'espace des quaternions imaginaires s'écrit comme la conjugaison par un quaternion unitaire. Si q est un quaternion unitaire, et q₁, q₂ sont des quaternions imaginaires, il suffit de constater :

$\left[qq_1\overline{q}\right].\left[qq_2\overline{q}\right]=q(q_1q_2)\overline{q}$

pour en déduire l'invariance par isométrie du produit vectoriel.

Par le produit tensoriel

Applications

Mécanique

On définit l'opérateur rotationnel comme suit :

$\overrightarrow\operatorname{rot} \ \vec u = \vec \nabla \wedge \vec u=\begin{vmatrix} \vec i & \vec j & \vec k \\ \partial_x & \partial_y & \partial_z \\ u_x & u_y & u_z \end{vmatrix}$ .

En mécanique du solide, c'est une opération particulièrement employée surtout dans la relation de Varignon qui lie les deux champs vectoriels d'un torseur. D'autre part, les équations de Maxwell sur l'électromagnétisme s'expriment à travers l'opérateur rotationnel, mais aussi les équations de la mécanique des fluides, surtout celles de Navier-Stokes.

Le moment d'une force est défini comme le produit vectoriel de cette force par le vecteur reliant son point d'application $A$ au pivot $P$ reconnu :

$\vec M_{\vec F/P} = \vec F\wedge\vec{AP} = \vec{PA}\wedge\vec F$ .

C'est une notion essentielle en mécanique du solide.

Géométrie plane

On considère ABCD un parallélogramme, c'est-à-dire qu'on a la relation

$\textstyle\overrightarrow{AB}=\overrightarrow{DC}.$

Comme indiqué plus haut dans la définition, l'aire de ce parallélogramme est égale à norme du produit vectoriel de deux vecteurs sur lesquels il s'appuie, par exemple à

$\left|\left| \overrightarrow{AB} \wedge \overrightarrow{AD} \right|\right|.$

Références

Ouvrages

Marcel Berger, Géométrie [détail des éditions]

Notes et références

↑ L'ensemble des espaces vectoriels euclidiens de dimension 3 sont deux à deux isométriques ; l'isométrie est bien définie à composition par une rotation près.
Michæl J. Crowe, A history of vector analysis : The Evolution of the Idea of a Vectorial System, Dover publications, inc., 1994, 2^e éd. (1^re éd. 1985), (ISBN 0-486-67910-1)
Jean-Paul Collette, t. 2 : histoire des mathématiques, Vuibert, 1979, (ISBN 0-7767-0164-9) , page 244
↑ Jean Dieudonné (dir. ), Abrégé d'histoire des mathématiques 1700-1900 [détail des éditions], 1986, page 107
↑ Michæl J. Crowe, A history of vector analysis : The Evolution of the Idea of a Vectorial System, Dover publications, inc., 1994, 2^e éd. (1^re éd. 1985), (ISBN 0-486-67910-1) , page 85
Florian Cajori, A History of Mathematical Notations [détail des éditions], pages 134 et 136
↑ Florian Cajori, A History of Mathematical Notations [détail des éditions], page 138
↑ Voir section Définition #Comme produit de Lie.
↑ En voici une démonstration

Voir aussi

Tire-bouchon de Maxwell

Recherche sur Amazon (livres) :

Ce texte est issu de l'encyclopédie Wikipedia. Vous pouvez consulter sa version originale dans cette encyclopédie à l'adresse http://fr.wikipedia.org/wiki/Produit_vectoriel.
Voir la liste des contributeurs.
La version présentée ici à été extraite depuis cette source le 10/03/2010.
Ce texte est disponible sous les termes de la licence de documentation libre GNU (GFDL).
La liste des définitions proposées en tête de page est une sélection parmi les résultats obtenus à l'aide de la commande "define:" de Google.
Cette page fait partie du projet Wikibis.