Voir la source de Algèbre géométrique (structure)

{{confusion|géométrie algébrique}}
{{Voir homonymes|mef=« [[Algèbre (homonymie)]] » et notamment la branche de mathématiques appelée [[algèbre géométrique]]}}


Une '''algèbre géométrique''' est, en [[mathématiques]], une [[structure algébrique]], similaire à une [[algèbre de Clifford]] [[Nombre réel|réelle]], mais dotée d'une interprétation géométrique mise au point par [[David Hestenes]], reprenant les travaux de [[Hermann Grassmann]]<ref name=":0" /> et [[William Kingdon Clifford]] (le terme est aussi utilisé dans un sens plus général pour décrire l'étude et l'application de ces algèbres : l'algèbre géométrique est l'étude des ''algèbres géométriques''). Le but avoué de ce [[physicien théoricien]] et [[pédagogue]] est de fonder un langage propre à unifier les manipulations symboliques en physique, dont les nombreuses branches pratiquent aujourd'hui, pour des raisons historiques, des formalismes différents (tenseurs, [[matrice (mathématiques)|matrices]], torseurs, analyse vectorielle, utilisation de [[Nombre complexe|nombres complexes]], [[spineur]]s, [[quaternion]]s, [[Forme différentielle|formes différentielles]]…). Le nom choisi par David Hestenes (''{{Lang|en|geometric algebra}}'') est celui que Clifford voulait donner à son algèbre.

L'algèbre géométrique est utile dans les problèmes de [[physique]] qui impliquent des [[rotation dans l'espace|rotations]], des [[phase (onde)|phases]] ou des [[nombre imaginaire|nombres imaginaires]]. Elle fournit une description compacte et intuitive de la [[mécanique quantique]] et [[mécanique classique|classique]], de la théorie [[électromagnétique]], la [[relativité]]. Les applications actuelles de l'algèbre géométrique incluent la [[vision par ordinateur]], la [[biomécanique]] ainsi que la [[robotique]] et la dynamique des [[vol spatial|vols spatiaux]].

== Histoire ==
Dès l'Antiquité des liens entre l'[[algèbre]] et la [[géométrie]] étaient connus des Grecs.

En 1843 [[William Rowan Hamilton]] découvre les [[quaternion]]s qu'il interprète géométriquement comme des vecteurs (à tort). Un an plus tard, [[Hermann Günther Grassmann]] introduit le produit intérieur et le produit extérieur qui permettent la construction d'algèbres opérant sur des objets géométriques. Enfin, en 1873 [[William Kingdon Clifford]] parvient à intégrer les résultats d'Hamilton et ceux de Grassmann dans une première formulation de l'algèbre géométrique.

La découverte de Clifford passe inaperçue, sans doute à cause du décès prématuré de son auteur<ref name=":0" />, et les physiciens de la fin du {{s-|XIX}} ne connaissant pas cet outil mathématique commencent à employer un autre système connu sous le nom de [[Analyse vectorielle|« calcul vectoriel »]]. Développé par [[Josiah Willard Gibbs]] et [[Oliver Heaviside]], le calcul vectoriel a permis notamment de formuler clairement la théorie de l'électromagnétisme de [[James Clerk Maxwell]], et s'est également révélé d'usage facile en mécanique classique. Ces succès en ont fait, jusqu'à ce jour, le système mathématique le plus utilisé en physique.

Au début du {{s-|XX}}, la théorie de la [[relativité générale]] amène à reconnaître l'espace-temps de dimension 4. Le calcul vectoriel ne s'étend pas bien en dimension 4, une des raisons étant que le produit vectoriel n'est défini qu'en dimension 3. Les physiciens, n'ayant toujours pas connaissance des algèbres découvertes par Clifford, compensent les insuffisances du calcul vectoriel en introduisant divers systèmes mathématiques complémentaires.

Ce n'est que dans la deuxième moitié du {{s-|XX}} que [[David Hestenes]] montra que l'algèbre géométrique est parfaitement adéquate en dimension 4 où elle se décline en algèbre de l'espace-temps (''{{lang|en|Space-Time Algebra}}'') qui formalise élégamment et efficacement la [[relativité restreinte]]. Hestenes montre également qu'avec l'algèbre géométrique, l'électromagnétisme gagne en simplicité, et que la mécanique classique en dimension 3 bénéficie d'une meilleure gestion des rotations. Un autre résultat majeur obtenu par Hestenes est que la mécanique quantique peut être reformulée par l'algèbre géométrique sans nombres imaginaires et sans matrices, avec une interprétation géométrique.

Aujourd'hui, l'algèbre géométrique est parfois présentée comme langage universel pour les ingénieurs et physiciens.

== Définitions ==

=== Algèbre géométrique ===

Il existe plusieurs définitions d'une algèbre géométrique, mais l'une des plus concises peut-être formulée ainsi:

{{Théorème|1=Définition|2=Une algèbre géométrique est une [[algèbre associative unitaire sur un corps]], ''engendrée'' par un [[sous-espace vectoriel]]<ref name="Somme de produits">Autrement dit : tout élément de l'algèbre géométrique est une somme de produits d'éléments du sous-espace vectoriel.</ref> dont tous les éléments ont pour [[Carré (algèbre)|carré]] un [[Scalaire (mathématiques)|scalaire]]<ref name="Hestenes 1986 p5">{{harvsp|Hestenes|1986|p=5}} : {{Traduction|langue=en|Directed numbers are defined implicitly by specifying rules for adding and multiplying vectors. Specifically, we assume that the vectors generate an associative algebra in which the square of every vector is a scalar.|Les nombres dirigés sont définis implicitement en spécifiant les règles d'addition et de multiplication de vecteurs. Plus précisément, nous supposons que les vecteurs engendrent une algèbre associative dans laquelle le carré d'un vecteur est un scalaire.}}</ref>.|énoncé=Une algèbre géométrique est une [[algèbre associative unitaire sur un corps]], ''engendrée'' par un [[sous-espace vectoriel]]<ref name="Somme de produits" /> dont tous les éléments ont pour [[Carré (algèbre)|carré]] un [[Scalaire (mathématiques)|scalaire]]<ref name="Hestenes 1986 p5" />.}}

Avec cette définition, l'algèbre géométrique, le corps et le sous-espace vectoriel sont notés respectivement <math>\mathcal{G}</math>, <math>\mathbb{K}</math><ref>Comme dans toute algèbre unitaire, <math>\mathbb{K}</math> est identifié à <math>\mathbb{K}1</math> où <math>1</math> est l'élément neutre pour la multiplication bilinéaire.</ref> et <math>\mathcal{V}</math>. La principale condition exprimée dans la définition s'écrit alors: <math>\forall \mathbf{v}\in\mathcal{V},\, \mathbf{v}^2\in\mathbb{K}</math>.

Hestenes a exprimé sa forte réticence à considérer le cas d'une algèbre sur le corps des complexes<ref>{{harvsp|Hestenes|1986|p=7}} : {{Traduction|langue=en|I am of half a mind to outlaw the Complex Clifford Algebras altogether, because the imaginary scalars do not have a natural geometric interpretation, and their algebraic features exist already in the real Clifford Algebras. However, there is already a considerable literature on complex Clifford Algebras, and they do have some formal advantages.|Je suis tenté d'interdire complètement l'utilisation d'algèbres de Clifford complexes, parce que des scalaires imaginaires n'ont pas d'interprétation géométrique naturelle, et que leurs propriétés algébriques existent déjà dans les algèbres de Clifford réelles. Cependant, il existe déjà une littérature considérable sur les algèbres de Clifford complexes, et elles présentent bel et bien certains avantages formels.}}</ref>.
En fait, dans {{Harvsp|Hestenes|Li|Rockwood|2001}}, le corps des scalaires est bel et bien choisi égal au corps des réels. La définition la plus générale a ici été présentée mais dans le reste de cet article, sauf mention contraire, on supposera <math>\mathbb{K} = \R</math>. Dans ce même ouvrage, Hestenes impose aussi à <math>\mathcal{V}</math> une [[dimension d'un espace vectoriel|dimension]] finie {{math|''n''}}. Dans ce cas, <math>\mathcal{V}</math> et <math>\mathcal{G}</math> peuvent être notés respectivement <math>\mathcal{V}^n</math> et <math>\mathcal{G}_n</math> (ou <math>\mathcal{G}(\mathcal{V}^n)</math>).

Dans cet article, <math>\mathcal{V}</math> est de dimension quelconque, mais dans le cas où cette dimension est infinie, elle sera tout de même supposée [[ensemble dénombrable|dénombrable]] pour faciliter les notations.

L'opération de multiplication dans une algèbre géométrique est appelée ''produit géométrique''.  Elle est le plus souvent notée sans symbole, par simple juxtaposition des opérandes.  Cependant certains auteurs, notamment {{lien|langue=en|Eric Lengyel}}, préconisent l'utilisation du symbole [[unicode]] U+27D1 : ⟑ .

Lorsque <math>\mathcal{V}</math> est de dimension finie, et que le carré de tout élément de <math>\mathcal{V}</math> est positif, il sera vu plus loin que <math>\mathcal V</math> est alors dotée d'une structure d'[[espace vectoriel euclidien]].  On pourra alors parler de « cas euclidien ».

=== Algèbre de Clifford ===

La donnée d'un espace vectoriel <math>\mathcal{V}</math> et d'une [[forme quadratique]] <math>\mathcal{Q}</math> sur <math>\mathcal{V}</math> permet de ''construire'' une algèbre géométrique dite ''générée par <math>\mathcal{V}</math> sous la condition <math>v^2 = \mathcal{Q}(v)</math>''. Cette algèbre est ce qu'on appelle l'[[algèbre de Clifford]] associé à <math>\mathcal{Q}</math>, notée <math>\mathcal{C}l(\mathcal V,\mathcal Q)</math>.

Si une algèbre de Clifford requiert une forme quadratique pour sa définition, on verra [[#Espace quadratique|plus loin]] qu'inversement, une algèbre géométrique permet de définir de façon unique une forme quadratique à partir du produit géométrique. La notion d'algèbre géométrique est donc identique à celle d'algèbre de Clifford, la seule différence étant l'ordre de présentation : une algèbre de Clifford est définie à partir d'un espace vectoriel et d'une forme quadratique, tandis qu'une algèbre géométrique est définie à partir d'une algèbre et d'un sous-espace vectoriel particulier. C'est pourquoi de nombreuses sources<ref>{{Article|langue=en|auteur1=Douglas Lundholm, Lars Svensson|titre=Clifford algebra, geometric algebra, and applications|périodique=[[KTH]]|pages=6|date=Version révisée, 7 juin 2016}}</ref> définissent purement et simplement les algèbres géométriques comme des algèbres de Clifford, assimilant exactement les deux concepts.

=== Vecteur ===

Même si <math>\mathcal{G}</math> est en tant qu'algèbre doté d'une structure d'espace vectoriel, David Hestenes réserve le mot ''vecteur'' aux éléments de <math>\mathcal{V}</math>. Dans cet article, en règle générale, les vecteurs seront notés en [[bas-de-casse]] [[graisse (typographie)|gras]].

==== Produits intérieur et extérieur ====

À partir du produit géométrique de deux vecteurs {{math|'''a'''}} et {{math|'''b'''}}, on définit<ref name=":0">{{Ouvrage|auteur1=[[David Hestenes]]|prénom1=|nom1=|titre=New foundations for classical mechanics|éditeur=Kluwer|collection=Fundamental theories of physics|date=1990|passage=14,39, 59|isbn=978-90-277-2090-0|isbn2=|consulté le=2025-03-09}}</ref> deux nouveaux produits, dont le premier est symétrique et le second antisymétrique<ref name="Caractéristique">On suppose, ici et dans tout le reste de l'article, que la [[caractéristique d'un anneau|caractéristique]] de <math>\mathbb{K}</math> est différente de 2, c'est-à-dire que 2 est non nul et donc inversible.</ref>:

{{bloc emphase|<math>\begin{align}
\mathbf{a} \cdot \mathbf{b} & =
\frac{1}{2}\left(\mathbf{a}\mathbf{b}+\mathbf{b}\mathbf{a}\right)\\
\mathbf{a} \wedge \mathbf{b} & =
\frac{1}{2}\left(\mathbf{a}\mathbf{b}-\mathbf{b}\mathbf{a}\right)
\end{align}</math>}}

{{math|'''a''' • '''b'''}} est appelé ''produit intérieur'', {{math|'''a''' ∧ '''b'''}} est appelé ''[[produit extérieur]]''. La littérature scientifique francophone utilise aussi le chevron ({{math|∧}}) pour désigner le [[produit vectoriel]]. Cette ambiguïté n'existe pas dans la littérature anglo-saxonne car le produit vectoriel y est désigné par le symbole [[croix de multiplication|{{math|×}}]].

{{Théorème|Le produit intérieur de deux vecteurs est un scalaire{{bloc emphase|<math>\mathbf{a}\cdot\mathbf{b}\in \mathbb{K}</math>}}
}}
Démonstration :{{bloc emphase|
<math>\mathbf{a}\cdot\mathbf{b} =
\frac{1}{2}(\mathbf{a}\mathbf{b} + \mathbf{b}\mathbf{a}) =
\frac{1}{2}((\mathbf{a}+\mathbf{b})^2 - \mathbf{a}^2-\mathbf{b}^2)\in \mathbb{K}
</math>}}


Le produit extérieur est généralisé à {{mvar|k}} vecteurs par la définition suivante :
{{bloc emphase|<math>\bigwedge_{j=1}^k\mathbf{a}_j =
\mathbf{a}_1\wedge \mathbf{a}_2\wedge\dots\wedge \mathbf{a}_k :=
\frac{1}{k!}\sum_{\sigma\in\mathfrak{S}_k} \operatorname{sgn}(\sigma) \mathbf{a}_{\sigma(1)}\mathbf{a}_{\sigma(2)} \dots \mathbf{a}_{\sigma(k)}</math>}}

où <math>\mathfrak{S}_k</math> est le [[Groupe symétrique|groupe des permutations]] d'indice {{mvar|k}}. Si r = 2, cela se réduit au produit extérieur de deux vecteurs définis précédemment<ref>{{Article|auteur1=Eric Chisholm|titre=Geometric algebra|périodique=[[arxiv]]|pages=13|date=2024|lire en ligne=https://arxiv.org/pdf/1205.5935}}</ref>.   

Il sera vu plus loin que le produit intérieur correspond au [[produit scalaire]] usuel.  Quant au produit extérieur, bien que ce n'est pas démontré dans cet article, il correspond au produit extérieur tel que définit dans l'article [[algèbre extérieure]].  Cette identité justifie l'utilisation de la même terminologie et de la même notation.

==== Décomposition canonique ====

Pour deux vecteurs {{math|'''a'''}} et {{math|'''b'''}}, on a la relation suivante, qui constitue la décomposition dite ''canonique'' du produit géométrique de deux vecteurs :
{{bloc emphase|<math>\mathbf{ab}=\mathbf{a} \cdot \mathbf{b}+\mathbf{a} \wedge \mathbf{b}.</math>}}

<math>\mathbf{a}\cdot\mathbf{b}</math> et <math>\mathbf{a}\wedge\mathbf{b}</math> sont respectivement appelés ''partie scalaire'' et ''partie [[#Bivecteur, trivecteur, k-vecteur|bivectorielle]]'' du produit géométrique {{math|'''ab'''}}.  Cette terminologie est justifiée par les observations précédentes, quant à la nature des produits intérieurs et extérieurs.

=== Multivecteur ===
Les éléments de <math>\mathcal G</math> sont appelés ''multivecteurs''. Hestenes utilise aussi parfois l'expression ''{{lang|en|directed number}}'', qu'on peut traduire par ''nombre orienté''. Cependant, le terme ''multivecteur'' semble prévaloir dans les publications récentes.

==== Verseur ====
Un ''verseur'' (''{{lang|en|versor}}'' en anglais) est un [[multivecteur]] qui peut être écrit comme produit géométrique de vecteurs non nuls.  Le nombre de vecteurs formant par produit géométrique un verseur donné est minoré par ce qu'on appelle son ''grade''.

Comme il sera vu plus loin dans cet article, les verseurs sont à la base de la plupart des applications de l'algèbre géométrique, car leur exponentiation permet de générer notamment les [[isométrie]]s dans le cas euclidien.

==== Base canonique ====
On considère une base <math>(\mathbf{e}_1,\mathbf{e}_2,...)</math> de <math>\mathcal V</math>  qui soit orthonormée pour le produit intérieur. On peut en trouver une en appliquant l'[[Algorithme de Gram-Schmidt]] sur une base de <math>\mathcal V</math> avec le produit intérieur, qui est une [[forme bilinéaire symétrique]], même si le produit intérieur n'est pas un [[Produit scalaire]] si un élément de <math>\mathcal V</math> est de carré négatif ou nul.

Deux vecteurs différents de cette base orthonormée étant de produit intérieur nul, ils anti-commutent, d'où la définition de la base canonique suivante.

Une ''base canonique'' est une base de <math>\mathcal{G}</math> (vu en tant qu'espace vectoriel) telle qu'il existe une base orthonormée <math>(\mathbf{e}_1,\mathbf{e}_2,...)</math> de <math>\mathcal V</math> dans laquelle les éléments de la base canonique peuvent s'écrire<ref>La notation <math>e_J</math>, c'est-à-dire utilisant une lettre majuscule en indice, est ici empruntée à {{Harvsp|McDonald 2015}}. On a choisi cependant de ne pas utiliser de gras pour le symbole <math>e</math> lorsqu'il est utilisé ainsi, puisqu'il ne désigne pas un vecteur, mais un produit géométrique de vecteurs.</ref> :
{{bloc emphase|<math>e_J = \mathbf{e}_{\sigma_1}\mathbf{e}_{\sigma_2}\ldots\mathbf{e}_{\sigma_k}</math>}}

où <math>J = (\sigma_1,\sigma_2\ldots\sigma_k)</math> est une suite finie et strictement croissante d'entiers positifs.

=== Dimension finie ===

Les définitions de cette sous-section ne sont valables que lorsque <math>\mathcal{V}</math> est [[Espace vectoriel de dimension finie|de dimension finie {{math|''n''}}]].

==== Pseudoscalaire ====

Un [[pseudoscalaire]] est un verseur dont le grade {{math|''n''}} est égal à la dimension de l'espace.
Tous les pseudoscalaires sont multiples les uns des autres, c'est-à-dire que <math>\mathrm{dim}\mathcal{G}_n=\mathrm{dim}\mathcal{G}_0=1</math>

Tous les pseudoscalaires unitaires<ref>L'existence de pseudoscalaires unitaires n'est pas assurée. Dans le cas contraire, <math>\mathcal{V}^n</math> est dit ''dégénéré''. Dans cet article et sauf mention contraire, on se place dans le cas non dégénéré.</ref>, notés <math>I_{\sigma}</math>, sont égaux à un signe moins près. Cette quasi-unicité justifie une notation indépendante du choix des vecteurs <math>\mathbf{\sigma}</math>, ainsi que l'utilisation de l'[[article défini]].

Le pseudoscalaire unitaire est donc défini par :
{{bloc emphase|<math>I = \pm I_{\sigma}</math>}}

==== Dualité ====

La dimension finie permet de fixer une dualité, et avec elle un opérateur d'intersection (<math>\vee</math>) tel que l'intersection de deux multivecteurs est, à un facteur de proportionnalité près, le dual du produit extérieur des duaux.

Il existe plusieurs choix de dualité, comme la [[dualité de Poincaré]] et la [[dualité de Hodge]].

=== Analyse multivectorielle ===
{{article détaillé|analyse multivectorielle}}
Tout comme la donnée d'un espace vectoriel permet l'[[analyse vectorielle]], c'est-à-dire l'étude du [[calcul infinitésimal]] pour des fonctions définies sur cet espace vectoriel à valeurs scalaires ou vectorielles, la donnée d'une algèbre géométrique, dont les éléments sont appelés ''multivecteurs'', permet l'analyse dite [[analyse multivectorielle|multivectorielle]] des fonctions définies sur <math>\mathcal{V}</math> mais à valeurs cette fois potentiellement multivectorielles. Les anglo-saxons, à l'instar d'Hestenes, parlent de ''{{lang|en|geometric calculus}}'' ou ''{{lang|en|multivector calculus}}'', tout comme ils parlent de ''{{lang|en|vector calculus}}'' pour désigner ce que les francophones appellent ''analyse vectorielle''.

== Propriétés ==

=== Symétrie et antisymétrie des produits intérieur et extérieur ===

Les produits intérieur et extérieur de deux vecteurs sont, par construction, respectivement [[Application multilinéaire#Symétrie et antisymétrie|symétrique et antisymétrique]] :
{{bloc emphase|<math>\begin{align}
\mathbf{a} \cdot \mathbf{b} & = \mathbf{b} \cdot \mathbf{a}\\
\mathbf{a}\wedge\mathbf{b} & = -\mathbf{b} \wedge \mathbf{a}
\end{align}</math>}}

Plus généralement, le produit extérieur de plusieurs vecteurs est antisymétrique :
{{bloc emphase|<math>\forall\sigma\in\mathfrak{S}_k ,\quad
\bigwedge_{j=1}^k\mathbf{a}_j =
\operatorname{sgn}(\sigma)\bigwedge_{j=1}^k\mathbf{a}_{\sigma(j)}
</math>}}
<!-- NECESSITE UNE DEFINITION PREALABLE
Le produit extérieur de produits extérieurs de vecteurs est associatif par construction, et on a la relation :

{{bloc emphase|<math>(\bigwedge_{j=1}^k\mathbf{a}_j)
\wedge
(\bigwedge_{j=1}^k\mathbf{b}_j) =
(-1)^{kl}
(\bigwedge_{j=1}^l\mathbf{b}_j)
\wedge
(\bigwedge_{j=1}^l\mathbf{a}_j)
</math>}}
-->

=== Caractérisation algébrique de notions géométriques ===

==== Colinéarité et orthogonalité ====
{{Théorème|Deux vecteurs sont colinéaires si et seulement si leur produit extérieur est nul.}}
{{Démonstration|Si deux vecteurs <math>\mathbf{a}</math> et <math>\mathbf{b}</math> sont colinéaires, alors il existe un scalaire <math>\lambda</math> tel que <math>\mathbf{a}=\lambda\mathbf{b}</math>. Dès lors, on a <math>\mathbf{a}\wedge\mathbf{b} = \lambda\mathbf{a}\wedge\mathbf{a} = \lambda 0 = 0</math>.

Inversement, si <math>\mathbf{a}\wedge\mathbf{b} = 0</math>, alors la décomposition canonique donne <math>\mathbf{a}\mathbf{b} = \mathbf{a}\cdot\mathbf{b}</math>. En multipliant à droite par <math>\mathbf{b}</math>, il vient <math>\mathbf{a}\mathbf{b}^2 = (\mathbf{a}\cdot\mathbf{b})\mathbf{b}</math> et donc, en ignorant le cas dégénéré où <math>\mathbf{b}^2 = 0</math> :

<math>\mathbf{a} = \frac{\mathbf{a}\cdot\mathbf{b}}{\mathbf{b}^2}\mathbf{b}.</math>

Il reste alors à observer que <math>\frac{\mathbf{a}\cdot\mathbf{b}}{\mathbf{b}^2}</math> est un scalaire en tant que quotient de deux scalaires. Il y a donc bien colinéarité.}}

Cette observation, ajoutée à la définition de l'orthogonalité, permet de déduire les deux propriétés fondamentales suivantes :
{{Théorème|nom=Caractérisation algébrique de l'orthogonalité et de la colinéarité|
* Deux vecteurs sont orthogonaux si et seulement si ils anti-commutent.
* Deux vecteurs sont colinéaires si et seulement si ils commutent.
C'est-à-dire<ref>On a choisi de ne pas utiliser ici le symbole <math>\parallel</math> pour exprimer la colinéarité. En effet, <math>\parallel</math> est utilisé pour exprimer le [[parallélisme (géométrie)|parallélisme]], notion utilisée essentiellement en [[géométrie affine]] et qui, selon [[Euclide]], désigne deux droites coplanaires qui ne se rencontrent pas lorsqu'elles sont prolongées de part et d'autre à l'infini. On a préféré le symbole <math>\propto</math> exprimant la [[proportionnalité]].</ref> :
{{bloc emphase|<math>\begin{array}[t]{ccccc}
\mathbf{a}\perp\mathbf{b} & \iff & \mathbf{a}\cdot\mathbf{b} = 0 & \iff & \mathbf{a}\mathbf{b} = -\mathbf{b}\mathbf{a}\\
\mathbf{a}\propto\mathbf{b} & \iff & \mathbf{a}\wedge\mathbf{b} = 0 & \iff & \mathbf{a}\mathbf{b} = \mathbf{b}\mathbf{a}
\end{array}</math>}}
}}

==== Indépendance linéaire ====

Une généralisation de la caractérisation algébrique de la [[colinéarité]] existe pour l'[[indépendance linéaire]]. En effet, <math>k</math> vecteurs <math>(\mathbf{a}_1,\mathbf{a}_2\ldots,\mathbf{a}_k)</math> sont linéairement indépendants si et seulement si leur produit extérieur est non nul. Ou, de façon équivalente, ils sont linéairement dépendants si et seulement si leur produit extérieur est nul :

{{bloc emphase|<math>\left(\exists (\alpha_1,\alpha_2\ldots,\alpha_k)\in\mathbb{K}^k\setminus\{(0,\ldots,0)\}\quad \sum_j\alpha_j\mathbf{a}_j = 0\right) \iff \bigwedge_{j=1}^k\mathbf{a}_j = 0.</math>}}

=== Identité de Jacobi ===
{{article connexe|Relation de Jacobi}}
{{bloc emphase|<math>A\times(B\times C) = (A\times B)\times C + B\times(A\times C).</math>}}

=== Structures remarquables ===

==== Espace quadratique ====

Puisque le produit intérieur de deux vecteurs est un scalaire et qu'il est distributif et symétrique, il constitue une [[forme quadratique]] sur <math>\mathcal{V}</math> et confère ainsi aux vecteurs de l'algèbre géométrique une [[espace quadratique|structure quadratique]] naturelle.

Dans le cas défini précédemment comme euclidien, le produit intérieur est en outre défini positif, et satisfait donc aux conditions nécessaires et suffisantes pour définir un [[produit scalaire]], rendant ainsi la structure quadratique euclidienne, d'où l'appellation « cas euclidien ». Dans ce cas, les notions de norme et d'orthogonalité définies précédemment coïncident respectivement avec les notions de [[norme euclidienne]] et d'[[orthogonalité]] au sens euclidien.

==== Algèbre extérieure ====

Le produit extérieur fournit (en [[Foncteur d'oubli|oubliant]] le produit géométrique dont il est issu) une définition alternative de l'[[algèbre extérieure]] de <math>\mathcal{V}</math><ref>{{harvsp|Hestenes|1986|p=7}}, ne craint pas de révéler que les définitions classiques des algèbres tensorielle et extérieure de <math>\mathcal{V}</math> et des (multiples) algèbres de Clifford sur <math>\mathcal{V}</math> sont pour lui hermétiques : {{Citation étrangère|lang=en|Clifford algebras are sometimes defined as certain ideals in tensor algebras [sic]. There is nothing logically wrong with this, but I submit that it is better mathematical design to reverse the process and introduce tensor as multilinear functions defined on Clifford algebras [re-sic].}} ({{Citation|Les algèbres de Clifford sont parfois définies comme étant certains [[Idéal bilatère|idéaux]] d'[[Algèbre tensorielle|algèbres tensorielles]]. Il n'y a là rien de logiquement faux, mais je propose qu'une meilleure conception mathématique consiste à inverser le processus et introduire les [[tenseur]]s comme [[Application multilinéaire|fonctions multinéaires]] définies sur les algèbres de Clifford.}}</ref> :
{{bloc emphase|<math>\wedge\mathcal{V}=\mathcal{G}\quad{\rm car}\quad\mathcal{G} = \bigoplus_k\mathcal{G}^k\quad{\rm et}\quad\mathcal{G}^k=\wedge^k\mathcal{V}.</math>}}

Le vocabulaire de l'algèbre géométrique recoupe donc celui des algèbres extérieures. Par exemple, une lame de grade <math>k</math> est aussi appelée ''multivecteur de grade {{math|k}}'', ''{{math|k}}-multivecteur'' ou encore ''{{math|k}}-vecteur''.

==== Sous-algèbres complexes ====

Le carré de tout bivecteur unitaire {{math|('''e'''{{ind|1}}'''e'''{{ind|2}})}} construit à partir de deux vecteurs de signatures identiques, est égal à –1 :

{{bloc emphase|<math>\mathbf{e}_1^2\mathbf{e}_2^2 = 1 \Rightarrow
(\mathbf{e}_1\mathbf{e}_2)^2 = -1.</math>}}

Dès lors, la [[sous-algèbre]] engendrée par le couple {{math|(1, '''e'''{{ind|1}}'''e'''{{ind|2}})}} est un [[corps (mathématiques)|corps]] [[isomorphisme de corps|isomorphe]] au corps des complexes. Cet isomorphisme justifie alors la notation :

{{bloc emphase|<math>i = \mathbf{e}_1\mathbf{e}_2</math>}}

de telle sorte qu'on a :

{{bloc emphase|<math>i^2 = -1.</math>}}

Ce résultat peut en fait être généralisé à toutes les lames unitaires dont le carré est égal à -1. Elles génèrent chacune avec la lame unitaire de grade nul un corps isomorphe au corps des complexes. C'est par exemple le cas pour le pseudoscalaire unitaire dans le cas euclidien de dimension 3 :

{{bloc emphase|<math>I^2 = -1.</math>}}

Une lame unitaire de grade 1, c'est-à-dire un [[vecteur unitaire]], peut aussi engendrer un corps isomorphe au corps des complexes. Il faut et suffit pour cela que sa signature soit négative. C'est notamment le cas lorsque la structure quadratique n'est pas euclidienne, mais [[Mathématiques de la relativité générale#Métrique lorentzienne|Lorentzienne]]. Par ailleurs, lorsqu'il existe au moins deux vecteurs de signatures différentes, il est possible de construire un bivecteur unitaire {{mvar|j}} tel que {{math|''j''{{2}} {{=}} +1}}, et la sous-algèbre qu'il engendre avec l'unité est alors isomorphe au corps des [[nombre complexe déployé|nombres complexes déployés]], donnant au sous-espace correspondant une structure géométrique [[géométrie hyperbolique|hyperbolique]].

==== Quaternions ====

Dans le cas particulier où {{math|1=''n'' = 3}}, on peut former trois bivecteurs unitaires :
{{Retrait|<math>i = \mathbf{e}_1\mathbf{e}_2,\quad j = \mathbf{e}_2\mathbf{e}_3\quad{\rm et}\quad k = \mathbf{e}_1\mathbf{e}_3.</math>}}

Dans le cas euclidien, on a de plus :

{{Retrait|<math>i^2 = j^2 = k^2 = ijk = -1,</math>}}

si bien que la sous-algèbre engendrée par {{math|(1, ''i'', ''j'', ''k'')}} est isomorphe au corps des [[quaternion]]s.

{{mvar|i}}, {{mvar|j}} et {{mvar|k}} ne sont pas exactement les bivecteurs unitaires naturellement générés par la [[Base orthonormée|base orthonormale]]. En effet, on a bien {{math|''i'' {{=}} '''e'''{{ind|1}} '''e'''{{ind|2}}}}, {{math|''j'' {{=}} '''e'''{{ind|2}} '''e'''{{ind|3}}}}, mais par contre {{math|''k'' {{=}} –'''e'''{{ind|3}} '''e'''{{ind|1}}}}. Dans sa thèse de doctorat<ref>{{en}} [http://www2.eng.cam.ac.uk/~rjw57/pdf/r_wareham_pdh_thesis.pdf Computer Graphics Using Conformal Geometric Algebra], Richard J. Wareham, thèse de doctorat, {{p.|26}}.</ref>, Richard Wareham mentionne cette différence et y voit la cause de certaines erreurs de signe apparaissant parfois avec l'utilisation des quaternions.  Ce sujet est aussi abordé par Chris Doran<ref>[http://www.cambridge.org/fr/academic/subjects/physics/theoretical-physics-and-mathematical-physics/geometric-algebra-physicists?format=PB Geometric Algebra for physicists], Chris Doran, section 2.4.2 "The bivector algebra"</ref>.

==== Algèbre de Lie ====

<math>\mathcal{G}^2</math> est stable par commutateurs. À ce titre, et compte tenu de l'identité de Jacobi, il forme une [[algèbre de Lie]].

=== Inversibilité ===

Une algèbre géométrique hérite de sa structure d'[[anneau unitaire]] la notion d'[[Groupe des unités|inverse]] : un élément {{mvar|A}} est dit inversible s'il existe un élément {{math|''A''{{-1}}}} ([[Monoïde#Symétrique d'un élément|qui est alors unique]]) tel que
{{bloc emphase|<math>AA^{-1} = A^{-1}A = 1.</math>}}

Lorsque <math>\mathcal V</math> est non dégénéré, tout vecteur de <math>\mathcal{V}</math> est inversible :
{{bloc emphase|<math>\mathbf{a}^{-1} = \frac{\mathbf{a}}{\mathbf{a}^2}.</math>}}

Toujours dans le cas non dégénéré, les verseurs sont eux aussi inversibles, comme [[Monoïde#Symétrique d'un élément|produits d'inversibles]].  Le calcul de l'inverse d'un verseur passe par celui de sa ''réversion'', c'est-à-dire le verseur qui est le produit extérieur des mêmes vecteurs, mais dans l'ordre inverse.

=== [[Lois de De Morgan|Règle de De Morgan]] ===

{{bloc emphase|<math>(A\vee B)^\sim = \widetilde{A}\wedge\widetilde{B}.</math>}}

=== Identités remarquables ===
{{...|à faire=adapter les notations et effectuer les démonstrations}}
Les [[identité remarquable|identités remarquables]] suivantes sont mentionnées dans {{Harvsp|McDonald 2015}}. Toutes ne sont pas relevées du fait de notations légèrement différentes.

<math>\begin{align}
A\cdot (B\cdot C) & = (A\wedge B)\cdot C\\
(\mathbf{a}\wedge\mathbf{b})\cdot(\mathbf{c}\wedge\mathbf{d}) & = (\mathbf{a}\cdot\mathbf{d})(\mathbf{b}\cdot\mathbf{c}) - (\mathbf{a}\cdot\mathbf{c})(\mathbf{b}\cdot\mathbf{d})\\
\mathbf{a}\cdot(\mathbf{bc}) & = (\mathbf{a}\cdot\mathbf{b})\mathbf{c} - (\mathbf{a}\cdot\mathbf{c})\mathbf{b}\\
\mathbf{a}\cdot(\mathbf{b}\wedge\mathbf{c}) & = (\mathbf{a}\cdot\mathbf{b})\mathbf{c} - \mathbf{b}(\mathbf{a}\cdot\mathbf{c})
\end{align}</math>

=== Lien avec le produit vectoriel ===

Le produit extérieur {{math|'''a''' ∧ '''b'''}} n'est ni un scalaire, ni un vecteur : c'est un ''bivecteur'', qui sera identifié plus tard comme le dual du vecteur issu du [[produit vectoriel]]. La différence entre les deux opérations étant que le bivecteur fourni par le produit extérieur est intrinsèque au plan des deux vecteurs, tandis que le produit vectoriel est noté comme un [[pseudovecteur]] perpendiculaire à ce plan.

Le produit extérieur de deux vecteurs peut être vu comme une [[aire (géométrie)|aire]] orientée.
[[Fichier:Bivecteur_du_produit_intérieur.png]]

== Interprétation géométrique ==
{{section à recycler|date=2 avril 2016}} <!-- cette section est à revoir : le lien avec la [[géométrie hyperbolique]] devrait être mieux mis en évidence -->
=== Bivecteurs unitaires ===

Un bivecteur unitaire {{mvar|s}} est le produit géométrique de deux vecteurs orthonormés que l'on peut, [[Algorithme de Gram-Schmidt|sans perdre en généralité]], considérer comme les deux premiers vecteurs d'une base orthonormée {{math|('''e'''{{ind|1}}, '''e'''{{ind|2}}, ...)}} :
{{bloc emphase|<math>s=\mathbf{e}_1\mathbf{e}_2</math>}}

L'orthonormalité de {{math|'''e'''{{ind|1}}}} et {{math|'''e'''{{ind|2}}}} donne, entre autres :
:<math>s=
\mathbf{e}_1\mathbf{e}_2 =
\mathbf{e}_1 \wedge \mathbf{e}_2 =
-\mathbf{e}_2 \wedge \mathbf{e}_1 =
-\mathbf{e}_2\mathbf{e}_1</math>

Le caractère remarquable de {{mvar|s}} provient du fait que le produit géométrique par {{mvar|s}} laisse [[sous-espace stable|stable]] l'espace vectoriel généré par {{math|('''e'''{{ind|1}}, '''e'''{{ind|2}}, ...)}}, et défini donc une transformation linéaire (ou plus précisément deux transformations linéaires, selon que la multiplication a lieu à droite ou à gauche), permettant ainsi une interprétation géométrique directe :
{{bloc emphase|
<math>\begin{align}
(\alpha\mathbf{e}_1 + \beta\mathbf{e}_2)s = &
(\alpha\mathbf{e}_1^2)\mathbf{e}_2 & -(\beta\mathbf{e}_2^2)\mathbf{e}_1\\
s(\alpha\mathbf{e}_1 + \beta\mathbf{e}_2) = &
(-\alpha\mathbf{e}_1^2)\mathbf{e}_2 & +(\beta\mathbf{e}_2^2)\mathbf{e}_1
\end{align}</math>
}}

Le point important ici étant que {{math|'''e'''{{indexp|1|2}}}} et {{math|'''e'''{{indexp|2|2}}}} sont scalaires du fait du critère de contraction.

Le carré de {{mvar|s}} est un scalaire, car
{{bloc emphase|<math>s^2=-\mathbf{e}_1^2\mathbf{e}_2^2.</math>}}

Il est négatif si {{math|'''e'''{{ind|1}}}} et {{math|'''e'''{{ind|2}}}} ont la même signature, et positif dans le cas contraire. Le comportement algébrique (et géométrique dans le plan {{math|('''e'''{{ind|1}}, '''e'''{{ind|2}}, ...)}}) de {{mvar|s}} est radicalement différent dans les deux cas.

==== Cas euclidien ====

Lorsque {{math|'''e'''{{ind|1}}}} et {{math|'''e'''{{ind|2}}}} ont la même signature, on a soit <math>\mathbf{e}_1^2 = \mathbf{e}_2^2 = +1</math> soit <math>\mathbf{e}_1^2 = \mathbf{e}_2^2 = -1</math>.  Dans les deux cas le bivecteur {{math|'''e'''{{ind|1}}'''e'''{{ind|2}}}} a les mêmes propriétés algébriques et géométriques, mais pour fixer les idées on choisira ici <math>\mathbf{e}_1^2 = \mathbf{e}_2^2 = +1</math>, c'est-à-dire le cas euclidien.

On a alors la propriété importante <math>s^2= -\mathbf{e}_1^2\mathbf{e}_2^2 = -1</math>, c'est-à-dire :
{{bloc emphase|<math>s^2= -1.</math>}}

{{mvar|s}} engendre alors avec l'unité une sous-algèbre isomorphe au corps des complexes, comme vu plus haut. Ceci suggère d'utiliser dorénavant la lettre {{mvar|i}} au lieu de {{mvar|s}} dans cette section.

On aura également les relations suivantes :
{{bloc emphase|<math>\begin{align}
i\mathbf{e_1} & = -\mathbf{e_2}\\
i\mathbf{e_2} & = \mathbf{e_1}
\end{align}</math>}}
{{bloc emphase|<math>\begin{align}
\mathbf{e_1}i & = \mathbf{e_2}\\
\mathbf{e_2}i & = -\mathbf{e_1}
\end{align}</math>}}

C'est-à-dire que la multiplication par {{mvar|i}} tourne toute [[combinaison linéaire]] de {{math|('''e'''{{ind|1}}, '''e'''{{ind|2}}, ...)}} d'un quart de tour, dans un sens qui dépend du côté selon lequel est effectuée la multiplication (à gauche ou à droite). On peut s'assurer du fait que la rotation est d'un quart de tour par exemple en remarquant que 4 est le plus petit entier {{mvar|k}} tel que {{math|''i{{exp|k}} {{=}} 1''}}.  Il s'avère que cette rotation d'un quart de tour génère un groupe de rotations, comme il est montré ci-après.

Le produit géométrique d'une paire de vecteurs unitaires <math>\mathbf{a},\mathbf{b}\,( |\mathbf{a}| = |\mathbf{b}| = 1)\,</math>
est noté {{mvar|U}} et est appelé ''tourneur''<ref>Le terme « tourneur » est ici choisi pour traduire le terme anglais ''{{lang|en|rotor}}''. Une alternative est « rotateur ».</ref>:
{{bloc emphase|<math>U = \mathbf{ab}</math>}}
 
Le nom tourneur est justifié par le fait que <math>U</math> transforme {{math|'''a'''}} et {{math|'''b'''}} l'un envers l'autre par rotation:

:<math>\mathbf{b}=\mathbf{a} U,\quad\mathbf{a}=U\mathbf{b}</math>

Lorsque {{math|'''a'''}} et {{math|'''b'''}} sont dans le plan {{math|('''e'''{{ind|1}}, '''e'''{{ind|2}}, ...)}}, on peut sans perdre en généralité choisir {{math|'''e'''{{ind|1}} {{=}} '''a'''}} et trouver un angle {{mvar|θ}} tel que :

:<math>\mathbf{b} = \cos(\theta)\mathbf{e}_1 + \sin(\theta)\mathbf{e}_2</math>

{{mvar|U}} s'écrit alors :

<math>U = \mathbf{ab} = \cos(\theta)\mathbf{e}_1\mathbf{e}_1 + \sin(\theta)\mathbf{e}_1\mathbf{e}_2 = \cos(\theta) + \sin(\theta)\mathbf{e}_1\mathbf{e}_2</math>

et donc, par association des parties scalaires et bivectorielles de la décomposition canonique:
{{bloc emphase|<math>\begin{align}
\mathbf{a} \cdot \mathbf{b} & = \cos(\theta)\\
\mathbf{a} \wedge \mathbf{b} & = i\sin(\theta)
\end{align}</math>}}

où {{mvar|i}} est le bivecteur unitaire :
{{bloc emphase|<math>i = \mathbf{e}_1\mathbf{e}_2 =
\frac{\mathbf{a}\wedge\mathbf{b}}{\sin(\theta)} =
\frac{U - \cos(\theta)}{\sin(\theta)}.
</math>}}

Il est alors possible d'écrire :

<math>U = U_{\theta} =
\mathbf{ab} =
\mathbf{a} \cdot \mathbf{b} + \mathbf{a} \wedge \mathbf{b} =
\cos(\theta) + i\sin(\theta) = e^{i\theta},</math>

c'est-à-dire<ref>L'exponentielle est ici à comprendre au sens algébrique, c'est-à-dire que <math>e^{i\theta} = \sum_{n\ge 0}\frac{(i\theta)^n}{n!}</math>.</ref> :
{{bloc emphase|<math>U_{\theta} = e^{i\theta}.</math>
}}

Lorsqu'on multiplie (par exemple à gauche) ce tourneur par un vecteur {{math|'''x'''(''ϕ'')}} tel que :

<math>\mathbf{x}(\phi) =
\cos(\phi)\mathbf{e}_1 + \sin(\phi)\mathbf{e}_2
</math>

on obtient, par application des [[Identité trigonométrique|identités trigonométriques]] ainsi que des règles algébriques d'orthonormalité de {{math|'''e'''{{ind|1}}}} et {{math|'''e'''{{ind|2}}}} :

<math>\begin{align}\mathbf{x}(\phi)U_{\theta} & =
\mathbf{x}(\phi)e^{i\theta}\\
& =
(\cos(\phi)\mathbf{e}_1 + \sin(\phi)\mathbf{e}_2)
(\cos(\theta) + i\sin(\theta))\\
& =
\cos(\phi)\mathbf{e}_1\cos(\theta) +
\sin(\phi)\mathbf{e}_2\cos(\theta) +
\cos(\phi)\mathbf{e}_1i\sin(\theta) +
\sin(\phi)\mathbf{e}_2i\sin(\theta)\\
& =
(\cos(\phi)\cos(\theta) - \sin(\phi)\sin(\theta))\mathbf{e}_1 +
(\cos(\theta)\sin(\phi) + \cos(\phi)\sin(\theta))\mathbf{e}_2\\
& =
\cos(\phi + \theta)\mathbf{e}_1 + \sin(\phi + \theta)\mathbf{e}_2\\
& = \mathbf{x}(\phi + \theta).
\end{align}
</math>

Le vecteur {{math|'''x'''(''ϕ'')}} a donc bien « tourné » d'un angle {{mvar|θ}}. Un calcul similaire montrerait qu'une multiplication à droite fait tourner {{math|'''x'''(''ϕ'')}}  d'un angle {{mvar|–θ}}.

En résumé :
{{bloc emphase|<math>\begin{align}
\mathbf{x}(\phi)U_{\theta} & = \mathbf{x}(\phi + \theta)\\
U_{\theta}\mathbf{x}(\phi) & = \mathbf{x}(\phi - \theta).
\end{align}</math>}}

Le produit géométrique de deux vecteurs unitaires représente donc bien une rotation.

[[Fichier:Rotation_geometrie_Algebrique.png|centré]]

Il y a une analogie entre tourneur et vecteur.

[[Fichier:Analogie_entre_tourneur_et_vecteurs.png|centré]]

Une composition de rotation s'exprimera par le produit de deux tourneurs :

{{bloc emphase|<math>U_{\theta}U_{\varphi}=U_{\theta+\varphi}</math>}}

[[Fichier:Composition_de_rotation.png|centré]]

Il est utile d'observer que :
:<math>U_{\varphi}\mathbf{x}(\phi)U_{\psi} =
U_{\varphi}\mathbf{x}(\phi + \psi) =
\mathbf{x}(\phi + \psi - \varphi)</math>

et que donc, pour {{math|''ϕ'' {{=}} –''θ''/2}} et {{math|''ψ'' {{=}} ''θ''/2}} :

{{bloc emphase|<math>U_{-\frac{\theta}{2}}\mathbf{x}(\phi)U_{\frac{\theta}2} = \mathbf{x}(\phi + \theta)</math>}}

Ceci constitue la formulation dite canonique de la rotation d'angle {{mvar|θ}}.  Cette formulation présente comme avantage d'être extensible aux dimensions supérieures (notamment dans l'espace tridimensionnel).

==== Espace de Minkowski ====

Lorsque {{math|'''e'''{{ind|1}}}} et {{math|'''e'''{{ind|2}}}} ont une signature différente (admettons par exemple, pour fixer les idées, que <math>\mathbf{e}_1^2 = 1</math> et <math>\mathbf{e}_2^2 = -1</math>), on a <math>s^2= -\mathbf{e}_1^2\mathbf{e}_2^2 = 1</math>, c'est-à-dire :
{{bloc emphase|<math>s^2 = 1</math>}}

La multiplication par {{mvar|s}} intervertit {{math|'''e'''{{ind|1}}}} et {{math|'''e'''{{ind|2}}}} :
:<math>\mathbf{e}_1s = \mathbf{e}_1 \mathbf{e}_1 \mathbf{e}_2 = \mathbf{e}_1^2 \mathbf{e}_2 = \mathbf{e}_2</math>
:<math>\mathbf{e}_2s =
\mathbf{e}_2 \mathbf{e}_1 \mathbf{e}_2 =
-\mathbf{e}_2 \mathbf{e}_2 \mathbf{e}_1 =
-\mathbf{e}_2^2 \mathbf{e}_1 = \mathbf{e}_1,</math>

c'est-à-dire :
{{bloc emphase|<math>\begin{align}
\mathbf{e}_1s & = \mathbf{e}_2\\
\mathbf{e}_2s & = \mathbf{e}_1
\end{align}</math>}}
{{bloc emphase|<math>\begin{align}
s\mathbf{e}_1 & = -\mathbf{e}_2\\
s\mathbf{e}_2 & = -\mathbf{e}_1.
\end{align}</math>}}

La multiplication par {{mvar|s}} agit donc dans le plan {{math|('''e'''{{ind|1}}, '''e'''{{ind|2}}, ...)}} comme une [[réflexion (mathématiques)|réflexion]] dont l'axe est l'une des [[bissectrice]]s des droites dirigées par {{math|'''e'''{{ind|1}}}} et {{math|'''e'''{{ind|2}}}}, le choix de la bissectrice dépendant du côté où s'effectue la multiplication (à droite ou à gauche).

Le fait que {{math|''s''{{2}} {{=}} 1}} est cohérent avec le caractère [[involution (mathématiques)|involutif]] des réflexions.

=== Multiplication par un verseur ===
Sauf mention contraire, on se limitera à partir d'ici au cas euclidien.

==== Cas général ====

On considère désormais un couple de vecteurs {{math|('''a''' , '''b''')}} non nécessairement unitaires, mais non nuls et non colinéaires. Les résultats précédents peuvent être généralisés en considérant le couple :
:<math>(\mathbf{\tilde{a}},\mathbf{\tilde{b}}) =
(\frac{\mathbf{a}}{|\mathbf{a}|},\frac{\mathbf{b}}{|\mathbf{b}|})
</math>

Les vecteurs <math>\mathbf{\tilde a}</math> et <math>\mathbf{\tilde b}</math> sont, eux, unitaires, et ont les mêmes signatures que {{math|'''a'''}} et {{math|'''b'''}}. Ils sont aussi séparés par un même angle {{mvar|θ}}, de telle sorte que le tourneur <math>\mathbf{\tilde{a}}\mathbf{\tilde{b}}</math> s'écrit :

:<math>\mathbf{\tilde{a}}\mathbf{\tilde{b}} = e^{i\theta}</math>

où

:<math>i = \frac{\mathbf{\tilde a}\wedge\mathbf{\tilde b}}{\sin(\theta)}.</math>

Le produit géométrique peut donc s'écrire :
{{bloc emphase|<math>\mathbf{a}\mathbf{b} = |\mathbf{a}||\mathbf{b}|e^{i\theta}</math>
}}

tandis que le bivecteur unitaire {{mvar|i}} peut s'écrire :
{{bloc emphase|<math>i = \frac{\mathbf{a}\wedge\mathbf{b}}{|\mathbf{a}||\mathbf{b}|\sin(\theta)}.</math>}}

On a vu précédemment que l'ensemble de multivecteurs engendré — par les combinaisons linéaires et produits géométriques — par 1 et {{mvar|i}} est un corps isomorphe au corps des nombres complexes. Ceci justifie l'emploi d'un vocabulaire et de notations analogues.

Ainsi, si l'on note {{mvar|z}} le produit {{math|'''ab'''}}, le scalaire
{{bloc emphase|<math>|z| = |\mathbf{a}\mathbf{b}| = |\mathbf{a}||\mathbf{b}|</math>}}

est ce qu'on appelle le module de {{mvar|z}}. Il s'agit d'une notion très différente de la norme (ou grandeur) évoquée plus haut, car cette dernière n'est définie que pour les vecteurs, et {{mvar|z}} n'est pas un vecteur.

Tout comme un nombre complexe peut être décomposé en une partie réelle et une partie imaginaire, un produit géométrique peut être décomposé en deux parties qui ne sont ni plus ni moins que les produits intérieur et extérieur, qu'on peut aussi appeler ''symétrique'' et ''antisymétrique'', ou encore ''scalaire'' et ''bivectoriel''.

{{bloc emphase|<math>\begin{align}
z & = \mathbf{a}\cdot\mathbf{b} & + &\mathbf{a}\wedge\mathbf{b}\\
& = |z|\cos(\theta) & + & |z|i\sin(\theta).
\end{align}</math>}}

De la même façon, {{mvar|θ}} peut être appelé ''argument'' de {{mvar|z}}.

{{mvar|z}} peut être interprété géométriquement comme l'arc orienté d'un cercle de rayon {{mvar|z}}.
[[Fichier:Complexe_et_conjugué.png|centré]]

Le conjugué de {{mvar|z}} est le multivecteur de même partie scalaire mais de composante bivectorielle opposée :
:<math>z^{\dagger} =
(\mathbf{ab})^{\dagger} =
\mathbf{a}\cdot\mathbf{b} - \mathbf{a}\wedge\mathbf{b} =
\mathbf{b}\cdot\mathbf{a} + \mathbf{b}\wedge\mathbf{a} =
\mathbf{ba}</math>

Le conjugué d'un produit géométrique apparaît donc comme le produit géométrique effectué en ordre inverse :

{{bloc emphase|<math>(\mathbf{ab})^{\dagger} = \mathbf{ba}.</math>}}

Ce fait peut être utilisé pour calculer le module du produit géométrique {{mvar|z}}.

<math>|zz^{\dagger}| =
|\mathbf{a}\mathbf{b}\mathbf{b}\mathbf{a} | =
|\mathbf{a}^2\mathbf{b}^2| =
|\mathbf{a}|^2|\mathbf{b}|^2 =
|z|^2</math>

autrement dit :
{{bloc emphase|<math>|z| = \sqrt{|zz^{\dagger}|}.</math>}}

Les produits géométriques peuvent être utilisés directement sur les vecteurs :
:<math>\mathbf{b}=\mathbf{a}^{-1}z = z^{\dagger}\mathbf{a}^{-1}</math>

avec l'inverse du vecteur {{math|'''a'''}} donné par
:<math>\mathbf{a}^{-1} = \frac{1}{\mathbf{a}} = \frac{\mathbf{a}}{\mathbf{a}^2} = \frac{\mathbf{a}}{|\mathbf{a}|^2}.</math>

Ici, le produit géométrique {{mvar|z}} opère une rotation sur le vecteur {{math|'''a'''}}, le met à l'échelle pour donner le vecteur {{math|'''b'''}} (c'est une [[similitude (géométrie)|similitude]]).

=== Espace euclidien de dimension 3 ===

Soit l'espace vectoriel euclidien <math>\mathcal{P}^3</math>. Par multiplication et addition, les vecteurs engendrent une algèbre géométrique <math>\mathcal{G}_3 = \mathcal{G}\left(\mathcal{P}^3\right)</math>. En particulier, on peut construire une base pour l'algèbre géométrique à partir de la base orthonormée canonique <math>\lbrace \mathbf{\sigma_1},\mathbf{\sigma_2}, \mathbf{\sigma_3}\rbrace</math> de <math>\mathcal{P}^3</math>. 

À l'aide du produit géométrique, on peut définir l'unité pseudoscalaire (qui représente un volume orienté) :

:<math>i = \mathbf{\sigma_1} \mathbf{\sigma_2} \mathbf{\sigma_3}.</math>

[[Fichier:Éléments_de_l'algèbre_géométrique.png|centré]]

On a également la base de bivecteurs suivante

:<math>\mathbf{\sigma_1} \mathbf{\sigma_2}=i\mathbf{\sigma_3},\, \mathbf{\sigma_2} \mathbf{\sigma_3}=i\mathbf{\sigma_1},\, \mathbf{\sigma_3} \mathbf{\sigma_1}=i\mathbf{\sigma_2}</math>

[[Fichier:Base_des_bivecteurs_de_l'Algèbre_géométrique.png]]

Les bivecteurs unités représentent des aires orientées.

Le pseudoscalaire {{mvar|i}} a des propriétés spéciales qui facilitent le passage entre l'espace vectoriel euclidien et l'algèbre géométrique. On a :

:<math>i^2=-1</math>

Tout bivecteur {{math|'''B'''}} de <math>\mathcal{G}_3</math> est le dual d'un vecteur {{math|'''b'''}} en considérant la relation :

:<math>\mathbf{B}=i\mathbf{b} = \mathbf{b}i</math>

Ainsi l'opération de dualité géométrique est simplement exprimée par la multiplication par le pseudoscalaire {{mvar|i}}. Cela permet d'écrire le produit extérieur sous cette forme :

:<math>\mathbf{a} \wedge \mathbf{b} = i \mathbf{a} \times \mathbf{b}</math>,

{{math|'''a''' × '''b'''}} étant le « ''{{Langue|en|cross-product}}'' anglo-saxon », qui correspond au produit vectoriel dans la littérature scientifique française, lequel produit vectoriel est malencontreusement noté {{math|∧}} comme le produit extérieur. Le produit vectoriel est ainsi implicitement défini comme le dual du produit extérieur. Par conséquent, la décomposition canonique du produit géométrique peut être mise sous la forme :

:<math>\mathbf{a}\mathbf{b}=\mathbf{a} \cdot \mathbf{b} + i \mathbf{a} \times \mathbf{b}</math>

C'est grâce à cette définition que l'on pourra faire le lien entre l'algèbre géométrique et l'analyse vectorielle standard.

Les éléments d'une algèbre géométrique sont dénommés des multivecteurs. Les propriétés spéciales du pseudoscalaire {{mvar|i}} permettent d'écrire tout multivecteur {{mvar|M}} de <math>\mathcal{G}_3</math> dans sa forme étendue :

:<math>M = \alpha + \mathbf{a}+ i \mathbf{b}+i\beta</math>,

où {{mvar|α}} et {{mvar|β}} sont des scalaires et où {{math|'''a'''}} et {{math|'''b'''}} sont des vecteurs. L'intérêt de cette formulation est qu'elle réduit la multiplication de multivecteurs dans <math>\mathcal{G}_3</math> à celle des vecteurs. Les quatre termes d'un multivecteur sont linéairement indépendant, ainsi les parties scalaire, vecteur, bivecteur et pseudoscalaire des multivecteurs se combinent séparément lors d'une addition, ce qui n'est pas le cas pour la multiplication.

L'algèbre géométrique <math>\mathcal{G}_3</math> est un espace linéaire de dimension 1+3+3+1=2{{3}}=8.

La forme étendue d'un multivecteur a la structure algébrique formelle d'un « scalaire complexe » {{math|''α'' + ''i β''}} augmenté d'un « vecteur complexe » {{math|'''a''' + ''i'' '''b'''}}, mais toute interprétation physique repose sur la signification géométrique du pseudoscalaire {{mvar|i}}.

==== Correspondances ====
;Avec les [[quaternion]]s
{| class="wikitable"
|-
! scope="col" | Algèbre géométrique
! scope="col" | Quaternions
! scope="col" | Interprétation
|-
| 1 || 1 || scalaire
|-
| <math>\sigma_2\sigma_3</math>|| -i || plan orienté yz
|-
| <math>\sigma_3\sigma_1</math>|| -j || plan orienté zx
|-
| <math>\sigma_1\sigma_2</math>|| -k || plan orienté xy
|}
;Avec les [[biquaternion]]s
{| class="wikitable"
|- 
! scope="col" | Algèbre géométrique
! scope="col" | Biquaternions
! scope="col" | Interprétation
|-
| 1 || 1 || point défini par son rayon-vecteur
|-
| <math>\sigma_1</math>|| i '''i'''||droite orientée (vecteur selon l'axe x)
|-
| <math>\sigma_2</math>|| i '''j'''||droite orientée (vecteur selon l'axe y)
|-
| <math>\sigma_3</math>|| i '''k'''||droite orientée (vecteur selon l'axe z)
|-
| <math>\sigma_1\sigma_2</math>|| -'''k'''|| plan orienté xy (bivecteur)
|-
| <math>\sigma_2\sigma_3</math>|| -'''i'''|| plan orienté yz (bivecteur)
|-
| <math>\sigma_3\sigma_1</math>|| -'''j'''|| plan orienté zx (bivecteur)
|-
| <math>\sigma_1\sigma_2\sigma_3</math>|| i || volume orienté xyz (trivecteur)
|}

;Avec l'algèbre des matrices
L'algèbre géométrique <math>\mathcal{G}_3</math> est analogue à l'algèbre construite sur des matrices 2 × 2 à coefficients complexes. Cette algèbre se retrouve en mécanique quantique<ref>{{Ouvrage|prénom1=|nom1=[[:en:Chris J. L. Doran|Chris J. L. Doran]]|prénom2=A. N.|nom2=Lasenby|titre=Geometric algebra for physicists|éditeur=[[Cambridge University Press]]|année=2003|date=2003|passage=37|isbn=978-0-521-48022-2|consulté le=2025-03-16}}</ref>, introduite par [[Wolfgang Pauli]], pour modéliser le [[spin]] des particules.
La [[base canonique]] de cette algèbre est constituée des huit matrices complexes de dimensions 2 × 2 suivantes :
*pour les vecteurs, les trois [[matrices de Pauli]] :
:<math>\sigma_1 = \sigma_x =\begin{pmatrix}
0 & 1 \\
1 & 0 \end{pmatrix},\quad\sigma_2 = \sigma_y =\begin{pmatrix}
0 & -i \\
i & 0 \end{pmatrix},\quad\sigma_3 = \sigma_z =\begin{pmatrix}
1 & 0 \\
0 & -1 \end{pmatrix}~;</math>
*pour les bivecteurs :
:<math>\sigma_1\sigma_2 = \sigma_{xy} =\begin{pmatrix}
i & 0 \\
0 & -i \end{pmatrix},\quad\sigma_2\sigma_3 = \sigma_{yz} =\begin{pmatrix}
0 & i \\
i & 0 \end{pmatrix},\quad\sigma_3\sigma_1 = \sigma_{zx} =\begin{pmatrix}
0 & 1 \\
-1 & 0 \end{pmatrix}~;</math>
*pour les trivecteurs :
:<math>\sigma_1\sigma_2\sigma_3=\sigma_{xyz}=\begin{pmatrix}
i & 0 \\
0 & i \end{pmatrix}~;</math>
*pour les scalaires :
:<math>\sigma_0=1=\begin{pmatrix}
1 & 0 \\
0 & 1 \end{pmatrix}.</math>

== Discussion ==
Le point distinctif de cette formulation est la correspondance naturelle entre les entités et les éléments de l'algèbre associative. Ceci provient du fait que le produit géométrique de deux vecteurs peut être redéfini en termes de leur [[produit vectoriel]] et de leur [[produit scalaire]], par
:<math> \mathbf a \, \mathbf b = \mathbf a \cdot \mathbf b + \mathbf a \wedge \mathbf b.</math>

On suppose que le corps des scalaires de l'[[espace vectoriel]] original <math>\mathcal V</math> est le corps des réels.

La définition et l'associativité du produit géométrique nécessitent le concept d'inverse d'un vecteur (ou division par un vecteur). Ainsi, on peut facilement établir et résoudre des équations algébriques vectorielles qui autrement seraient encombrantes à manipuler. De plus, on gagne une signification géométrique qui serait difficile à rechercher, par exemple, en utilisant les matrices. Malgré le fait que tous les éléments ne sont pas inversibles, le concept d'inversion peut être étendu aux multivecteurs. L'algèbre géométrique permet que l'on traite des sous-espaces directement, ainsi que leur manipulation. En outre, l'algèbre géométrique est un formalisme sans coordonnées.

Les objets géométriques comme {{math|'''a''' ∧ '''b'''}} sont appelés des [[bivecteur]]s. Un bivecteur peut être décrit comme un segment plan (un [[parallélogramme]], un cercle, etc.) doté d'une orientation. Un bivecteur représente tous les segments planaires avec la même grandeur ''et'' direction, quel que soit l'endroit où ils se trouvent dans l'espace qui les contient. Néanmoins, une fois que soit le vecteur {{math|'''a'''}} ou {{math|'''b'''}} est signifié à partir d'un certain point préféré (e.g. dans les problèmes de physique), le plan orienté {{math|''B'' {{=}} '''a''' ∧ '''b'''}} est déterminé sans ambiguïté.

Comme exemple significatif, bien que simple, on peut considérer le rayon-vecteur {{math|'''v'''}} différent de zéro, d'un point d'un [[espace euclidien]] affine usuel, <math>\mathbb{R}^3</math> (rappelons que le rayon-vecteur d'un point affine est le vecteur qui part de l'origine et aboutit à ce point). L'ensemble de tous les points de rayons-vecteurs {{math|'''x'''}} tels que {{math|'''x''' ∧ '''v''' {{=}} ''B''}}, {{mvar|B}} désignant un bivecteur donné contenant {{math|'''v'''}}, détermine une droite {{mvar|l}} parallèle à {{math|'''v'''}}. Puisque {{mvar|B}} est une aire ''orientée'', {{mvar|l}} est uniquement déterminé en conservant l'origine choisie. L'ensemble de tous les points de rayons-vecteurs {{math|'''x'''}} tels que {{math|'''x''' . '''v''' {{=}} ''s''}}, {{mvar|s}} désignant un scalaire (réel) donné, détermine un plan P orthogonal à {{math|'''v'''}}. De nouveau, P est uniquement déterminé en conservant l'origine choisie. Les deux morceaux d'information, {{mvar|B}} et {{mvar|s}}, peuvent être établis indépendamment l'un de l'autre. Maintenant, quel est le rayon-vecteur {{math|'''y'''}} qui satisfait le système {{math|{'''y''' ∧ '''v''' {{=}} ''B'', '''y''' . '''v''' {{=}} ''s''} }} ?
Géométriquement, la réponse est claire : c'est le rayon-vecteur de l'intersection de {{mvar|l}} et P. Par l'algèbre géométrique, même la réponse algébrique est simple : 
:<math> \mathbf y \mathbf v = s + B \Rightarrow \mathbf y = (s + B)/ \mathbf v = (s + B) \mathbf {v}^{-1}</math>
où l'inverse d'un vecteur différent de zéro est exprimé par {{math|'''z'''{{-1}} {{=}} {{sfrac|'''z'''|'''z''' • '''z'''}}}}.

'''Note :''' La division par un vecteur transforme le multivecteur {{math|''s'' + ''B''}} en une somme de deux vecteurs. De plus, la structure de la solution ne dépend pas de l'origine choisie.

Tel qu'il est défini, le produit externe (ou [[algèbre extérieure|produit extérieur]], ou [[produit vectoriel]]) {{math|∧}} engendre l'[[algèbre graduée]] ([[algèbre extérieure]] de [[Hermann Grassmann]]) <math>\wedge^n\mathcal{V}_n</math> des multivecteurs. Un multivecteur est ainsi une somme directe d'éléments de degré ''k'' ('''''k''-vecteurs'''), où ''k'' va de 0 (''scalaires'') à ''n'', la dimension de l'espace vectoriel original <math>\mathcal V</math>. Les multivecteurs sont représentés ici par les majuscules grasses.
'''Note :''' Les scalaires et les vecteurs deviennent des cas particuliers de multivecteurs (« 0-vecteurs » et « 1-vecteurs », respectivement).

=== La règle de contraction ===
La connexion entre les algèbres de Clifford et les [[forme quadratique|formes quadratiques]] provient de la propriété (ou règle) de contraction. Cette règle donne aussi à l'espace une [[métrique (mathématiques)|métrique]] définie par le [[espace préhilbertien|produit interne]] naturellement dérivé. Également, dans l'algèbre géométrique dans toute sa généralité, il n'existe pas une quelconque restriction sur la valeur du scalaire, il peut être négatif, même zéro (dans ce cas, la possibilité d'un produit interne est éliminée si vous demandez <math>\langle x, x \rangle \ge 0</math>).

La règle de contraction peut être mise sous la forme :
:<math>Q(\mathbf a) = \mathbf a^2 = \varepsilon_a {\Vert \mathbf a \Vert}^2</math>
où {{math|{{!}}'''a'''{{!}}}} est le [[module]] du vecteur {{math|'''a'''}} et <math>\varepsilon_a=0, \, \pm1</math> est appelé la ''signature'' du vecteur {{math|'''a'''}}. Ceci est particulièrement utile dans la construction de l'[[espace de Minkowski]] (l'[[espace-temps]] de la [[relativité]]) via <math> \mathbb{R}_{1,3}\,</math>. Dans ce contexte, les vecteurs nuls sont appelés ''vecteurs de lumière'', les vecteurs à signature négative sont appelés ''vecteurs d'espace'' et les vecteurs à signature positive sont appelés ''vecteurs de temps'' (ces deux dernières dénominations sont échangées lorsqu'on utilise <math>\mathbb{R}_{3,1}</math> à la place de <math> \mathbb{R}_{1,3}\,</math>).

=== Produits intérieur et extérieur ===
Le [[produit scalaire]] usuel et le [[produit vectoriel]] de l'algèbre vectorielle traditionnelle (sur <math>\mathbb{R}^3\,</math>) trouvent leurs places dans l'algèbre géométrique <math>\mathcal{G}_3\,</math> comme le produit interne

:<math>\mathbf{a}\cdot\mathbf{b} = \frac12(\mathbf{a}\mathbf{b} + \mathbf{b}\mathbf{a})</math>

(qui est symétrique) et le produit externe

:<math>\mathbf{a}\wedge\mathbf{b} = \frac{1}{2}(\mathbf{a}\mathbf{b} - \mathbf{b}\mathbf{a})</math>

avec

:<math>\mathbf{a}\times\mathbf{b} = -i(\mathbf{a}\wedge\mathbf{b})</math>

(qui est antisymétrique). La distinction entre vecteurs axiaux et polaires, obscure en algèbre vectorielle, est naturelle en algèbre géométrique, où elle s'exprime comme la distinction entre vecteurs et bivecteurs (éléments de grade deux). Le {{mvar|i}} ici est l'unité pseudoscalaire du 3-espace euclidien, qui établit une dualité entre les vecteurs et les bivecteurs, et est nommé ainsi à cause de la propriété prévue {{math|''i''{{2}} {{=}} –1}}.

Alors que le produit '''vectoriel''' peut seulement être défini dans un espace à trois dimensions, les produits '''interne''' et '''externe''' peuvent être généralisés à n'importe quelle dimension. 

Soient <math>\mathbf{a},\, \mathbf{A}_{\langle k \rangle}</math> un vecteur et un multivecteur homogène de grade ''k''. Leur produit interne est alors : <math> \mathbf a \cdot \mathbf A_{\langle k \rangle} = {1 \over 2} \, \left ( \mathbf a \, \mathbf A_{\langle k \rangle} + (-1)^{k+1} \, \mathbf{A}_{\langle k \rangle} \, \mathbf{a} \right ) = (-1)^{k+1} \mathbf A_{\langle k \rangle} \cdot \mathbf{a}</math>
et leur produit externe est
:<math> \mathbf a \wedge \mathbf A_{\langle k \rangle} = {1 \over 2} \, \left ( \mathbf a \, \mathbf A_{\langle k \rangle} - (-1)^{k+1} \, \mathbf{A}_{\langle k \rangle} \, \mathbf{a} \right ) = (-1)^{k} \mathbf A_{\langle k \rangle} \wedge \mathbf{a}.</math>

== Algèbre géométrique conforme ==
{{article détaillé|Algèbre géométrique conforme}}
Un espace vectoriel, même muni d'un produit scalaire, n'est pas, à lui seul, approprié pour modéliser l'espace usuel, c'est-à-dire l'espace euclidien. En effet, il faut pouvoir distinguer les concepts de [[Point (géométrie)|points]] et de [[vecteur]]s. Pour cela, plusieurs modèles existent, les plus notables étant l'[[espace affine]] et la [[géométrie projective]].

Tandis que la géométrie projective ajoute une dimension supplémentaire, faisant de l'espace usuel un [[hyperplan]], l'[[algèbre géométrique conforme]] est un modèle de l'espace euclidien basé sur l'algèbre géométrique qui ajoute non pas une mais deux dimensions supplémentaires. Ces deux dimensions ayant la structure d'un [[espace de Minkowski]], l'espace usuel devient alors une [[horosphère]].

== Applications ==

=== Relativité restreinte et électromagnétisme ===
Un exemple utile est <math>\mathbb{R}_{3, 1}</math>, et la façon dont il engendre <math>\mathcal{G}_{3, 1}</math>, un exemple d'algèbre géométrique qu'Hestenes appelle ''algèbre de l'espace-temps''<ref>''{{Langue|en|Space-time algebra}}''.  Voir l'article [[espace-temps (structure algébrique)]].</ref>. Cette algèbre est dotée d'une base de vecteurs le plus souvent notés <math>(\mathbf{\gamma}_0, \mathbf{\gamma}_1, \mathbf{\gamma}_2, \mathbf{\gamma}_3)</math> telle que<ref>La convention

:<math>\mathbf{\gamma}_0^2 = +1, \qquad
\mathbf{\gamma}_1^2 = \mathbf{\gamma}_2^2 = \mathbf{\gamma}_3^2 = -1</math>
est aussi très souvent utilisée.</ref> :

:<math>\mathbf{\gamma}_0^2 = -1, \qquad
\mathbf{\gamma}_1^2 = \mathbf{\gamma}_2^2 = \mathbf{\gamma}_3^2 = +1</math>

<math>(\mathbf{\gamma}_1,\mathbf{\gamma}_2,\mathbf{\gamma}_3)</math> constitue une base orthonormée de l'espace euclidien usuel. <math>\mathbf{\gamma}_0</math> est quant à lui le vecteur séparant deux [[événement (espace-temps)|événements]] d'une unité de temps.

Le [[champ électromagnétique]], dans ce contexte, s'avère être un [[champ (physique)|champ]] bivectoriel pour lequel les champs électriques et magnétiques caractérisent les parties respectivement spatio-temporelles (c'est-à-dire contenant la direction temporelle) et purement spatiales (bivecteurs dirigés par deux directions de l'espace usuel) :
{{bloc emphase|<math>F =
(\mathbf{E} + i\mathbf{B})\mathbf{\gamma}_0</math>}}
ou, de façon plus détaillée :
:<math>\begin{align}
F
& = (\mathbf{E} + \mathbf{\gamma}_0\mathbf{\gamma}_1\mathbf{\gamma}_2\mathbf{\gamma}_3\mathbf{B})\mathbf{\gamma}_0\\
& = \mathbf{E}\mathbf{\gamma}_0 - \mathbf{B}\mathbf{\gamma}_1\mathbf{\gamma}_2\mathbf{\gamma}_3\\
& = E^k\mathbf{\gamma}_k\mathbf{\gamma}_0 - B^k\mathbf{\gamma}_k\mathbf{\gamma}_1\mathbf{\gamma}_2\mathbf{\gamma}_3\\
& =
E^k\mathbf{\gamma}_k\mathbf{\gamma}_0 -(
B^1\mathbf{\gamma}_2\mathbf{\gamma}_3 +
B^2\mathbf{\gamma}_3\mathbf{\gamma}_1 +
B^3\mathbf{\gamma}_1\mathbf{\gamma}_2
).
\end{align}</math>

On peut alors montrer que les [[équations de Maxwell]] traduisent le fait que le [[quadrivecteur]] courant <math>J = \rho\mathbf{\gamma}_0 + \mathbf{j}</math> dérive de ce champ bivectoriel :
{{bloc emphase|<math>\nabla F = J</math>}}

<math>\nabla</math> désigne ici le gradient au sens de l’algèbre géométrique, c'est-à-dire tel que défini plus haut : <math>\nabla = \mathbf{\gamma}^\mu\partial_\mu</math>. L'expression détaillée de cet opérateur requiert le calcul de <math>\mathbf{\gamma}^0</math>. Comme par définition <math>\mathbf{\gamma}^0\cdot\mathbf{\gamma}_0 = 1</math>, on a <math>\mathbf{\gamma}^0 = -\mathbf{\gamma}_0</math>, de telle sorte que <math>\nabla</math> s'écrit :
:<math>\nabla = -\mathbf{\gamma}_0\partial_0
+\mathbf{\gamma}_1\partial_1
+\mathbf{\gamma}_2\partial_2
+\mathbf{\gamma}_3\partial_3.</math>

La [[force de Lorentz]] s'écrit quant à elle <math>q\mathbf{u}\cdot F</math>, où <math>q</math> et <math>\mathbf u</math> sont la [[charge électromagnétique]] et la [[quadrivitesse]], de telle sorte que l'équation du mouvement s'écrit, en considérant la [[quadri-impulsion]] <math>\mathbf{p}</math> :
{{bloc emphase|<math>\frac{d}{d\tau}\mathbf{p} = q\mathbf{u} \cdot F.</math>}}

Les [[transformation de Lorentz|accélérations]] dans cet [[espace métrique]] lorentzien ont la même expression <math>e^{\mathbf{\beta}}</math> que la rotation dans l'espace euclidien, où <math>\mathbf{\beta}</math> est bien sûr le bivecteur engendré par le temps et les directions d'espace impliquées, considérant dans le cas euclidien que c'est le bivecteur engendré par les deux directions d'espace, renforçant l'« analogie » de la quasi-identité.

=== Infographie ===
En 2014, il existe au moins une compagnie utilisant l'algèbre géométrique en [[infographie]], et plus particulièrement dans l'industrie du [[jeu vidéo]]. Il s'agit de {{Lien|Geomerics|lang=en}}, fondée en 2005 notamment par {{Lien|Chris J. L. Doran}}, docteur en physique. Doran a déclaré avoir fondé Geomerics précisément dans le but de trouver d'autres manières d'attirer l'attention de la [[communauté scientifique]] vers les méthodes de l'algèbre géométrique.

En {{date-|mars 2014}}, la société [[Unity Technologies]] a entamé une collaboration avec Geomerics pour l'intégration de leur moteur de rendu d'[[illumination globale]] en temps réel au sein de la cinquième version du moteur [[Unity (moteur de jeu)|Unity]].

== Bibliographie ==

* '''<small>(en)</small>''' David Hestenes (2003), "Oersted Medal Lecture 2002: Reforming the Mathematical Language of Physics" (PDF), ''Am. J. Phys.'', '''71''' (2)
* '''<small>(en)</small>''' David Hestenes (2003), "Spacetime Physics with Geometric Algebra" (PDF), ''Am. J. Phys.'', '''71''' (6)
* '''<small>(en)</small>''' David Hestenes (1999), "New Foundations for Classical Mechanics''"'', Springer Verlag, {{ISBN|978-0-7923-5302-7}}
* '''<small>(en)</small>''' Chris Doran, Anthony Lasenby (2003), "Geometric Algebra for Physicist", Cambridge University Press, {{ISBN|978-0-521-71595-9}}
* '''<small>(en)</small>''' Leo Dorst, Daniel Fontijne, Stephen Mann (2007), "Geometric Algebra for Computer Science", Elsevier/Morgan Kaufman, {{ISBN|978-0-12-369465-2}}
* Gaston Casanova (1976), "L'algèbre vectorielle", [[Presses universitaires de France|Presses Universitaires de France]], {{ISBN|978-2130343059}}
* Georges Pagis (2018), "G.A. Maths Physique pour demain", {{ISBN|978-1980691389}}

== Références ==
{{Traduction/Référence|en|Geometric algebra|76332321}}
* {{en}} W. E. Baylis (éd.), ''Clifford (Geometric) Algebra with Applications to Physics, Mathematics, and Engineering'', Boston, Birkhäuser, 1996
* {{en}} Chris Doran, [http://geometry.mrao.cam.ac.uk/wp-content/uploads/2015/02/DoranThesis.pdf Geometric Algebra and its Application to Mathematical Physics], [[PhD]], [[Sidney Sussex College]], 1994
*{{Ouvrage|langue=en|auteur=David Hestenes|auteur2=Garret Sobczyk|titre=Clifford Algebra to Geometric Calculus: A Unified Language for Mathematics and Physics|doi=10.1007/978-94-009-6292-7|année=1984|éditeur=[[Springer Verlag|Springer]]}}
*{{Chapitre|langue=en|url=http://lomont.org/Math/GeometricAlgebra/A%20unified%20language%20for%20mathematics%20and%20physics%20-%20Hestenes%20-%201986.pdf|auteur=David Hestenes|auteurs ouvrage=J. S. R. Chisholm et A. K. Common|titre ouvrage=Clifford Algebras and Their Applications in Mathematical Physics|éditeur=Reidel|année=1986|passage=1-23|titre chapitre=A unified language for mathematics and physics|doi=10.1007/978-94-009-4728-3_1}}
*{{Chapitre|langue=en|auteur=David Hestenes|auteur2=Hongbo Li|auteur3=Alyn Rockwood|url=http://geocalc.clas.asu.edu/pdf/CompGeom-ch1.pdf|titre chapitre=New Algebraic Tools for Classical Geometry|titre ouvrage=Geometric Computing with Clifford Algebras|auteurs ouvrage=Gerald Sommer|éditeur=Springer|année=2001|doi=10.1007/978-3-662-04621-0_1|passage=3-26}}
*{{Lien web|id=McDonald 2015|langue=en|auteur=[http://faculty.luther.edu/~macdonal Alan McDonald]|titre=A Survey of Geometric Algebra and Geometric Calculus|année=2015|url=http://faculty.luther.edu/~macdonal/GA&GC.pdf|site={{Lien|Luther College (Iowa)}}}}
* {{en}} [http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6876131 Geometric Algebra for Electrical and Electronic Engineers], [[IEEE]] digital library
* {{en}} [http://www.av8n.com/physics/maxwell-ga.htm Electromagnetism using Geometric Algebra versus Components]

== Notes ==
<references/>

{{Portail|mathématiques}}

[[Catégorie:Algèbre géométrique|*]]
[[Catégorie:Algèbre associative|Geometrique]]