On la note d'ailleurs avec le même symbole, le « wedge » $\wedge$, et on l'appelle aussi produit vectoriel [ 1]. Propriétés produit vectoriel avec. Tous ces produits vérifient l'identité du double produit vectoriel, à condition de remplacer dans la formulation originale de celle-ci le produit scalaire de $\mathbb R^3$ par $g$. Cette formule, qui a des conséquences importantes, m'a toujours intrigué et je me suis demandé jusqu'à quel point elle est caractéristique autrement dit, si les produits construits ci-dessus sont les seuls à la vérifier. Formellement, on aimerait savoir quels produits antisymétriques $\tau$ définis sur un espace vectoriel $V$, réel et de dimension finie $n>1$, et quelles formes bilinéaires $\beta$ sur $V$ peuvent tenir les rôles du produit vectoriel $\wedge$ et du produit scalaire $g$ et, en particulier, vérifier l'identité: \[\tau(u, \tau(v, w))=\beta(u, w)v-\beta(u, v)w\] Il s'avère qu'on peut classifier tous ces triples $(V, \tau, \beta)$. Je n'ai guère la place ici pour expliquer le résultat complet - ce n'est d'ailleurs peut-être pas l'endroit pour le faire - et je me bornerai donc à décrire les solutions pour lesquelles $\beta$ est non dégénéré.
Beaucoup d'algèbres de Lie sont des sous-espaces de l'ensemble des matrices carrées, réelles ou complexes. Leur produit, appelé crochet de Lie, est alors le commutateur des matrices \[(A, B)\mapsto [A, B]=AB-BA\] Nos deux jumeaux sont isomorphes à des algèbres de Lie de matrices bien connues. Les produits vectoriels « classiques » $(E, \wedge)$, ceux dont j'ai parlé au début de ce billet, sont isomorphes à l'algèbre des matrices carrées de taille $3$ à coefficients réels et antisymétriques, qu'on note usuellement $so(3)$ [ 3]: \[ \begin{pmatrix} 0&-a_3&a_2\\ a_3&0&-a_1\\ -* a_2&a_1&0 \end{pmatrix} \] Ce n'est pas bien difficile à vérifier ce que, conformément à l'esprit de ce billet, nous ne ferons pas. Propriétés produit vectoriel des. Le « jumeau » est quant à lui isomorphe à l'algèbre $sl(2, \mathbb{R})$ des matrices réelles de dimension $2$ et de trace nulle: a&b\\ c&-a et $\beta$ est une forme bilinéaire de signature $(+, -, -)$.
V_3 - U_3. V_2) \ \vec e_1 +(U_3. V_1 - U_1. V_3) \ \vec e_2 + (U_1. V_2 - U_2. V_1) \ \vec e_3\) Fondamental: Si le produit vectoriel est nul, alors \(\vec U = \vec 0\), ou \(\vec V = \vec 0\), ou \(\sin (\vec U, \vec V) = 0\) c'est-à-dire que \(\vec U\) et \(\vec V\) sont colinéaires.
skytimetravel.net, 2024