Jump to content

Plane isometries/Section

From Wikiversity


Let

be a proper linear isometry. Then is a rotation, and the describing matrix with respect to the standard basis has the form

with a uniquely determined rotation angle

.

Let and be the images of the standard vectors and . An isometry preserves the length of a vector; therefore,

Hence, is a real number between and , and , that is, is a point on the real unit circle. The unit circle is parametrized by the trigonometric functions, that is, there exists a uniquely determined angle , , such that

Since an isometry preserves orthogonality, we have

In case , this implies (because of ) . Then , and, due to the properness assumption, the sign must be that of .

So let . Then

Since both vectors have the length , the modulus of the scalar factor is . In case , we had and the determinant were . Therefore, and , yielding the claim.


The composition of two rotations and is . This property is intuitively clear, using intuitive properties of plane rotations. Using the addition theorems for the trigonometric functions, we can proof them. Moreover, the addition theorems follow from this property, see exercise. Therefore, the group of plane rotations is commutative.


Let

be an improper linear isometry. Then is an axis reflection, and its describing matrix, with respect to the standard basis, has the form

with a uniquely determined angle

.

We consider

which is by the multiplication theorem for the determinant a proper isometry. Because of fact, there exists a uniquely determined angle such that

Therefore,


If such an axis rotation is given, then is an eigenvector for the eigenvalue , and the axis of reflection is , see exercise. An axis reflection is described, with respect to the basis consisting of a vector of the reflecting axis and a corresponding orthogonal vector , by the matrix . This means that the description given in fact (with respect to the standard basis) can be improved drastically.