Linear in each slot and distributive, like the dot product — but anti-commutative rather than commutative, and not associative at all. The two failures are the ones worth holding onto.
Combined with scalar factoring this makes the cross product bilinear — linear in each slot separately, which is what lets it be computed by the determinant formula.
Scalars migrate freely between slots and out front. A negative reverses the output, consistent with anti-commutativity.
Swapping the inputs reverses the output vector. The magnitude is unchanged, so the parallelogram area is the same; only the perpendicular direction flips, which is the right-hand rule reading itself backwards.
Forced by anti-commutativity: , and the only vector equal to its own negative is . Geometrically a vector spans no parallelogram with itself, so there is no area and no unique perpendicular.
The triple product expansion is the workaround: it rewrites a nested cross product without one.
The cross product discards whatever is parallel to — the mirror image of the dot product, which discards whatever is perpendicular. Between them nothing is lost, which is why the two together determine a vector completely.
Two ways of multiplying vectors that disagree on almost every attribute. Where one is zero the other is largest, and between them they measure the two things a pair of vectors has: how much they agree, and how much they span.
| Type | Condition | output | defined in | swapping the arguments | zero when | geometric reading |
|---|---|---|---|---|---|---|
| Measures agreement | ||||||
| Dot product§ 8 | a scalar | any | unchanged — commutative | perpendicular, | projection of one onto the other | |
| Measures spread | ||||||
| Cross product§ 8 | a vector | only | sign reverses — anti-commutative | parallel, or | area of the parallelogram spanned | |