In vector algebra, a branch of mathematics, the triple product is a product of three 3-dimensional vectors, usually Euclidean vectors. The name "triple product" is used for two different products, the scalar-valued scalar triple product and, less often, the vector-valued vector triple product.
Scalar triple product
Three vectors defining a parallelepiped
The scalar triple product (also called the mixed product, box product, or triple scalar product) is defined as the dot product of one of the vectors with the cross product of the other two.
Geometric interpretation
Geometrically, the scalar triple product
\( \mathbf{a}\cdot(\mathbf{b}\times \mathbf{c}) \)
is the (signed) volume of the parallelepiped defined by the three vectors given. Here, the parentheses may be omitted without causing ambiguity, since the dot product cannot be evaluated first. If it were, it would leave the cross product of a scalar and a vector, which is not defined.
Properties
The scalar triple product is unchanged under a circular shift of its three operands (a, b, c):
\( {\displaystyle \mathbf {a} \cdot (\mathbf {b} \times \mathbf {c} )=\mathbf {b} \cdot (\mathbf {c} \times \mathbf {a} )=\mathbf {c} \cdot (\mathbf {a} \times \mathbf {b} )} \)
Swapping the positions of the operators without re-ordering the operands leaves the triple product unchanged. This follows from the preceding property and the commutative property of the dot product.
\( {\displaystyle \mathbf {a} \cdot (\mathbf {b} \times \mathbf {c} )=(\mathbf {a} \times \mathbf {b} )\cdot \mathbf {c} } \)
Swapping any two of the three operands negates the triple product. This follows from the circular-shift property and the anticommutativity of the cross product.
\( {\displaystyle {\begin{aligned}&\mathbf {a} \cdot (\mathbf {b} \times \mathbf {c} )\\=-&\mathbf {a} \cdot (\mathbf {c} \times \mathbf {b} )\\=-&\mathbf {b} \cdot (\mathbf {a} \times \mathbf {c} )\\=-&\mathbf {c} \cdot (\mathbf {b} \times \mathbf {a} )\end{aligned}}} \)
The scalar triple product can also be understood as the determinant of the 3×3 matrix that has the three vectors either as its rows or its columns (a matrix has the same determinant as its transpose):
\( {\displaystyle \mathbf {a} \cdot (\mathbf {b} \times \mathbf {c} )=\det {\begin{bmatrix}a_{1}&a_{2}&a_{3}\\b_{1}&b_{2}&b_{3}\\c_{1}&c_{2}&c_{3}\\\end{bmatrix}}={\rm {det}}\left(\mathbf {a} ,\mathbf {b} ,\mathbf {c} \right).} \)
If the scalar triple product is equal to zero, then the three vectors a, b, and c are coplanar, since the parallelepiped defined by them would be flat and have no volume.
If any two vectors in the scalar triple product are equal, then its value is zero:
\( {\displaystyle \mathbf {a} \cdot (\mathbf {a} \times \mathbf {b} )=\mathbf {a} \cdot (\mathbf {b} \times \mathbf {a} )=\mathbf {a} \cdot (\mathbf {b} \times \mathbf {b} )=\mathbf {b} \cdot (\mathbf {a} \times \mathbf {a} )=0} \)
Moreover,
\( {\displaystyle (\mathbf {a} \cdot (\mathbf {b} \times \mathbf {c} ))\mathbf {a} =(\mathbf {a} \times \mathbf {b} )\times (\mathbf {a} \times \mathbf {c} )} \)
The simple product of two triple products (or the square of a triple product), may be expanded in terms of dot products:[1]
\( {\displaystyle ((\mathbf {a} \times \mathbf {b} )\cdot \mathbf {c} )\;((\mathbf {d} \times \mathbf {e} )\cdot \mathbf {f} )=\det \left[{\begin{pmatrix}\mathbf {a} \\\mathbf {b} \\\mathbf {c} \end{pmatrix}}\cdot {\begin{pmatrix}\mathbf {d} &\mathbf {e} &\mathbf {f} \end{pmatrix}}\right]=\det {\begin{bmatrix}\mathbf {a} \cdot \mathbf {d} &\mathbf {a} \cdot \mathbf {e} &\mathbf {a} \cdot \mathbf {f} \\\mathbf {b} \cdot \mathbf {d} &\mathbf {b} \cdot \mathbf {e} &\mathbf {b} \cdot \mathbf {f} \\\mathbf {c} \cdot \mathbf {d} &\mathbf {c} \cdot \mathbf {e} &\mathbf {c} \cdot \mathbf {f} \end{bmatrix}}} \)
This restates in vector notation that the product of the determinants of two 3×3 matrices equals the determinant of their matrix product. As a special case, the square of a triple product is a Gram determinant.
Scalar or pseudoscalar
Although the scalar triple product gives the volume of the parallelepiped, it is the signed volume, the sign depending on the orientation of the frame or the parity of the permutation of the vectors. This means the product is negated if the orientation is reversed, for example by a parity transformation, and so is more properly described as a pseudoscalar if the orientation can change.
This also relates to the handedness of the cross product; the cross product transforms as a pseudovector under parity transformations and so is properly described as a pseudovector. The dot product of two vectors is a scalar but the dot product of a pseudovector and a vector is a pseudoscalar, so the scalar triple product must be pseudoscalar-valued.
If T is a rotation operator, then
\( \mathbf{Ta} \cdot (\mathbf{Tb} \times \mathbf{Tc}) = \mathbf{a} \cdot (\mathbf{b} \times \mathbf{c}), \)
but if T is an improper rotation, then
\( \mathbf{Ta} \cdot (\mathbf{Tb} \times \mathbf{Tc}) = -\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c}). \)
As an exterior product
The three vectors spanning a parallelepiped have triple product equal to its volume.
In exterior algebra and geometric algebra the exterior product of two vectors is a bivector, while the exterior product of three vectors is a trivector. A bivector is an oriented plane element and a trivector is an oriented volume element, in the same way that a vector is an oriented line element. Given vectors a, b and c, the product
\( \mathbf{a} \wedge \mathbf{b} \wedge \mathbf{c}
is a trivector with magnitude equal to the scalar triple product, and is the Hodge dual of the scalar triple product. As the exterior product is associative brackets are not needed as it does not matter which of a ∧ b or b ∧ c is calculated first, though the order of the vectors in the product does matter. Geometrically the trivector a ∧ b ∧ c corresponds to the parallelepiped spanned by a, b, and c, with bivectors a ∧ b, b ∧ c and a ∧ c matching the parallelogram faces of the parallelepiped.
As a trilinear functional
The triple product is identical to the volume form of the Euclidean 3-space applied to the vectors via interior product. It also can be expressed as a contraction of vectors with a rank-3 tensor equivalent to the form (or a pseudotensor equivalent to the volume pseudoform); see below.
Vector triple product
The vector triple product is defined as the cross product of one vector with the cross product of the other two. The following relationship holds:
\({\displaystyle \mathbf {a} \times (\mathbf {b} \times \mathbf {c} )=(\mathbf {a} \cdot \mathbf {c} )\mathbf {b} -(\mathbf {a} \cdot \mathbf {b} )\mathbf {c} }.
This is known as triple product expansion, or Lagrange's formula,[2][3] although the latter name is also used for several other formulas. Its right hand side can be remembered by using the mnemonic "ACB − ABC", provided one keeps in mind which vectors are dotted together. A proof is provided below. Some textbooks write the identity as \( {\displaystyle \mathbf {a} \times (\mathbf {b} \times \mathbf {c} )=\mathbf {b} (\mathbf {a} \cdot \mathbf {c} )-\mathbf {c} (\mathbf {a} \cdot \mathbf {b} )} \) such that a more familiar mnemonic is obtained "BAC − CAB", as in “back of the cab”.
Since the cross product is anticommutative, this formula may also be written (up to permutation of the letters) as:
\( (\mathbf{a}\times \mathbf{b})\times \mathbf{c} = -\mathbf{c}\times(\mathbf{a}\times \mathbf{b}) = -(\mathbf{c}\cdot\mathbf{b})\mathbf{a} + (\mathbf{c}\cdot\mathbf{a})\mathbf{b} \)
From Lagrange's formula it follows that the vector triple product satisfies:
\( {\displaystyle \mathbf {a} \times (\mathbf {b} \times \mathbf {c} )+\mathbf {b} \times (\mathbf {c} \times \mathbf {a} )+\mathbf {c} \times (\mathbf {a} \times \mathbf {b} )=0} \)
which is the Jacobi identity for the cross product. Another useful formula follows:
\( {\displaystyle (\mathbf {a} \times \mathbf {b} )\times \mathbf {c} =\mathbf {a} \times (\mathbf {b} \times \mathbf {c} )-\mathbf {b} \times (\mathbf {a} \times \mathbf {c} )} \)
These formulas are very useful in simplifying vector calculations in physics. A related identity regarding gradients and useful in vector calculus is Lagrange's formula of vector cross-product identity:[4]
\( {\displaystyle {\boldsymbol {\nabla }}\times ({\boldsymbol {\nabla }}\times \mathbf {f} )={\boldsymbol {\nabla }}({\boldsymbol {\nabla }}\cdot \mathbf {f} )-({\boldsymbol {\nabla }}\cdot {\boldsymbol {\nabla }})\mathbf {f} } \)
This can be also regarded as a special case of the more general Laplace–de Rham operator \( \Delta = d \delta + \delta d. \)
Proof
The x component of \( {\displaystyle \mathbf {u} \times (\mathbf {v} \times \mathbf {w} )} \) is given by:
\( {\displaystyle {\begin{aligned}(\mathbf {u} \times (\mathbf {v} \times \mathbf {w} ))_{x}&=\mathbf {u} _{y}(\mathbf {v} _{x}\mathbf {w} _{y}-\mathbf {v} _{y}\mathbf {w} _{x})-\mathbf {u} _{z}(\mathbf {v} _{z}\mathbf {w} _{x}-\mathbf {v} _{x}\mathbf {w} _{z})\\&=\mathbf {v} _{x}(\mathbf {u} _{y}\mathbf {w} _{y}+\mathbf {u} _{z}\mathbf {w} _{z})-\mathbf {w} _{x}(\mathbf {u} _{y}\mathbf {v} _{y}+\mathbf {u} _{z}\mathbf {v} _{z})\\&=\mathbf {v} _{x}(\mathbf {u} _{y}\mathbf {w} _{y}+\mathbf {u} _{z}\mathbf {w} _{z})-\mathbf {w} _{x}(\mathbf {u} _{y}\mathbf {v} _{y}+\mathbf {u} _{z}\mathbf {v} _{z})+(\mathbf {u} _{x}\mathbf {v} _{x}\mathbf {w} _{x}-\mathbf {u} _{x}\mathbf {v} _{x}\mathbf {w} _{x})\\&=\mathbf {v} _{x}(\mathbf {u} _{x}\mathbf {w} _{x}+\mathbf {u} _{y}\mathbf {w} _{y}+\mathbf {u} _{z}\mathbf {w} _{z})-\mathbf {w} _{x}(\mathbf {u} _{x}\mathbf {v} _{x}+\mathbf {u} _{y}\mathbf {v} _{y}+\mathbf {u} _{z}\mathbf {v} _{z})\\&=(\mathbf {u} \cdot \mathbf {w} )\mathbf {v} _{x}-(\mathbf {u} \cdot \mathbf {v} )\mathbf {w} _{x}\end{aligned}}} \)
Similarly, the y and z components of \( {\displaystyle \mathbf {u} \times (\mathbf {v} \times \mathbf {w} )} \) are given by:
\( {\displaystyle {\begin{aligned}(\mathbf {u} \times (\mathbf {v} \times \mathbf {w} ))_{y}&=(\mathbf {u} \cdot \mathbf {w} )\mathbf {v} _{y}-(\mathbf {u} \cdot \mathbf {v} )\mathbf {w} _{y}\\(\mathbf {u} \times (\mathbf {v} \times \mathbf {w} ))_{z}&=(\mathbf {u} \cdot \mathbf {w} )\mathbf {v} _{z}-(\mathbf {u} \cdot \mathbf {v} )\mathbf {w} _{z}\end{aligned}}} \)
By combining these three components we obtain:
\( \mathbf{u}\times (\mathbf{v}\times \mathbf{w}) = (\mathbf{u}\cdot\mathbf{w})\ \mathbf{v} - (\mathbf{u}\cdot\mathbf{v})\ \mathbf{w} \) [5]
Using geometric algebra
If geometric algebra is used the cross product b × c of vectors is expressed as their exterior product b∧c, a bivector. The second cross product cannot be expressed as an exterior product, otherwise the scalar triple product would result. Instead a left contraction[6] can be used, so the formula becomes[7]
\( {\displaystyle {\begin{aligned}-\mathbf {a} \;{\big \lrcorner }\;(\mathbf {b} \wedge \mathbf {c} )&=\mathbf {b} \wedge (\mathbf {a} \;{\big \lrcorner }\;\mathbf {c} )-(\mathbf {a} \;{\big \lrcorner }\;\mathbf {b} )\wedge \mathbf {c} \\&=(\mathbf {a} \cdot \mathbf {c} )\mathbf {b} -(\mathbf {a} \cdot \mathbf {b} )\mathbf {c} \end{aligned}}} \)
The proof follows from the properties of the contraction.[6] The result is the same vector as calculated using a × (b × c).
Interpretations
Tensor calculus
In tensor notation the triple product is expressed using the Levi-Civita symbol:[8]
\( {\displaystyle (\mathbf {a} \cdot [\mathbf {b} \times \mathbf {c} ])=\varepsilon _{ijk}a^{i}b^{j}c^{k}} \)
and
\( {\displaystyle (\mathbf {a} \times [\mathbf {b} \times \mathbf {c} ])_{i}=\varepsilon _{ijk}a^{j}\varepsilon _{k\ell m}b^{\ell }c^{m}=\varepsilon _ {ijk}\varepsilon _{k\ell m}a^{j}b^{\ell }c^{m}}, \)
referring to the ith component of the resulting vector. This can be simplified by performing a contraction on the Levi-Civita symbols, \( \varepsilon_{ijk} \varepsilon_{k\ell m}=-\varepsilon_{ijk} \varepsilon_{m\ell k}=\delta_{i\ell}\delta_{jm}-\delta_{im}\delta_{\ell j} \) where \( \delta_{ij} = 0 \) if \( i\neq j \) and \( \delta _{ij}=1 \) if i i=j. We can reason out this identity by recognizing that the index k will be summed out leaving only i and j. In the first term, we fix i=l and thus j=m. Likewise, in the second term, we fix i i=m and thus l=j.
Returning to the triple cross product,
\( {\displaystyle (\mathbf {a} \times [\mathbf {b} \times \mathbf {c} ])_{i}=(\delta _{i\ell }\delta _{jm}-\delta _{im}\delta _{\ell j})a^{j}b^{\ell }c^{m}=a^{j}b^{i}c^{j}-a^{j}b^{j}c^{i}=\mathbf {b} _{i}(\mathbf {a} \cdot \mathbf {c} )-\mathbf {c} _{i}(\mathbf {a} \cdot \mathbf {b} )} \)
Vector calculus
Consider the flux integral of the vector field \( {\displaystyle {\vec {\mathbf {F} }}} \) across the parametrically-defined surface \( {\displaystyle S={\vec {\mathbf {r} }}(u,v)} \) : \( {\displaystyle \iint _{S}{\vec {\mathbf {F} }}\mathbf {\cdot } {\vec {\mathbf {N} }}\,dS} \) . The unit normal vector \( {\displaystyle {\vec {\mathbf {N} }}} \) to the surface is given by \( {\displaystyle {\frac {{\vec {\mathbf {r} }}_{u}\times {\vec {\mathbf {r} }}_{v}}{|{\vec {\mathbf {r} }}_{u}\times {\vec {\mathbf {r} }}_{v}|}}} \), so the integrand \( {\displaystyle {\vec {\mathbf {F} }}\mathbf {\cdot } {\frac {{\vec {\mathbf {r} }}_{u}\times {\vec {\mathbf {r} }}_{v}}{|{\vec {\mathbf {r} }}_{u}\times {\vec {\mathbf {r} }}_{v}|}}} \) is a scalar triple product.
Notes
Wong, Chun Wa (2013). Introduction to Mathematical Physics: Methods & Concepts. Oxford University Press. p. 215. ISBN 9780199641390.
Joseph Louis Lagrange did not develop the cross product as an algebraic product on vectors, but did use an equivalent form of it in components: see Lagrange, J-L (1773). "Solutions analytiques de quelques problèmes sur les pyramides triangulaires". Oeuvres. vol 3. He may have written a formula similar to the triple product expansion in component form. See also Lagrange's identity and Kiyosi Itô (1987). Encyclopedic Dictionary of Mathematics. MIT Press. p. 1679. ISBN 0-262-59020-4.
Kiyosi Itô (1993). "§C: Vector product". Encyclopedic dictionary of mathematics (2nd ed.). MIT Press. p. 1679. ISBN 0-262-59020-4.
Pengzhi Lin (2008). Numerical Modelling of Water Waves: An Introduction to Engineers and Scientists. Routledge. p. 13. ISBN 978-0-415-41578-1.
J. Heading (1970). Mathematical Methods in Science and Engineering. American Elsevier Publishing Company, Inc. pp. 262–263.
Pertti Lounesto (2001). Clifford algebras and spinors (2nd ed.). Cambridge University Press. p. 46. ISBN 0-521-00551-5.
Janne Pesonen. "Geometric Algebra of One and Many Multivector Variables" (PDF). p. 37.
"Permutation Tensor". Wolfram. Retrieved 21 May 2014.
References
Lass, Harry (1950). Vector and Tensor Analysis. McGraw-Hill Book Company, Inc. pp. 23–25.
External links
Khan Academy video of the proof of the triple product expansion
vte
Linear algebra
Basic concepts
Scalar Vector Vector space Scalar multiplication Vector projection Linear span Linear map Linear projection Linear independence Linear combination Basis Change of basis Row and column vectors Row and column spaces Kernel Eigenvalues and eigenvectors Transpose Linear equations
Three dimensional Euclidean space
Matrices
Block Decomposition Invertible Minor Multiplication Rank Transformation Cramer's rule Gaussian elimination
Bilinear
Orthogonality Dot product Inner product space Outer product Gram–Schmidt process
Multilinear algebra
Determinant Cross product Triple product Seven-dimensional cross product Geometric algebra Exterior algebra Bivector Multivector Tensor Outermorphism
Vector space constructions
Dual Direct sum Function space Quotient Subspace Tensor product
Numerical
Floating-point Numerical stability Basic Linear Algebra Subprograms (BLAS) Sparse matrix Comparison of linear algebra libraries
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
