Algèbre géométrique (structure)

Une algèbre géométrique est, en mathématiques, une structure algébrique, similaire à une algèbre de Clifford réelle, mais dotée d'une interprétation géométrique mise au point par David Hestenes, reprenant les travaux de Hermann Grassmann 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, matrices, torseurs, analyse vectorielle, utilisation de nombres complexes, spineurs, quaternions, formes différentielles...). Le nom choisi par David Hestenes (geometric algebra) est celui que Clifford voulait donner à son algèbre. L'algèbre géométrique se veut utile dans les problèmes de physique qui impliquent des rotations, des phases ou des nombres imaginaires. Ses partisans disent qu'elle fournit une description plus compacte et intuitive de la mécanique quantique et 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 vols spatiaux. En 1843 William Rowan Hamilton découvre les quaternions 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, et les physiciens de la fin du ne connaissant pas cet outil mathématique commencent à employer un autre système connu sous le nom de « calcul vectoriel ».