8. Conformal Geometric...
Transcript of 8. Conformal Geometric...
![Page 1: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/1.jpg)
Geometric Algebra
Dr Chris Doran ARM Research
8. Conformal Geometric Algebra
![Page 2: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/2.jpg)
Motivation
L8 S2
• Projective geometry showed that there is considerable value in treating points as vectors
• Key to this is a homogeneous viewpoint where scaling does not change the geometric meaning attached to an object
• We would also like to have a direct interpretation for the inner product of two vectors
• This would be the distance between points • Can we satisfy all of these demands in one
algebra?
![Page 3: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/3.jpg)
Inner product and distance
L8 S3
Suppose X and Y represent points Would like
Quadratic on grounds of units
Immediate consequence:
Represent points with null vectors Borrow this idea from relativity Key idea was missed in 19th century
Also need to consider homogeneity Idea from projective geometry is to introduce a point at infinity:
![Page 4: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/4.jpg)
Inner product and distance
L8 S4
Natural Euclidean definition is
But both X and Y are null, so
As an obvious check, look at the distance to the point at infinity
We have a concept of distance in a homogeneous representation
Need to see if this matches our Euclidean concept of distance.
![Page 5: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/5.jpg)
Origin and coordinates
L8 S5
Pick out a preferred point to represent the origin
Look at the displacement vector
Would like a basis vector containing this, but orthogonal to C
Add back in some amount of n
Get this as our basis vector:
![Page 6: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/6.jpg)
Origin and coordinates
L8 S6
Now have
Write as
is negative Euclidean vector from origin
Historical convention is to write
![Page 7: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/7.jpg)
Is this Euclidean geometry?
L8 S7
Look at the inner product of two Euclidean vectors
Checks out as we require
The inner product is the standard Euclidean inner product
Can introduce an orthonormal basis
![Page 8: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/8.jpg)
Summary of idea
L8 S8
Represent the Euclidean point x by null vectors
Normalised form has
Basis vectors are
Distance is given by the inner product
Null vectors
![Page 9: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/9.jpg)
1D conformal GA
L8 S9
Simple example in 1D
Basis algebra is
NB pseudoscalar squares to +1
![Page 10: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/10.jpg)
Transformations
L8 S10
Any rotor that leaves n invariant must leave distance invariant
Rotations around the origin work simply
Remaining generators that commute with n are of the form
![Page 11: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/11.jpg)
Null generators
L8 S11
Taylor series terminates after two terms
Since
Conformal representation of the translated point
![Page 12: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/12.jpg)
Dilations
L8 S12
Suppose we want to dilate about the origin
Have
Generate this part via a rotor, then use homogeneity
Define
Rotor to perform a dilation
To dilate about an arbitrary point replace origin with conformal representation of the point
![Page 13: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/13.jpg)
Unification
L8 S13
In conformal geometric algebra we can use rotors to perform translations and dilations, as well as rotations
Results proved at one point can be translated and rotated to any point
![Page 14: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/14.jpg)
Geometric primitives
L8 S14
Find that bivectors don’t represent lines. They represent point pairs.
Look at
Point a Point b Point at infinity
Points along the line satisfy
This is the line
![Page 15: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/15.jpg)
Lines as trivectors
L8 S15
Suppose we took any three points, do we still get a line?
Need null vectors in this space
Up to scale find
The outer product of 3 points represents the circle through all 3 points.
Lines are special cases of circles where the circle include the point at infinity
![Page 16: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/16.jpg)
Circles
L8 S16
Everything in the conformal GA is oriented Objects can be rescaled, but you mustn’t change their sign! Important for intersection tests
Radius from magnitude.
Metric quantities in homogenous framework
If the three points lie in a line then
Lines are circles with infinite radius
All related to inversive geometry
![Page 17: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/17.jpg)
4-vectors
L8 S17
4 points define a sphere or a plane
If the points are co-planar find
So P is a plane iff
Note if L is a line and A is a point, the plane formed by the line and the point is
Unit sphere is
Radius of the sphere is
![Page 18: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/18.jpg)
5D representation of 3D space
L8 S18
Object Grade Dimension Interpretation
Scalar 0 1 Scalar values
Vector 1 5 Points (null), dual to spheres and planes.
Bivector 2 10 Point pairs, generators of Euclidean transformations, dilations.
Trivectors 3 10 Lines and circles
4-vectors 4 5 Planes and spheres
Pseudoscalar 5 1 Volume factor, duality generators
![Page 19: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/19.jpg)
Angles and inversion
L8 S19
Angle between two lines that meet at a point or point pair
Works for straight lines and circles!
All rotors leave angles invariant – generate the conformal group
Reflect the conformal vector in e
The is the result of inverting space in the origin.
Can translate to invert about any point – conformal transformations
![Page 20: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/20.jpg)
Reflection
L8 S20
1-2 plane is represented by
In the plane Out of the plane
So if L is a line through the origin
The reflected line is
But we can translate this result around and the formula does not change
Reflects any line in any plane, without finding the point of intersection
![Page 21: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/21.jpg)
Intersection
L8 S21
Use same idea of the meet operator
Duality still provided by the appropriate pseudoscalar (technically needs the join)
Example – 2 lines in a plane
2 points of intersection
1 point of intersection
0 points of intersection
![Page 22: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/22.jpg)
Intersection
L8 S22
Circle / line and sphere / plane
2 points of intersection
1 point of intersection
0 points of intersection
All cases covered in a single application of the geometric product
Orientation tracks which point intersects on way in and way out
In line / plane case, one of the points is at infinity
![Page 23: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/23.jpg)
Intersection
L8 S23
Plane / sphere and a plane / sphere intersect in a line or circle
Norm of L determines whether or not it exists.
If we normalise a plane P and sphere S to -1 can also test for intersection
Sphere above plane
Sphere and plane intersect
Sphere below plane
![Page 24: 8. Conformal Geometric Algebrageometry.mrao.cam.ac.uk/wp-content/uploads/2016/11/GA2016_Lectur… · All related to inversive geometry . 4-vectors L8 S17 4 points define a sphere](https://reader034.fdocuments.in/reader034/viewer/2022050411/5f87ca86daef543c5244280b/html5/thumbnails/24.jpg)
Resources
L8 S24
geometry.mrao.cam.ac.uk [email protected] [email protected] @chrisjldoran #geometricalgebra github.com/ga