Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Generalizing Cross Product

  1. Jan 24, 2013 #1
    I'm taking multivariate calculus and my teacher just introduced the concept of cross products a week ago. Reading the Wikipedia page, I see that cross products only work in three and seven dimensions, which is puzzling.

    One use of the cross product for our class is to find the vector orthogonal to the 2 given vectors. My question is can this be generalized to n dimensions to find the vector orthogonal to the n-1 given vectors? Also what is the formal method/operation of doing this?

    For example, given [itex]u = \left(1,0,0,0\right)[/itex], [itex]v = \left(0,1,0,0\right)[/itex], [itex]w = \left(0,0,1,0\right)[/itex], the vector orthogonal to u, v, and w is given by:

    [tex]
    \left|\begin{array}{cccc}
    e_{1} & e_{2} & e_{3} & e_{4} \\
    1 & 0 & 0 & 0 \\
    0 & 1 & 0 & 0 \\
    0 & 0 & 1 & 0 \end{array}\right|
    = e_{4}
    [/tex]

    I read a bit about Hodge duality, exterior products, and k-vectors. Much of it was confusing, so could you clarify if you use them as I have little background in linear algebra or tensor theory.
     
  2. jcsd
  3. Jan 24, 2013 #2

    mfb

    User Avatar
    2016 Award

    Staff: Mentor

    Consider a nxn-matrix where the first n-1 columns (or rows) are filled with n-1 vectors. Now, for each entry in the remaining column (or row), use the determinant of the (n-1)x(n-1)-matrix you get by removing the last column (or row) and the row (or column) your entry is in.

    This might look complicated, but it is easy to show for the conventional cross-product:

    $$\begin{pmatrix} a_1 & b_1 &|& \color{red}{a_2b_3-b_2a_3}\\ \color{red}{a_2} & \color{red}{b_2} &|& a_3b_1-b_3a_1 \\ \color{red}{a_3} & \color{red}{b_3} &|& a_1b_2-b_1a_2 \end{pmatrix} $$

    It gives a vector which is orthogonal to all other n-1 vectors.
     
  4. Jan 24, 2013 #3

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Here is an argument based on the fact that the scalar product is a nondegenerate bilinear form, meaning the map Rn-->(Rn)*: x--><x, - > is surjective. (Indeed, if f:Rn-->R is any linear map, then as a matrix, it is a 1xn matrix, i.e. a vector; call it x. Then f = <x, - >. Here, (Rn)* is the set of all linear maps Rn-->R.)

    Consider now the linear map f:Rn-->R defined as "w --> determinant of the matrix whose first n-1 columns are the n-1 vectors v1,...,vn-1 you want the cross-product of, and whose nth column is just w". This is linear by properties of the determinant. So, there exists a vector x such that f = <x, - >. This x is the cross-product of v1,...,vn-1 in the sense that <x,vk> = 0 for all k (by the property of the determinant that says that if the columns of A are linearly dependent, then det(A)=0).
     
  5. Jan 24, 2013 #4

    mathwonk

    User Avatar
    Science Advisor
    Homework Helper

    the generalized cross product is discussed, as here, on pages 83-4 of spivak's calculus on manifolds.
     
  6. Jan 24, 2013 #5
    Thank you for the responses. The Spivak reading was especially helpful. So, correct me if my interpretation is incorrect:

    The generalized cross product in n dimensions has arity n-1, but its operands are all 1-vectors and thus the output will also be a 1-vector.

    I guess this might be a different question altogether, but what makes 7 dimensions amenable to a nontrivial cross product with only 2 operands instead of 6?
     
  7. Jan 25, 2013 #6

    lurflurf

    User Avatar
    Homework Helper

    ^It is a matter of which properties to maintain. As the Wikipedia page states "The seven-dimensional cross product is (...) the only other non-trivial bilinear product of two vectors that is vector valued, anticommutative and orthogonal. This follows from the Cayley-Dickson construction, which yields algebras of order 2^n which in turn yield cross products in 2^n-1 space. The 0 and 1 dimensional cases are trivial and the 15,31,2^n-1,... cases do not have the desired properties, this leaves only the 3 and 7 dimensional cases.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Generalizing Cross Product
Loading...