No continuous choice of a unit eigenvector
Statement
Let for (so ). Show that there is no continuous map of unit eigenvectors for the largest eigenvalue of with .
Hint
Find the eigenvalues and eigenvectors of explicitly.
Show that any continuous choice must coincide, up to a global sign, with .
Show solutionHide solution
Solution
Idea. The eigenvector of the largest eigenvalue is determined up to sign, and following it continuously around the loop returns it with the opposite sign: a "holonomy" of , like a Möbius band.
Step 1: eigenvalues. is symmetric with and , so the eigenvalues are and the top eigenvalue is , always simple.
Step 2: eigenvectors. Let . Then
by the subtraction formulas. So is a unit eigenvector for , and since the eigenspace is a line, the unit eigenvectors are exactly .
Step 3: any continuous choice is . Let be a continuous choice. Then with . The function is continuous on the connected interval with values in , hence constant.
Step 4: contradiction. If then , i.e. . But while . Contradiction.
Remark.
- The *eigenvalue* and the *eigenprojection* do depend continuously (and periodically) on ; only the *eigenvector* does not. This is why eigenvectors must be defined up to sign when matrices vary along loops.
- Geometrically: the set is a double cover of the circle , and it is connected (a single circle traversed twice); a double cover of a circle with a continuous section would be trivial.
- The same obstruction shows there is no continuous orientation of eigenlines of symmetric matrices with distinct eigenvalues.