We frequently want to invert (or undo) transformations. For a translation
, we simply apply the negation
. For a general matrix transform , we apply the matrix inverse (if it exists). This is often complicated to calculate. Fortunately, inverses are much simpler for our cases of interest. In the case of a rotation matrix , the inverse is equal to the transpose
.^{3.2} To invert the homogeneous transform matrix (3.21), it is tempting to write

This will undo both the translation and the rotation; however, the order is wrong. Remember that these operations are not commutative, which implies that order must be correctly handled. See Figure 3.8. The algebra for very general matrices (part of noncommutative group theory) works out so that the inverse of a product of matrices reverses their order:

(3.24) |

This can be seen by putting the inverse next to the original product:

(3.25) |

In this way, cancels with its inverse, followed by and its inverse, and finally and its inverse. If the order were wrong, then these cancellations would not occur.

The matrix (from 3.21) applies the rotation first, followed by translation. Applying (3.23) undoes the rotation first and then translation, without reversing the order. Thus, the inverse of is

The matrix on the right first undoes the translation (with no rotation). After that, the matrix on the left undoes the rotation (with no translation).

Steven M LaValle 2016-12-31