If is an orthogonal transformation and is an orthonormal basis, thenThe images form an orthonormal set, hence are linearly independent and form an orthonormal basis in dimension three.
Conversely, suppose the images of one chosen orthonormal basis form an orthonormal basis. Write and . By linearity of and bilinearity,Thus mapping one orthonormal basis to an orthonormal basis is equivalent to preserving every inner product. In the converse, a single chosen orthonormal basis suffices.
Articles by others on the same topic
There are currently no matching articles.