Geometric algebra

From Free net encyclopedia

Geometric algebra is a Clifford algebra with a geometric interpretation. This makes it useful in a range of physics problems, particularly those that involve rotations, phases or imaginary numbers. Proponents of geometric algebra say that it describes classical mechanics, quantum mechanics, electromagnetic theory and relativity more compactly and intuitively than standard methods do. Special modern applications of geometric algebra are computer vision, biomechanics and robotics, and spaceflight dynamics.

In mathematics, a geometric algebra <math>\mathcal{G}_n(\mathcal{V}_n)</math> is an algebra constructed over a vector space <math>\mathcal V_n</math> in which a geometric product is defined. For all multivectors (the elements of the algebra) <math>\mathbf{A}, \mathbf{B}, \mathbf{C}</math>, the geometric product has the following properties:

  1. Closure
  2. Distributivity over the addition of multivectors:
    • <math>\mathbf{A}(\mathbf{B} + \mathbf{C}) = \mathbf{A}\mathbf{B} + \mathbf{A}\mathbf{C}</math>
    • <math>(\mathbf{A} + \mathbf{B})\mathbf{C} = \mathbf{A}\mathbf{C} + \mathbf{B}\mathbf{C}</math>
  3. Associativity
  4. Unit (scalar) element:
    • <math> 1 \, \mathbf A = \mathbf A </math>
  5. Tensor contraction: for any "vector" (a grade-one element) <math>\mathbf{a}, \mathbf{a}^2</math> is a scalar (real number)
  6. Commutativity of the product by a scalar:
    • <math> \lambda \mathbf A = \mathbf A \lambda </math>

Note that the first two properties are needed to be an algebra. Next two make it an associative, unital algebra.

The distinctive point of this formulation is the natural correspondence between geometric entities and the elements of the associative algebra. This comes from the fact that the geometric product is defined in terms of the dot product and the wedge product of vectors as

<math> \mathbf a \, \mathbf b = \mathbf a \cdot \mathbf b + \mathbf a \wedge \mathbf b </math>

The original vector space <math>\mathcal V</math> is constructed over the real numbers as scalars. From now on, a vector is something in <math>\mathcal V</math> itself. Vectors will be represented by boldface, small case letters.

The definition and the associativity of geometric product entails the concept of the inverse of a vector (or division by vector). Thus, one can easily set and solve vector algebra equations that otherwise would be cumbersome to handle. In addition, one gains a geometric meaning that would be difficult to retrieve, for instance, by using matrices. Although not all the elements of the algebra are invertible, the inversion concept can be extended to multivectors. Geometric algebra allows one to deal with subspaces directly, and manipulate them too. Furthermore, geometric algebra is a coordinate-free formalism.
Geometric objects like <math> \mathbf a \wedge \mathbf b </math> are called bivectors. A bivector can be pictured as a plane segment (a parallelogram, a circle etc.) endowed with orientation. One bivector represents all planar segments with the same magnitude and direction, no matter where they are in the space that contains them. However, once either the vector <math> \mathbf a </math> or <math> \mathbf b </math> is meant to depart from some preferred point (e.g. in problems of Physics), the oriented plane <math> B=\mathbf a \wedge \mathbf b </math> is determined unambiguously.
As a meaningful, though simple, example one can consider a fixed non-zero vector <math> \mathbf v </math>, from a point chosen as the origin, in the usual Euclidean space R3. The set of all vectors <math> \mathbf x \wedge \mathbf v = B </math> , <math> B </math> denoting a given bivector containing <math> \mathbf v </math>, determines a line <math> l </math> parallel to <math> \mathbf v </math>. Since <math> B </math> is a directed area, <math> l </math> is uniquely determined with respect to the chosen origin. The set of all vectors <math> \mathbf x \cdot \mathbf v = s </math>, <math> s </math> denoting a given (real) scalar, determines a plane P orthogonal to <math> \mathbf v </math>. Again, P is uniquely determined with respect to the chosen origin. The two information pieces, <math> B </math> and <math> s </math>, can be set independently of one another. Now, what is (if any) the vector <math> \mathbf y </math> that satisfies the system {<math> \mathbf y \wedge \mathbf v = B </math> , <math> \mathbf y \cdot \mathbf v = s </math>} ? Geometrically, the answer is plain: it is the vector that departs from the origin and arrives at the intersection of <math> l </math> and P. By geometric algebra, even the algebraic answer is simple: <math> \mathbf y \mathbf v = s + B => \mathbf y = (s + B)/ \mathbf v = (s + B) \mathbf v </math>-1, where the inverse of a non-zero vector is expressed by <math> \mathbf z </math>-1 <math> = \mathbf z /(\mathbf z \cdot \mathbf z ) </math>. Note that the division by a vector transforms the multivector <math> s + B </math> into the sum of two vectors. Note also that the structure of the solution does not depend on the chosen origin.

The outer product (the exterior product, or the wedge product) <math>\wedge</math> is defined such that the graded algebra (exterior algebra of Hermann Grassmann) <math>\wedge^n\mathcal{V}_n</math> of multivectors is generated. Multivectors are thus the direct sum of grade k elements (k-vectors), where k ranges from 0 (scalars) to n, the dimension of the original vector space <math>\mathcal V</math>. Multivectors are represented here by boldface caps. Note that scalars and vectors become special cases of multivectors ("0-vectors" and "1-vectors", respectively).

Contents

[edit]

The contraction rule

The connection between Clifford algebras and quadratic forms come from the contraction property. This rule also gives the space a metric defined by the naturally derived inner product. It is to be noted that in geometric algebra in all its generality there is no restriction whatsoever on the value of the scalar, it can very well be negative, even zero (in that case, the possibility of an inner product is ruled out if you require <math>\langle x, x \rangle \ge 0</math>).

The contraction rule can be put in the form:

<math>Q(\mathbf a) = \mathbf a^2 = \epsilon_a {\Vert \mathbf a \Vert}^2</math>

where <math>\Vert \mathbf a \Vert</math> is the modulus of vector a, and <math>\epsilon_a=0, \, \pm1</math> is called the signature of vector a. This is especially useful in the construction of a Minkowski space (the relativity spacetime) through <math> \mathbb{R}_{1,3}</math>. In that context, null-vectors are called "lightlike vectors", vectors with negative signature are called "spacelike vectors" and vectors with positive signature are called "timelike vectors" (these last two denominations are exchanged when using <math>\mathbb{R}_{3,1}</math> instead).

[edit]

Inner and outer product

The usual dot product and cross product of traditional vector algebra (on <math>\mathbb{R}^3</math>) find their places in geometric algebra <math>\mathcal{G}_3</math> as the inner product

<math>\mathbf{a}\cdot\mathbf{b} = \frac{1}{2}(\mathbf{a}\mathbf{b} + \mathbf{b}\mathbf{a})</math>

(which is symmetric) and the outer product

<math>\mathbf{a}\wedge\mathbf{b} = \frac{1}{2}(\mathbf{a}\mathbf{b} - \mathbf{b}\mathbf{a})</math>

with

<math>\mathbf{a}\times\mathbf{b} = -i(\mathbf{a}\wedge\mathbf{b})</math>

(which is antisymmetric). Relevant is the distinction between axial and polar vectors in vector algebra, which is natural in geometric algebra as the mere distinction between vectors and bivectors (elements of grade two). The <math>i</math> here is the unit pseudoscalar of Euclidean 3-space, which establishes a duality between the vectors and the bivectors, and is named so because of the expected property <math>i^2 = -1</math>.

The inner and outer product can be generalized to any dimensional <math>\mathcal G_{p,q,r}</math>; however the cross product is only defined in a 3-dimension space.

Let <math>\mathbf{a},\, \mathbf{A}_{\langle k \rangle}</math> be a vector and a homogeneous multivector of grade k, respectively. Their inner product is then

<math> \mathbf a \cdot \mathbf A_{\langle k \rangle} = {1 \over 2} \, \left ( \mathbf a \, \mathbf A_{\langle k \rangle} + (-1)^{k+1} \, \mathbf{A}_{\langle k \rangle} \, \mathbf{a} \right ) = (-1)^{k+1} \mathbf A_{\langle k \rangle} \cdot \mathbf{a}</math>

and the outer product is

<math> \mathbf a \wedge \mathbf A_{\langle k \rangle} = {1 \over 2} \, \left ( \mathbf a \, \mathbf A_{\langle k \rangle} - (-1)^{k+1} \, \mathbf{A}_{\langle k \rangle} \, \mathbf{a} \right ) = (-1)^{k} \mathbf A_{\langle k \rangle} \wedge \mathbf{a}</math>
[edit]

Applications of geometric algebra

A useful example is <math>\mathbb{R}_{3, 1}</math>, and to generate <math>\mathcal{G}_{3, 1}</math>, an instance of geometric algebra called spacetime algebra by Hestenes. The electromagnetic field tensor, in this context, becomes just a bivector <math>\mathbf{E} + i\mathbf{B}</math> where the imaginary unit is the volume element, giving an example of the geometric reinterpretation of the traditional "tricks".

Boosts in this Lorenzian metric space have the same expression <math>e^{\mathbf{\beta}}</math> as rotation in Euclidean space, where <math>\mathbf{\beta}</math> is of course the bivector generated by the time and the space directions involved, whereas in the Euclidean case it is the bivector generated by the two space directions, strengthening the "analogy" to almost identity.

[edit]

History

David Hestenes et al.'s geometric algebra [H1999] is a reinterpretation of Clifford algebras over the reals (said to be a return to the original name and interpretation intended by William Clifford). A book of the same title by Emil Artin covers the algebra associated with many different "geometries," including affine, projective, symplectic, and orthogonal.

[edit]

References

  • [H1999] David Hestenes: New Foundations for Classical Mechanics (Second Edition). ISBN 0792355148, Kluwer Academic Publishers (1999)
  • Baylis, William (2002). Electrodynamics: A Modern Geometric Approach (2nd ed.). Birkhäuser. ISBN 0-8176-4025-8
  • Chris Doran and Anthony Lasenby. Geometric Algebra for Physicists. Cambridge (2003)
  • W. E. Baylis, editor, Clifford (Geometric) Algebra with Applications to Physics, Mathematics, and Engineering , Birkhäuser, Boston 1996.
  • Bourbaki, Nicolas. "Eléments de Mathématique. Algèbre chap 9. §9 Algèbres de Clifford". Hermann, Paris (1980).
  • D. Hestenes and G. Sobczyk. "Clifford Algebra to Geometric Calculus". D. Reidel, Dordrecht (1984).
[edit]

External links

Retrieved from "http://www.netipedia.com/index.php/Geometric_algebra"