Produit vectoriel en dimension 7

En mathématiques, et plus précisément en algèbre linéaire, le produit vectoriel en dimension 7 est une loi de composition interne d'un espace euclidien à 7 dimensions, ayant certaines propriétés du produit vectoriel usuel (en dimension 3) ; on démontre d'ailleurs que de telles lois n'existent qu'en dimensions trois et sept^[1].

Exemple

Les principes sous-jacents à la construction du produit vectoriel en dimension 7 seront présentés dans la section suivante. Le premier exemple historique d'un tel produit vectoriel est donné dans la table ci-dessous, utilisant e₁ à e₇ comme vecteurs de base^[2]^,^[3] Cette table est une des 480 tables de multiplication indépendantes telles que chaque vecteur unitaire apparaisse une fois dans chaque ligne et dans chaque colonne^[4]. Ainsi, chaque vecteur apparait six fois dans la table, trois fois avec un signe + et trois fois avec un signe - à cause de l'antisymétrie autour des zéros de la diagonale. Par exemple, e₁ = e₂ × e₃ =e₄ × e₅ = e₇ × e₆, et les entrées négatives correspondent aux produits vectoriels dans l'ordre opposé : -e₁ = e₃ × e₂ =...

Autres schémas d'indexation
$Nombre$	$1$	$2$	$3$	$4$	$5$	$6$	$7$
$Lettre$	$i$	$j$	$k$	$l$	$il$	$jl$	$kl$
$Alternative$	$i$	$j$	$k$	$l$	$m$	$n$	$o$

Un échantillon de table de multiplication de Cayley
×	$e 1$	$e 2$	$e 3$	$e 4$	$e 5$	$e 6$	$e 7$
$e 1$	$0$	$e 3$	$- e 2$	$e 5$	$- e 4$	$- e 7$	$e 6$
$e 2$	$- e 3$	$0$	$e 1$	$e 6$	$e 7$	$- e 4$	$- e 5$
$e 3$	$e 2$	$- e 1$	$0$	$e 7$	$- e 6$	$e 5$	$- e 4$
$e 4$	$- e 5$	$- e 6$	$- e 7$	$0$	$e 1$	$e 2$	$e 3$
$e 5$	$e 4$	$- e 7$	$e 6$	$- e 1$	$0$	$- e 3$	$e 2$
$e 6$	$e 7$	$e 4$	$- e 5$	$- e 2$	$e 3$	$0$	$- e 1$
$e 7$	$- e 6$	$e 5$	$e 4$	$- e 3$	$- e 2$	$e 1$	$0$

La table donne les valeurs du produit du vecteur de gauche par le vecteur du haut (dans cet ordre) ; certaines entrées sont présentées sur fond gris pour mieux visualiser l'antisymétrie.

On peut la résumer par la relation^[3]

$\mathbf{e}_i \mathbf{\times} \mathbf{e}_j = \varepsilon _{ijk} \mathbf{e}_k \ ,$

où $\varepsilon _{ijk}$ est un tenseur totalement antisymétrique, valant +1 lorsque ijk = 123, 145, 176, 246, 257, 347, 365. En isolant les facteurs amenant au vecteur unité e₁, par exemple, on obtient la formule pour la première composante de x × y, c'est-à-dire que

$\left( \mathbf{ x \times y}\right)_1 = x_2y_3 - x_3y_2 +x_4y_5-x_5y_4 + x_7y_6-x_6y_7 = -\left( \mathbf{ y \times x}\right)_1 \ .$

Le coin 3 × 3 en haut à gauche de la table correspond à la table du produit vectoriel usuel en 3 dimensions. On peut aussi remarquer que l'orthogonalité de x×y avec x et y est une contrainte supplémentaire sur cette table. Cependant, en raison du grand nombre de tables de multiplication possibles, les résultats généraux concernant le produit vectoriel se démontrent plus aisément dans une formulation n'utilisant pas les coordonnées, comme on le verra ci-dessous.

Définition

On appelle produit vectoriel sur un espace euclidien V une application bilinéaire notée^[5] ×, allant de V × V vers V, $(\mathbf{x},\mathbf{y})\mapsto\mathbf{x} \times \mathbf{y}$ , ayant les propriétés suivantes^[1]^,^[6] :

$\mathbf{x} \cdot (\mathbf{x} \times \mathbf{y}) = (\mathbf{x} \times \mathbf{y})\mathbf{\cdot y}=0$ (orthogonalité),

et :

$|\mathbf{x} \times \mathbf{y}|^2 = |\mathbf{x}|^2 |\mathbf{y}|^2 - (\mathbf{x} \cdot \mathbf{y})^2$ (relation entre les normes),

où (x·y) est le produit scalaire et |x| est la norme du vecteur x. Une formulation équivalente, utilisant l'angle θ entre les vecteurs^[7], est^[8] :

$|\mathbf{x} \times \mathbf{y}| = |\mathbf{x}| |\mathbf{y}| \sin \theta,$

ce qui est l'aire du parallélogramme (dans le plan de x et y) ayant les deux vecteurs pour côtés^[9]. Il est également possible de montrer que l'expression suivante est équivalente aux deux précédentes^[10] :

$|\mathbf{x} \times \mathbf{y}| = |\mathbf{x}| |\mathbf{y}|~\mbox{si} \ \left( \mathbf{x} \cdot \mathbf{y} \right)= 0.$

Conséquences de la définition

Étant données les trois propriétés de (i) bilinéarité, (ii) orthogonalité, et (iii) valeur de la norme, énoncées dans la section précédente, un produit vectoriel non trivial ne peut exister qu'en dimensions trois et sept^[8]^,^[1]^,^[10]. En fait, les propriétés précédentes ne peuvent être satisfaites qu'en dimension 0, 1, 3 ou 7. Comme en dimension 0 ou 1, tous les vecteurs sont colinéaires, le produit vectoriel est identiquement nul dans ce cas.

La restriction aux dimensions 0, 1, 3 et 7 est reliée au théorème de Frobenius généralisé (ou théorème de Hurwitz), qui affirme qu'une algèbre normée à division (en) est nécessairement de dimension 1, 2, 4 ou 8. Le produit vectoriel est alors simplement le produit de l'algèbre, restreint aux 0, 1, 3, ou 7 dimensions "imaginaires"^[11].

Contrairement au cas tridimensionnel où le produit vectoriel est unique (au signe près), il y a de nombreux produits vectoriels distincts en sept dimensions. On peut ainsi remarquer qu'étant donné deux vecteurs (non colinéaires) x et y ∈ℝ⁷ et un vecteur v quelconque de norme |v| = |x||y| sinθ dans le sous-espace (à 5 dimensions) orthogonal au plan engendré par x et y, il est possible de construire un produit vectoriel tel que x × y = v.

Une autre différence entre les deux cas est qu'il y a, en dimension 7, de nombreux plans correspondant à la même direction pour le produit vectoriel de deux de leurs vecteurs^[8] : dans la table de multiplication précédente, on a vu ainsi que chaque produit apparaissait trois fois, correspondant à trois plans indépendants.

D'autres propriétés résultent de la définition, en particulier :

$\mathbf{x} \times \mathbf{y} = -\mathbf{y} \times \mathbf{x}$ (anticommutativité),

$\mathbf{x} \cdot (\mathbf{y} \times \mathbf{z}) = \mathbf{y} \cdot (\mathbf{z} \times \mathbf{x}) = \mathbf{z} \cdot (\mathbf{x} \times \mathbf{y})$ (produit mixte),

$(\mathbf{x} \times \mathbf{y}) \times (\mathbf{x} \times \mathbf{z}) = ((\mathbf{x} \times \mathbf{y}) \times \mathbf{z}) \times \mathbf{x} + ((\mathbf{y} \times \mathbf{z}) \times \mathbf{x}) \times \mathbf{x} + ((\mathbf{z} \times \mathbf{x}) \times \mathbf{x}) \times \mathbf{y}$ (identité de Malcev (en))^[8].

$\mathbf{x} \times (\mathbf{x} \times \mathbf{y}) = -|\mathbf{x}|^2 \mathbf{y} + (\mathbf{x} \cdot \mathbf{y}) \mathbf{x}.$

En revanche, certaines propriétés du cas tridimensionnel ne sont pas vérifiées en dimension 7, comme :

$\mathbf{x} \times (\mathbf{y} \times \mathbf{z}) = (\mathbf{x} \cdot \mathbf{z}) \mathbf{y} - (\mathbf{x} \cdot \mathbf{y}) \mathbf{z}$ (double produit vectoriel),

$\mathbf{x} \times (\mathbf{y} \times \mathbf{z}) + \mathbf{y} \times (\mathbf{z} \times \mathbf{x}) + \mathbf{z} \times (\mathbf{x} \times \mathbf{y}) = 0$ (identité de Jacobi)^[8].

Expression à l'aide des coordonnées

Pour définir un produit vectoriel particulier, il suffit de choisir une base orthonormée {e_j} et une table de multiplication déterminant tous les produits {e_i× e_j}. Une telle table a été donnée dans la première section, mais elle n'est pas unique^[4] ; contrairement au cas tridimensionnel, chaque paire de vecteurs de la base est orthogonale aux cinq autres vecteurs, ce qui permet de nombreux choix de produits.

Une fois choisie une telle table, le calcul du produit de deux vecteurs quelconques x et y se fait en les exprimant comme somme de leurs composantes dans la base, et en développant x×y par bilinéarité.

La table de multiplication de Lounesto
×	$e 1$	$e 2$	$e 3$	$e 4$	$e 5$	$e 6$	$e 7$
$e 1$	$0$	$e 4$	$e 7$	$- e 2$	$e 6$	$- e 5$	$- e 3$
$e 2$	$- e 4$	$0$	$e 5$	$e 1$	$- e 3$	$e 7$	$- e 6$
$e 3$	$- e 7$	$- e 5$	$0$	$e 6$	$e 2$	$- e 4$	$e 1$
$e 4$	$e 2$	$- e 1$	$- e 6$	$0$	$e 7$	$e 3$	$- e 5$
$e 5$	$- e 6$	$e 3$	$- e 2$	$- e 7$	$0$	$e 1$	$e 4$
$e 6$	$e 5$	$- e 7$	$e 4$	$- e 3$	$- e 1$	$0$	$e 2$
$e 7$	$e 3$	$e 6$	$- e 1$	$e 5$	$- e 4$	$- e 2$	$0$

Notant e₁ à e₇ les vecteurs de la base, voici un autre exemple d'une telle table, amenant à un produit vectoriel différent de celui de la première section, dû à Lounesto^[8]

$\mathbf{e}_1 \times \mathbf{e}_2 = \mathbf{e}_4, \quad \mathbf{e}_2 \times \mathbf{e}_4 = \mathbf{e}_1, \quad \mathbf{e}_4 \times \mathbf{e}_1 = \mathbf{e}_2,$

$\mathbf{e}_2 \times \mathbf{e}_3 = \mathbf{e}_5, \quad \mathbf{e}_3 \times \mathbf{e}_5 = \mathbf{e}_2, \quad \mathbf{e}_5 \times \mathbf{e}_2 = \mathbf{e}_3,$ etc.

Cette règle peut s'écrire de façon plus compacte comme :

$\mathbf{e}_i \times \mathbf{e}_{i+1} = \mathbf{e}_{i+3}$

où les indices i sont pris modulo 7, en combinant cette formule avec les règles données précédemment : l'anticommutativité produit les trois diagonales centrales de la table, puis on trouve, par exemple

$\mathbf{e}_i \times \left( \mathbf{e}_i \times \mathbf{e}_{i+1}\right) =-\mathbf{e}_{i+1} = \mathbf{e}_i \times \mathbf{e}_{i+3} \ ;$

toute la table est ainsi construite de proche en proche.

Utilisant la bilinéarité, on en déduit une formule pour le cas général :

$\begin{align}\mathbf{x} \times \mathbf{y} = (x_2y_4 - x_4y_2 + x_3y_7 - x_7y_3 + x_5y_6 - x_6y_5)\,&\mathbf{e}_1 \\ {}+ (x_3y_5 - x_5y_3 + x_4y_1 - x_1y_4 + x_6y_7 - x_7y_6)\,&\mathbf {e}_2 \\ {}+ (x_4y_6 - x_6y_4 + x_5y_2 - x_2y_5 + x_7y_1 - x_1y_7)\,&\mathbf{e}_3 \\ {}+ (x_5y_7 - x_7y_5 + x_6y_3 - x_3y_6 + x_1y_2 - x_2y_1)\,&\mathbf{e}_4 \\ {}+ (x_6y_1 - x_1y_6 + x_7y_4 - x_4y_7 + x_2y_3 - x_3y_2)\,&\mathbf{e}_5 \\ {}+ (x_7y_2 - x_2y_7 + x_1y_5 - x_5y_1 + x_3y_4 - x_4y_3)\,&\mathbf{e}_6 \\ {}+ (x_1y_3 - x_3y_1 + x_2y_6 - x_6y_2 + x_4y_5 - x_5y_4)\,&\mathbf{e}_7. \\ \end{align}$

L'opérateur x×– (l'application $\mathbf{y}\mapsto\mathbf{x} \times \mathbf{y}$ ) a donc pour matrice dans la base {e_j} :

$T_{\mathbf x} = \begin{bmatrix} 0 & -x_4 & -x_7 & x_2 & -x_6 & x_5 & x_3 \\ x_4 & 0 & -x_5 & -x_1 & x_3 & -x_7 & x_6 \\ x_7 & x_5 & 0 & -x_6 & -x_2 & x_4 & -x_1 \\ -x_2 & x_1 & x_6 & 0 & -x_7 & -x_3 & x_5 \\ x_6 & -x_3 & x_2 & x_7 & 0 & -x_1 & -x_4 \\ -x_5 & x_7 & -x_4 & x_3 & x_1 & 0 & -x_2 \\ -x_3 & -x_6 & x_1 & -x_5 & x_4 & x_2 & 0 \end{bmatrix}.$

et le produit vectoriel est alors donné par

$\mathbf{x} \times \mathbf{y} = T_{\mathbf{x}}(\mathbf{y}).$

Autres tables de multiplication

Les plans de Fano correspondant aux deux tables de multiplication de cet article.

Il y a de nombreuses autres tables de multiplication possibles^[4]^,^[12] ; ces tables sont caractérisées par leur plan de Fano^[13]^,^[14], lesquels sont montrés ci-contre pour les deux tables qui ont été détaillées. Les nombres sous ces diagrammes (donnant la liste des 7 droites du plan) correspondent aux indices de sept produits indépendants, à interpréter comme ijk → e_i × e_j = e_k. La table de multiplication complète s'obtient à partir du diagramme en suivant la "droite" reliant les deux points à multiplier (le cercle central est aussi une droite), le signe étant donné par les flêches. Par exemple, la première rangée de la formule précédente, donnant la composante en e₁ du produit vectoriel, est obtenue en suivant les trois chemins connectés à e₁ dans le second diagramme : le chemin circulaire e₂ × e₄, la diagonale e₃ × e₇, et le borde₆ × e₁ = e₅, réarrangés en utilisant une des identités précédentes comme :

$\mathbf{e_6 \times} \left( \mathbf{e_6 \times e_1} \right) = -\mathbf{e_1} = \mathbf {e_6 \times e_5} \ ,$

$\mathbf {e_5 \times e_6} =\mathbf{e_1} \ .$

On voit alors que les deux tables résultent du même diagramme de Fano, en renommant les vecteurs de la base, et en changeant le sens du vecteur représenté au centre. La question peut alors se poser de savoir s'il existe vraiment plusieurs produits vectoriels ; on fait généralement remarquer que les 480 tables possibles sont équivalentes (au sens où on obtient n'importe laquelle de ces tables par une permutation convenable des vecteurs de base), ce qui revient à dire que toutes les algèbres ainsi obtenues sont isomorphes^[14].

Utilisation de l'algèbre géométrique

Le produit peut aussi être calculé à l'aide de l'algèbre géométrique. On part du produit extérieur, qui construit un bivecteur à partir de deux vecteurs :

$\mathbf{B} = \mathbf{x} \wedge \mathbf{y} = \frac{1}{2}(\mathbf{xy} - \mathbf{yx}).$

Cette application est bilinéaire et alternée, la norme est celle désirée, mais le résultat n'est pas un vecteur. Pour obtenir le produit vectoriel, il faut prendre le produit de ce bivecteur avec un trivecteur. En dimension 3, il n'y a (à un facteur scalaire près) qu'un seul trivecteur, le pseudoscalaire de l'espace, et le produit du bivecteur ci-dessus et d'un des deux trivecteurs unitaires donne le résultat vectoriel, dual du bivecteur.

Un calcul analogue peut être effectué en dimension 7, mais comme les trivecteurs forment alors un espace de dimension 35, de nombreux trivecteurs conviennent (cependant pas tous). Ainsi, le trivecteur donnant le même produit que celui dont on a fourni la représentation par coordonnées ci-dessus est

$\mathbf{v} = \mathbf{e}_{124} + \mathbf{e}_{235} + \mathbf{e}_{346} + \mathbf{e}_{457} + \mathbf{e}_{561} + \mathbf{e}_{672} + \mathbf{e}_{713}.$

Combiné avec le produit extérieur, on obtient le produit vectoriel

$\mathbf{x} \times \mathbf{y} = -(\mathbf{x} \wedge \mathbf{y}) \lrcorner \mathbf{v}$

où ⌋ est l’opérateur de contraction à gauche de l'algèbre géométrique^[8]^,^[15].

Relation avec les octonions

Tout comme le produit vectoriel usuel en dimension 3 peut s'exprimer à l'aide des quaternions, le produit vectoriel en dimension 7 peut être exprimé en termes d'octonions. Identifiant R⁷ aux octonions imaginaires (le complément orthogonal de la droite des réels dans O), le produit vectoriel est donné (en utilisant la multiplication des octonions) par

$\mathbf x \times \mathbf y = \mathrm{Im}(\mathbf{xy}) = \frac{1}{2}(\mathbf{xy}-\mathbf{yx}).$

Réciproquement, soit V un espace euclidien de dimension 7 muni d'un produit vectoriel. On peut alors définir une multiplication bilinéaire sur R⊕V par :

$(a,\mathbf{x})(b,\mathbf{y}) = (ab - \mathbf{x}\cdot\mathbf{y}, a\mathbf y + b\mathbf x + \mathbf{x}\times\mathbf{y}).$

et l'espace R⊕V muni de cette multiplication est isomorphe à l'algèbre des octonions^[16].

Cette construction explique pourquoi le produit vectoriel ne peut exister qu'en dimensions trois et sept. Il est en effet toujours possible de définir comme précédemment une multiplication sur un espace ayant une dimension supplémentaire, et l'on montre que l'algèbre ainsi obtenue est une algèbre normée à division (en). D'après le théorème de Hurwitz, ces algèbres n'existent qu'en dimension 1, 2, 4 ou 8 ; les produits vectoriels correspondant aux dimensions 1 et 2 sont triviaux, d'où le résultat^[17]^,^[18].

Le fait qu'en dimension 7, le produit vectoriel ne satisfasse pas l'identité de Jacobi est dû à la non-associativité des octonions. En fait,

$\mathbf{x}\times(\mathbf{y}\times\mathbf{z}) + \mathbf{y}\times(\mathbf{z}\times\mathbf{x}) + \mathbf{z}\times(\mathbf{x}\times\mathbf{y}) = -\frac{3}{2}[\mathbf x, \mathbf y, \mathbf z]$

où [x, y, z] est l'associateur.

Rotations

En trois dimensions, le produit vectoriel est invariant par les rotations du groupe SO(3), c'est-à-dire que si r est une rotation, r(x) × r(y) = r(x × y). Ce résultat ne se généralise pas à la dimension 7 ; le produit vectoriel n'est pas invariant par les rotations du groupe SO(7). Il n'est invariant que par les rotations du sous-groupe G₂, un des groupes de Lie exceptionnels^[16]^,^[8].

Généralisations

Les produits vectoriels binaires n'existent qu'en dimension 3 et 7. Mais si l'on s'intéresse à des produits de familles de plus de deux vecteurs, il apparait de nouvelles possibilités^[19]^,^[20] Comme dans le cas binaire, on veut que le résultat du produit soit un vecteur, et que le produit soit une application multilinéaire alternée. De plus, on veut que ce vecteur soit orthogonal à chaque vecteur de la famille, et que sa norme soit le volume du parallélotope formé par ces vecteurs, lequel peut être calculé à l'aide du déterminant de Gram. Ainsi :

$\left( \mathbf{a_1 \times \ \cdots \ \times a_k}\right) \mathbf{ \cdot a_j} = 0$ (orthogonalité)

$|\mathbf{a_1 \times \ \cdots \ \times a_k} |^2 = \det (\mathbf{a_i \cdot a_j}) = \begin{vmatrix} \mathbf {a_1 \cdot a_1} & \mathbf {a_1 \cdot a_2} & \dots & \mathbf {a_1 \cdot a_k}\\ \mathbf {a_2 \cdot a_1} & \mathbf {a_2 \cdot a_2} & \dots & \mathbf {a_2 \cdot a_k}\\ \dots & \dots & \dots & \dots\\ \mathbf {a_k \cdot a_1} & \mathbf {a_k \cdot a_2} & \dots & \mathbf {a_k \cdot a_k}\\ \end{vmatrix}$ (déterminant de Gram)

Le déterminant de Gram est le carré du volume du parallélotope ayant a₁, ..., a_k comme côtés ; dans le cas de deux vecteurs x et y, on retrouve la condition donnée précédemment :

$|\mathbf{x} \times \mathbf{y}|^2 = \begin{vmatrix} \mathbf {x \cdot x} & \mathbf {x \cdot y}\\ \mathbf {y \cdot x} & \mathbf {y \cdot y}\\ \end{vmatrix} = |\mathbf{x}|^2 |\mathbf{y}|^2 - (\mathbf{x} \cdot \mathbf{y})^2$ .

Avec ces conditions, les seuls cas possibles de produit vectoriel non trivial sont :

le produit binaire des dimensions 3 et 7
un produit de n - 1 vecteurs en dimension n > 3
un produit de trois vecteurs en dimension 8.

Le produit de n - 1 vecteurs en dimension n est le dual de Hodge du produit extérieur des n - 1 vecteurs. Une version du produit de trois vecteurs en dimension 8 est donnée par

$\mathbf{a} \times \mathbf{b} \times \mathbf{c} = (\mathbf{a} \wedge \mathbf{b} \wedge \mathbf{c}) \lrcorner (\mathbf{w} -\mathbf{ve}_8)$

où v est le même trivecteur que celui utilisé en dimension 7, ⌋ est encore la contraction à gauche, et w =-ve_12...7 est un 4-vecteur.

Voir aussi

Théorème de Frobenius généralisé

Notes

↑ ^{a, b et c} WS Massey, « Cross products of vectors in higher dimensional Euclidean spaces », dans The American Mathematical Monthly, Mathematical Association of America, vol. 90, n^o 10, 1993, p. 697–701 [texte intégral, lien DOI]
↑ . Cette table est due à John T. Graves (en) (1843) et Arthur Cayley (1845). Voir (en) G Gentili, C Stoppato, DC Struppa et F Vlacci, Hypercomplex analysis, Birkaüser, 2009 (ISBN 9783764398927) [lire en ligne], « Recent developments for regular functions of a hypercomplex variable », p. 168
↑ ^{a et b} (en) Lev Vasilʹevitch Sabinin, Larissa Sbitneva, I. P. Shestakov, Non-associative algebra and its applications, CRC Press, 2006 [détail de l’édition] (LCCN 2005053861) [lire en ligne], « §17.2 Octonion algebra and its regular bimodule representation », p. 235
↑ ^{a, b et c} (en) Rafał Abłamowicz, Pertti Lounesto, Josep M. Parra, Clifford algebras with numeric and symbolic computations, Birkhäuser, 1996 (ISBN 978-0-8176-3907-5) (LCCN 96019921) [lire en ligne], « Four octonionic basis numberings », p. 202
↑ La notation francophone usuelle du produit vectoriel en dimension 3 est $\scriptstyle\mathbf{x} \wedge \mathbf{y}$ , mais il ne semble pas y avoir de mention du cas général dans la littérature
↑ Massey (1993) et (en) Robert B Brown et Alfred Gray, Vector cross products, vol. 42, Birkhäuser Basel, 1967 [lire en ligne], p. 222–236 demandent que l'application soit bilinéaire.
↑ La définition de l'angle dans un espace de dimension n est généralement donnée à l'aide du produit scalaire, comme valant $\scriptstyle \theta=\widehat{(\mathbf{x \cdot y})} = \arccos(\mathbf{x \cdot y}|/(\mathbf x ||\mathbf y |)), \ \mathrm {avec}\ 0 \le\theta \le \pi$ . Par conséquent, et en appliquant le théorème de Pythagore à la relation entre les normes, $\scriptstyle|\mathbf{x} \times \mathbf{y}| = |\mathbf{x}| |\mathbf{y}| \sin \theta$ , sin θ étant toujours positif dans cet intervalle. Voir (en) Francis Begnaud Hildebrand, Methods of applied mathematics, Courier Dover Publications, 1992, Reprint of Prentice-Hall 1965 2nd^e éd., poche (ISBN 978-0-486-67002-7) [lire en ligne], p. 24
↑ ^{a, b, c, d, e, f, g et h} Lounesto, pp. 96-97
↑ (en) M. G. Kendall, A Course in the Geometry of N Dimensions, Courier Dover Publications, 2004, poche (ISBN 978-0-486-43927-3) (LCCN 2004047769) [lire en ligne], p. 19
↑ ^{a et b} Z.K. Silagadze, Multi-dimensional vector product, 2002 , Texte en accès libre sur arXiv : math.RA/0204357.
↑ (en) Nathan Jacobson, Basic algebra I, Dover Publications, 2009, Reprint of Freeman 1974 2nd^e éd., poche (ISBN 978-0-486-47189-1) (LCCN 2009006506) [lire en ligne], p. 417–427
↑ On trouvera ici une analyse plus approfondie de ces tables et de leur relation avec le plan de Fano: Tony Smith, « Octonion products and lattices ». Consulté le 2010-07-11
↑ (en) Rafał Abłamowicz, Bertfried Fauser, Clifford Algebras and Their Applications in Mathematical Physics: Algebra and physics, Springer, 2000 (ISBN 978-0-8176-4182-5) (LCCN 00034310) [lire en ligne], p. 26
↑ ^{a et b} The question of possible multiplication tables arises, for example, when one reads another article on octonions, which uses a different one from the one given by [Cayley, say]. Usually it is remarked that all 480 possible ones are equivalent, that is, given an octonionic algebra with a multiplication table and any other valid multiplication table, one can choose a basis such that the multiplication follows the new table in this basis. One may also take the point of view, that there exist different octonionic algebras, that is, algebras with different multiplication tables. With this interpretation...all these octonionic algebras are isomorphic. Jörg Schray, Corinne A. Manogue, « Octonionic representations of Clifford algebras and triality », dans Foundations of physics, Springer, vol. 26, n^o 1/January, 1996, p. 17–70 [texte intégral, lien DOI] On peut le trouver à ArXive preprint ; la figure 1 y figure ici
↑ (en) Bertfried Fauser, Clifford algebras: applications to mathematics, physics, and engineering, Birkhäuser, 2004 (ISBN 0817635254) [lire en ligne], « §18.4.2 Contractions », p. 292 et suivantes
↑ ^{a et b} John Baez, « The Octonions », dans Bull. Amer. Math., vol. 39, 2001, p. 38 [texte intégral]
↑ (en) Alberto Elduque, Vector cross products, 2004 [lire en ligne]
↑ (en) Erik Darpö, Vector product algebras, vol. 41, 2009, p. 898–902 Voir aussi Real vector product algebras
↑ Lounesto, §7.5: Cross products of k vectors in ℝⁿ, p. 98
↑ . (en) Jean H. Gallier, Geometric methods and applications: for computer science and engineering, Springer, 2001 (ISBN 978-0-387-95044-0) (LCCN 00030757) [lire en ligne], « Problem 7.10 (2) », p. 244

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « seven-dimensional cross product » (voir la liste des auteurs)

(en) Robert B. Brown, Gray, Alfred, Vector cross products, vol. 42, 1967 [détail de l’édition], p. 222–236
(en) Pertti Lounesto, Clifford algebras and spinors, Cambridge, UK, Cambridge University Press, 2001 [détail de l’édition] (LCCN 2001025396) [lire en ligne]
Z.K. Silagadze, Multi-dimensional vector product, vol. 35, 2002 [lire en ligne], p. 4949 Texte en accès libre sur arXiv : {{{1}}}..

v · d · m

Opérations binaires

Numériques	En ensemble ordonné	Structurelles	Autres

Élémentaires $+$ Addition $-$ Soustraction $\times$ Multiplication $\div$ Division $\hat{}$ Puissance Arithmétiques $div$ Quotient euclidien $mod$ Reste euclidien $pgcd$ PGCD $ppcm$ PPCM Combinatoires $()$ Coefficient binomial $A$ Arrangement	Ensembles de parties $\cup$ Union $\backslash$ Complémentation $\cap$ Intersection $Δ$ Différence symétrique Ordre total $min$ Minimum $max$ Maximum Treillis $\wedge$ Borne inférieure $\vee$ Borne supérieure	Ensembles $\times$ Produit cartésien $\dot{\cup}$ Somme disjointe $\hat{}$ Puissance ensembliste Groupes $\oplus$ Somme directe $\ast$ Produit libre $\wr$ Produit en couronne Modules $\otimes$ Produit tensoriel $Hom$ Homomorphisme $Tor$ Torsion $Ext$ Extension Arbres $\vee$ Enracinement Variétés connexes $\#$ Somme connexe Espaces pointés $\vee$ Bouquet $\wedge$ Smash produit $\ast$ Joint	Fonctionnelles $\circ$ Composition de fonctions $\ast$ Produit de convolution Vectorielles $\cdot$ Produit scalaire $\wedge$ Produit vectoriel $\times\,$ Produit vectoriel généralisé Algébriques $[,]$ Crochet de Lie ${,}$ Crochet de Poisson $\wedge$ Produit extérieur Homologiques $\smile$ Cup produit $\cdot$ Produit d'intersection Séquentielles $+$ Concaténation

Logique booléenne : $\land$ ET (conjonction) • $\lor$ OU (disjonction) • $\oplus$ OU exclusif • $\Rightarrow$ IMP (implication) • $\Leftrightarrow$ EQV (équivalence)

Portail de la géométrie

Catégories :

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Produit vectoriel en dimension 7 de Wikipédia en français (auteurs)

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

Regardez d'autres dictionnaires:

Produit vectoriel — En mathématiques, et plus précisément en géométrie, le produit vectoriel est une opération vectorielle effectuée dans les espaces euclidiens orientés de dimension trois[1],[2]. Le formalisme utilisé actuellement est apparu en 1881 dans un manuel… … Wikipédia en Français
Produit vectoriel et algèbre — Produit vectoriel Le produit vectoriel est une opération vectorielle effectuée dans les espaces euclidiens orientés de dimension trois[1]. Le formalisme utilisé actuellement est apparu en 1881 dans un manuel d analyse vectorielle écrit par Josiah … Wikipédia en Français
Double produit vectoriel — Produit vectoriel Le produit vectoriel est une opération vectorielle effectuée dans les espaces euclidiens orientés de dimension trois[1]. Le formalisme utilisé actuellement est apparu en 1881 dans un manuel d analyse vectorielle écrit par Josiah … Wikipédia en Français
Topologie d'un espace vectoriel de dimension finie — En mathématiques, la topologie d un espace vectoriel de dimension finie sur un corps K est, sous certaines hypothèses, un cas particulier de topologie d espace vectoriel normé. Le prototype est Rn muni de la norme qui à un n uplet de réels… … Wikipédia en Français
Dimension de Hamel — Dimension Voir « dimension » sur le Wiktionnaire … Wikipédia en Français
Dimension spatiale — Dimension Voir « dimension » sur le Wiktionnaire … Wikipédia en Français
Dimension D'un Espace Vectoriel — En mathématiques, la dimension d un espace vectoriel E est le cardinal (c est à dire le nombre de vecteurs) de toute base de E. Elle est parfois appelée la dimension de Hamel ou la dimension algébrique à distinguer d autres types de dimension.… … Wikipédia en Français
dimension — [ dimɑ̃sjɔ̃ ] n. f. • 1425; lat. dimensio, de metiri « mesurer » I ♦ 1 ♦ Grandeur réelle, mesurable, qui détermine la portion d espace occupée par un corps. ⇒ étendue, grandeur, grosseur. Dimension relative. ⇒ proportion. « Notre âme est jetée… … Encyclopédie Universelle
Produit exterieur — Produit extérieur Articles scientifiques sur les tenseurs Généralités Tenseur Mathématiques Tenseur (mathématiques) Produit tensoriel ... de deux modules ... de deux applications linéaires Algèbre tensorielle Champ tensoriel Espace tensoriel … Wikipédia en Français
vectoriel — vectoriel, ielle [ vɛktɔrjɛl ] adj. • 1885; de vecteur, d apr. l angl. vectorial, de vector → vecteur ♦ Math. Relatif aux vecteurs. Qui opère sur des vecteurs. Espace vectoriel. Calcul vectoriel : ensemble des règles de calcul dans un espace… … Encyclopédie Universelle

Dictionnaires et Encyclopédies sur 'Academic'

Produit vectoriel en dimension 7

Sommaire

Exemple

Définition

Conséquences de la définition

Expression à l'aide des coordonnées

Autres tables de multiplication

Utilisation de l'algèbre géométrique

Relation avec les octonions

Rotations

Généralisations

Voir aussi

Notes

Références

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Produit vectoriel en dimension 7

Sommaire

Exemple

Définition

Conséquences de la définition

Expression à l'aide des coordonnées

Autres tables de multiplication

Utilisation de l'algèbre géométrique

Relation avec les octonions

Rotations

Généralisations

Voir aussi

Notes

Références

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link