{"id":195,"date":"2011-01-04T18:02:18","date_gmt":"2011-01-04T17:02:18","guid":{"rendered":"http:\/\/kmr.dialectica.se\/wp\/?page_id=195"},"modified":"2022-11-27T14:24:10","modified_gmt":"2022-11-27T13:24:10","slug":"geomtric-algebra","status":"publish","type":"page","link":"https:\/\/kmr.placify.me\/wp\/research\/math-rehab\/learning-object-repository\/algebra\/geomtric-algebra\/","title":{"rendered":"Geometric Algebra"},"content":{"rendered":"

This page is a sub-page of our page on Algebra<\/a>.<\/p>\n

\/\/\/\/\/\/\/<\/p>\n

The sub-pages of this page are<\/strong>:<\/p>\n

\/\/\/\/\/\/\/<\/p>\n

Related KMR-pages<\/strong>:<\/p>\n

\u2022 New Foundations for Classical Mechanics<\/a> by David Hestenes<\/p>\n

\/\/\/\/\/\/\/<\/p>\n

Other related sources of information<\/strong>:<\/p>\n

\u2022 Geometric Algebra: New Foundations, New Insights<\/a>,
\nadvanced course at SIGGRAPH 2000.
\n\u2022 A Swift Introduction to Geometric Algebra<\/a>, by sudgylacmoe<\/a> on YouTube.
\n\u2022 Addendum to A Swift Introduction to Geometric Algebra<\/a>, by sudgylacmoe<\/a> on YouTube.
\n\u2022 A Swift Introduction to SpaceTime Algebra<\/a>, by sudgylacmoe<\/a> on YouTube.<\/p>\n

\/\/\/\/\/\/\/<\/p>\n

\/\/\/\/\/\/\/ Formulas from Ambj\u00f6rn’s presentation at SIGGRAPH 2000 and 2001.<\/p>\n \\, \\mathrm{V}^n \\, , \\, e_1 \\, , e_2 \\, , \\dots , e_n \\, <\/span>\n \\, \\mathrm{G} = \\mathrm{G}_n = \\mathrm{G}(\\mathrm{V}^n) \\, <\/span>\n \\, M = \\sum\\limits_{k = 0}^{n} {\\langle \\, M \\, \\rangle}_k \\, <\/span>\n \\, {\\langle \\, M \\, \\rangle}_k = B_1 + B_2 + \\cdots \\, <\/span>\n \\, A_k = a_1 \\wedge a_2 \\wedge \\cdots \\wedge a_k \\, <\/span>\n \\, A_k \\neq 0 \\, \\iff \\, \\{ a_1, a_2, \\dots , a_k \\} \\, <\/span>\n \\, P \\in \\mathrm{G}_n \\, <\/span>\n \\, P = p_1 \\wedge p_2 \\wedge \\cdots \\wedge p_n \\, <\/span>\n \\, I = e_1 \\wedge e_2 \\wedge \\cdots \\wedge e_n \\, <\/span>\n \\, [P] = PI^{-1} \\, <\/span>\n \\, \\text{dual}(X) = XI^{-1} \\, <\/span>\n \\, \\text{dual}(X) = X^* \\, <\/span>\n \\, B = b_1 \\wedge b_2 \\wedge \\cdots \\wedge b_m \\, <\/span>\n \\, \\overline{B} \\subseteq \\mathrm{V}^n \\, <\/span>\n \\, \\overline{B} = \\text{Linspan}\\{ b_1, b_2, \\dots , b_m \\} = \\, <\/span>\n \\, = \\text{Linspan}\\{ b \\in \\mathrm{G}_n : b \\wedge B = 0 \\} \\, <\/span>\n \\, \\{ e_1, \\dots , e_m \\} \\, <\/span>\n \\, b_i = \\sum\\limits_{k = 0}^{m} b_{ik}e_k \\; \\text{for} \\; i = 1, \\, \\dots \\, , m \\; , \\, <\/span>\n \\, B =( \\det{b_{ik}}) \\, e_1 \\wedge e_2 \\wedge \\cdots \\wedge e_m = \\, <\/span>\n \\, = (\\det{b_{ik}}) \\, e_1 e_2 \\cdots e_m = \\, <\/span>\n

\/\/\/\/\/\/\/<\/p>\n

The sub-pages of this page are<\/strong>:<\/p>\n

\u2022\u00a0Geometric Numbers in the Line and in the Plane<\/a>
\n\u2022 Geometric Numbers in Euclidean 3D-space<\/a>
\n\u2022 Geometriska tal i den Euklidiska 3D-rymden<\/a>
\n\u2022 Blades in Geometric Algebra<\/a>
\n\u2022 The Evolution of Geometric Arithmetic<\/a>
\n\u2022 The Vector Algebra War<\/a>
\n\u2022 Historical Remarks<\/a>
\n\u2022 History and Properties of Geometric Algebra<\/a><\/p>\n

\/\/\/\/\/\/\/<\/p>\n

Related KMR pages<\/strong>:<\/p>\n

\u2022 Clifford Algebra<\/a>
\n\u2022 Combinatorial Clifford Algebra<\/a>
\n\u2022 David Hestenes<\/a>.
\n\u2022 David Hestenes on Geometric Algebra<\/a>.
\n\u2022 David Hestenes on Geometric Calculus<\/a>.
\n\u2022 David Hestenes on Modeling<\/a>.<\/p>\n

\u2022 Quaternions<\/a><\/p>\n

\u2022 Metric Geometry<\/a>
\n\u2022 Affine Geometry<\/a>
\n\u2022 Projective Geometry<\/a>
\n\u2022 Differential Geometry<\/a><\/p>\n

\/\/\/\/\/\/\/<\/p>\n

Papers and conference presentations by KTH<\/strong>:<\/p>\n

\u2022\u00a0Ambj\u00f6rn Naeve and Lars Svensson, (2001), Geo-MAP unification<\/em><\/a>, in Geometric Computing with Clifford Algebras – Theoretical Foundations and Applications in Computer Vision and Robotics<\/em><\/a>, Sommer, G. (ed.), pp. 105-126, Springer Verlag, ISBN 3-540-41198-4.
\n\u2022\u00a0Ambj\u00f6rn Naeve and Lars Svensson, (1999), Projective Geometric Computing<\/em><\/a>, The 5:th International Conference on Clifford Algebras and their Applications in Mathematical Physics<\/a>, Ixtapa-Zihuatanejo, Mexico, June 27-July 4, 1999.
\n\u2022 Ambj\u00f6rn Naeve and Lars Svensson, (1999), Discrete Integration and the Fundamental Theorem<\/em><\/a>, The 5:th International Conference on Clifford Algebras and their Applications in Mathematical Physics<\/a>, Ixtapa-Zihuatanejo, Mexico, June 27-July 4, 1999.
\n\u2022 Lars Svensson and Ambj\u00f6rn Naeve, (2002), Combinatorial Aspects of Clifford Algebra<\/a>, presented at the International Workshop on Applications of Geometric Algebra, Cambridge, 5-6 Sept. 2002.
\n\u2022 Douglas Lundholm and Lars Svensson, (2009),\u00a0Clifford algebra, geometric algebra, and applications<\/a>.<\/p>\n

Papers by others<\/strong>:<\/p>\n

Applications of Grassmann’s Extensive Algebra<\/a>, by William Kingdon Clifford<\/a>, American Journal of Mathematics, Vol. 1, No. 4 (1878), pp. 350-358.
\n\u2022 Articulating Space : Geometric Algebra for Parametric Design Symmetry, Kinematics and Curvature<\/a>, Dissertation thesis by Pablo Colapinto, March 2016.
\n\u2022 Geometric and Clifford Algebras<\/a>, by Aziz Budiman Bin Kamlan, November 2013.
\n\u2022\u00a0VERSOR: Spatial Computing with Conformal Geometric Algebra<\/a>, M.Sc. thesis of Pablo Colapinto, March 2011.
\n\u2022\u00a0Geometric Algebra and its Application to Computer Graphics<\/a>, by D. Hildenbrand, D. Fontijne, C.Perwass, and L. Dorst, 2004.
\n\u2022\u00a0Geometric Algebra: A powerful tool for solving geometric problems in visual computing<\/a>, by Leandro A. F. Fernandes and Manuel M. Oliveira, 2007.
\n\u2022\u00a0Analysis of Point Clouds using Conformal Geometric Algebra<\/a>, by Dietmar Hildenbrand and Eckhard Hitzer, 2008.
\n\u2022\u00a0Composing Surfaces with Conformal Rotors<\/a>, by Pablo Colapinto, 2017.
\n\u2022\u00a0Boosted Surfaces using Point Pair Generators as Curvature Operators<\/a>, by Pablo Colapinto, 2013.
\n\u2022\u00a0Geometric Algebra in Linear Algebra and Geometry<\/a>, by by Jos\u00e9 Mar\u00eda Pozo and Garret Sobczyk, 2001.
\n\u2022\u00a0Multiplication of vectors and structure of 3D Euclidean space<\/a>, by Miroslav Josipovi\u0107, 2017.
\n\u2022\u00a0Associative Composition Algebra: Quaternions<\/a>, by Wikibooks, 2019.
\n\u2022\u00a0Some remarks on Cl3 and Lorentz transformations<\/a>, by Miroslav Josipovi\u0107, June, 2015.<\/p>\n

\/\/\/\/\/\/\/<\/p>\n

Books<\/strong>:<\/p>\n

\u2022 Hermann Grassmann<\/a>: A New Branch Of Mathematics – The Ausdehnungslehre of 1844 and Other Works<\/a>, translated by Lloyd C. Kannenberg (1995), ISBN 0-8126-9276-4.
\n\u2022 David Hestenes<\/a> (1993, (1986)), New Foundations for Classical Mechanics<\/a>
\n\u2022 Pertti Lounesto<\/a>: Clifford Algebras and Spinors<\/a>
\nKluwer Academic Publishers, ISBN 90-277-2090-8.
\n\u2022 Leo Dorst<\/a>, Daniel Fontijne<\/a> and Stephen Mann<\/a> (2009), Geometric Algebra for Computer Science – An Object-Oriented Approach To Geometry<\/a>, Morgan Kaufmann Publishers,<\/p>\n

\u2022 Felix Klein<\/a> (1926), Vorlesungen \u00fcber Nichteuklidische Geometrie<\/a>,
\nVerlag von Julius Springer in Berlin, (1928).
\n\u2022 J\u00fcrgen Richter-Gebert<\/a> (2011), Perspectives on Projective Geometry – A Guided Tour Through Real and Complex Geometry<\/a>, Springer, ISBN 978-3-642-17285-4.
\n\u2022 D.M.Y. Sommerville<\/a> (1914), The Elements of Non-Euclidean Geometry<\/a>, Dover (1958, 2005).
\n\u2022 Henry Parker Manning<\/a> (1901), Introductory Non-Euclidean Geometry<\/a>, Dover (1963, 2005).
\n\u2022 H.S.M. Coxeter<\/a> (1947 (1942)), Non-Euclidean Geometry<\/a>.
\n\u2022 W. T. Fishback<\/a> (1969), Projective and Euclidean Geometry<\/a>, John Wiley & Sons, Inc.,
\nISBN 13: 978-047126-053-0.
\n\u2022 John Stillwell<\/a> (2016), Elements of Mathematics – From Euclid to G\u00f6del<\/a>,
\nPrinceton University Press, ISBN 978-0-691-17854-7.
\n\u2022 John Stillwell (1999, (1989)), Mathematics and Its History<\/a>, Springer, ISBN 0-387-96981-0.
\n\u2022 John Stillwell (1980), Classical Topology and Combinatorial Group Theory<\/a>,
\nSpringer Verlag, ISBN 0-387-90516-2.
\n\u2022 Jeremy Gray<\/a> (2007), Worlds Out of Nothing – A Course in the History of Geometry in the 19th Century<\/a>, Springer, ISBN 1-84628-632-8.
\n\u2022 A new branch of mathematics\/Algebra books<\/a>.<\/p>\n

\/\/\/\/\/\/\/<\/p>\n

Other relevant sources of information<\/strong>:<\/p>\n

\u2022 Geometric Algebra<\/a>.
\n\u2022 Rotor<\/a>
\n\u2022 Versor<\/a>
\n\u2022 The right-hand screw rule<\/a>.
\n\u2022 Geometric Calculus<\/a>.
\n\u2022 All Hail Geometric Algebra<\/a>.<\/p>\n

\/\/\/\/\/\/\/<\/p>\n

The ancient Greeks had the beginning of a geometric algebra<\/a>,
\nnamely the exterior product<\/a> \\, \\wedge \\, <\/span>. In modern notation their algebra worked like this:<\/p>\n \\, l_{ength} \\wedge l_{ength} \\, \\equiv \\, a_{rea} \\, <\/span>\n \\, l_{ength} \\wedge l_{ength} \\wedge l_{ength} \\equiv \\, v_{olume} \\, <\/span>\n \\, l_{ength} \\wedge l_{ength} \\wedge l_{ength} \\wedge l_{ength} \\equiv \\, n_{othing} \\, <\/span>\n

since there were only three dimensions at that time.<\/p>\n

The person that changed this fact was a German-speaking highschool teacher in Stettin<\/a> by the name of Hermann G\u00fcnther Gra\u00dfmann<\/a>. In 1844 he published his masterpiece Die Lineale Ausdehnungslehre, ein neuer Zweig der Mathematik<\/strong> [The Theory of Linear Extension, a New Branch of Mathematics]. This book is normally referred to as Die Ausdehnungslehre<\/strong>, which can be translated as “The extension theory” or “The theory of extensive magnitudes.”<\/p>\n

In this remarkable book – which nobody read since it was written in an obscure philosophical style that no mathematicians of the time were familiar with – Gra\u00dfmann introduced the concept of abstract vector spaces<\/a> with n-dimensional algebra and geometry<\/a>. By doing so he singlehandedly created the mathematical subject that we today call linear algebra<\/a>.<\/p>\n

During the 1870:ies William Kingdon Clifford<\/a> developed an algebra – later called Cliffordalgebra<\/a> – which built on Gra\u00dfmann’s exterior algebra<\/a>.<\/p>\n

\/\/\/\/\/\/\/ Quoting Wikipedia<\/strong> on William Kingdon Clifford:<\/p>\n

In 1878 Clifford published a seminal work, Applications of Grassmann’s extensive algebra<\/a>, building on Grassmann’s algebraic work. He had succeeded in unifying the quaternions<\/a>, developed by William Rowan Hamilton<\/a>, with Grassmann’s outer product (also known as the exterior product<\/a>). Clifford understood the geometric nature of Grassmann’s creation, and that the quaternions fit cleanly into the algebra Grassmann<\/a> had developed. The versors<\/a> in quaternions facilitate representation of rotation<\/a>.<\/p>\n

Clifford laid the foundation for a geometric product<\/a>, composed of the sum of the inner product<\/a> and Grassmann’s outer product<\/a>. The geometric product was eventually formalized by the Hungarian mathematician Marcel Riesz<\/a>. The inner product<\/a> equips geometric algebra with a metric<\/a>, fully incorporating distance<\/a> and angle<\/a> relationships for lines, planes, and volumes, while the outer product<\/a> gives those planes and volumes vector<\/a>-like properties, including a directional sensitivity<\/a>.<\/p>\n

Combining the two brought the operation of division into play. This greatly expanded our qualitative understanding of how objects interact in space. Crucially, it also provided the means for quantitatively calculating the spatial consequences of those interactions.<\/strong> The resulting geometric algebra<\/a>, as Clifford called it, eventually realized the long sought goal[13] of creating an algebra that mirrors the movements and projections of objects in 3-dimensional space<\/strong>.[14]<\/p>\n

Moreover, Clifford’s algebraic schema extends to higher dimensions<\/strong>. The algebraic operations have the same symbolic form as they do in 2 or 3-dimensions. The importance of general Clifford algebras has grown over time, while their isomorphism<\/a> classes – as real algebras – have been identified in other mathematical systems beyond simply the quaternions<\/a>.<\/p>\n

The realms of real analysis<\/a> and complex analysis<\/a> have been expanded through the algebra H of quaternions, thanks to its notion of a three-dimensional sphere<\/a> embedded in a four-dimensional space.<\/p>\n

Quaternion versors<\/a>, which inhabit this 3-sphere, provide a representation of the rotation group SO(3)<\/a>.<\/p>\n

Clifford noted that Hamilton\u2019s biquaternions<\/a> were a tensor product<\/a> H \u2297 C of known algebras, and proposed instead two other tensor products of H:<\/p>\n

Clifford argued that the “scalars” taken from the complex numbers<\/a> C might instead be taken from split-complex numbers<\/a> D or from the dual numbers<\/a> N. In terms of tensor products, H \u2297 D produces split-biquaternions<\/a>, while H \u2297 N forms dual quaternions<\/a>.<\/p>\n

The algebra of dual quaternions<\/a> is used to express screw displacement<\/a>, a common mapping in kinematics<\/a>.<\/p>\n

\/\/\/\/\/\/\/ End of quote from Wikipedia<\/strong> (on William Kingdon Clifford)<\/p>\n

\/\/\/\/\/\/\/<\/p>\n

Some notation and background<\/strong> from combinatorial clifford algebra<\/a><\/p>\n

Since we are here only interested in combinatorial and algebraic aspects of Clifford algebra<\/a>, we will allow our scalars to lie in an arbitrary commutative ring<\/a> \\mathcal {R} <\/span> with unit element. We will also take a slightly different point of view regarding the Clifford algebra and its interpretations.<\/p>\n

Let X <\/span> be a finite set which is totally ordered<\/a>, i.e., X = \\{x_1, \\ldots, x_n\\} <\/span> where x_1 < x_2 < \\ldots < x_n. <\/span> We will identify the k <\/span> base-blades<\/a> x_{n_1} x_{n_2} \\ldots x_{n_k}, <\/span> where n_1 < n_2 < \\ldots < n_k \\leq n, <\/span> with the \\, k <\/span>-subsets \\{x_{n_1}, \\ldots, x_{n_k}\\} \\subseteq X <\/span> and we will denote the pseudoscalar<\/a> x_1 x_2 \\ldots x_n <\/span> by X <\/span> (by an unproblematic change of context). Moreover, the ring unit 1 <\/span> is identified with the empty set \\emptyset. <\/span><\/p>\n

We will view the Clifford algebra C_l(X) <\/span> as the free R <\/span>–module<\/a> generated by the power set<\/a> \\wp(X) <\/span> of all subsets of X, <\/span> i.e.,<\/p>\n C_l(X) = {\\oplus \\atop {x \\in \\wp(X) } } \\mathcal {R}. <\/span>\n

Note that if X \\rightarrow Y <\/span> is a bijection<\/a>, then C_l(X) <\/span> is isomorphic<\/a> to C_l(Y). <\/span><\/p>\n

We will always assume that x^2 = 1, \\forall x \\in X. <\/span> The set of k <\/span>-vectors is denoted by {C_l}^k(X). <\/span> We observe that every bilinear map<\/a> C_l(X) \\times C_l(X) \\longrightarrow C_l(X) <\/span> is uniquely determined by its values on \\wp(X) \\times \\wp(X). <\/span> Moreover, if P <\/span> is a proposition, we will use (P) <\/span> to denote 1 <\/span> or 0 <\/span> depending on whether P <\/span> is true or false.<\/p>\n

Let A,B \\in \\wp(X). <\/span> The following notation will be used:<\/p>\n

Geometric product<\/strong>: AB = \\epsilon A \\Delta B, <\/span> where \\epsilon = \\pm 1 <\/span> and \\Delta <\/span> is symmetric difference<\/em>.<\/p>\n

Outer product<\/strong>: A \\wedge B = (A \\cap B = \\emptyset) A B. <\/span><\/p>\n

Inner product<\/strong>: A \\cdot B = ((A \\subseteq B) \\ \\text {or} \\ (A \\supseteq B)) A B. <\/span><\/p>\n

Left inner product<\/strong>: A \\; \\llcorner \\; B = (A \\subseteq B) A B. <\/span><\/p>\n

Scalar product<\/strong>: A \\ast B = (A = B) A B. <\/span><\/p>\n

Reverse<\/strong>: A^\\dagger = (-1)^\\epsilon A, <\/span> where \\epsilon ={ {\\mid A \\mid } \\choose { 2 } }. <\/span><\/p>\n

Complement<\/strong>: \\tilde {A} = AX^{-1}. <\/span><\/p>\n

All of these definitions are extended to C_l(X) <\/span> by linearity<\/strong>.<\/p>\n

\/\/\/\/\/\/\/<\/p>\n","protected":false},"excerpt":{"rendered":"

This page is a sub-page of our page on Algebra. \/\/\/\/\/\/\/ The sub-pages of this page are: \/\/\/\/\/\/\/ Related KMR-pages: \u2022 New Foundations for Classical Mechanics by David Hestenes \/\/\/\/\/\/\/ Other related sources of information: \u2022 Geometric Algebra: New Foundations, New Insights, advanced course at SIGGRAPH 2000. \u2022 A Swift Introduction to Geometric Algebra, by … Continue reading Geometric Algebra<\/span> →<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":599,"menu_order":2,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-195","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/pages\/195","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/comments?post=195"}],"version-history":[{"count":7,"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/pages\/195\/revisions"}],"predecessor-version":[{"id":36690,"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/pages\/195\/revisions\/36690"}],"up":[{"embeddable":true,"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/pages\/599"}],"wp:attachment":[{"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/media?parent=195"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}