Higher dimensional cross products

  • Thread starter zephyr5050
  • Start date
  • Tags
    Cross
In summary, a cross product is a function that satisfies certain properties and is defined for 3 and 7 dimensions. It can be defined using quaternions and octonions, but it cannot be extended to higher dimensions using sedenions due to their lack of division and existence of zero products. This is proven by Hurwitz's theorem. However, there is a generalized cross product that can be defined for any dimension by choosing a vector normal to the hyperplane spanned by the given arguments.
  • #1
zephyr5050
21
0
I've always heard that the cross product only exists in a well defined way for 3 and 7 dimensions. From my own reading I've found that a cross product in 3 dimensions is nothing more than the product of two quaternions with only pure imaginary components (that is, the real part is zero). Likewise, a seven dimensional cross product is simply the product of two octonions where again the real part is zero. But why can't this process simply continue? Why not construct the 16 component sedenians and define the 15 dimensional cross product to be the product of two sedenians with zero real parts? Is there some property of sedenians that disallows this?
 
Last edited:
Physics news on Phys.org
  • #2
Let's begin by defining what a cross product is supposed to be. A cross product is a function

[tex]\times:\mathbb{R}^n\times\mathbb{R}^n\rightarrow\mathbb{R}^n[/tex]

such that

1) ##\times## is bilinear
2) ##\mathbf{x}\cdot (\mathbf{x}\times\mathbf{y}) = (\mathbf{x}\times \mathbf{y})\cdot\mathbf{y} = 0##
3) ##|\mathbf{x}\times\mathbf{y}|^2 = |\mathbf{x}|^2|\mathbf{y}|^2 - (\mathbf{x}\cdot \mathbf{y})^2##

We don't demand anything about a Jacobi identity, which won't be satisfied anyway except in the case ##n=3##.
As you know, in the cases ##n=3## and ##n=7##, there is such a cross product (but it might not be unique in the case ##n=7##). In particular, we can define the cross product by identifiying ##\mathbb{R}^7## with the imaginary octonions and then set

[tex]\mathbf{x}\times \mathbf{y} = \textrm{Im}(\mathbf{x}\mathbf{y}) = \frac{1}{2}(\mathbf{x}\mathbf{y} - \mathbf{y}\mathbf{x}).[/tex]

Something similar works with ##n=3## and the imaginary quaternions.
Now, why doesn't it work with ##n=15## and the imaginary sedenions? Well, sedenions do not form a division ring. Even worse, there are nonzero sedenions whose product is zero. For example,
[tex](e_3 + e_{10})(e_6 - e_{15}) = 0[/tex]
With this, it is easy to see that the third property is not satisfied. Indeed, we set ##\mathbf{x} = e_3 + e_{10}## and ##\mathbf{y} = e_6 + e_{15}##, which are imaginary sedenions.
[tex]\mathbf{x}\times \mathbf{y}= \mathbf{0},~\mathbf{x}\cdot \mathbf{y} = 0[/tex]

Now, this of course only shows that our naive choice of cross product will not work, but perhaps there is some other choice that does work. This can be proven not to be the case. Indeed, if ##\times## is a cross product on ##\mathbb{R}^n##, then it can be proven that ##\mathbb{R}^{n+1}## is a normed division algebra by setting
[tex](a,\mathbf{x})(b,\mathbf{y}) = (ab-\mathbf{x}\cdot \mathbf{y}, a\mathbf{y} + b\mathbf{x} + \mathbf{x}\times \mathbf{y})[/tex]
But a famous theorem by Hurwitz shows that the only normed division algebras are ##\mathbb{R}##, ##\mathbb{C}##, the quaternions and the octonions. See http://en.wikipedia.org/wiki/Hurwitz%27s_theorem_(normed_division_algebras )
 
Last edited by a moderator:
  • #3
Thanks so much. That makes it abundantly clear.
 
  • #4
In another sense, there is in fact a cross product in every dimension, satisfying a generalization of all 3 stated properties, provided one allows more than 2 factors in the product. I.e. for vectors in n space, it is a product of n-1 vectors. This is discussed on pages 84-85 of Spivak's Calculus on Manifolds. The product is essentially a choice of a vector normal to the hyperplane spanned by the given n-1 arguments, or zero if they are not independent. It has direction chosen to give the usual orientation of n space, when combined with the argument sequence, and length chosen to satisfy the analog of property 3.
 
  • #5


I can confirm that the cross product is indeed only well-defined in 3 and 7 dimensions. This is due to the algebraic structure of the quaternions and octonions, which are the only two normed division algebras (also known as Cayley-Dickson algebras) in 3 and 7 dimensions, respectively.

In terms of higher dimensional cross products, the sedenions do indeed have 16 components and can be constructed by extending the Cayley-Dickson process. However, the sedenions do not form a normed division algebra, which means they do not possess all the necessary properties for a well-defined cross product.

One key property that is lacking in the sedenions is associativity. In 3 and 7 dimensions, the cross product is associative, which means that the order in which the cross products are taken does not matter. However, in higher dimensions, the sedenions do not have this property, which leads to inconsistencies and ambiguity in defining a cross product.

Furthermore, the sedenions also do not possess a well-defined norm or magnitude, which is essential for a meaningful cross product. Without a norm, the concept of perpendicularity, which is crucial in defining a cross product, becomes problematic.

In conclusion, while the idea of a higher dimensional cross product may seem appealing, the algebraic structures of the sedenions do not allow for a well-defined and meaningful cross product. Therefore, the cross product remains limited to 3 and 7 dimensions, and further research and exploration are needed to understand the properties and limitations of higher dimensional algebras.
 

FAQ: Higher dimensional cross products

1. What is a higher dimensional cross product?

A higher dimensional cross product is a mathematical operation that takes two vectors in a higher dimensional space and produces a third vector that is perpendicular to both of the original vectors.

2. How is a higher dimensional cross product different from a 3-dimensional cross product?

A 3-dimensional cross product is only defined for three-dimensional vectors, while a higher dimensional cross product can be defined for any number of dimensions. Additionally, the result of a higher dimensional cross product will also have a higher number of dimensions.

3. What are the applications of higher dimensional cross products?

Higher dimensional cross products are commonly used in physics and engineering, particularly in fields such as electromagnetism and fluid dynamics. They can also be used in computer graphics to calculate surface normals.

4. How is a higher dimensional cross product calculated?

The formula for calculating a higher dimensional cross product involves finding the determinant of a matrix. The exact procedure varies depending on the number of dimensions, but it follows the same general principles as the 3-dimensional cross product.

5. Can a higher dimensional cross product be visualized?

Unlike the 3-dimensional cross product, which can be visualized as a vector perpendicular to the plane formed by the two original vectors, higher dimensional cross products are more difficult to visualize. However, they can still be represented mathematically and used in calculations.

Similar threads

Back
Top