Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added this paragraph:
By one of the deeper strands of mathematics, this classification of something as innocent-looking as cross-products is closely related not just to the existence of normed division algebras over the real numbers, but also to all of the following: parallelizable n-spheres, the existence of real spin representations, the homotopy groups of spheres of Hopf invariant one; see there
We do have Hurwitz theorem. Made the link work
Fixed the statement “combining the dot product with any vector-valued cross product produces a scalar-valued cross product of 1 higher arity”, which doesn’t hold in general: trying this with the 7-dimensional vector-valued binary cross product (using e.g. the table in Wikipedia), we have , contradicting Property 3.
Anonymous
Good catch, Anonymous!
In other news, I've added a bunch of combinatorics related to how many examples of cross products are compatible with bases; I'm still a little unclear about how the ternary cross products in dimensions work, so I couldn't count those, but I figured out all of the rest. Also, I fixed the convention on the co-unary cross products to match how the scalar-valued curl works in dimensions; hopefully that doesn't mess anything up on any other page.
1 to 6 of 6