For a real orthogonal matrix, . Consequently
Thus 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 . Hence
and . 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 (0)

There are currently no matching articles.