# 8. Isometries and self-adjoint mappings

Part 1.: Problems, solutions.
Part 2.: Problems, solutions.
Part 3.: Problems, solutions.

### Isometries of linear euclidean spaces

A linear mapping , where , are linear euclidean spaces is an isometry if the following equivalent conditions hold

• is a linear isomorphism and preserves the inner product

• is a linear isomorphism and preserves the lengths of vectors

• takes an orthonormal basis of onto a orthonormal basis of ,
• takes any orthonormal basis of onto a orthonormal basis of ,

### Orthogonal matrices

A matrix is orthogonal if .

In other words, a matrix is orthogonal if its rows (equivalently columns) form an orthonormal basis with respect to the standard inner product.

Orthogonal matrices are invertible and for such matrices.

Notice that is an isometry if and only if is orthogonal for some (equivalently, any) orthogonal bases , of respectively spaces and .

### Rotations and perpendicular reflection

If is a perpendicular reflection across , and if consists of an orthonormal basis of after which we have an orthonormal basis of we get

Obviously a perpendicular reflection is an isometry.

If is a two-dimensional subspace of , then the rotation around by has the following matrix

where consists of an orthonormal basis of after which we have an orthonormal basis of . A rotation is an isometry.

It is easy to show that every isometry of a linear euclidean two-dimensional space is either a perpendicular reflection or a rotation.

### Isometries of affine euclidean spaces

A mapping on affine euclidean spaces is called an isometry if one of the following equivalent conditions hold

• is an affine isomorphism and is a isometry of linear spaces,
• is an affine mapping and is orthogonal in orthonormal bases of and ,

One can prove that is an isometry iff it preserves the distance between points , i.e. for any .

### Mapping preserving measure of parallelepipeds

Notice that if is a -dimensional parallelepiped and is an affine isomorphism, then is also a -dimensional parallelepiped.

Moreover, if is a -dimensional parallelepiped in a -dimensional space, then . Indeed, if , then is a basis , and is a basis . Then for an orthonormal basis , we get

Thus, an affine isomorphism on -dimensional affine euclidean spaces preserves measure of -dimensional parallelepipeds if and only if .