Spat, which is spanned by three vectors
The late product , also called mixed product , is the scalar product of the cross product of two vectors and a third vector. It gives the oriented volume of by the three vectors spanned spats (parallelepiped). Its amount is therefore equal to the volume of the opened spatula. The sign is positive if these three vectors form a legal system in the given order ; if they form a left system, it is negative. If the three vectors lie in one plane, their late product is zero.
In Cartesian coordinates, the late product can also be calculated using the determinant formed from the three vectors .
definition
The triple product of three vectors , and the three-dimensional Euclidean vector space can be defined as follows:
![({\ vec a}, {\ vec b}, {\ vec c})](https://wikimedia.org/api/rest_v1/media/math/render/svg/0484daa6e1ff1a906bc9075871860737ce37aa6a)
![{\ vec {a}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/546e6615827e17295718741fd0b86f639a947f16)
![{\ vec {b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c9ef58be7103eb0b2bfcb460df23430f6a36216)
![\ mathbb {R} ^ {3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f936ddf584f8f3dd2a0ed08917001b7a404c10b5)
-
.
notation
Often no separate notation is introduced for the late product, but you just write . Other common values are: , and .
![(\ vec {a} \ times \ vec {b}) \ cdot \ vec {c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd51490c47dca0dd3f4d723dfbd0485c9a10f874)
![[{\ vec {a}}, {\ vec {b}}, {\ vec {c}}]](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5a6829200bfae3708466515db0870bdec670592)
![\ langle {\ vec {a}}, {\ vec {b}}, {\ vec {c}} \ rangle](https://wikimedia.org/api/rest_v1/media/math/render/svg/069d141317d1c76b2ed84f4ad492e64dd8384a74)
![{\ displaystyle | {\ vec {a}} \ {\ vec {b}} \ {\ vec {c}} |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61a3636f0d7aa7ebde930ba682363b2f4510b022)
properties
-
.
- The late product can be calculated using the determinant. For
![{\ vec a} = {\ begin {pmatrix} a_ {1} \\ a_ {2} \\ a_ {3} \ end {pmatrix}}, \ {\ vec b} = {\ begin {pmatrix} b_ { 1} \\ b_ {2} \\ b_ {3} \ end {pmatrix}}, \ {\ vec c} = {\ begin {pmatrix} c_ {1} \\ c_ {2} \\ c_ {3} \ end {pmatrix}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04dcb386eed80b7ca6bd8c36c972358a396fd77e)
- applies
-
.
- The proof can be provided, for example, by simple calculation, see below.
- Since the vectors in the late product can be exchanged cyclically and the scalar product is commutative, the following applies
-
.
- So you can "swap" the two arithmetic symbols with appropriately adapted brackets (which would otherwise be nonsensical).
- In contrast to the cyclical exchange, a sign change occurs when two factors are exchanged:
-
.
- Further applies because of :
![{\ vec {a}} \ times {\ vec {a}} = {\ vec {0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91553fbdf0d068bb27392295c52fe2dc9f05e8e0)
-
.
- Multiplication by a scalar is associative :
![\ alpha \ in \ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7988141e89a37e7f4deb883dbd74d9bbd6d11317)
-
.
-
.
Geometric interpretation
Amount of volume and oriented volume
The volume of the space spanned by the three vectors (parallelepiped) is equal to the amount of the space product:
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![\ vec a, \ vec b, \ vec c](https://wikimedia.org/api/rest_v1/media/math/render/svg/befa941df6751fd0d377ccd7d31130ef372a3b8c)
-
.
If you do not form the amount, you get the oriented volume. The (irregular) tetrahedron spanned by the 3 vectors has the volume of the spatula.
![{\ tfrac {1} {6}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bc02e655226b1a0e18922e932efff50531c48eb)
Derivation
The volume of a spat is calculated from the product of its base area and its height .
![V = A_ {g} \ cdot h](https://wikimedia.org/api/rest_v1/media/math/render/svg/7094756e609518fd6238a2ad43722631a1453566)
The cross product is the normal vector on the base area spanned through and , which forms a right-handed coordinate system with and and the amount of which is equal to the area of the parallelogram spanned through and , that is .
![\ vec {a} \ times \ vec {b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68affde71ee9058a22787425a052cf5a13f33f4d)
![{\ vec {a}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/546e6615827e17295718741fd0b86f639a947f16)
![{\ vec {b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c9ef58be7103eb0b2bfcb460df23430f6a36216)
![{\ vec {a}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/546e6615827e17295718741fd0b86f639a947f16)
![{\ vec {b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c9ef58be7103eb0b2bfcb460df23430f6a36216)
![{\ vec {a}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/546e6615827e17295718741fd0b86f639a947f16)
![{\ vec {b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c9ef58be7103eb0b2bfcb460df23430f6a36216)
![A_g = | \ vec {a} \ times \ vec {b} |](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7473c88c6d2e172af25a96dee080ced2b2d2acb)
The height of the spat is the projection of the vector onto the direction of this normal vector (its unit vector ). If these include the angle , the definition of the scalar product applies![\ vec c](https://wikimedia.org/api/rest_v1/media/math/render/svg/965bd8710781b710cbfdb79da0b4e3b097bef506)
-
.
It follows
-
.
The volume is zero for 90 °, i.e. if the vectors lie in one plane. They are then called coplanar and linearly dependent .
![\alpha](https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3)
The oriented volume is negative if it is greater than 90 °. Then the vector product and the projected height point in opposite directions because the vectors form a left system.
![\alpha](https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3)
Derivation of the algebraic properties
The late product can also be derived with the Levi-Civita symbol . To do this, the scalar product is first represented by a sum:
![({\ vec {a}} \ times {\ vec {b}}) \ cdot {\ vec c} = \ sum _ {{i = 1}} ^ {3} ({\ vec {a}} \ times {\ vec {b}}) _ {i} \ cdot c_ {i}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebf52e5dca347e330d392bef2bf179884bb99ba3)
The cross product is now represented with the Levi-Civita symbol using a sums notation:
![\ sum _ {{i = 1}} ^ {3} ({\ vec {a}} \ times {\ vec {b}}) _ {i} \ cdot c_ {i} = \ sum _ {{i = 1}} ^ {3} \ sum _ {{j = 1}} ^ {3} \ sum _ {{k = 1}} ^ {3} \ varepsilon _ {{ijk}} a_ {j} b_ {k } c_ {i}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/6824c660887f43664e55b0011956eaa889103e7c)
The totally antisymmetric epsilon tensor is equal or equal . The late product can thus be expressed as follows:
![\ varepsilon_ {ijk}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21525193117bdfc0f3ac71b8ec46e3b6d0637daf)
![\ varepsilon _ {{kij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df9837c8c5ee081d0f12179b83f774b31b324efa)
![\ varepsilon _ {{jki}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eba929a2efb17f936b78fdf4aa182b5d8609f7ae)
![\ sum _ {{i = 1}} ^ {3} \ sum _ {{j = 1}} ^ {3} \ sum _ {{k = 1}} ^ {3} \ varepsilon _ {{ijk}} a_ {j} b_ {k} c_ {i} = \ sum _ {{i = 1}} ^ {3} \ sum _ {{j = 1}} ^ {3} \ sum _ {{k = 1} } ^ {3} \ varepsilon _ {{kij}} a_ {j} b_ {k} c_ {i} = \ sum _ {{i = 1}} ^ {3} \ sum _ {{j = 1}} ^ {3} \ sum _ {{k = 1}} ^ {3} \ varepsilon _ {{jki}} a_ {j} b_ {k} c_ {i}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5ab8068eff9ea2282c6a7616045384154ef0a98)
The summation symbols can be swapped. In addition, you can now use brackets:
![\ sum_ {i = 1} ^ 3 \ left (\ sum_ {j = 1} ^ 3 \ sum_ {k = 1} ^ 3 \ varepsilon_ {ijk} a_j b_k \ right) c_i = \ sum_ {k = 1} ^ 3 \ left (\ sum_ {i = 1} ^ 3 \ sum_ {j = 1} ^ 3 \ varepsilon_ {kij} c_i a_j \ right) b_k = \ sum_ {j = 1} ^ 3 \ left (\ sum_ {k = 1} ^ 3 \ sum_ {i = 1} ^ 3 \ varepsilon_ {jki} b_k c_i \ right) a_j.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0370cc8463c72ec672b9e331f5f3af20f167eb3)
If you write the cross products again without the Levi-Civita symbol , you get the desired identity:
![({\ vec {a}} \ times {\ vec {b}}) \ cdot {\ vec {c}} = ({\ vec {c}} \ times {\ vec {a}}) \ cdot {\ vec {b}} = ({\ vec {b}} \ times {\ vec {c}}) \ cdot {\ vec {a}}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ef50ad35d6115691191bd437ea9db65200eed9e)
Word origin
The term Spatprodukt goes back to the term "Spat" for a parallelepiped (parallelepiped, parallelotope). In geology, the suffix -spat indicates that the mineral in question can be easily cleaved. Examples: feldspar , calcite . These spades have clear break lines. In particular, the crystals of calcite are very similar to the geometric ideal of a parallelepiped. Calculating the volume of such a parallelepiped or spade results in the term spar product.
literature
- Wolfgang Gawronski: Basics of Linear Algebra. Aula-Verlag, Wiesbaden 1996, ISBN 3-89104-566-2 .
Web links