For a real orthogonal matrix, . ConsequentlyThus it preserves every real inner product, and in particular lengths and angles.
An eigenvalue can be complex even though is real, so use the complex Hermitian inner product. For a nonzero complex eigenvector , the real orthogonal matrix also satisfies . Henceand . Taking complex conjugates in gives because is real. The conjugate vector is nonzero, so .
For the unheaded geometrical conclusion, the third eigenvalue of must be real: nonreal eigenvalues of a real matrix occur in conjugate pairs. Its modulus is one, so it is or . Exact algebraic multiplicity two for excludes a third , leaving . By the supplied diagonalisability fact, the -eigenspace is a two-dimensional plane and the -eigenspace is a line. They are orthogonal: preservation of the inner product between a fixed vector and a negated vector gives . Therefore is the orthogonal reflection in its fixed plane. It fixes the two tangential directions and reverses the normal direction; with unit normal , .
Articles by others on the same topic
There are currently no matching articles.