THE WEDGE PRODUCT FOR SOPHOMORE CALCULUS FRANK BIRTEL The exterior algebra offers a computational and conceptual tool which can be introduced in sophomore multivariable calculus with a minimum of formalism. The purpose of this note is to demonstrate how that can be done for the ordinary second year calculus student from the very beginning of his or her study. Although the formulations in this paper have been carried out in n-dimensional Euclidean space, which might strike some readers as notationally forbidding, each proposition can be stated and proved in three our four dimensions to avoid this notational generality, and except for notation, all statements and proofs will not differ from the n-dimensional version. When the exterior algebra is available from the outset in a sophomore calculus course, it can be used to discuss k-dimensional planes, simultaneous linear systems of equations, linear transformations and all aspects of multivariable integration, the gradient, divergence and curl culminating in a single Stokes theorem for differential forms which subsumes all of the separate Green, Gauss, divergent and classical Stokes results. Cartan originally introduced the exterior algebra in order to simplify calculations with integrals. Not only are calculations simplified, but also concepts become unified, geometric, and easy to remember. After fifty years it is surprising not to find these techniques incorporated into the standard calculus curriculum at an early stage. 1
2 FRANK BIRTEL In this paper we will presume the standard introduction to vectors and the inner (dot product which appears in every multivariable calculus text. 1. Wedge Product Definition 1. Let v 1, v 2,..., v k be k vectors in R n. Define the wedge product v 1 v 2 v k by stipulating that (i v v 0 for any vector v R n. (ii v w ( 1w v for any vectors v and w in R n. (iii With the exception of (i and (ii all algebraic rules which apply to ordinary multiplication, also apply to. Let e k (0,..., 0, 1, 0... 0 R n and let I n {1, 2,..., n}. v 1 v 2 v k ( n ( n ( n a i1 e i a i2 e i a ik e i a i1 1, a i2 2, a i3 3... a inke i1 (i 1,i 2,...,i k I k n a i1 1, a i2 2... a inke i1, (i 1,i 2,...,i k I k n i α i β ;1 α,β k by applying (i, ( 1 γ a i1 1, a i2 2... a inke i1, i 1 <i 2 < <i k (i 1,i 2,...,i k I n k by applying (ii, where γ denotes the number of transpositions required to obtain i 1 < i 2 < < i k. Any k-fold wedge product can be expressed in this reduced form.
THE WEDGE PRODUCT FOR SOPHOMORE CALCULUS 3 Note: This should be demonstrated concretely in R 3 or R 4. Students, without mastering the above formalism, can adapt without difficulty to putting the wedge product of vectors in R n into reduced form. Definition 2. In reduced form v 1 v 2 v n c e 1 e 2 e n and c is the determinant of the matrix, a 11 a 12... a 1n a 21 a 22... a 2n a n1...... a nn where v j n a ij e i, for j 1, 2,..., n. Restating, c det(a ij, 1 i, j n. This definition is stated because the usual sophomore is unfamiliar with determinants larger than 3 3. Though inefficient, determinants so defined, can be computed in higher dimensions using this definition. v 1 v 1... v 1 v k v Definition 3. Define v 1 v 2 v k 2 det 2 v 1... v 2 v k.. v k v 1... v k v k v 1 v 2... v n is called the length of the wedge product v 1 v 2 v k. Agreement of this definition with the usual definition of length v of a vector v in R 3 follows from v 2 v v. Definition 4. Let v 1, v 2,..., v k R n. And define { k } P(v 1, v 2,..., v n c i v i : 0 c i 1, c i R.
4 FRANK BIRTEL P(v 1, v 2,..., v n is called the parallelipiped determinant by v 1, v 2,..., v k. Again a demonstration of the definition of R 2 and R 3 motivates the student. 2. Fundamental Facts about the Wedge Product Theorem 1. For v 1, v 2,..., v k R n, v 1 v 2 v k vol k P(v 1, v 2,..., v k where vol k is understood traditionally as volume of the (k 1 dimensional base times the altitude. Proof. Proceed by induction on k. The k 1 case is trivial. Now to show the (k 1 case implies the k case, write k 1 v k x + c i v i where x v i, i 1, 2,..., (k 1. Then v 1 v 2 v k 2 v 1 v 2 v k 1 x 2 ( det(v i v j 1 i,j k 1 (x x vol 2 k 1 P(v 1, v 2,..., v k 1 x 2. Therefore, v 1 v 2 v k vol k P(v 1, v 2,..., v k 1, v k. Theorem 2. For v 1, v 2,..., v k R n, where v 1 v 2 v k v 1, v 2 v k 2 a 2 i 1,i 2...i k i 1 <i 2 < <i k 1 i,j n a i1,i 2...i k e i1.
THE WEDGE PRODUCT FOR SOPHOMORE CALCULUS 5 Remark. This theorem provides the student with an easier way to compute v 1 v 2 v k coinciding with the way vector lengths are calculated. Simply put the wedge product into reduced form and take the square root of the sum of the squares of the coefficients. Proof. The proof is by induction using the reduction of the previous proof. v 1 v 2 v k 1 2 i 1 <i 2 < <i k 1 1 i,j n a i1,i 2...i k 1 det ( v i, v j 1 i,j k 1. But v 1 v 2 v k 2 det(v i v j 1 i,j k ( det(v i v j 1 i,j k 1 (x x a 2 i 1,i 2...i k. The k 1 case is trivial. i 1 <i 2 < <i k 1 i,j n Theorem 3. For v 1, v 2,..., v k R n, v 1 v 2 v k 0 if and only if v j i j a i v i for some j, 1 j k. Proof. (if v 1 v 2 v k v 1 v 2 k a i v i v k 0. (only if v 1 v 2 v k 0 implies by Theorem 1 that vol k P(v 1, v 2,..., v k 0. Hence one of the vectors v 1, v 2,..., v k is a linear combination of the others. N.B. indicates that symbol is omitted. i j Definition 4. The -operator on an (n 1-fold wedge product R n is defined as follows: (i -operator is linear. (ii (e 1 e 2 e j... e n ( 1 j 1 e j
6 FRANK BIRTEL The -operator on an n-fold wedge product in R n is defined as follows: (i -operator is linear. (ii (e 1 e n 1. Theorem 5. For w 1, v 1, v 2,..., v n 1 R n, (w v 1 v 2 v n 1 w v 1 v 2 v n 1. Comment. Theorem 5 can be used to reinforce the role of the wedge product in computing volumes of parallelepipeds, since v 1 v 2 v n v 1 v 2 v n v w v n w Volume of the base altitude. Proof. If v 1 v 2 v n 1 n a e 1 e 2 e j... e n, and w n w i e i, then ( n a e 1 e 2 e j... e n w ( n ( n ( 1 j 1 a e j w j e j ( w v 1 v k (w n ( 1 j 1 a w j. And n a e 1 e j... e n n ( 1 j 1 a w j.
THE WEDGE PRODUCT FOR SOPHOMORE CALCULUS 7 Theorem 6. For v 1, v 2,... v n 1 R n, v 1 v 2 v n 1 is a vector w satisfying (i w v j 0 (w v j for 1 j n 1. (ii w vol n 1 P(v 1, v 2,..., v n 1. Proof. w v i ( v 1 v 2 v n 1 v i v 1 v 2 v n 1 v i for i 1, 2,..., (n 1 by Theorem 5. But v 1 v 2 v n 1 v i 0. And for (ii, simply note that v 1 v 2 v n 1 v 1 v 2 v n 1, by Theorem 2. But v 1 v 2 v n 1 vol n 1 P(v 1, v 2,..., v n 1. Theorem 7. If T : R n, m n, is a linear map, then the change in volume of the unit parallelepiped P(e 1, e 2,..., e n under the mapping T is T (e 1 T (e n det T. Proof. T (e 1 T (e n vol n P (T(e 1, T(e 2,..., T(e n det T vol n P(e 1, e 2,..., e n assuming that the student is aware of matricial representations of linear transformations by matrices whose columns are the coordinates of the image of the standing basis vectors e 2,... e n. Remarks. In R 3, 1. v w v w 2. u (v w u v w u v w (u 1 e 1 + u 2 e 2 + u 3 e 3 (v 1 e 1 + v 2 e 2 + v 3 e 3 (w 1 e 1 + w 2 e 2 + w 3 e 3 det u 1 u 2 u 3 v 1 v 2 v 3. w 1 w 2 w 3