## You are here

Homegeometric algebra

## Primary tabs

# geometric algebra

Geometric algebra is a Clifford algebra which has been used with great success in the modeling of a wide variety of physical phenomena. Clifford algebra is considered a more general algebraic framework than geometric algebra. The primary distinction is that geometric algebra utilizes only real numbers as scalars and to represent magnitudes. The underlying philosophical justification for this is the interpretation that the unit imaginary has geometric significance which naturally arises from the properties of the algebra and the interaction of its various subspaces.

Let ${\cal{V}}^{n}$ be an $n$βdimensional vector space over the real numbers. As with traditional vector algebra, the vector space is spanned by a set of $n$ linearly independent basis vectors. Any vector in this space may be represented by a linear combination of the basis vectors. In the geometric algebra literature, such basis entities are also called *blades*.

Since vectors are one-dimensional directed quantities, they are assigned a *grade* of 1. Scalars are considered to be grade-0 entities. In geometric algebra, there exist higher dimensional analogues to vectors. Two-dimensional directed quantites are termed bivectors and they are grade-2 entites. In general a $k$-dimensional entity is known as a $k$-vector.

The *geometric algebra* ${\cal{G}}_{n}={\cal{G}}({\cal{V}}^{n})$ is a multi-graded algebra similar to Grassmannβs exterior algebra, except that the exterior product is replaced by a more fundamental multiplication operation known as the *geometric product*. In general, the result of the geometric product is a multi-graded object called a *multivector*. A multivector is a linear combination of basis blades.

For vectors $\mathbf{a},\mathbf{b},\mathbf{c}\in{\cal{V}}^{n}$ and real scalars $\alpha,\beta\in\mathbf{R}$, the geometric product satisfies the following axioms:

$\begin{array}[]{lll}\mbox{{associativity:}}&\mathbf{a}(\mathbf{b}\mathbf{c})=(% \mathbf{a}\mathbf{b})\mathbf{c}&\mathbf{a}+(\mathbf{b}+\mathbf{c})=(\mathbf{a}% +\mathbf{b})+\mathbf{c}\\ \mbox{{commutativity:}}&\alpha\beta=\beta\alpha&\alpha+\beta=\beta+\alpha\\ &\alpha\mathbf{b}=\mathbf{b}\alpha&\alpha+\mathbf{b}=\mathbf{b}+\alpha\\ &\mathbf{ab}=\frac{1}{2}(\mathbf{ab}+\mathbf{ba})+\frac{1}{2}(\mathbf{ab}-% \mathbf{ba})&\mathbf{a}+\mathbf{b}=\mathbf{b}+\mathbf{a}\\ \mbox{{distributivity:}}&\mathbf{a}(\mathbf{b}+\mathbf{c})=\mathbf{a}\mathbf{b% }+\mathbf{a}\mathbf{c}&(\mathbf{b}+\mathbf{c})\mathbf{a}=\mathbf{b}\mathbf{a}+% \mathbf{c}\mathbf{a}\\ \mbox{{linearity}}&\alpha(\mathbf{b}+\mathbf{c})=\alpha\mathbf{b}+\alpha% \mathbf{c}=(\mathbf{b}+\mathbf{c})\alpha\\ \mbox{{contraction:}}&\mathbf{a}^{2}=\mathbf{a}\mathbf{a}=\sum_{{i=1}}^{{n}}% \epsilon_{{i}}|\mathbf{a}_{{i}}|^{2}=\alpha&\mbox{where }\epsilon_{{i}}\in\{-1% ,0,1\}\end{array}$ |

Commutativity of scalarβscalar multiplication and vectorβscalar multiplication is symmetric; however, in general, vectorβvector multiplication is not commutative. The order of multiplication of vectors is significant. In particular, for parallel vectors:

$\mathbf{a}\mathbf{b}=\mathbf{b}\mathbf{a}$ |

and for orthogonal vectors:

$\mathbf{a}\mathbf{b}=-\mathbf{b}\mathbf{a}$ |

The parallelism of vectors is encoded as a symmetric property, while orthogonality of vectors is encoded as an antisymmetric property.

The contraction rule specifies that the square of any vector is a scalar equal to the sum of the square of the magnitudes of its components in each basis direction. Depending on the contraction rule for each of the basis directions, the magnitude of the vector may be positive, negative, or zero. A vector with a magnitude of zero is called a *null vector*.

The graded algebra ${\cal{G}}_{{n}}$ generated from ${\cal{V}}^{{n}}$ is defined over a $2^{{n}}$-dimensional linear space. This basis entities for this space can be generated by successive application of the geometric product to the basis vectors of ${\cal{V}}^{{n}}$ until a closed set of basis entities is obtained. The basis entites for the space are known as *blades*. The following multiplication table illustrates the generation of basis blades from the basis vectors $\mathbf{e}_{{1}},\mathbf{e}_{{2}}\in{\cal{V}}^{{n}}$.

$\begin{array}[]{cccc}\epsilon_{{0}}&\mathbf{e}_{{1}}&\mathbf{e}_{{2}}&\mathbf{% e}_{{12}}\\ \mathbf{e}_{{1}}&\epsilon_{{1}}&\mathbf{e}_{{12}}&\epsilon_{{1}}\mathbf{e}_{{2% }}\\ \mathbf{e}_{{2}}&-\mathbf{e}_{{12}}&\epsilon_{{2}}&-\epsilon_{{2}}\mathbf{e}_{% {1}}\\ \mathbf{e}_{{12}}&-\epsilon_{{1}}\mathbf{e}_{{2}}&\epsilon_{{2}}\mathbf{e}_{{1% }}&-\epsilon_{{1}}\epsilon_{{2}}\end{array}$ |

Here, $\epsilon_{{1}}$ and $\epsilon_{{2}}$ represent the contraction rule for $\mathbf{e}_{{1}}$ and $\mathbf{e}_{{2}}$ respectively. Note that the basis vectors of ${\cal{V}}^{{n}}$ become blades themselves in addition to the multiplicative identity, $\epsilon_{{0}}\equiv 1$ and the new *bivector* $\mathbf{e}_{{12}}\equiv\mathbf{e}_{{1}}\mathbf{e}_{{2}}$. As the table demonstrates, this set of basis blades is closed under the geometric product.

The *geometric product* $\mathbf{a}\mathbf{b}$ is related to the inner product $\mathbf{a}\cdot\mathbf{b}$ and the exterior product $\mathbf{a}\wedge\mathbf{b}$ by

$\mathbf{a}\mathbf{b}=\mathbf{a}\cdot\mathbf{b}+\mathbf{a}\wedge\mathbf{b}=% \mathbf{b}\cdot\mathbf{a}-\mathbf{b}\wedge\mathbf{a}=2\mathbf{a}\cdot\mathbf{b% }-\mathbf{b}\mathbf{a}.$ |

In the above example, the result of the inner (dot) product is a scalar (grade-0), while the result of the exterior (wedge) product is a *bivector* (grade-2).

# Bibliography

1. David Hestenes, New Foundations for Classical Mechanics, Kluwer, Dordrecht, 1999

2. David Hestenes, Garret Sobczyk, Clifford Algebra to Geometric Calculus, Kluwer, Dordrecht, 1984

## Mathematics Subject Classification

15A66*no label found*15A75

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

## Corrections

Geometric Algebra by Fernando Sales Mayor β

typo by yark β

Need clarification by CWoo β

not graded by silverfish β