PHYSICAL APPLICATIONS OF GEOMETRIC ALGEBRA LECTURE 6
SUMMARY 1. General linear transformations. The Balanced Algebra
.
The doubling bivector in
and null vectors.
General linear transformations and the singular value decomposition. Linear transformations with rotors. 2. Projective geometry. A different use for geometric algebra — points as vectors. The join and meet operations and a new use for duality. Desargues’ Theorem. Homogeneous coordinates and projective bivectors. Invariants and computer vision.
1
T HE B ALANCED A LGEBRA Start with an
-dimensional orthonormal basis ,
Æ . Introduce a second frame :
Æ
Algebra generated by equal ‘balanced’ numbers of vectors with positive and negative square. Labeled
Use for space of vectors . Vectors characterised by
All vectors in square to zero — form a Grassmann algebra. (Quantum field theory and supersymmetry.)
T HEOREM Every non-singular linear function
represented in by a transformation
, can be
where is a geometric product of an even number of unit vectors. Vector in
null vector in . Acted on by
such that
Defines a ‘double-cover’ map between linear functions and multivectors
. Must remain in , so
3
so have
We require , or
L IE A LGEBRA With a product of an even number of unit vectors have
. Subgroup with
are rotors in
Generators are bivectors which commute with . Form
So have
Run through all combinations of . Produce basis
.
Cf. unitary group! Only difference due to signature of underlying space. 4
S INGULAR VALUE D ECOMPOSITION
form symmetric function
From non-singular function
. Has a spectrum of orthonormal eigenvectors and eigenvalues ,
(No sum here.) The are positive:
Only works for Euclidean spaces. Write
and take square root
Define
. Satisfies
so is an orthonormal transformation. ( is the identity.) Have
Linear function
product of a series of dilations (a symmetric
function) followed by orthonormal transformation. 5
For matrices can write matrices and
Å Ë Ê Ë Ê .
are orthonormal
is diagonal. The SVD. Very useful —
important in signal processing and data analysis.
P ROOF OF T HEOREM 1. Rotations. Generated by . Jointly rotate the and by same amount. 2. Reflections. Reflection in generated by unit vector
Take
. Commutes with :
Action on vector
:
since . This is required action. Have so
. Define
not a rotor. Only need these for reflections. 6
3. Dilations
again — constructed from and . Action of rotor on :
Take bivector
A dilation. Vectors perpendicular to commutes with
have image in which
, so unaffected. Completes the proof.
All Lie algebras can be realised as bivector algebras. All matrix operators as geometric products of even number of unit vectors. Can simplify many proofs in linear algebra like this. Yet to be fully exploited.
7
P ROJECTIVE G EOMETRY
Projective Plane
Vectors in 3-d space projected onto a 2-d plane. Points in the plane (
) represented by vectors is a space of one
dimension higher. Magnitude of the vector is unimportant —
and represent same point. Does not mean there is no role for the dot product. Line joining
is result of projecting the plane onto the projective plane. Define the join of the points by join(, )
Bivectors used to represent lines now. Keep taking exterior products to define (projectively) higher dimensional objects. Get condition that lie on a line:
For 3-d problems we need to be in 4-d space. Have 6 8
independent bivectors. Lines described by blades, so
. Commuting blades
non-intersecting lines.
To find intersection of lines, etc. use duality
£
where is the pseudoscalar. In 3-d the dual of a line (a bivector) is a conjugate point (a vector).
interchanges inner
and outer products
any pseudoscalar which spans space of all vectors contained in and . Define the meet by a ‘de Morgan rule’ £ £ £ with dual formed with respect to pseudoscalar of space from vectors in blades and . Example — two lines in a plane. The dual of the meet
has grade 3, work in .
join of two vectors (a bivector). Meet is
a vector — 2 lines meet at a point! Have
£ £
and are bivectors in . 9
D ESARGUES ’ T HEOREM
¼
¼
¼ Two triangles in a plane, points and ¼ ¼ ¼ . The lines
meet at a point if and only if the points all lie on a line. The triangles are then projectively related. 10
D ESARGUES ’ T HEOREM Have lines
with same for ¼ ¼ ¼ in terms of ¼ ¼ ¼ . Two sets of points determine the lines
¼
¼
¼
Two sets of lines determine the points
¼
¼
¼
Three lines meet at a point:
Three points fall on a line:
¼ ¼ ¼ ¼ ¼ ¼
Theorem is proved by the algebraic identity (exercise)
¼ ¼ ¼ ¼
¼ ¼ ¼
where
¼
11
¼ ¼ ¼
H OMOGENEOUS C OORDINATES
Image Plane
Want relationship between coordinates in image plane and 3-d vector.
in a 2-d space. Relate to 3-d algebra by
Choose scale with
, ,
Represent line in 2-d with the bivector
Projective map between bivectors and vectors in a space one dimension lower. Introduce coordinate frame with 12
.
Get
Components are homogeneous coordinates — independent of scale. Often measure these. Map between and is nonlinear in 3-d. Turns into a linear map by
representing points in 3-d with vectors in 4-d! NB.
have negative square. Can get round this. I NVARIANTS
¼
¼
¼
!
"
¼ !¼
"¼
Want to find projective invariants — independent of camera position. Use these to check point matches. Consider 1-d 13
example. Lines defined by project out two sets of points on two different lines. With
unit normal to the line,
have
Invariants formed from ratios of lengths. Form bivector for
,
Need combination which is independent of
#
! !
. Form
Manifestly independent of the chosen projection. For projection of 3-d image onto 2-d camera plane, invariant formed from ratios of trivectors. These are areas in the camera plane. With 5 point matches, vectors produce 5 projected points
Mar 5, 1999 - To find the field equations we must establish covariant forms of the field strength ... The second field equation. .... had quadratic д µ ½. ¾.
Feb 16, 1999 - Same transformation law as for vectors. Very efficient. EXAMPLES. 1. Stationary charges in ¼ frame set up field. Ь ½ · Р¾. Second observer ...
Jan 21, 1999 - In the final section we will start to look at the GA ... (ع¼ is the velocity of the centre of mass.) We need the ... Angular momentum density is ´ ¡ µ.
Feb 9, 1999 - Projective splits for observers. ¯ Handling Lorentz transformations with rotors. ¯ Photons and redshifts. ¯ The structure of the Lorentz group. 1 ...
Feb 4, 1999 - Dot Цwith , get directional derivative in direction. ÐЦ ´Ьµ РС. ¯ ¼. ´Ь · ¯µ ´Ьµ. ¯. ´Ьµ a multivector-valued function of position. Scalar field ´Ьµ ...
Jan 26, 1999 - Complex structures and doubling bivectors. 6. Unitary groups .... Familiar? it is the polar decomposition of a complex number back again.
levels. Expanding to next order get. ÐÐ. С. ´ «µ¾. ¾Т¾. С. ´ «µ. ¾Т. Т. Р· ½. ¿. Binding energy increased slightly, and get dependence on Ð . Lifts degeneracy in ...
Jan 28, 1999 - understanding of the important subject of linear algebra. This ... GA is an index free language. Denote ... Associative so no need for brackets.
Jan 19, 1999 - Now add a third vector ¿. , orthogonal to ½ and ¾ . Generate. 3 independent bivectors. ½ ¾. ¾ ¿. ¿ ½. The expected number of independent ...
formulated as a gauge theory, but thought to be difficult and unnatural. Geometric algebra .... Lamb shift. Dirac equation accounts for fine structure. The hyperfine.
Mar 8, 1999 - symmetric source can be motivated by simple Newtonian ... Combine with symmetry relation. д .... ¾ Ð, not even light can escape â Called.
Particle in a magnetic field. ... Decompose into Pauli basis, then and. Ð. Get multivector equivalent. ½. ¾. ÒР· ¿µ. 2 .... We first write the equation in the form. Ш. ½.
Hamilton introduces his quaternions, which generalize complex numbers. But confusion persists over the status of vectors in his algebra â do ´. µ constitute the.
This property is exploited in the theory of rotations. Having established a complete geometric interpretation for the product of two vectors, we turn to consider the ...
Apr 29, 2009 - Complex numbers. Let i be the pseudoscalar of a plane in Rn. A complex number in the plane is a scalar + bivector: a+ib. Since i2 = â1, GA ...
Page 1. Geometric Algebra Primer. Jaap Suter. March 12, 2003. Page 2 .... practice. . . ...After perusing some of these, the computer scientist may well ... can express any geometric relation or concept. ...... A = (4, 8, 5, 6, 2, 4, 9, 3) â Cl3 we
Mar 12, 2003 - Adopted with great enthusiasm in physics, geometric algebra slowly emerges in computational .... A computer scientist first pointed to geometric algebra as a ...... In Cl4 a bivector takes six scalars, and a trivector takes four scalar
Maxplus scalars and matrices in Scilab. 3. Input-Output Max-Plus Linear Systems. 3.1. Transfer Functions. 3.2. Rational Series. 4. Dynamical Maxplus Linear ...
Formulas and equations. F. Using formulas. 1. Changing the subject of a formula - Higher. 2. Re-arranging symbols. 3. Index notation. 4. Solving equations. 5.
ations. We present results on i) linear algebra, ii) system theory, iii) duality between .... may be called dynamic programming with independent instantaneous costs (c de- ..... Feller, W.: An Introduction to Probability Theory and its Applications.
The types of data required are related to the engineering, social and demographic, ... revolutionized by advanced photogrammetric and computer techniques.Missing: