Back to Linear Algebra

Orthonormal Matrices

Distance-preserving maps of the plane turn out to be rotations, reflections, and translations, matched by matrices with orthonormal columns.

Linear Algebra, Orthonormal Matrices

Status
FlagsLoading your progress…

5 exercises

Exercise 1

Decide if each of these is an orthonormal matrix.

  • (1/2−1/2−1/2−1/2)\begin{pmatrix}1/\sqrt{2}&-1/\sqrt{2}\\ -1/\sqrt{2}&-1/\sqrt{2}\end{pmatrix}

  • (1/3−1/3−1/3−1/3)\begin{pmatrix}1/\sqrt{3}&-1/\sqrt{3}\\ -1/\sqrt{3}&-1/\sqrt{3}\end{pmatrix}

  • (1/3−2/3−2/3−1/3)\begin{pmatrix}1/\sqrt{3}&-\sqrt{2}/\sqrt{3}\\ -\sqrt{2}/\sqrt{3}&-1/\sqrt{3}\end{pmatrix}

3.0

Exercise 2

Write down the formula for each of these distance-preserving maps.

  • the map that rotates π/6\pi/6 radians, and then translates by e⃗2\vec{e}_{2}

  • the map that reflects about the line y=2xy=2x

  • the map that reflects about y=−2xy=-2x and translates over 11 and up 11

3.0

Exercise 3

  • The proof that a map that is distance-preserving and sends the zero vector to itself incidentally shows that such a map is one-to-one and onto (the point in the domain determined by d0d_{0}, d1d_{1}, and d2d_{2} corresponds to the point in the codomain determined by those three). Therefore any distance-preserving map has an inverse. Show that the inverse is also distance-preserving.

  • Prove that congruence is an…

3.0

Exercise 4

In practice the matrix for the distance-preserving linear transformation and the translation are often combined into one. Check that these two computations yield the same first two components.

(These are homogeneous coordinates; see the Topic on Projective Geometry).

3.0

Exercise 5

  • Verify that the properties described in the second paragraph of this Topic as invariant under distance-preserving maps are indeed so.

  • Give two more properties that are of interest in Euclidean geometry from your experience in studying that subject that are also invariant under distance-preserving maps.

  • Give a property that is not of interest in Euclidean geometry and is not invariant under d…

3.0

Adapted from Linear Algebra © 2016 Jim Hefferon. Licensed under CC BY-SA 3.0 US. Source: Linear Algebra. Imported at revision df2262e.