![Page 1: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/1.jpg)
Geometric Algebra
Dr Chris Doran
ARM Research
4. Algebraic Foundations and 4D
![Page 2: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/2.jpg)
Axioms
L4 S2
Elements of a geometric algebra are
called multivectors
Space is linear over the scalars. All
simple and natural
Multivectors can be classified by grade
Grade-0 terms are real scalars
Grading is a projection operation
![Page 3: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/3.jpg)
Axioms
L4 S3
The grade-1 elements of a geometric
algebra are called vectors
So we define
The antisymmetric produce of r vectors
results in a grade-r blade
Call this the outer product
Sum over all permutations with epsilon
+1 for even and -1 for odd
![Page 4: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/4.jpg)
Simplifying result
L4 S4
Given a set of linearly-independent vectors
We can find a set of anti-commuting vectors such that
Symmetric matrix
Define
These vectors all anti-commute
The magnitude of the product is
also correct
![Page 5: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/5.jpg)
Decomposing products
L4 S5
Make repeated use of
Define the inner product of a vector and a bivector
![Page 6: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/6.jpg)
General result
L4 S6
Over-check means this term is missing
Grade r-1
Define the inner product of a vector
and a grade-r termRemaining term is the outer product
Can prove this is the same as earlier
definition of the outer product
![Page 7: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/7.jpg)
General product
L4 S7
Extend dot and wedge symbols for
homogenous multivectors
The definition of the outer product is consistent with the earlier definition
(requires some proof). This version allows a quick proof of associativity:
![Page 8: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/8.jpg)
Reverse, scalar product and commutator
L4 S8
The reverse, sometimes
written with a dagger
Useful sequence
Write the scalar product as
Scalar product is symmetric
Occasionally use the commutator product
Useful property is that the commutator
with a bivector B preserves grade
![Page 9: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/9.jpg)
Rotations
L4 S9
Combination of rotations
So the product rotor is
Rotors form a group
Suppose we now rotate a blade
So the blade rotates as
![Page 10: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/10.jpg)
Fermions?
Now take the rotor on an excursion through 360 degrees. The angle goes
through 2�, but we find the rotor comes back to minus itself.
Take a rotated vector through a further rotation
The rotor transformation law is
This is the defining property
of a fermion!
![Page 11: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/11.jpg)
Unification
L4 S11
One of the defining properties of spin-half particles
drops out naturally from the properties of rotors.
![Page 12: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/12.jpg)
Linear algebra
L4 S12
Linear function f
Extend f to multivectors
This a grade-preserving linear function
The pseudoscalar is unique up to scale
so we can define
Form the product function fg
Quickly prove the fundamental result
![Page 13: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/13.jpg)
Projective geometry
L4 S13
• Use projective geometry to emphasise
expressions in GA have multiple
interpretations
• Closer to Grassmann’s original view
• Our first application of 4D GA
• Core to many graphics algorithms,
though rarely taught
![Page 14: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/14.jpg)
Projective line
L4 S14
Point x represented by homogeneous coordinates
A point as a
vector in a GA
Outer product of two points represents a line
Distance between
the points
Scale factors
This representation of
points is homogeneous
![Page 15: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/15.jpg)
Cross ratio
L4 S15
Distance between points Invariant quantity
Can see that the RHS is invariant under a general linear
transformation of the 4 points
Ratio is invariant under rotations, translations and scaling
![Page 16: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/16.jpg)
Projective plane
L4 S16
Points on a plane represented by vectors in a 3D GA. Typically align the 3
axis perpendicular to the plane, but this is arbitrary
Point Line Plane
Interchange points and
lines by duality. Denoted *
Intersection (meet) defined by
For 2 lines
For 3 lines to meet at a point
Reduces to simple statement
![Page 17: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/17.jpg)
Example
L4 S17
Can prove the algebraic identity
These 3 points are collinear iff these 3 lines meet at a point
This is Desargues theorem. A complex geometric
identity from manipulating GA elements.
![Page 18: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/18.jpg)
Projective geometry of 3D space
L4 S18
Point Line Plane
Interchange points and planes by duality. Lines transform to other lines
Volume
In 4D we can define the object
This is homogenous, but NOT a
blade. Also satisfies
Bivectors form a 6 dimensional space
Blades represent lines
Test of intersection is
2 Bivectors with non-vanishing outer
product are 2 lines missing each other
![Page 19: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/19.jpg)
Plucker coordinates and intersection
L4 S19
Condition that a bivector B represents a line is
Write
Plucker’s condition
A linear representation of a line, with a non-linear constraint
Suppose we want to intersect the line L with the plane P
![Page 20: Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2015/10/... · Elements of a geometric algebra are called multivectors Space is linear over the scalars. All simple and](https://reader033.vdocument.in/reader033/viewer/2022053013/5f10519d7e708231d44884d0/html5/thumbnails/20.jpg)
Resources
L4 S20
geometry.mrao.cam.ac.uk
@chrisjldoran
#geometricalgebra
github.com/ga