Generalizing Cross Product


by rvadd
Tags: cross product
rvadd
rvadd is offline
#1
Jan24-13, 09:23 AM
P: 7
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.
Phys.Org News Partner Science news on Phys.org
Better thermal-imaging lens from waste sulfur
Hackathon team's GoogolPlex gives Siri extra powers
Bright points in Sun's atmosphere mark patterns deep in its interior
mfb
mfb is offline
#2
Jan24-13, 12:14 PM
Mentor
P: 10,791
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.
quasar987
quasar987 is offline
#3
Jan24-13, 01:23 PM
Sci Advisor
HW Helper
PF Gold
quasar987's Avatar
P: 4,768
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).

mathwonk
mathwonk is offline
#4
Jan24-13, 04:19 PM
Sci Advisor
HW Helper
mathwonk's Avatar
P: 9,421

Generalizing Cross Product


the generalized cross product is discussed, as here, on pages 83-4 of spivak's calculus on manifolds.
rvadd
rvadd is offline
#5
Jan24-13, 09:23 PM
P: 7
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?
lurflurf
lurflurf is offline
#6
Jan25-13, 03:35 AM
HW Helper
P: 2,149
^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.


Register to reply

Related Discussions
Given one cross product, find another cross product Calculus & Beyond Homework 1
Deriving cross product and dot product, stuck at beginning. Calculus & Beyond Homework 8
Angle between 2 vectors using 1) Dot product and 2) cross product gives diff. answer? Calculus & Beyond Homework 8
Find theta from the cross product and dot product of two vectors Calculus & Beyond Homework 11
cross product and dot product of forces expressed as complex numbers Introductory Physics Homework 4