The cross product takes two vectors in ℝ³ and returns one vector in ℝ³. Its direction is chosen by orientation, its length is the area of the parallelogram spanned by the inputs and its matrix form can be understood as projection onto a plane, a 90° rotation and re-embedding into ℝ³.
The cross product is defined by both direction and magnitude.
Several steps in the derivation are special to ℝ³: a plane has a single normal direction and a 3×3 skew-symmetric matrix corresponds to one vector.
It first ignores the part of v parallel to k̂. The remaining perpendicular component lies in the plane orthogonal to k̂. In that plane, [k̂]× acts like a 90° rotation, then re-embeds the rotated vector in ℝ³. In matrix form this is written as [k̂]× = QJQᵀ.
The PDF is a single document. The page links below are best-effort: most browsers support them, but some viewers may ignore the page hint.
For unit k̂, the cross product matrix only acts on the component of v perpendicular to k̂ and rotates that component without changing its length. Therefore |k̂ × v| = |v⊥| = |v| sin(θ). For a non-unit vector j, the result is scaled by |j|.