View source for Bivector

{{Short description|Oriented area in geometric algebra}}[[File:Wedge product.JPG|thumb|170px|Parallel plane segments with the same orientation and area corresponding to the same bivector {{nowrap|'''a''' ∧ '''b'''}}.<ref name=Dorst>
{{cite book |first1=Leo |last1=Dorst |first2=Daniel |last2=Fontijne |first3=Stephen |last3=Mann |title=Geometric Algebra for Computer Science: An Object-Oriented Approach to Geometry |url=https://books.google.com/books?id=-1-zRTeCXwgC&pg=PA32 |page=32 |isbn=978-0-12-374942-0 |publisher=Morgan Kaufmann |year=2009 |edition=2nd |quote=The algebraic bivector is not specific on shape; geometrically it is an amount of oriented area in a specific plane, that's all.}}</ref>]]

In [[Mathematics|mathematics]], a '''bivector''' or '''binor''' or '''2-vector''' is a quantity in [[Exterior algebra|exterior algebra]] or [[Geometric algebra|geometric algebra]] that extends the idea of [[Scalar (mathematics)|scalar]]s and [[Euclidean vector|vector]]s. If a scalar is considered a degree-zero quantity, and a vector is a degree-one quantity, then a bivector can be thought of as being of degree two. Bivectors have applications in many areas of mathematics and physics. They are related to [[Complex number|complex number]]s in two dimensions and to both [[Pseudovector|pseudovector]]s and [[Quaternion|quaternion]]s in three dimensions. They can be used to generate [[Rotation (mathematics)|rotation]]s in any number of dimensions, and are a useful tool for classifying such rotations. They are also used in [[Physics:Physics|physics]], tying together a number of otherwise unrelated quantities.

Geometrically, a simple bivector can be interpreted as an '''[[Orientation (geometry)|oriented]] plane segment''', much as [[Euclidean vector|vector]]s can be thought of as ''directed line segments''.<ref name=Hestenes>
{{cite book |title=New foundations for classical mechanics: Fundamental Theories of Physics |first=David |last=Hestenes |url=https://books.google.com/books?id=AlvTCEzSI5wC&pg=PA21 |page=21 |isbn=978-0-7923-5302-7 |edition=2nd |year=1999 |publisher=Springer |}}
</ref> The bivector {{nowrap|'''a''' ∧ '''b'''}} has a [[Magnitude (mathematics)|''magnitude'']] equal to the area of the [[Parallelogram|parallelogram]] with edges '''a''' and '''b''', has the ''orientation'' (or ''attitude'') of the plane spanned by '''a''' and '''b''', and has ''orientation'' being the sense of the rotation that would align '''a''' with '''b'''.<ref name=Hestenes/><ref>{{harvnb|Lounesto|2001|p=33}}</ref> 
<!-- (This may be useful but not needed at the moment) <ref name=Table>
See Table 28.1, p. 403 in {{cite book |title=Clifford (geometric) algebras with applications to physics, mathematics, and engineering |first=B |last=Jancewicz |url=https://books.google.com/books?id=0Nji78YQKfQC&pg=PA403 |editor=William Eric Baylis |isbn=0-8176-3868-7 |year=1996 |publisher=Springer |chapter=§28.3 Forms and pseudoforms}}</ref> -->
In layman terms, any surface is the same bivector, if it has the same area, same orientation, and is parallel to the same plane (see figure).

Bivectors are generated by the exterior product on vectors: given two vectors '''a''' and '''b''', their exterior product {{nowrap|'''a''' ∧ '''b'''}} is a bivector, as is the sum of any bivectors. Not all bivectors can be generated as a single exterior product. More precisely, a bivector that can be expressed as an exterior product is called ''simple''; in up to three dimensions all bivectors are simple, but in higher dimensions this is not the case.<ref name="Lounesto 2001 p. 87" /> The exterior product of two vectors is [[Alternating multilinear map|alternating]], so {{nowrap|'''b''' ∧ '''a'''}} is the negation of the bivector {{nowrap|'''a''' ∧ '''b'''}}, producing the opposite orientation, and {{nowrap|'''a''' ∧ '''a'''}} is the zero bivector.

==History==
The bivector was first defined in 1844 by German mathematician [[Biography:Hermann Grassmann|Hermann Grassmann]] in [[Exterior algebra|exterior algebra]] as the result of the [[Exterior algebra#Formal definitions and algebraic properties|exterior product]] of two vectors. Just the previous year, in Ireland, [[Biography:William Rowan Hamilton|William Rowan Hamilton]] had discovered quaternions. Hamilton coined both ''vector''  and ''bivector'', the latter in his ''Lectures on Quaternions'' (1853) as he  introduced [[Biquaternion|biquaternion]]s which have [[Bivector (complex)|bivector]]s  for their vector parts. It was not until English mathematician [[Biography:William Kingdon Clifford|William Kingdon Clifford]] in 1888 added the geometric product to Grassmann's algebra, incorporating the ideas of both Hamilton and Grassmann, and founded [[Clifford algebra]], that the bivector of this article arose. [[Biography:Henry Forder|Henry Forder]] used the term ''bivector'' to develop exterior algebra in 1941.<ref>{{cite book |first=Henry |last=Forder |year=1941 |url=https://archive.org/details/in.ernet.dli.2015.77536/page/n5/mode/2up?view=theater |title=The Calculus of Extension |page=79 |via=[[Internet Archive]]}}</ref>

In the 1890s [[Biography:Josiah Willard Gibbs|Josiah Willard Gibbs]] and Oliver Heaviside developed [[Vector calculus|vector calculus]], which included separate [[Cross product|cross product]] and [[Dot product|dot product]]s that were derived from quaternion multiplication.<ref name=Rowe>{{cite book
|title=The Emergence of the American Mathematical Research Community, 1876–1900
|url=https://books.google.com/books?id=uMvcfEYr6tsC&pg=PA31
|page=31 ''ff''
|first1=Karen Hunger |last1=Parshall |first2=David E. |last2=Rowe |isbn=978-0-8218-0907-5 |year=1997
|publisher=American Mathematical Society}}</ref><ref name=Farouki>{{cite book
|title=Pythagorean-hodograph curves: algebra and geometry inseparable
|chapter=Chapter 5: Quaternions
|first= Rida T. |last=Farouki
|chapter-url=https://books.google.com/books?id=xg2fBfXUtGgC&pg=PA60
|page= 60 ''ff'' |publisher=Springer
|year=2007 |isbn=978-3-540-73397-3}}</ref><ref name=Britannica>A discussion of quaternions from these years is at:&ndash;{{Cite EB1911|wstitle= Quaternions |volume= 22 |last= McAulay |first= Alexander | pages = 718–723 }}</ref> The success of vector calculus, and of the book ''[[Vector Analysis]]'' by Gibbs and [[Biography:Edwin Bidwell Wilson|Wilson]], had the effect that the insights of Hamilton and Clifford were overlooked for a long time, since much of 20th century mathematics and physics was formulated in vector terms. Gibbs used vectors to fill the role of bivectors in three dimensions, and used [[Bivector (complex)|bivector]] in Hamilton's sense, a use that has sometimes been copied.<ref name=Gibbs>{{cite book
|title=Vector analysis: a text-book for the use of students of mathematics and physics
|first1=Josiah Willard |last1=Gibbs |first2=Edwin Bidwell |last2=Wilson |url=https://archive.org/details/vectoranalysis00gibb_992
|quote=directional ellipse.
|publisher=Yale University Press |year= 1901 |page=[https://archive.org/details/vectoranalysis00gibb_992/page/n462 481]''ff''}}</ref><ref name=Hayes>
{{cite book
|title=Bivectors and waves in mechanics and optics
|first1=Philippe |last1=Boulanger |first2=Michael A. |last2=Hayes |url=https://books.google.com/books?id=QN0Ks3fTPpAC&pg=PR11
|isbn=978-0-412-46460-7
|year=1993
|publisher=Springer}}
</ref><ref name=Wu>
{{cite book
|title=Modern theory of anisotropic elasticity and applications
|editor1-first=Julian J. |editor1-last=Wu |editor2-first=Thomas Chi-tsai |editor2-last=Ting |editor3-first=David M. |editor3-last=Barnett |chapter-url=https://books.google.com/books?id=2fwUdSTN_6gC&q=%22Bivectors+and+inhomogeneous+plane+waves+in+anisotropic+elastic+bodies%22&pg=PA280 |page=280 ''et seq'' |isbn=978-0-89871-289-6
|first1=P.H. |last1=Boulanger  |first2=M. |last2=Hayes
|chapter=Bivectors and inhomogeneous plane waves in anisotropic elastic bodies
|publisher=Society for Industrial and Applied Mathematics (SIAM)
|year=1991
}}</ref>
Today the bivector is largely studied as a topic in [[Geometric algebra|geometric algebra]], a Clifford algebra over [[Real number|real]] or [[Complex number|complex]] [[Vector space|vector space]]s with a [[Quadratic form|quadratic form]]. Its resurgence was led by [[Biography:David Hestenes|David Hestenes]] who, along with others, applied geometric algebra to a range of new applications in [[Physics:Physics|physics]].<ref name=Hestenes3>{{harvnb|Hestenes|1999|p=[https://books.google.com/books?id=AlvTCEzSI5wC&pg=PA61 61]}}</ref>

==Derivation==
For this article the bivector will be considered only in real geometric algebras. This in practice is not much of a restriction, as all useful applications are drawn from such algebras. Also unless otherwise stated, all examples have a [[Physics:Metric tensor#The Euclidean metric|Euclidean metric]] and so a positive-definite [[Quadratic form|quadratic form]].

===Geometric algebra and the geometric product===
The bivector arises from the definition of the [[Geometric algebra#Definition and notation|geometric product]] over a vector space. For vectors '''a''', '''b''' and '''c''', the geometric product on vectors is defined as follows:

;Associativity: <math> (\mathbf{ab})\mathbf{c} = \mathbf{a}(\mathbf{bc}) </math>
;Left and right distributivity: <math>\begin{align}
  \mathbf{a}(\mathbf{b} + \mathbf{c}) &= \mathbf{ab} + \mathbf{ac} \\
  (\mathbf{b} + \mathbf{c})\mathbf{a} &= \mathbf{ba} + \mathbf{ca}
\end{align}</math>
;Contraction: <math>\mathbf{a}^2 = Q(\mathbf{a}) = \varepsilon_\mathbf{a}\left |\mathbf{a}\right|^2</math>{{paragraph}} Where ''Q'' is the quadratic form, |'''a'''| is the [[Norm (mathematics)|magnitude]] of '''a''' and <math>\varepsilon</math><sub>'''a'''</sub> is the [[Metric signature|metric signature]]. For a space with Euclidean metric <math>\varepsilon</math><sub>'''a'''</sub> is 1 so can be omitted, and the contraction condition becomes:{{paragraph}} <math> \mathbf{a}^2 = \left |\mathbf{a}\right|^2</math>

===The scalar product===
From associativity, {{nowrap|'''a'''('''ab''') {{=}} '''a'''<sup>2</sup>'''b'''}}, is a scalar times '''b'''. When '''b''' is not parallel to and hence not a scalar multiple of '''a''', '''ab''' cannot be a scalar. But

:<math>\tfrac{1}{2}(\mathbf{ab} + \mathbf{ba}) = \tfrac{1}{2} \left((\mathbf{a} + \mathbf{b})^2 - \mathbf{a}^2 - \mathbf{b}^2\right)</math>

is a sum of scalars and so a scalar. From the [[Law of cosines|law of cosines]] on the triangle formed by the vectors its value is {{nowrap|{{abs|'''a'''}} {{abs|'''b'''}} cos&nbsp;''θ''}}, where ''θ'' is the angle between the vectors. It is therefore identical to the scalar product between two vectors, and is written the same way,

:<math>\mathbf{a} \cdot \mathbf{b} = \tfrac{1}{2}(\mathbf{ab} + \mathbf{ba}).</math>

It is symmetric, scalar-valued, and can be used to determine the angle between two vectors: in particular if '''a''' and '''b''' are orthogonal the product is zero.

===The exterior product===
Just as the scalar product can be formulated as the symmetric part of the geometric product of another quantity, the exterior product (sometimes known as the "wedge" or "progressive" product) can be formulated as its antisymmetric part:

:<math>\mathbf{a} \wedge \mathbf{b} = \tfrac{1}{2}(\mathbf{ab} - \mathbf{ba})</math>

It is antisymmetric in '''a''' and '''b'''
:<math>\mathbf{b} \wedge \mathbf{a} = \tfrac{1}{2}(\mathbf{ba} - \mathbf{ab})  = -\tfrac{1}{2}(\mathbf{ab} - \mathbf{ba}) = -\mathbf{a} \wedge \mathbf{b}</math>

and by addition:

:<math>\mathbf{a} \cdot \mathbf{b} + \mathbf{a} \wedge \mathbf{b} = \tfrac{1}{2}(\mathbf{ab} + \mathbf{ba}) + \tfrac{1}{2}(\mathbf{ab} - \mathbf{ba}) = \mathbf{ab}</math>

That is, the geometric product is the sum of the symmetric scalar product and alternating exterior product.

To examine the nature of {{nowrap|'''a''' ∧ '''b'''}}, consider the formula
:<math>(\mathbf{a} \cdot \mathbf{b})^2 - (\mathbf{a} \wedge \mathbf{b})^2 = \mathbf{a}^2\mathbf{b}^2,</math>

which using the [[Pythagorean trigonometric identity]] gives the value of {{nowrap|('''a''' ∧ '''b''')<sup>2</sup>}}

:<math>(\mathbf{a} \wedge \mathbf{b})^2 = (\mathbf{a} \cdot \mathbf{b})^2 - \mathbf{a}^2\mathbf{b}^2 = \left|\mathbf{a}\right|^2\left|\mathbf{b}\right|^2( \cos^2 \theta - 1) = -\left|\mathbf{a}\right|^2\left|\mathbf{b}\right|^2\sin^2 \theta</math>

With a negative square it cannot be a scalar or vector quantity, so it is a new sort of object, a '''bivector'''. It has [[Magnitude (mathematics)|magnitude]] {{nowrap|{{abs|'''a'''}} {{abs|'''b'''|}} {{abs|sin&nbsp;''θ''|}}}}, where ''θ'' is the angle between the vectors, and so is zero for parallel vectors.

To distinguish them from vectors, bivectors are written here with bold capitals, for example:

:<math>\mathbf{A} = \mathbf{a} \wedge \mathbf{b} = -\mathbf{b} \wedge \mathbf{a} \,,</math>

although other conventions are used, in particular as vectors and bivectors are both elements of the geometric algebra.

==Properties==

===The space ⋀<sup>2</sup>R<sup>''n''</sup>===
The algebra generated by the geometric product is the [[Geometric algebra|geometric algebra]] over the vector space. For a Euclidean vector space it is written <math>\mathcal{G}_n</math> or Cl<sub>''n''</sub>('''R'''), where ''n'' is the dimension of the vector space '''R'''<sup>''n''</sup>. Cl<sub>''n''</sub>('''R''') is both a vector space and an algebra, generated by all the products between vectors in '''R'''<sup>''n''</sup>, so it contains all vectors and bivectors. More precisely as a vector space it contains the vectors and bivectors as [[Linear subspace|linear subspace]]s, though not [[Subalgebra|subalgebra]]s (since the geometric product of two vectors is not generally another vector). The space of all bivectors is written ⋀<sup>2</sup>'''R'''<sup>''n''</sup>.<ref name="Lounesto 2001 p. 35">{{harvnb|Lounesto|2001|p=35}}</ref>

===The even subalgebra===
The subalgebra generated by the bivectors is the ''even subalgebra'' of the geometric algebra, written Cl{{su|b=''n''|p=+|lh=1em}}('''R'''). This algebra results from considering all products of scalars and bivectors generated by the geometric product. It has dimension {{nowrap|2<sup>''n''−1</sup>}}, and contains ⋀<sup>2</sup>'''R'''<sup>''n''</sup> as a linear subspace with dimension {{nowrap|{{sfrac|1|2}}''n''(''n'' − 1)}} (a [[Triangular number|triangular number]]). In two and three dimensions the even subalgebra contains only scalars and bivectors, and each is of particular interest. In two dimensions the even subalgebra is isomorphic to the [[Complex number|complex number]]s, '''C''', while in three it is isomorphic to the [[Quaternion|quaternion]]s, '''H'''. More generally the even subalgebra can be used to generate [[Rotation (mathematics)|rotation]]s in any dimension, and can be generated by bivectors in the algebra.

===Magnitude===
As noted in the previous section the magnitude of a simple bivector, that is one that is the exterior product of two vectors '''a''' and '''b''', is {{nowrap|{{abs|'''a'''}} {{abs|'''b'''}} sin ''θ''}}, where ''θ'' is the angle between the vectors. It is written {{abs|'''B'''}}, where '''B''' is the bivector.

For general bivectors the magnitude can be calculated by taking the [[Euclidean distance|norm]] of the bivector considered as a vector in the space ⋀<sup>2</sup>'''R'''<sup>''n''</sup>. If the magnitude is zero then all the bivector's components are zero, and the bivector is the zero bivector which as an element of the geometric algebra equals the scalar zero.

===Unit bivectors===
A unit bivector is one with unit magnitude. It can be derived from any non-zero bivector by dividing the bivector by its magnitude, that is

:<math>\frac{\mathbf{B}}{\left|\mathbf{B}\right|}.</math>

Of particular interest are the unit bivectors formed from the products of the [[Standard basis|standard basis]]. If '''e'''<sub>''i''</sub> and '''e'''<sub>''j''</sub> are distinct basis vectors then the product  {{nowrap|'''e'''<sub>''i''</sub> ∧ '''e'''<sub>''j''</sub>}} is a bivector. As the vectors are orthogonal this is just {{not a typo|'''e'''<sub>''i''</sub>'''e'''<sub>''j''</sub>}}, written '''e'''<sub>''ij''</sub>, with unit magnitude as the vectors are [[Unit vector|unit vector]]s. The set of all such bivectors form a basis for ⋀<sup>2</sup>'''R'''<sup>''n''</sup>. For instance in four dimensions the basis for ⋀<sup>2</sup>'''R'''<sup>4</sup> is ('''e'''<sub>1</sub>'''e'''<sub>2</sub>, '''e'''<sub>1</sub>'''e'''<sub>3</sub>, '''e'''<sub>1</sub>'''e'''<sub>4</sub>, '''e'''<sub>2</sub>'''e'''<sub>3</sub>, '''e'''<sub>2</sub>'''e'''<sub>4</sub>, '''e'''<sub>3</sub>'''e'''<sub>4</sub>) or ('''e'''<sub>12</sub>, '''e'''<sub>13</sub>, '''e'''<sub>14</sub>, '''e'''<sub>23</sub>, '''e'''<sub>24</sub>, '''e'''<sub>34</sub>).<ref>{{harvnb|Lounesto|2001|p=86}}</ref>

===Simple bivectors===
The exterior product of two vectors is a bivector, but not all bivectors are exterior products of two vectors. For example, in four dimensions the bivector

:<math>\mathbf{B} = \mathbf{e}_1 \wedge \mathbf{e}_2 + \mathbf{e}_3 \wedge \mathbf{e}_4 = \mathbf{e}_1\mathbf{e}_2 + \mathbf{e}_3\mathbf{e}_4 = \mathbf{e}_{12} + \mathbf{e}_{34}</math>

cannot be written as the exterior product of two vectors. A bivector that can be written as the exterior product of two vectors is simple. In two and three dimensions all bivectors are simple, but not in four or more dimensions; in four dimensions every bivector is the sum of at most two exterior products. A bivector has a real square if and only if it is simple, and only simple bivectors can be represented geometrically by an oriented plane area.<ref name="Lounesto 2001 p. 87">{{harvnb|Lounesto|2001|p=87}}</ref>

===Product of two bivectors===
The geometric product of two bivectors, '''A''' and '''B''', is

:<math>\mathbf{A}\mathbf{B} = \mathbf{A} \cdot \mathbf{B} + \mathbf{A} \times \mathbf{B} + \mathbf{A} \wedge \mathbf{B}.</math>

The quantity {{nowrap|'''A''' · '''B'''}} is the scalar-valued scalar product, while {{nowrap|'''A''' ∧ '''B'''}} is the grade 4 exterior product that arises in four or more dimensions. The quantity {{nowrap|'''A''' × '''B'''}} is the bivector-valued [[Commutator|commutator]] product, given by

:<math>\mathbf{A} \times \mathbf{B} = \tfrac{1}{2}(\mathbf{AB} - \mathbf{BA}),</math><ref name = "HestenesPG">{{cite journal
|title=Projective Geometry with Clifford Algebra
|last1=Hestenes
|first1=David
|last2=Ziegler
|first2=Renatus
|journal=Acta Applicandae Mathematicae
|volume=23
|year=1991
|pages=25–63
|url=http://geocalc.clas.asu.edu/pdf/PGwithCA.pdf
|doi=10.1007/bf00046919
|citeseerx=10.1.1.125.368
|s2cid=1702787
|access-date=2010-01-01
|archive-date=2016-03-03
|archive-url=https://web.archive.org/web/20160303173254/http://geocalc.clas.asu.edu/pdf/PGwithCA.pdf
|url-status=dead
}}</ref>

The space of bivectors ⋀<sup>2</sup>'''R'''<sup>''n''</sup> is a [[Lie algebra]] over '''R''', with the commutator product as the Lie bracket. The full geometric product of bivectors generates the even subalgebra.

Of particular interest is the product of a bivector with itself. As the commutator product is antisymmetric the product simplifies to

:<math>\mathbf{A}\mathbf{A} = \mathbf{A} \cdot \mathbf{A} + \mathbf{A} \wedge \mathbf{A}.</math>

If the bivector is ''simple'' the last term is zero and the product is the scalar-valued {{nowrap|'''A''' · '''A'''}}, which can be used as a check for simplicity. In particular the exterior product of bivectors only exists in four or more dimensions, so all bivectors in two and three dimensions are simple.<ref name="Lounesto 2001 p. 87"/>

=== General bivectors and matrices ===
Bivectors are isomorphic to [[Skew-symmetric matrix|skew-symmetric matrices]]; the general bivector {{nowrap|''B''<sub>23</sub>'''e'''<sub>23</sub> + ''B''<sub>31</sub>'''e'''<sub>31</sub> + ''B''<sub>12</sub>'''e'''<sub>12</sub>}} maps to the matrix

:<math>M_B = \begin{pmatrix} 0 & B_{12} &  -B_{31} \\ -B_{12} & 0 & B_{23}\\ B_{31} & -B_{23} & 0  \end{pmatrix}.</math>

This multiplied by vectors on both sides gives the same vector as the product of a vector and bivector minus the outer product; an example is the [[Angular velocity tensor|angular velocity tensor]].

Skew symmetric matrices generate [[Orthogonal matrix|orthogonal matrices]] with [[Determinant|determinant]] 1 through the exponential map. In particular, the exponent of a bivector associated with a rotation is a [[Rotation matrix|rotation matrix]], that is the rotation matrix ''M''<sub>''R''</sub> given by the above skew-symmetric matrix is

:<math>M_R = e^{M_B}.</math>

The rotation described by ''M''<sub>''R''</sub> is the same as that described by the rotor ''R'' given by

:<math>R = e^{\frac{B}{2}},</math>

and the matrix ''M''<sub>''R''</sub> can be also calculated directly from rotor ''R'':

:<math>M_R = \begin{pmatrix} (R\mathbf{e}_1R^{-1}) \cdot \mathbf{e}_1 & (R\mathbf{e}_2R^{-1}) \cdot \mathbf{e}_1 & (R\mathbf{e}_3R^{-1}) \cdot \mathbf{e}_1 \\ (R\mathbf{e}_1R^{-1}) \cdot \mathbf{e}_2 & (R\mathbf{e}_2R^{-1}) \cdot \mathbf{e}_2 & (R\mathbf{e}_3R^{-1}) \cdot \mathbf{e}_2 \\ (R\mathbf{e}_1R^{-1}) \cdot \mathbf{e}_3 & (R\mathbf{e}_2R^{-1}) \cdot \mathbf{e}_3 & (R\mathbf{e}_3R^{-1}) \cdot \mathbf{e}_3 \end{pmatrix}.</math>

Bivectors are related to the eigenvalues of a rotation matrix. Given a rotation matrix ''M'' the eigenvalues can calculated by solving the [[Characteristic polynomial#Characteristic equation|characteristic equation]] for that matrix {{nowrap|1=0 = det(''M'' − λ''I'')}}. By the [[Fundamental theorem of algebra|fundamental theorem of algebra]] this has three roots (only one of which is real as there is only one eigenvector, i.e., the axis of rotation). The other roots must be a complex conjugate pair. They have unit magnitude so purely imaginary logarithms, equal to the magnitude of the bivector associated with the rotation, which is also the angle of rotation. The eigenvectors associated with the complex eigenvalues are in the plane of the bivector, so the exterior product of two non-parallel eigenvectors results in the bivector (or a multiple thereof).

==Two dimensions==
When working with coordinates in geometric algebra it is usual to write the basis vectors as ('''e'''<sub>1</sub>, '''e'''<sub>2</sub>, ...), a convention that will be used here.

A [[Euclidean vector|vector]] in real two-dimensional space '''R'''<sup>2</sup> can be written {{nowrap|'''a''' {{=}} ''a''<sub>1</sub>'''e'''<sub>1</sub> + ''a''<sub>2</sub>'''e'''<sub>2</sub>}}, where ''a''<sub>1</sub> and ''a''<sub>2</sub> are real numbers, '''e'''<sub>1</sub> and '''e'''<sub>2</sub> are orthonormal basis vectors. The geometric product of two such vectors is

:<math>\begin{align} \mathbf{a}\mathbf{b} &= (a_1\mathbf{e}_1 + a_2\mathbf{e}_2)(b_1\mathbf{e}_1 + b_2\mathbf{e}_2) \\&= a_1b_1\mathbf{e}_1\mathbf{e}_1 + a_1b_2\mathbf{e}_1\mathbf{e}_2 + a_2b_1\mathbf{e}_2\mathbf{e}_1 + a_2b_2\mathbf{e}_2\mathbf{e}_2 \\&= a_1b_1 + a_2b_2 + (a_1b_2 - a_2b_1)\mathbf{e}_1\mathbf{e}_2. \end{align}</math>

This can be split into the symmetric, scalar-valued, scalar product and an antisymmetric, bivector-valued exterior product:

:<math>\begin{align} \mathbf{a} \cdot \mathbf{b} &= a_1b_1 + a_2b_2, \\ \mathbf{a} \wedge \mathbf{b} &= (a_1b_2 - a_2b_1)\mathbf{e}_1\mathbf{e}_2 = (a_1b_2 - a_2b_1)\mathbf{e}_{12}. \end{align}</math>

All bivectors in two dimensions are of this form, that is multiples of the bivector '''e'''<sub>1</sub>'''e'''<sub>2</sub>, written '''e'''<sub>12</sub> to emphasise it is a bivector rather than a vector. The magnitude of '''e'''<sub>12</sub> is 1, with

:<math>\mathbf{e}_{12}^2 = -1,</math>

so it is called the '''unit bivector'''. The term unit bivector can be used in other dimensions but it is only uniquely defined (up to a sign) in two dimensions and all bivectors are multiples of '''e'''<sub>12</sub>. As the highest grade element of the algebra '''e'''<sub>12</sub> is also the pseudoscalar which is given the symbol ''i''.

===Complex numbers===
With the properties of negative square and unit magnitude, the unit bivector can be identified with the [[Imaginary unit|imaginary unit]] from complex numbers. The bivectors and scalars together form the even subalgebra of the geometric algebra, which is isomorphic to the complex numbers '''C'''. The even subalgebra has basis (1, '''e'''<sub>12</sub>), the whole algebra has basis (1, '''e'''<sub>1</sub>, '''e'''<sub>2</sub>, '''e'''<sub>12</sub>).

The complex numbers are usually identified with the [[Cartesian coordinate system|coordinate axes]] and two-dimensional vectors, which would mean associating them with the vector elements of the geometric algebra. There is no contradiction in this, as to get from a general vector to a complex number an axis needs to be identified as the real axis, '''e'''<sub>1</sub> say. This multiplies by all vectors to generate the elements of even subalgebra.

All the properties of complex numbers can be derived from bivectors, but two are of particular interest. First as with complex numbers products of bivectors and so the even subalgebra are commutative. This is only true in two dimensions, so properties of the bivector in two dimensions that depend on commutativity do not usually generalise to higher dimensions.

Second a general bivector can be written

:<math>\theta\mathbf{e}_{12} = i\theta,</math>

where ''θ'' is a real number. Putting this into the [[Taylor series]] for the [[Exponential function|exponential map]] and using the property '''e<sub>12</sub>'''<sup>2</sup> = −1 results in a bivector version of [[Euler's formula]],

:<math>e^{\theta\mathbf{e}_{12}} = e^{i\theta} = \cos{\theta} + i\sin{\theta},</math>

which when multiplied by any vector rotates it through an angle ''θ'' about the origin:

:<math>(x'\mathbf{e}_1 + y'\mathbf{e}_2) = (x\mathbf{e}_1 + y\mathbf{e}_2)e^{i\theta}.</math>

The product of a vector with a bivector in two dimensions is anticommutative, so the following products all generate the same rotation

:<math>\mathbf{v}' = \mathbf{v}e^{i\theta} = e^{-i\theta}\mathbf{v} = e^{\frac{-i\theta}{2}} \mathbf{v}e^{\frac{i\theta}{2}}.</math>

Of these the last product is the one that generalises into higher dimensions. The quantity needed is called a [[Rotor (mathematics)|rotor]] and is given the symbol ''R'', so in two dimensions a rotor that rotates through angle ''θ'' can be written

:<math>R = e^{\frac{-i\theta}{2}} = e^{\frac{-\theta\mathbf{e}_{12}}{2}},</math>

and the rotation it generates is<ref>{{harvnb|Lounesto|2001|p=29}}</ref>

:<math>\mathbf{v}' = R\mathbf{v}R^{-1}.</math>

==Three dimensions==
In three dimensions the geometric product of two vectors is
:<math>\begin{align} \mathbf{ab} &= (a_1\mathbf{e}_1 + a_2\mathbf{e}_2 + a_3\mathbf{e}_3)(b_1\mathbf{e}_1 + b_2\mathbf{e}_2 + b_3\mathbf{e}_3) \\ &= a_1 b_1{\mathbf{e}_1}^2 + a_2 b_2{\mathbf{e}_2}^2 + a_3 b_3{\mathbf{e}_3}^2 + (a_2 b_3 - a_3 b_2)\mathbf{e}_2\mathbf{e}_3  + (a_3 b_1 - a_1 b_3)\mathbf{e}_3\mathbf{e}_1 + (a_1 b_2 - a_2 b_1)\mathbf{e}_1\mathbf{e}_2. \end{align}</math>

This can be split into the symmetric, scalar-valued, scalar product and the antisymmetric, bivector-valued, exterior product:

:<math>\begin{align} \mathbf{a} \cdot \mathbf{b} &= a_1b_1 + a_2b_2 + a_3b_3 \\ \mathbf{a} \wedge \mathbf{b} &= (a_2 b_3 - a_3 b_2)\mathbf{e}_{23} + (a_3 b_1 - a_1 b_3)\mathbf{e}_{31} + (a_1 b_2 - a_2 b_1)\mathbf{e}_{12}. \end{align}</math>

In three dimensions all bivectors are simple and so the result of an exterior product. The unit bivectors '''e'''<sub>23</sub>, '''e'''<sub>31</sub> and '''e'''<sub>12</sub> form a basis for the space of bivectors ⋀<sup>2</sup>'''R'''<sup>3</sup>, which is itself a three-dimensional linear space. So if a general bivector is:

:<math>\mathbf{A} = A_{23}\mathbf{e}_{23} + A_{31}\mathbf{e}_{31} + A_{12}\mathbf{e}_{12},  </math>

they can be added like vectors

:<math>\mathbf{A} + \mathbf{B} = (A_{23} + B_{23})\mathbf{e}_{23} + (A_{31} + B_{31})\mathbf{e}_{31} + (A_{12} + B_{12})\mathbf{e}_{12}.</math>

while when multiplied they produce the following

:<math>\mathbf{A} \mathbf{B} = -A_{23}B_{23} - A_{31}B_{31} - A_{12}B_{12} + (A_{12}B_{31} - A_{31}B_{12})\mathbf{e}_{23} + (A_{23}B_{12} - A_{12}B_{23})\mathbf{e}_{31} + (A_{31}B_{23} - A_{23}B_{31})\mathbf{e}_{12}</math>

which can be split into symmetric scalar and antisymmetric bivector parts as follows

:<math>\begin{align} \mathbf{A} \cdot \mathbf{B} &= -A_{12}B_{12} - A_{31}B_{31} - A_{23}B_{23} \\ \mathbf{A} \times \mathbf{B} &= (A_{23}B_{31} - A_{31}B_{23})\mathbf{e}_{12} + (A_{12}B_{23} - A_{23}B_{12})\mathbf{e}_{13} + (A_{31}B_{12} - A_{12}B_{31})\mathbf{e}_{23}. \end{align}</math>

The exterior product of two bivectors in three dimensions is zero.

A bivector '''B''' can be written as the product of its magnitude and a unit bivector, so writing ''β'' for |'''B'''| and using the Taylor series for the exponential map it can be shown that

:<math>e^\mathbf{B} = e^{\beta\frac{\mathbf{B}}{\beta}} = \cos{\beta} + \frac{\mathbf{B}}{\beta}\sin{\beta}.</math>

This is another version of Euler's formula, but with a general bivector in three dimensions. Unlike in two dimensions bivectors are not commutative so properties that depend on commutativity do not apply in three dimensions. For example, in general {{nowrap|''e''<sup>'''A'''+'''B'''</sup> ≠ ''e''<sup>'''A'''</sup>''e''<sup>'''B'''</sup>}} in three (or more) dimensions.
 
The full geometric algebra in three dimensions, Cl<sub>3</sub>('''R'''), has basis (1, '''e'''<sub>1</sub>, '''e'''<sub>2</sub>, '''e'''<sub>3</sub>, '''e'''<sub>23</sub>, '''e'''<sub>31</sub>, '''e'''<sub>12</sub>, '''e'''<sub>123</sub>). The element '''e'''<sub>123</sub> is a trivector and the [[Pseudoscalar|pseudoscalar]] for the geometry. Bivectors in three dimensions are sometimes identified with [[Pseudovector|pseudovector]]s<ref name=Baylis>

{{cite book |author=William E Baylis |title=Theoretical methods in the physical sciences: an introduction to problem solving using Maple V |url=https://archive.org/details/theoreticalmetho0000bayl |url-access=registration |page=[https://archive.org/details/theoreticalmetho0000bayl/page/234 234], see footnote |isbn=978-0-8176-3715-6 |year=1994 |quote=The terms ''axial vector'' and  ''pseudovector'' are often treated as synonymous, but it is quite useful to be able to distinguish a bivector (...the pseudovector) from its dual (...the axial vector). |publisher=Birkhäuser}}

</ref> to which they are related, as discussed below.

===Quaternions===
Bivectors are not closed under the geometric product, but the even subalgebra is. In three dimensions it consists of all scalar and bivector elements of the geometric algebra, so a general element can be written for example ''a'' + '''A''', where ''a'' is the scalar part and '''A''' is the bivector part. It is written Cl{{su|b=3|p=+|lh=1em}} and has basis (1, '''e'''<sub>23</sub>, '''e'''<sub>31</sub>, '''e'''<sub>12</sub>). The product of two general elements of the even subalgebra is

:<math>(a + \mathbf{A})(b + \mathbf{B}) = ab + a\mathbf{B} + b\mathbf{A} + \mathbf{A} \cdot \mathbf{B} + \mathbf{A} \times \mathbf{B}.</math>

The even subalgebra, that is the algebra consisting of scalars and bivectors, is isomorphic to the [[Quaternion|quaternion]]s, '''H'''. This can be seen by comparing the basis to the quaternion basis, or from the above product which is identical to the quaternion product, except for a change of sign which relates to the negative products in the bivector scalar product {{nowrap|'''A''' · '''B'''}}. Other quaternion properties can be similarly related to or derived from geometric algebra.

This suggests that the usual split of a quaternion into scalar and vector parts would be better represented as a split into scalar and bivector parts; if this is done the quaternion product is merely the geometric product. It also relates quaternions in three dimensions to complex numbers in two, as each is isomorphic to the even subalgebra for the dimension, a relationship that generalises to higher dimensions.

===Rotation vector===
The rotation vector, from the [[Axis–angle representation|axis–angle representation]] of rotations, is a compact way of representing rotations in three dimensions. In its most compact form, it consists of a vector, the product of a [[Unit vector|unit vector]] ''ω'' that is the [[Physics:Axis of rotation|axis of rotation]] with the (signed) [[Angle|angle]] of rotation ''θ'', so that the magnitude of the overall rotation vector ''θω'' equals the (unsigned) rotation angle.

The quaternion associated with the rotation is

:<math>q = \left(\cos\left(\frac{\theta}{2}\right), \omega \sin\left(\frac{\theta}{2}\right)\right)</math>

In geometric algebra the rotation is represented by a bivector. This can be seen in its relation to quaternions.  Let Ω be a unit bivector in the plane of rotation, and let ''θ'' be the [[Angle of rotation|angle of rotation]].  Then the rotation bivector is Ω''θ''.  The quaternion closely corresponds to the exponential of half of the bivector Ω''θ''.  That is, the components of the quaternion correspond to the scalar and bivector parts of the following expression:
<math display="block">e^{\frac{\Omega\theta}{2}} = \cos\left(\frac{\theta}{2}\right) + \Omega\sin\left(\frac{\theta}{2}\right) </math>

The exponential can be defined in terms of its [[Power series|power series]], and easily evaluated using the fact that Ω squared is −1.

So rotations can be represented by bivectors.  Just as quaternions are elements of the geometric algebra, they are related by the exponential map in that algebra.

===Rotors===
The bivector '''Ω'''''θ'' generates a rotation through the exponential map. The even elements generated rotate a general vector in three dimensions in the same way as quaternions: <math display="block">\mathbf{v}' = e^{-\frac{\boldsymbol{\Omega}\theta}{2}}\mathbf{v}e^{\frac{\boldsymbol{\Omega}\theta}{2}}.</math>

As in two dimensions, the quantity ''e''<sup>-'''Ω'''''θ''/2</sup> is called a [[Rotor (mathematics)|rotor]] and written ''R''. The quantity ''e''<sup>'''Ω'''''θ''/2</sup> is then ''R''<sup>−1</sup>, and they generate rotations as <math display = "block">\mathbf{v}' = R\mathbf{v}R^{-1}.</math> This is identical to two dimensions, except here rotors are four-dimensional objects isomorphic to the quaternions. This can be generalised to all dimensions, with rotors, elements of the even subalgebra with unit magnitude, being generated by the exponential map from bivectors. They form a double cover over the rotation group, so the rotors ''R'' and −''R'' represent the same rotation.

===Matrices===
===Axial vectors===
[[File:Angular momentum bivector and pseudovector.svg|275px|thumb|The 3-angular momentum as a bivector (plane element) and axial vector, of a particle of mass ''m'' with instantaneous 3-position '''x''' and 3-momentum '''p'''.]]

The rotation vector is an example of an axial vector. Axial vectors, or pseudovectors, are vectors with the special feature that their coordinates undergo a sign change relative to the usual vectors (also called "polar vectors") under inversion through the origin, reflection in a plane, or other orientation-reversing linear transformation.<ref>In strict mathematical terms, axial vectors are an ''n''-dimensional vector space equipped with the usual structure group GL(''n'','''R'''), but with the nonstandard representation ''A'' → ''A'' det(''A'')/|det(''A'')|.</ref> Examples include quantities like [[Physics:Torque|torque]], [[Physics:Angular momentum|angular momentum]] and vector [[Physics:Magnetic field|magnetic field]]s. Quantities that would use axial vectors in [[Vector algebra|vector algebra]] are properly represented by bivectors in geometric algebra.<ref name=Lasenby>{{cite book |url=https://books.google.com/books?id=6uI7bQb6qJ0C&q=%22dispensing+with+the+traditional+definition+of+angular+momentum%22&pg=PA56 |page=56 |title=Geometric algebra for physicists |author1=Chris Doran |author2=Anthony Lasenby |isbn=978-0-521-48022-2 |year=2003 |publisher=Cambridge University Press}}
</ref>  More precisely, if an underlying orientation is chosen, the axial vectors are naturally identified with the usual vectors; the Hodge dual then gives the isomorphism between axial vectors and bivectors, so each axial vector is associated with a bivector and vice versa; that is

:<math>\mathbf{A} = * \mathbf{a} \,,\quad \mathbf{a} = * \mathbf{A}</math>
where ∗ indicates the Hodge dual. Note that if the underlying orientation is reversed by inversion through the origin, both the identification of the axial vectors with the usual vectors and the Hodge dual change sign, but the bivectors don't budge. Alternately, using the unit pseudoscalar in Cl<sub>3</sub>('''R'''), {{nowrap|1=''i'' = '''e'''<sub>1</sub>'''e'''<sub>2</sub>'''e'''<sub>3</sub>}} gives

:<math>\mathbf{A} = \mathbf{a}i \,,\quad \mathbf{a} = - \mathbf{A} i.</math>

This is easier to use as the product is just the geometric product. But it is antisymmetric because (as in two dimensions) the unit pseudoscalar ''i'' squares to −1, so a negative is needed in one of the products.

This relationship extends to operations like the vector-valued [[Cross product|cross product]] and bivector-valued exterior product, as when written as [[Determinant|determinant]]s they are calculated in the same way:

:<math>\mathbf{a} \times \mathbf{b} = \begin{vmatrix} \mathbf{e}_1 & \mathbf{e}_2 & \mathbf{e}_3\\a_1 & a_2 & a_3\\b_1 & b_2 & b_3 \end{vmatrix} \,,\quad \mathbf{a} \wedge \mathbf{b} = \begin{vmatrix} \mathbf{e}_{23} & \mathbf{e}_{31} & \mathbf{e}_{12}\\a_1 & a_2 & a_3\\b_1 & b_2 & b_3 \end{vmatrix}\,,</math>

so are related by the Hodge dual:

:<math>{* (\mathbf a \wedge \mathbf b )} = \mathbf {a \times b} \,,\quad {* (\mathbf {a \times b} )} = \mathbf a \wedge \mathbf b\,.</math>

Bivectors have a number of advantages over axial vectors. They better disambiguate axial and polar vectors, that is the quantities represented by them, so it is clearer which operations are allowed and what their results are. For example, the inner product of a polar vector and an axial vector resulting from the cross product in the [[Triple product|triple product]] should result in a [[Pseudoscalar|pseudoscalar]], a result which is more obvious if the calculation is framed as the exterior product of a vector and bivector. They generalise to other dimensions; in particular bivectors can be used to describe quantities like torque and angular momentum in two as well as three dimensions.  Also, they closely match geometric intuition in a number of ways, as seen in the next section.<ref>{{harvnb|Lounesto|2001|pp=37–39}}</ref>

===Geometric interpretation===
[[File:Wedge product.JPG|thumb|170px|Parallel plane segments with the same orientation and area corresponding to the same bivector {{nowrap|'''a''' ∧ '''b'''}}.<ref name="Dorst"/>]]

As suggested by their name and that of the algebra, one of the attractions of bivectors is that they have a natural geometric interpretation. This can be described in any dimension but is best done in three where parallels can be drawn with more familiar objects, before being applied to higher dimensions. In two dimensions the geometric interpretation is trivial, as the space is two-dimensional so has only one plane, and all bivectors are associated with it differing only by a scale factor.

All bivectors can be interpreted as [[Plane (geometry)|planes]], or more precisely as directed plane segments. In three dimensions there are three properties of a bivector that can be interpreted geometrically:
* The arrangement of the plane in space, precisely the attitude of the plane (or alternately the [[Rotation (mathematics)|rotation]], [[Orientation (geometry)|geometric orientation]] or [[Gradient|gradient]] of the plane), is associated with the ratio of the bivector components. In particular the three basis bivectors, '''e'''<sub>23</sub>, '''e'''<sub>31</sub> and '''e'''<sub>12</sub>, or scalar multiples of them, are associated with the ''yz''-plane, ''zx''-plane and ''xy''-plane respectively.
* The [[Magnitude (mathematics)|magnitude]] of the bivector is associated with the [[Area|area]] of the plane segment. The area does not have a particular shape so any shape can be used. It can even be represented in other ways, such as by an angular measure. But if the vectors are interpreted as lengths the bivector is usually interpreted as an area with the same units, as follows. 
* Like the direction of a [[Euclidean vector|vector]] a plane associated with a bivector has a direction, a circulation or a sense of rotation in the plane, which takes two values seen as clockwise and counterclockwise when viewed from viewpoint not in the plane. This is associated with a change of sign in the bivector, that is if the direction is reversed the bivector is negated. Alternately if two bivectors have the same attitude and magnitude but opposite directions then one is the negative of the other.
* If imagined as a parallelogram, with the origin for the vectors at 0, then signed area is the [[Determinant#2.C2.A0.C3.97.C2.A02 matrices|determinant]] of the vectors' Cartesian coordinates ({{nowrap|''a''<sub>''x''</sub> ''b''<sub>''y''</sub> − ''b''<sub>''x'' </sub>''a''<sub>''y''</sub>}}).<ref>{{cite video |url=https://www.youtube.com/watch?v=6XghF70fqkY |title=Area and Volume |series=Wild Linear Algebra  |volume=4 |last=Wildberger |first=Norman J. |publisher=University of New South Wales |year=2010 |via=YouTube}}</ref>

[[File:Exterior calc cross product.svg|right|thumb|200px|The cross product {{nowrap|'''a''' × '''b'''}} is orthogonal to the bivector {{nowrap|'''a''' ∧ '''b'''}}.]]

In three dimensions all bivectors can be generated by the exterior product of two vectors. If the bivector {{nowrap|1='''B''' = '''a''' ∧ '''b'''}} then the magnitude of '''B''' is

:<math>|\mathbf{B}| = |\mathbf{a}||\mathbf{b}|\sin\theta,</math>

where ''θ'' is the angle between the vectors. This is the area of the [[Parallelogram|parallelogram]] with edges '''a''' and '''b''', as shown in the diagram. One interpretation is that the area is swept out by '''b''' as it moves along '''a'''. The exterior product is antisymmetric, so reversing the order of '''a''' and '''b''' to make '''a''' move along '''b''' results in a bivector with the opposite direction that is the negative of the first. The plane of bivector {{nowrap|'''a''' ∧ '''b'''}} contains both '''a''' and '''b''' so they are both parallel to the plane.

Bivectors and axial vectors are related by Hodge dual. In a real vector space the Hodge dual relates a subspace to its [[Orthogonal complement|orthogonal complement]], so if a bivector is represented by a plane then the axial vector associated with it is simply the plane's surface normal. The plane has two normals, one on each side, giving the two possible [[Orientation (geometry)|orientation]]s for the plane and bivector.

[[File:Torque animation.gif|thumb|200px|right|Relationship between force '''F''', torque '''τ''', linear momentum '''p''', and angular momentum '''L'''.]]

This relates the [[Cross product|cross product]] to the exterior product. It can also be used to represent physical quantities, like [[Physics:Torque|torque]] and [[Physics:Angular momentum|angular momentum]]. In vector algebra they are usually represented by vectors, perpendicular to the plane of the [[Physics:Force|force]], linear momentum or displacement that they are calculated from. But if a bivector is used instead the plane is the plane of the bivector, so is a more natural way to represent the quantities and the way they act. It also unlike the vector representation generalises into other dimensions.

The product of two bivectors has a geometric interpretation. For non-zero bivectors '''A''' and '''B''' the product can be split into symmetric and antisymmetric parts as follows:

:<math>\mathbf{AB} = \mathbf{A} \cdot \mathbf{B} + \mathbf{A} \times \mathbf{B}.</math>

Like vectors these have magnitudes {{nowrap|1={{abs|'''A''' · '''B'''}} = {{abs|'''A'''}} {{abs|'''B'''}} cos ''θ''}} and {{nowrap|1={{abs|'''A''' × '''B'''}} = {{abs|'''A'''}} {{abs|'''B'''}} sin ''θ''}}, where ''θ'' is the angle between the planes. In three dimensions it is the same as the angle between the normal vectors dual to the planes, and it generalises to some extent in higher dimensions.

[[File:Bivector Sum.svg|thumb|200px|Two bivectors, two of the non-parallel sides of a prism, being added to give a third bivector.<ref name="Lounesto 2001 p. 35"/>]]

Bivectors can be added together as areas. Given two non-zero bivectors '''B''' and '''C''' in three dimensions it is always possible to find a vector that is contained in both, '''a''' say, so the bivectors can be written as exterior products involving '''a''':

:<math>\begin{align}\mathbf{B} &= \mathbf{a} \wedge \mathbf{b}\\ \mathbf{C} &= \mathbf{a} \wedge \mathbf{c}\end{align}</math>

This can be interpreted geometrically as seen in the diagram: the two areas sum to give a third, with the three areas forming faces of a [[Prism (geometry)|prism]] with '''a''', '''b''', '''c''' and {{nowrap|'''b''' + '''c'''}} as edges. This corresponds to the two ways of calculating the area using the distributivity of the exterior product:

:<math>\begin{align} \mathbf{B} + \mathbf{C} &= \mathbf{a} \wedge \mathbf{b} + \mathbf{a} \wedge \mathbf{c} \\ &= \mathbf{a} \wedge (\mathbf{b} + \mathbf{c}).\end{align}</math>

This only works in three dimensions as it is the only dimension where a vector parallel to both bivectors must exist. In higher dimensions bivectors generally are not associated with a single plane, or if they are (simple bivectors) two bivectors may have no vector in common, and so sum to a non-simple bivector.

==Four dimensions==
In four dimensions the basis elements for the space ⋀<sup>2</sup>'''R'''<sup>4</sup> of bivectors are ('''e'''<sub>12</sub>, '''e'''<sub>13</sub>, '''e'''<sub>14</sub>, '''e'''<sub>23</sub>, '''e'''<sub>24</sub>, '''e'''<sub>34</sub>), so a general bivector is of the form

:<math>\mathbf{A} = a_{12}\mathbf{e}_{12} + a_{13}\mathbf{e}_{13} + a_{14}\mathbf{e}_{14} + a_{23}\mathbf{e}_{23} + a_{24}\mathbf{e}_{24} + a_{34}\mathbf{e}_{34}.</math>

===Orthogonality===
In four dimensions the Hodge dual of a bivector is a bivector, and the space ⋀<sup>2</sup>'''R'''<sup>4</sup> is dual to itself. Normal vectors are not unique, instead every plane is orthogonal to all the vectors in its Hodge dual space. This can be used to partition the bivectors into two 'halves', in the following way. We have three pairs of orthogonal bivectors: ('''e'''<sub>12</sub>, '''e'''<sub>34</sub>), ('''e'''<sub>13</sub>, '''e'''<sub>24</sub>) and ('''e'''<sub>14</sub>, '''e'''<sub>23</sub>). There are four distinct ways of picking one bivector from each of the first two pairs, and once these first two are picked their sum yields the third bivector from the other pair. For example,  ('''e'''<sub>12</sub>, '''e'''<sub>13</sub>, '''e'''<sub>14</sub>) and ('''e'''<sub>23</sub>, '''e'''<sub>24</sub>, '''e'''<sub>34</sub>).

===Simple bivectors in 4D===
In four dimensions bivectors are generated by the exterior product of vectors in '''R'''<sup>4</sup>, but with one important difference from '''R'''<sup>3</sup> and '''R'''<sup>2</sup>. In four dimensions not all bivectors are simple. There are bivectors such as {{nowrap|'''e'''<sub>12</sub> + '''e'''<sub>34</sub>}} that cannot be generated by the exterior product of two vectors. This also means they do not have a real, that is scalar, square. In this case

:<math>(\mathbf{e}_{12} + \mathbf{e}_{34})^2 =\mathbf{e}_{12} \mathbf{e}_{12} + \mathbf{e}_{12} \mathbf{e}_{34} + \mathbf{e}_{34} \mathbf{e}_{12} + \mathbf{e}_{34} \mathbf{e}_{34} = -2 + 2 \mathbf{e}_{1234}.</math>

The element '''e'''<sub>1234</sub> is the pseudoscalar in Cl<sub>4</sub>, distinct from the scalar, so the square is non-scalar.

All bivectors in four dimensions can be generated using at most two exterior products and four vectors. The above bivector can be written as

:<math>\mathbf{e}_{12} + \mathbf{e}_{34} = \mathbf{e}_{1} \wedge \mathbf{e}_{2} +  \mathbf{e}_{3} \wedge \mathbf{e}_{4}.</math>

Similarly, every bivector can be written as the sum of two simple bivectors. It is useful to choose two orthogonal bivectors for this, and this is always possible to do. Moreover, for a generic bivector the choice of simple bivectors is unique, that is, there is only one way to decompose into orthogonal bivectors; the only exception is when the two orthogonal bivectors have equal magnitudes (as in the above example): in this case the decomposition is not unique.<ref name="Lounesto 2001 p. 87"/> The decomposition is always unique in the case of simple bivectors, with the added bonus that one of the orthogonal parts is zero.

===Rotations in R<sup>4</sup>===
As in three dimensions bivectors in four dimension generate rotations through the exponential map, and all rotations can be generated this way. As in three dimensions if '''B''' is a bivector then the rotor ''R'' is ''e''<sup>'''B'''/2</sup> and rotations are generated in the same way:

:<math>v' = RvR^{-1}.</math>

[[File:Tesseract.gif|thumb|200px|A 3D projection of a [[Tesseract|tesseract]] performing an isoclinic rotation.]]

The rotations generated are more complex though. They can be categorised as follows:
: ''[[SO(4)#Simple rotations|simple]]'' rotations are those that fix a plane in 4D, and rotate by an angle "about" this plane.
: ''[[SO(4)#Double rotations|double]]'' rotations have only one fixed point, the origin, and rotate through two angles about two orthogonal planes. In general the angles are different and the planes are uniquely specified
: ''[[SO(4)#Isoclinic rotations|isoclinic]]'' rotations are double rotations where the angles of rotation are equal. In this case the planes about which the rotation is taking place are not unique.

These are generated by bivectors in a straightforward way. Simple rotations are generated by simple bivectors, with the fixed plane the dual or orthogonal to the plane of the bivector. The rotation can be said to take place about that plane, in the plane of the bivector. All other bivectors generate double rotations, with the two angles of the rotation equalling the magnitudes of the two simple bivectors the non-simple bivector is composed of. Isoclinic rotations arise when these magnitudes are equal, in which case the decomposition into two simple bivectors is not unique.<ref>{{harvnb|Lounesto|2001|pp=89–90}}</ref>

Bivectors in general do not commute, but one exception is orthogonal bivectors and exponents of them. So if the bivector {{nowrap|'''B''' {{=}} '''B'''<sub>1</sub> + '''B'''<sub>2</sub>}}, where '''B'''<sub>1</sub> and '''B'''<sub>2</sub> are orthogonal simple bivectors, is used to generate a rotation it decomposes into two simple rotations that commute as follows:

:<math>R = e^{\frac{\mathbf{B}_1 + \mathbf{B}_2}{2}} =  e^{\frac{\mathbf{B}_1}{2}}e^{\frac{\mathbf{B}_2}{2}} = e^{\frac{\mathbf{B}_2}{2}}e^{\frac{\mathbf{B}_1}{2}}</math>

It is always possible to do this as all bivectors can be expressed as sums of orthogonal bivectors.

===Spacetime rotations===

[[Physics:Spacetime|Spacetime]] is a mathematical model for our universe used in special relativity. It consists of three [[Euclidean space|space]] dimensions and one [[Physics:Time in physics|time]] dimension combined into a single four-dimensional space. It is naturally described using geometric algebra and bivectors, with the Euclidean metric replaced by a Minkowski metric. That algebra is identical to that of Euclidean space, except the [[Metric signature|signature]] is changed, so

:<math>\mathbf{e}_i^2 = \begin{cases} 1,  & i = 1, 2, 3 \\  -1, & i = 4 \end{cases}</math>

(Note the order and indices above are not universal – here '''e'''<sub>4</sub> is the time-like dimension). The geometric algebra is Cl<sub>3,1</sub>('''R'''), and the subspace of bivectors is ⋀<sup>2</sup>'''R'''<sup>3,1</sup>.

The simple bivectors are of two types. The simple bivectors '''e'''<sub>23</sub>, '''e'''<sub>31</sub> and '''e'''<sub>12</sub> have negative squares and span the bivectors of the three-dimensional subspace corresponding to Euclidean space, '''R'''<sup>3</sup>. These bivectors generate ordinary rotations in '''R'''<sup>3</sup>.

The simple bivectors '''e'''<sub>14</sub>, '''e'''<sub>24</sub> and '''e'''<sub>34</sub> have positive squares and as planes span a space dimension and the time dimension. These also generate rotations through the exponential map, but instead of trigonometric functions, hyperbolic functions are needed, which generates a rotor as follows:

:<math>e^{\frac{\boldsymbol{\Omega}\theta}{2}} = \cosh\left(\frac{\theta}{2}\right) + \boldsymbol{\Omega}\sinh\left(\frac{\theta}{2}\right),</math>

where ''Ω'' is the bivector ('''e'''<sub>14</sub>, etc.), identified via the metric with an antisymmetric linear transformation of '''R'''<sup>3,1</sup>. These are [[Physics:Lorentz transformation#Boost in any direction|Lorentz boost]]s, expressed in a particularly compact way, using the same kind of algebra as in '''R'''<sup>3</sup> and '''R'''<sup>4</sup>.

In general all spacetime rotations are generated from bivectors through the exponential map, that is, a general rotor generated by bivector '''A''' is of the form

:<math>R = e^{\frac{\mathbf{A}}{2}}.</math>

The set of all rotations in spacetime form the [[Lorentz group]], and from them most of the consequences of special relativity can be deduced. More generally this show how transformations in Euclidean space and spacetime can all be described using the same kind of algebra.

===Maxwell's equations===
(Note: in this section traditional 3-vectors are indicated by lines over the symbols and spacetime vector and bivectors by bold symbols, with the vectors '''J''' and '''A''' exceptionally in uppercase)

[[Physics:Maxwell's equations|Maxwell's equations]] are used in physics to describe the relationship between [[Physics:Electric field|electric]] and [[Physics:Magnetic field|magnetic]] fields. Normally given as four differential equations they have a particularly compact form when the fields are expressed as a spacetime bivector from ⋀<sup>2</sup>'''R'''<sup>3,1</sup>. If the electric and magnetic fields in '''R'''<sup>3</sup> are {{overline|''E''}} and {{overline|''B''}} then the ''electromagnetic bivector'' is

:<math>\mathbf{F} = \frac{1}{c}\overline{E}\mathbf{e}_4 + \overline{B}\mathbf{e}_{123},</math>

where '''e'''<sub>4</sub> is again the basis vector for the time-like dimension and ''c'' is the [[Physics:Speed of light|speed of light]]. The product {{overline|''B''}}'''e'''<sub>123</sub> yields the bivector that is Hodge dual to {{overline|''B''}} in three dimensions, as discussed above, while {{overline|''E''}}'''e'''<sub>4</sub> as a product of orthogonal vectors is also bivector-valued. As a whole it is the [[Physics:Electromagnetic tensor|electromagnetic tensor]] expressed more compactly as a bivector, and is used as follows. First it is related to the 4-current '''J''', a vector quantity given by

:<math>\mathbf{J} = \overline{j} + c\rho\mathbf{e}_4,</math>

where {{overline|''j''}} is [[Physics:Current density|current density]] and ''ρ'' is [[Physics:Charge density|charge density]]. They are related by a differential operator ∂, which is

:<math>\partial = \nabla - \mathbf{e}_4\frac{1}{c}\frac{\partial}{\partial t}.</math>

The operator ∇ is a [[Differential operator|differential operator]] in geometric algebra, acting on the space dimensions and given by {{nowrap|1=∇'''M''' = ∇·'''M''' + ∇∧'''M'''}}. When applied to vectors ∇·'''M''' is the [[Divergence|divergence]] and ∇∧'''M''' is the [[Curl (mathematics)|curl]] but with a bivector rather than vector result, that is dual in three dimensions to the curl. For general quantity '''M''' they act as grade lowering and raising differential operators. In particular if '''M''' is a scalar then this operator is just the [[Gradient|gradient]], and it can be thought of as a geometric algebraic [[Del|del]] operator.

Together these can be used to give a particularly compact form for Maxwell's equations with sources:

:<math>\partial\mathbf{F} = \mathbf{J}.</math>

This equation, when decomposed according to geometric algebra, using geometric products which have both grade raising and grade lowering effects, is equivalent to Maxwell's four equations. It is also related to the [[Physics:Electromagnetic four-potential|electromagnetic four-potential]], a vector '''A''' given by

:<math>\mathbf{A} = \overline{A} + \frac{1}{c}V\mathbf{e}_4,</math>

where {{overline|''A''}} is the vector magnetic potential and ''V'' is the electric potential. It is related to the electromagnetic bivector as follows

:<math>\partial\mathbf{A} = -\mathbf{F},</math>

using the same differential operator ∂.<ref>{{harvnb|Lounesto|2001|pp=109–110}}</ref>

==Higher dimensions==
As has been suggested in earlier sections much of geometric algebra generalises well into higher dimensions. The geometric algebra for the real space '''R'''<sup>''n''</sup> is Cl<sub>''n''</sub>('''R'''), and the subspace of bivectors is ⋀<sup>2</sup>'''R'''<sup>''n''</sup>.

The number of simple bivectors needed to form a general bivector rises with the dimension, so for ''n'' odd it is {{nowrap|(''n'' − 1) / 2}}, for ''n'' even it is {{nowrap|''n'' / 2}}. So for four and [[Five-dimensional space|five]] dimensions only two simple bivectors are needed but three are required for [[Six-dimensional space|six]] and [[Seven-dimensional space|seven]] dimensions. For example, in six dimensions with standard basis ('''e'''<sub>1</sub>, '''e'''<sub>2</sub>, '''e'''<sub>3</sub>, '''e'''<sub>4</sub>, '''e'''<sub>5</sub>, '''e'''<sub>6</sub>) the bivector

:<math>\mathbf{e}_{12} + \mathbf{e}_{34} + \mathbf{e}_{56}</math>

is the sum of three simple bivectors but no less. As in four dimensions it is always possible to find orthogonal simple bivectors for this sum.

===Rotations in higher dimensions===
As in three and four dimensions rotors are generated by the exponential map, so

:<math>e^{\frac{\mathbf{B}}{2}}</math>

is the rotor generated by bivector '''B'''. Simple rotations, that take place in a [[Plane of rotation|plane of rotation]] around a fixed [[Blade (geometry)|blade]] of dimension {{nowrap|(''n'' − 2)}} are generated by simple bivectors, while other bivectors generate more complex rotations which can be described in terms of the simple bivectors they are sums of, each related to a plane of rotation. All bivectors can be expressed as the sum of orthogonal and commutative simple bivectors, so rotations can always be decomposed into a set of commutative rotations about the planes associated with these bivectors. The group of the rotors in ''n'' dimensions is the [[Spin group|spin group]], Spin(''n'').

One notable feature, related to the number of simple bivectors and so rotation planes, is that in odd dimensions every rotation has a fixed axis – it is misleading to call it an axis of rotation as in higher dimensions rotations are taking place in multiple planes orthogonal to it. This is related to bivectors, as bivectors in odd dimensions decompose into the same number of bivectors as the even dimension below, so have the same number of planes, but one extra dimension. As each plane generates rotations in two dimensions in odd dimensions there must be one dimension, that is an axis, that is not being rotated.<ref>{{harvnb|Lounesto|2001|p=222}}</ref>

Bivectors are also related to the rotation matrix in ''n'' dimensions. As in three dimensions the [[Characteristic polynomial#Characteristic equation|characteristic equation]] of the matrix can be solved to find the eigenvalues. In odd dimensions this has one real root, with eigenvector the fixed axis, and in even dimensions it has no real roots, so either all or all but one of the roots are complex conjugate pairs. Each pair is associated with a simple component of the bivector associated with the rotation. In particular the log of each pair is ± the magnitude, while eigenvectors generated from the roots are parallel to and so can be used to generate the bivector. In general the eigenvalues and bivectors are unique, and the set of eigenvalues gives the full decomposition into simple bivectors; if roots are repeated then the decomposition of the bivector into simple bivectors is not unique.

==Projective geometry==
Geometric algebra can be applied to [[Projective geometry|projective geometry]] in a straightforward way. The geometric algebra used is {{nowrap|Cl<sub>''n''</sub>('''R'''), ''n'' ≥ 3}}, the algebra of the real vector space '''R'''<sup>''n''</sup>. This is used to describe objects in the [[Real projective space|real projective space]] '''RP'''<sup>''n''−1</sup>. The non-zero vectors in Cl<sub>''n''</sub>('''R''') or '''R'''<sup>''n''</sup> are associated with points in the projective space so vectors that differ only by a scale factor, so their exterior product is zero, map to the same point. Non-zero simple bivectors in ⋀<sup>2</sup>'''R'''<sup>''n''</sup> represent lines in '''RP'''<sup>''n''−1</sup>, with bivectors differing only by a (positive or negative) scale factor representing the same line.

A description of the projective geometry can be constructed in the geometric algebra using basic operations. For example, given two distinct points in '''RP'''<sup>''n''−1</sup> represented by vectors '''a''' and '''b''' the line containing them is given by {{nowrap|'''a''' ∧ '''b'''}} (or {{nowrap|'''b''' ∧ '''a'''}}). Two lines intersect in a point if {{nowrap|'''A''' ∧ '''B''' {{=}} 0}} for their bivectors '''A''' and '''B'''. This point is given by the vector

:<math>\mathbf{p} = \mathbf{A} \lor \mathbf{B} = (\mathbf{A} \times \mathbf{B}) J^{-1}.</math>

The operation "∨" is the meet, which can be defined as above in terms of the join, {{nowrap|''J'' {{=}} '''A''' ∧ '''B'''}} {{clarify|If J = A ∧ B = 0, you can't invert it!|date=January 2016}} for non-zero {{nowrap|'''A''' ∧ '''B'''}}. Using these operations projective geometry can be formulated in terms of geometric algebra. For example, given a third (non-zero) bivector '''C''' the point '''p''' lies on the line given by '''C''' if and only if

:<math>\mathbf{p} \land \mathbf{C} = 0.</math>

So the condition for the lines given by '''A''', '''B''' and '''C''' to be collinear is

:<math>(\mathbf{A} \lor \mathbf{B}) \land \mathbf{C} = 0,</math>

which in Cl<sub>3</sub>('''R''') and '''RP'''<sup>2</sup> simplifies to

:<math>\langle \mathbf{ABC} \rangle = 0,</math>

where the angle brackets denote the scalar part of the geometric product. In the same way all projective space operations can be written in terms of geometric algebra, with bivectors representing general lines in projective space, so the whole geometry can be developed using geometric algebra.<ref name = "HestenesPG" />

===Tensors and matrices===
As noted above a bivector can be written as a skew-symmetric matrix, which through the exponential map generates a rotation matrix that describes the same rotation as the rotor, also generated by the exponential map but applied to the vector. But it is also used with other bivectors such as the [[Angular velocity tensor|angular velocity tensor]] and the [[Physics:Electromagnetic tensor|electromagnetic tensor]], respectively a 3×3 and 4×4 skew-symmetric matrix or tensor.

Real bivectors in ⋀<sup>2</sup>'''R'''<sup>''n''</sup> are isomorphic to ''n''×''n'' skew-symmetric matrices, or alternately to antisymmetric [[Tensor|tensor]]s of degree 2 on '''R'''<sup>''n''</sup>. While bivectors are isomorphic to vectors (via the dual) in three dimensions they can be represented by skew-symmetric matrices in any dimension. This is useful for relating bivectors to problems described by matrices, so they can be re-cast in terms of bivectors, given a geometric interpretation, then often solved more easily or related geometrically to other bivector problems.<ref>{{harvnb|Lounesto|2001|p=193}}</ref>

More generally every real geometric algebra is [[Classification of Clifford algebras#Classification|isomorphic to a matrix algebra]]. These contain bivectors as a subspace, though often in a way which is not especially useful. These matrices are mainly of interest as a way of classifying Clifford algebras.<ref>{{harvnb|Lounesto|2001|p=217}}</ref>

==See also==
*[[Dyadics]]
*[[Multivector]]
*[[Multilinear algebra]]
*[[Vector area|Oriented area]]

==Notes==
{{reflist}}

==General references==
* {{cite book |title=Geometric Algebra for Computer Science: An Object-Oriented Approach to Geometry |chapter=§ 2.3.3 Visualizing bivectors |page= 31 ''ff'' |author1=Leo Dorst |author2=Daniel Fontijne |author3=Stephen Mann |chapter-url=https://books.google.com/books?id=-1-zRTeCXwgC&pg=PA31 |isbn=978-0-12-374942-0 |year=2009 |publisher=Morgan Kaufmann |edition=2nd}}
* {{cite book
| last=Whitney
| first=Hassler
| title=Geometric Integration Theory
| publisher=Princeton University Press
| location=Princeton
| isbn=978-0-486-44583-0
| year=1957}}

* {{cite book
| last=Lounesto
| first=Pertti
| title=Clifford algebras and spinors
| url=https://books.google.com/books?id=kOsybQWDK4oC
| publisher={{wipe|Cambridge University Press}}
| location=Cambridge
| isbn=978-0-521-00551-7
| year=2001

* {{cite book
|author1=Chris Doran  |author2=Anthony Lasenby
 |name-list-style=amp | title=Geometric Algebra for Physicists
| chapter=§ 1.6 The outer product
| chapter-url = https://books.google.com/books?id=nZ6MsVIdt88C&pg=PA11
| publisher={{wipe|Cambridge University Press}}
| page=11 ''et seq''
| location=Cambridge 
| isbn=978-0-521-71595-9
| year=2003
}}

{{Linear algebra}}

[[Category:Clifford algebras|*]]
[[Category:Geometric algebra]]
[[Category:Multilinear algebra]]
[[Category:Vector calculus]]
[[Category:Tensors]]

{{Sourceattribution|Bivector}}