Write , with . The linear map sends to and sends to . On the perpendicular plane, and are perpendicular vectors of equal length. ThusThe expression in parentheses is a rotation in three dimensions by about the oriented axis, with the positive direction fixed by the cross product. Therefore the map scales the axial component by , scales the perpendicular component by , and rotates the perpendicular plane by . Since , the angle lies between zero and . This is an axis-angle decomposition, with different axial and transverse scale factors.
In suffix notation, , so the matrix entries areHere is the Kronecker delta and the Levi-Civita symbol. The diagonal determines . Comparing the off-diagonal entries withgives . As is a unit vector and , and . ThusIn this example the transverse scaling is and the axial scaling is two; the rotation angle is .
Let be the axial orthogonal projection and . Then , while the vector triple-product identity gives . The map is . Its inverse is on the axis. On the perpendicular plane,Thus the inverse of an axis-angle linear map isor, in the requested vector form,The denominators are nonzero because . Multiplication on each invariant component verifies the matrix inverse without choosing a coordinate frame.
Articles by others on the same topic
There are currently no matching articles.