Algèbre géométrique
1059031
24895838
2008-01-11T15:02:04Z
Charles Dyon
9622
En [[mathématiques]], une '''algèbre géométrique''' est une [[algèbre multilinéaire]] avec une interprétation géométrique (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''). Officieusement, une algèbre géométrique est une [[algèbre de Clifford]] qui inclut un '''produit géométrique'''.
L'algèbre géométrique est utile dans les problèmes de [[physique]] qui impliquent des [[rotation]]s, des [[phase (onde)|phases]] ou des [[nombre imaginaire|nombres imaginaires]]. Les partisans de l'algèbre géométrique disent qu'elle fournit une description plus compacte et intuitive de la [[mécanique quantique]] et [[mécanique classique|classique]], de la théorie [[électromagnétique]] et de 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]].
==Le produit géométrique==
Une algèbre géométrique <math>\mathcal{G}_n(\mathcal{V}_n)</math> est une [[algèbre]] construite sur un [[espace vectoriel]] <math>\mathcal V_n</math> dans lequel un ''produit géométrique'' est défini. Les éléments de l'algèbre géométrique sont des [[multivecteur]]s. Le produit géométrique possède les propriétés suivantes, pour tous les multivecteurs <math>\mathbf{A}, \mathbf{B}, \mathbf{C}</math> :
# [[clôture (mathématiques)|Clôture]]
# [[Distributivité]] sur l'addition des multivecteurs :
#* <math>\mathbf{A}(\mathbf{B} + \mathbf{C}) = \mathbf{A}\mathbf{B} + \mathbf{A}\mathbf{C}</math>
#* <math>(\mathbf{A} + \mathbf{B})\mathbf{C} = \mathbf{A}\mathbf{C} + \mathbf{B}\mathbf{C}</math>
# [[Associativité]]
# Elément unité (scalaire) :
#* <math> 1 \, \mathbf A = \mathbf A </math>
# [[Contraction tensorielle]] : pour tout "vecteur" (un élément de degré un) <math>\mathbf{a}, \mathbf{a}^2</math> est un [[scalaire (mathématiques)|scalaire]] ([[nombre réel]])
# [[Commutativité]] du produit par un scalaire :
#* <math> \lambda \mathbf A = \mathbf A \lambda </math>
Les propriétés (1) et (2) sont parmi celles nécessaires pour une [[algèbre sur un corps]]. (3) et (4) signifient qu'une algèbre géométrique est une algèbre [[associativité|associative]] [[unitaire]].
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''' est défini en termes de [[produit vectoriel]] et [[produit scalaire]] de vecteurs comme
:<math> \mathbf a \, \mathbf b = \mathbf a \cdot \mathbf b + \mathbf a \wedge \mathbf b </math>
L'[[espace vectoriel]] original <math>\mathcal V</math> est construit sur les [[nombre réel|nombres réels]] comme scalaires. Dorénavant, un ''vecteur'' est quelque chose dans <math>\mathcal V</math> lui-même. Les vecteurs seront représentés par des symboles en minuscules grasses.
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> \mathbf a \wedge \mathbf b </math> 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> \mathbf a </math> ou <math> \mathbf b </math> est signifié à partir d'un certain point préféré (e.g. dans les problèmes de physique), le plan orienté <math> B=\mathbf a \wedge \mathbf b </math> est déterminé sans ambiguïté.
Comme exemple significatif, bien que simple, on peut considérer un vecteur différent de zéro <math> \mathbf v </math>, à partir d'un point choisi comme origine, dans l'espace euclidien usuel, <math>\mathbb{R}^3</math>. L'ensemble de tous les vecteurs <math> \mathbf x \wedge \mathbf v = B </math> , <math> B </math> désignant un bivecteur donné contenant <math> \mathbf v </math>, détermine une ligne <math> l </math> parallèle à <math> \mathbf v </math>. Puisque <math> B </math> est une aire ''orientée'', <math> l </math> est uniquement déterminé en conservant l'origine choisie. L'ensemble de tous les vecteurs <math> \mathbf x \cdot \mathbf v = s </math>, <math> s </math> désignant un scalaire (réel) donné, détermine un plan P orthogonal à <math> \mathbf v </math>. De nouveau, P est uniquement déterminé en conservant l'origine choisie. Les deux morceaux d'information, <math> B </math> et <math> s </math>, peuvent être établis indépendamment l'un de l'autre. Maintenant, quel est le vecteur <math> \mathbf y </math> qui satisfait le système {<math> \mathbf y \wedge \mathbf v = B </math>, <math> \mathbf y \cdot \mathbf v = s </math>} ?
Géométriquement, la réponse est claire : c'est le vecteur qui part de l'origine et aboutit à l'intersection de <math> l </math> 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 </math><sup>-1</sup>, où l'inverse d'un vecteur différent de zéro est exprimé par <math> \mathbf z </math><sup>-1</sup> <math> = \mathbf z /(\mathbf z \cdot \mathbf z ) </math>.
'''Note :''' La division par un vecteur transforme le multivecteur <math> s + B </math> 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>\wedge</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é 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é. Il est aussi à noter que 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 très bien ê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 = \epsilon_a {\Vert \mathbf a \Vert}^2</math>
où <math>\Vert \mathbf a \Vert</math> est le [[module]] du vecteur '''a''' et <math>\epsilon_a=0, \, \pm1</math> est appelé la ''signature'' du vecteur '''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).
==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} = \frac{1}{2}(\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 degré deux). Le <math>i</math> ici est l'unité [[pseudoscalaire (mathématiques)|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\,</math>.
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 degré ''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>
==Applications de l'algèbre géométrique==
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 appelé appelé '''algèbre de l'espace-temps''' par Hestenes. Le champ tensoriel électromagnétique, dans ce contexte, devient juste un bivecteur <math>\mathbf{E} + i\mathbf{B}</math> où l'unité imaginaire est l'élément de volume, donnant un exemple de réinterprétation géométrique de "tours" traditionnels.
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é.
== Histoire ==
L''''algèbre géométrique''' de [[David Hestenes]] et al. (1984) réinterprête les [[algèbre de Clifford|algèbres de Clifford]] sur les [[nombre réel|réels]] et son objectif est de revenir au nom et à l'interprétation que [[William Kingdon Clifford|Clifford]] avait originellement prévus. L'ouvrage d'[[Emil Artin]] ''Geometric Algebra'' discute des algèbres associées avec chacune des nombreuses géométries, dont la [[géométrie affine]], la [[géométrie projective]], la [[géométrie symplectique]] et la [[géométrie orthogonale]].
==Voir aussi==
* [[Algèbre de Clifford]]
* [[Algèbre d'espace physique]]
* [[Spineur]]
* [[Quaternion]]
==Références==
* Baylis, W. E., ed., 1996. ''Clifford (Geometric) Algebra with Applications to Physics, Mathematics, and Engineering''. Boston: Birkhäuser.
* Baylis, W. E., 2002. ''Electrodynamics: A Modern Geometric Approach'', 2nd ed. Birkhäuser. ISBN 0-8176-4025-8
* [[Nicolas Bourbaki]], 1980. ''Eléments de Mathématique. Algèbre''. Chpt. 9, "Algèbres de Clifford". Paris: Hermann.
* Chris Doran and [[Anthony Lasenby]], 2003. ''Geometric Algebra for Physicists''. Cambridge Univ. Press.
* [[David Hestenes]] and Sobczyk, G., 1987. ''Clifford Algebra to Geometric Calculus''. Sprinver Verlag.
* Hestenes, D., 1999. ''New Foundations for Classical Mechanics'', 2nd ed. Springer Verlag.
* Lasenby, J., Lasenby, A. N., and Doran, C. J. L., 2000, "[http://www.mrao.cam.ac.uk/%7Eclifford/publications/ps/dll_millen.pdf A Unified Mathematical Language for Physics and Engineering in the 21st Century]," ''Philosophical Transactions of the Royal Society of London, A 358'': 1-18.
==Liens externes==
* http://www.mrao.cam.ac.uk/~clifford/introduction/intro/intro.html
* http://www.mrao.cam.ac.uk/~clifford/
* http://www.mrao.cam.ac.uk/~clifford/ptIIIcourse/course99/
* http://www.science.uva.nl/ga/
* http://modelingnts.la.asu.edu/GC_R&D.html
* http://www.iancgbell.clara.net/maths/geoalg.htm, comprehensive introduction and reference for programmers
* [http://www.jaapsuter.com/ A Geometric Algebra Primer], especially for computer scientists
* [http://planetmath.org/encyclopedia/GeometricAlgebra.html Geometric Algebra at PlanetMath]
* [http://sinai.mech.fukui-u.ac.jp/gcj/gc_int.html Geometric Calculus International], Research, Software, Conferences
* [http://sinai.mech.fukui-u.ac.jp/GA-Net/index.html GA-Net], Geometric Algebra/Clifford Algebra development news
[[Catégorie:Algèbre]]
{{Portail mathématiques}}
[[bn:জ্যামিতিক বীজগণিত]]
[[en:Geometric algebra]]
[[es:Álgebra geométrica]]