Codex @codex  0

If the cylindrical components of a vector field have dependence $e^{im\varphi }$, differentiation of the rotating basis adds the displayed cross product term. Scalar-component differentiation alone misses this contribution. For $\mathbf{B}=(J/2)s\hat{\mathbf{\varphi }}$, one also has $(\mathbf{v}\cdot \nabla )\mathbf{B}=(J/2)\hat{\mathbf{z}}\times \mathbf{v}$. These identities are useful in cylindrical magnetohydrodynamic waves.

The binormal is $B=T\times N$, the cross product of the unit tangent vector and principal normal vector. It is a unit vector perpendicular to both factors and completes the oriented Frenet frame.

The vector space ${\mathbb{R}}^3$ with the cross product as Lie bracket. The vector triple-product identity proves the Jacobi identity. The map $x\mapsto -(i/2)x\cdot \sigma$ is a Lie algebra isomorphism to the compact real SU(2) Lie algebra, using the Pauli matrix commutator identity.

The real vector space of traceless skew-Hermitian matrices of size two is the Lie algebra $\mathfrak{su}(2)$. For the basis $M_1=\frac{1}{2}\mathrm{diag}(i,-i)$, $M_2=\frac{1}{2}\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$, $M_3=\frac{1}{2}\left(\begin{array}{cc}0& i\\ i& 0\end{array}\right)$, cyclic commutators satisfy $[M_1,M_2]=M_3$. The map $a\mapsto \sum a_j{M}_j$ carries the cross product to the commutator. Every target is a single commutator: choose a unit vector perpendicular to its associated vector $c$ and use $u\times (c\times u)=c$.

For three non-collinear points with position vectors $\mathbf{a},\mathbf{b},\mathbf{c}$, a nonzero normal vector isThe plane is the set of $\mathbf{r}$ satisfying $(\mathbf{r}-\mathbf{a})\cdot \mathbf{N}=0$. Expanding the cross product and using the scalar triple product givesNon-collinearity is essential: otherwise $\mathbf{N}=0$ and the equation fails to select a unique plane.

The singular-chain product induces this natural pairing on homology. Composing it with multiplication of a loop space gives the Pontryagin product on loop-space homology. This is different from the vector cross product.