Multivector

The exterior product (also called the wedge product) used to construct multivectors is multilinear (linear in each input), associative and alternating. This means for vectors u, v and w in a vector space V and for scalars α, β, the exterior product has the properties: • Linear in an input: \mathbf{u}\wedge(\alpha\mathbf{v}+\beta\mathbf{w})=\alpha\mathbf{u}\wedge\mathbf{v}+\beta\mathbf{u}\wedge\mathbf{w}; • Associative: (\mathbf{u}\wedge\mathbf{v})\wedge\mathbf{w}=\mathbf{u}\wedge(\mathbf{v}\wedge\mathbf{w}); • Alternating: \mathbf{u}\wedge\mathbf{u}=0. The exterior product of k vectors or a sum of such products (for a single k) is called a grade k multivector, or a k-vector. The maximum grade of a multivector is the dimension of the vector space V. Linearity in either input together with the alternating property implies linearity in the other input. The multilinearity of the exterior product allows a multivector to be expressed as a linear combination of exterior products of basis vectors of V. The exterior product of k basis vectors of V is the standard way of constructing each basis element for the space of k-vectors, which has dimension () in the exterior algebra of an n-dimensional vector space. ==Area and volume==

The k-vector obtained from the exterior product of k separate vectors in an n-dimensional space has components that define the projected -volumes of the k-parallelotope spanned by the vectors. The square root of the sum of the squares of these components defines the volume of the k-parallelotope. The following examples show that a bivector in two dimensions measures the area of a parallelogram, and the magnitude of a bivector in three dimensions also measures the area of a parallelogram. Similarly, a three-vector in three dimensions measures the volume of a parallelepiped. It is easy to check that the magnitude of a three-vector in four dimensions measures the volume of the parallelepiped spanned by these vectors. Multivectors in R2 Properties of multivectors can be seen by considering the two-dimensional vector space . Let the basis vectors be e1 and e2, so u and v are given by : \mathbf{u}=u_1\mathbf{e}_1+u_2\mathbf{e}_2,\quad \mathbf{v}=v_1\mathbf{e}_1+v_2\mathbf{e}_2, and the multivector , also called a bivector, is computed to be : \mathbf{u} \wedge \mathbf{v} \ =\ \begin{vmatrix} u_1 & v_1 \\ u_2 & v_2\end{vmatrix}\ ( \mathbf{e}_1\wedge\mathbf{e}_2). The vertical bars denote the determinant of the matrix, which is the area of the parallelogram spanned by the vectors u and v. The magnitude of is the area of this parallelogram. Notice that because V has dimension two the basis bivector is the only multivector in ΛV. The relationship between the magnitude of a multivector and the area or volume spanned by the vectors is an important feature in all dimensions. Furthermore, the linear functional version of a multivector that computes this volume is known as a differential form. Multivectors in R3 More features of multivectors can be seen by considering the three-dimensional vector space . In this case, let the basis vectors be e1, e2, and e3, so u, v and w are given by :\begin{align} \mathbf{u} &= u_1\mathbf{e}_1 + u_2\mathbf{e}_2 + u_3\mathbf{e}_3, & \mathbf{v} &= v_1\mathbf{e}_1 + v_2\mathbf{e}_2 + v_3\mathbf{e}_3, & \mathbf{w} &= w_1\mathbf{e}_1 + w_2\mathbf{e}_2 + w_3\mathbf{e}_3, \end{align} and the bivector is computed to be : \mathbf{u} \wedge \mathbf{v} \ =\ \begin{vmatrix} u_2 & v_2 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_2\wedge\mathbf{e}_3\right) + \begin{vmatrix} u_1 & v_1 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_3\right) + \begin{vmatrix} u_1 & v_1 \\ u_2 & v_2\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_2\right). The components of this bivector are the same as the components of the cross product. The magnitude of this bivector is the square root of the sum of the squares of its components. This shows that the magnitude of the bivector is the area of the parallelogram spanned by the vectors u and v as it lies in the three-dimensional space V. The components of the bivector are the projected areas of the parallelogram on each of the three coordinate planes. Notice that because V has dimension three, there is one basis three-vector in ΛV. Compute the three-vector : \mathbf{u}\wedge\mathbf{v}\wedge\mathbf{w}\ =\ \begin{vmatrix} u_1 & v_1 & w_1\\ u_2 & v_2 & w_2\\ u_3 & v_3 & w_3\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_2\wedge\mathbf{e}_3\right). \begin{align} &\mathbf{u}\wedge\mathbf{v}\wedge\mathbf{w} = (\mathbf{u}\wedge\mathbf{v})\wedge\mathbf{w} \\ {}={} &\left(\begin{vmatrix} u_2 & v_2 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_2\wedge\mathbf{e}_3\right) + \begin{vmatrix} u_1 & v_1 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_3\right) + \begin{vmatrix} u_1 & v_1 \\ u_2 & v_2\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_2\right) \right) \wedge \left(w_1\mathbf{e}_1 + w_2\mathbf{e}_2 + w_3\mathbf{e}_3\right) \\ {}={} &\begin{vmatrix} u_2 & v_2 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_2\wedge\mathbf{e}_3\right) \wedge \left(w_1\mathbf{e}_1 + w_2\mathbf{e}_2 + w_3\mathbf{e}_3\right) \\ &{}+ \begin{vmatrix} u_1 & v_1 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_3\right) \wedge \left(w_1\mathbf{e}_1 + w_2\mathbf{e}_2 + w_3\mathbf{e}_3\right) \\ &{}+ \begin{vmatrix} u_1 & v_1 \\ u_2 & v_2\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_2\right) \wedge \left(w_1\mathbf{e}_1 + w_2\mathbf{e}_2 + w_3\mathbf{e}_3\right) \\ {}={} & \begin{vmatrix} u_2 & v_2 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_2\wedge\mathbf{e}_3\right) \wedge w_1\mathbf{e}_1 + \cancel{\begin{vmatrix} u_2 & v_2 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_2\wedge\mathbf{e}_3\right) \wedge w_2\mathbf{e}_2} + \cancel{\begin{vmatrix} u_2 & v_2 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_2\wedge\mathbf{e}_3\right) \wedge w_3\mathbf{e}_3} & &\mathbf{e}_2 \wedge \mathbf{e}_2 = 0; \mathbf{e}_3 \wedge \mathbf{e}_3 = 0 \\ &{}+ \cancel{\begin{vmatrix} u_1 & v_1 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_3\right) \wedge w_1\mathbf{e}_1} + \begin{vmatrix} u_1 & v_1 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_3\right) \wedge w_2\mathbf{e}_2 + \cancel{\begin{vmatrix} u_1 & v_1 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_3\right) \wedge w_3\mathbf{e}_3} & &\mathbf{e}_1 \wedge \mathbf{e}_1 = 0; \mathbf{e}_3 \wedge \mathbf{e}_3 = 0 \\ &{}+ \cancel{\begin{vmatrix} u_1 & v_1 \\ u_2 & v_2\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_2\right) \wedge w_1\mathbf{e}_1} + \cancel{\begin{vmatrix} u_1 & v_1 \\ u_2 & v_2\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_2\right) \wedge w_2\mathbf{e}_2} + \begin{vmatrix} u_1 & v_1 \\ u_2 & v_2\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_2\right) \wedge w_3\mathbf{e}_3 & &\mathbf{e}_1 \wedge \mathbf{e}_1 = 0; \mathbf{e}_2 \wedge \mathbf{e}_2 = 0 \\ {}={} &\begin{vmatrix} u_2 & v_2 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_2\wedge\mathbf{e}_3\right) \wedge w_1\mathbf{e}_1 + \begin{vmatrix} u_1 & v_1 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_3\right) \wedge w_2\mathbf{e}_2 + \begin{vmatrix} u_1 & v_1 \\ u_2 & v_2\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_2\right) \wedge w_3\mathbf{e}_3 \\ {}={} &-w_1 \begin{vmatrix} u_2 & v_2 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_2\wedge\mathbf{e}_1\wedge\mathbf{e}_3\right) - w_2 \begin{vmatrix} u_1 & v_1 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_2\wedge\mathbf{e}_3\right) + w_3 \begin{vmatrix} u_1 & v_1 \\ u_2 & v_2\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_2\wedge\mathbf{e}_3\right) \\ {}={} &w_1 \begin{vmatrix} u_2 & v_2 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_2\wedge\mathbf{e}_3\right) - w_2 \begin{vmatrix} u_1 & v_1 \\ u_3 & v_3\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_2\wedge\mathbf{e}_3\right) + w_3 \begin{vmatrix} u_1 & v_1 \\ u_2 & v_2\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_2\wedge\mathbf{e}_3\right) \\ {}={} &\left(w_1 \begin{vmatrix} u_2 & v_2 \\ u_3 & v_3\end{vmatrix} - w_2 \begin{vmatrix} u_1 & v_1 \\ u_3 & v_3\end{vmatrix} + w_3 \begin{vmatrix} u_1 & v_1 \\ u_2 & v_2\end{vmatrix} \right) \left(\mathbf{e}_1\wedge\mathbf{e}_2\wedge\mathbf{e}_3\right) \\ {}={} &\begin{vmatrix} u_1 & v_1 & w_1\\ u_2 & v_2 & w_2\\ u_3 & v_3 & w_3\end{vmatrix} \left(\mathbf{e}_1\wedge\mathbf{e}_2\wedge\mathbf{e}_3\right) \\ \end{align} This shows that the magnitude of the three-vector is the volume of the parallelepiped spanned by the three vectors u, v and w. In higher-dimensional spaces, the component three-vectors are projections of the volume of a parallelepiped onto the coordinate three-spaces, and the magnitude of the three-vector is the volume of the parallelepiped as it sits in the higher-dimensional space. ==Grassmann coordinates==

In this section, we consider multivectors on a projective space Pn, which provide a convenient set of coordinates for lines, planes and hyperplanes that have properties similar to the homogeneous coordinates of points, called Grassmann coordinates. Points in a real projective space Pn are defined to be lines through the origin of the vector space Rn+1. For example, the projective plane P2 is the set of lines through the origin of R3. Thus, multivectors defined on Rn+1 can be viewed as multivectors on Pn. A convenient way to view a multivector on Pn is to examine it in an affine component of Pn, which is the intersection of the lines through the origin of Rn+1 with a selected hyperplane, such as . Lines through the origin of R3 intersect the plane to define an affine version of the projective plane that only lacks the points for which , called the points at infinity. Multivectors on the projective plane P2 Points in the affine component of the projective plane P2 have coordinates . A linear combination of two points and defines a plane in R3 that intersects E in the line joining p and q. The multivector defines a parallelogram in R3 given by : \mathbf{p} \wedge \mathbf{q} \ =\ (p_2 - q_2)(\mathbf{e}_2\wedge\mathbf{e}_3) + (p_1- q_1) (\mathbf{e}_1\wedge\mathbf{e}_3) +(p_1 q_2- q_1 p_2)(\mathbf{e}_1\wedge\mathbf{e}_2). Notice that substitution of for p multiplies this multivector by a constant. Therefore, the components of are homogeneous coordinates for the plane through the origin of R3. The set of points on the line through p and q is the intersection of the plane defined by with the plane . These points satisfy , that is, : \mathbf{x}\wedge\mathbf{p} \wedge \mathbf{q} \ =\ (x\mathbf{e}_1+y\mathbf{e}_2+\mathbf{e}_3)\wedge \big( (p_2 - q_2)(\mathbf{e}_2\wedge\mathbf{e}_3) + (p_1- q_1) (\mathbf{e}_1\wedge\mathbf{e}_3) +(p_1 q_2- q_1 p_2)(\mathbf{e}_1\wedge\mathbf{e}_2)\big)=0, which simplifies to the equation of a line : \lambda: x(p_2 - q_2) + y(p_1- q_1)+ (p_1 q_2- q_1 p_2)=0. This equation is satisfied by points for real values of α and β. The three components of that define the line λ are called the Grassmann coordinates of the line. Because three homogeneous coordinates define both a point and a line, the geometry of points is said to be dual to the geometry of lines in the projective plane. This is called the principle of duality. Multivectors on projective 3-space P3 Three-dimensional projective space P3 consists of all lines through the origin of R4. Let the three-dimensional hyperplane, , be the affine component of projective space defined by the points . The multivector defines a parallelepiped in R4 given by :\mathbf{p}\wedge\mathbf{q}\wedge\mathbf{r}=\begin{vmatrix} p_2 & q_2 &r_2\\ p_3 & q_3& r_3\\1&1&1\end{vmatrix}\mathbf{e}_2\wedge\mathbf{e}_3\wedge\mathbf{e}_4 + \begin{vmatrix} p_1 & q_1 &r_1\\ p_3 & q_3& r_3\\1&1&1\end{vmatrix}\mathbf{e}_1\wedge\mathbf{e}_3\wedge\mathbf{e}_4 + \begin{vmatrix} p_1 & q_1 &r_1\\ p_2 & q_2& r_2\\1&1&1\end{vmatrix}\mathbf{e}_1\wedge\mathbf{e}_2\wedge\mathbf{e}_4 + \begin{vmatrix} p_1 & q_1 &r_1\\ p_2 & q_2& r_2\\ p_3 & q_3& r_3\end{vmatrix} \mathbf{e}_1\wedge\mathbf{e}_2\wedge\mathbf{e}_3. Notice that substitution of for p multiplies this multivector by a constant. Therefore, the components of are homogeneous coordinates for the 3-space through the origin of R4. A plane in the affine component is the set of points in the intersection of H with the 3-space defined by . These points satisfy , that is, : \mathbf{x}\wedge\mathbf{p} \wedge \mathbf{q}\wedge\mathbf{r} = (x\mathbf{e}_1+y\mathbf{e}_2+z\mathbf{e}_3 +\mathbf{e}_4)\wedge \mathbf{p}\wedge\mathbf{q}\wedge\mathbf{r} = 0 , which simplifies to the equation of a plane : \lambda: x\begin{vmatrix} p_2 & q_2 &r_2\\ p_3 & q_3& r_3\\1&1&1\end{vmatrix} + y \begin{vmatrix} p_1 & q_1 &r_1\\ p_3 & q_3& r_3\\1&1&1\end{vmatrix}+ z\begin{vmatrix} p_1 & q_1 &r_1\\ p_2 & q_2& r_2\\1&1&1\end{vmatrix}+ \begin{vmatrix} p_1 & q_1 &r_1\\ p_2 & q_2& r_2\\ p_3 & q_3& r_3\end{vmatrix} =0. This equation is satisfied by points for real values of α, β and γ. The four components of that define the plane λ are called the Grassmann coordinates of the plane. Because four homogeneous coordinates define both a point and a plane in projective space, the geometry of points is dual to the geometry of planes. A line as the join of two points: In projective space the line λ through two points p and q can be viewed as the intersection of the affine space with the plane in R4. The multivector provides homogeneous coordinates for the line :\begin{align} \lambda: \mathbf{p} \wedge \mathbf{q} &= (p_1\mathbf{e}_1+p_2\mathbf{e}_2+p_3\mathbf{e}_3 +\mathbf{e}_4)\wedge (q_1\mathbf{e}_1+q_2\mathbf{e}_2+q_3\mathbf{e}_3 +\mathbf{e}_4),\\ & =\begin{vmatrix} p_1 & q_1\\ 1 & 1 \end{vmatrix}\mathbf{e}_1\wedge\mathbf{e}_4 + \begin{vmatrix} p_2 & q_2\\ 1 & 1 \end{vmatrix}\mathbf{e}_2\wedge\mathbf{e}_4 + \begin{vmatrix} p_3 & q_3\\ 1 & 1 \end{vmatrix}\mathbf{e}_3\wedge\mathbf{e}_4 \\ &+ \begin{vmatrix} p_2 & q_2\\ p_3 & q_3 \end{vmatrix}\mathbf{e}_2\wedge\mathbf{e}_3 + \begin{vmatrix} p_3 & q_3\\ p_1 & q_1 \end{vmatrix}\mathbf{e}_3\wedge\mathbf{e}_1+ \begin{vmatrix} p_1 & q_1\\ p_2 & q_2\end{vmatrix}\mathbf{e}_1\wedge\mathbf{e}_2.\end{align} These are known as the Plücker coordinates of the line, though they are also an example of Grassmann coordinates. A line as the intersection of two planes: A line μ in projective space can also be defined as the set of points x that form the intersection of two planes π and ρ defined by grade three multivectors, so the points x are the solutions to the linear equations : \mu: \mathbf{x}\wedge \pi = 0, \mathbf{x}\wedge \rho = 0. In order to obtain the Plucker coordinates of the line μ, map the multivectors π and ρ to their dual point coordinates using the right complement, denoted by an overline, as in : \mathbf{e}_1 = \overline{\mathbf{e}_2\wedge\mathbf{e}_3\wedge\mathbf{e}_4}, \quad \mathbf{e}_2 = \overline{\mathbf{e}_3\wedge\mathbf{e}_1\wedge\mathbf{e}_4}, \quad \mathbf{e}_3 = \overline{\mathbf{e}_1\wedge\mathbf{e}_2\wedge\mathbf{e}_4}, \quad \mathbf{e}_4 = \overline{\mathbf{e}_1\wedge\mathbf{e}_2\wedge\mathbf{e}_3}, then : \overline\pi = \pi_1\mathbf{e}_1 + \pi_2\mathbf{e}_2 + \pi_3\mathbf{e}_3 + \pi_4\mathbf{e}_4, \quad \overline\rho = \rho_1\mathbf{e}_1 + \rho_2\mathbf{e}_2 + \rho_3\mathbf{e}_3 + \rho_4\mathbf{e}_4 . So, the Plücker coordinates of the line μ are given by :\begin{align} \mu: \underline{\overline\pi\wedge\overline\rho} &= \begin{vmatrix} \pi_1 & \rho_1\\ \pi_4 & \rho_4 \end{vmatrix}\mathbf{e}_2\wedge\mathbf{e}_3 + \begin{vmatrix} \pi_2 & \rho_2\\ \pi_4 & \rho_4 \end{vmatrix}\mathbf{e}_3\wedge\mathbf{e}_1 + \begin{vmatrix} \pi_3 & \rho_3\\ \pi_4 & \rho_4\end{vmatrix}\mathbf{e}_1\wedge\mathbf{e}_2 \\ &+ \begin{vmatrix} \pi_2 & \rho_2\\ \pi_3 & \rho_3\end{vmatrix}\mathbf{e}_1\wedge\mathbf{e}_4 + \begin{vmatrix} \pi_3 & \rho_3\\ \pi_1 & \rho_1\end{vmatrix}\mathbf{e}_2\wedge\mathbf{e}_4 + \begin{vmatrix} \pi_1 & \rho_1\\ \pi_2 & \rho_2\end{vmatrix}\mathbf{e}_3\wedge\mathbf{e}_4,\end{align} where the underline denotes the left complement. The left complement of the wedge product of right complements is called the antiwedge product, denoted by a downward pointing wedge, allowing us to write \mu = \pi \vee \rho. ==Clifford product==

W. K. Clifford combined multivectors with the inner product defined on the vector space, in order to obtain a general construction for hypercomplex numbers that includes the usual complex numbers and Hamilton's quaternions. The Clifford product between two vectors u and v is bilinear and associative like the exterior product, and has the additional property that the multivector uv is coupled to the inner product by Clifford's relation, : \mathbf{u}\mathbf{v} + \mathbf{v}\mathbf{u} = 2\mathbf{u}\cdot\mathbf{v}. Clifford's relation retains the anticommuting property for vectors that are perpendicular. This can be seen from the mutually orthogonal unit vectors in Rn: Clifford's relation yields : \mathbf{e}_i\mathbf{e}_j + \mathbf{e}_j\mathbf{e}_i = 2\mathbf{e}_i\cdot\mathbf{e}_j = \delta_{i,j} , which shows that the basis vectors mutually anticommute, : \mathbf{e}_i\mathbf{e}_j = - \mathbf{e}_j\mathbf{e}_i, \quad i\neq j = 1, \ldots, n. In contrast to the exterior product, the Clifford product of a vector with itself is not zero. To see this, compute the product : \mathbf{e}_i\mathbf{e}_i + \mathbf{e}_i\mathbf{e}_i = 2 \mathbf{e}_i\cdot\mathbf{e}_i = 2, which yields : \mathbf{e}_i\mathbf{e}_i = 1,\quad i=1,\ldots, n. The set of multivectors constructed using Clifford's product yields an associative algebra known as a Clifford algebra. Inner products with different properties can be used to construct different Clifford algebras. ==Geometric algebra==

The term k-blade was used in Clifford Algebra to Geometric Calculus (1984) Multivectors play a central role in the mathematical formulation of physics known as geometric algebra. According to David Hestenes, :[Non-scalar] k-vectors are sometimes called k-blades or, merely blades, to emphasize the fact that, in contrast to 0-vectors (scalars), they have "directional properties". In 2003 the term blade for a multivector that can be written as the exterior product of [a scalar and] a set of vectors was used by C. Doran and A. Lasenby. Here, by the statement "Any multivector can be expressed as the sum of blades", scalars are implicitly defined as 0-blades. In geometric algebra, a multivector is defined to be the sum of different-grade k-blades, such as the summation of a scalar, a vector, and a 2-vector. A sum of only k-grade components is called a k-vector, or a homogeneous multivector. The highest grade element in a space is called a pseudoscalar. If a given element is homogeneous of a grade k, then it is a k-vector, but not necessarily a k-blade. Such an element is a k-blade when it can be expressed as the exterior product of k vectors. A geometric algebra generated by a four-dimensional vector space illustrates the point with an example: The sum of any two blades with one taken from the XY-plane and the other taken from the ZW-plane will form a 2-vector that is not a 2-blade. In a geometric algebra generated by a vector space of dimension 2 or 3, all sums of 2-blades may be written as a single 2-blade. Examples • 0-vectors are scalars; • 1-vectors are vectors; • 2-vectors are bivectors; • (n − 1)-vectors are pseudovectors; • n-vectors are pseudoscalars. In the presence of a volume form (such as given an inner product and an orientation), pseudovectors and pseudoscalars can be identified with vectors and scalars, which is routine in vector calculus, but without a volume form this cannot be done without making an arbitrary choice. In the algebra of physical space (the geometric algebra of Euclidean 3-space, used as a model of (3+1)-spacetime), a sum of a scalar and a vector is called a paravector, and represents a point in spacetime (the vector the space, the scalar the time). Bivectors A bivector is an element of the antisymmetric tensor product of a tangent space with itself. In geometric algebra, also, a bivector is a grade 2 element (a 2-vector) resulting from the wedge product of two vectors, and so it is geometrically an oriented area, in the same way a vector is an oriented line segment. If a and b are two vectors, the bivector has • a norm which is its area, given by • :\left\| \mathbf a \wedge \mathbf b \right\| = \left\| \mathbf{a} \right\| \, \left\| \mathbf{b} \right\| \, \sin(\phi_{a,b}) • a direction: the plane where that area lies on, i.e., the plane determined by a and b, as long as they are linearly independent; • an orientation (out of two), determined by the order in which the originating vectors are multiplied. Bivectors are connected to pseudovectors, and are used to represent rotations in geometric algebra. As bivectors are elements of a vector space Λ2V (where V is a finite-dimensional vector space with ), it makes sense to define an inner product on this vector space as follows. First, write any element in terms of a basis as : F = F^{ab} \mathbf{e}_a \wedge \mathbf{e}_b \quad (1 \le a where the Einstein summation convention is being used. Now define a map by insisting that : G(F, H) := G_{abcd}F^{ab}H^{cd} , where G_{abcd} are a set of numbers. ==Applications==

Bivectors play many important roles in physics, for example, in the classification of electromagnetic fields. ==See also==