Maths WorkshopMaths problems with full solutions
Exercise 2054Topology › Topology of Mn(ℝ) › Continuity of matrix mapsM1Added 7 Nov 2026

No continuous choice of a unit eigenvector

#eigenvectors#Möbius band#connectedness#no continuous section

Statement

Let A(θ)=(cos⁡θsin⁡θsin⁡θ−cos⁡θ)A(\theta)=\begin{pmatrix}\cos\theta&\sin\theta\\\sin\theta&-\cos\theta\end{pmatrix} for θ∈[0,2π]\theta\in[0,2\pi] (so A(0)=A(2π)A(0)=A(2\pi)). Show that there is no continuous map v:[0,2π]→R2v:[0,2\pi]\to\mathbb{R}^2 of unit eigenvectors for the largest eigenvalue of A(θ)A(\theta) with v(0)=v(2π)v(0)=v(2\pi).

Hint

Find the eigenvalues and eigenvectors of A(θ)A(\theta) explicitly.

Show that any continuous choice must coincide, up to a global sign, with (cos⁡θ2,sin⁡θ2)(\cos\frac\theta2,\sin\frac\theta2).

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 −1-1, like a Möbius band.

Step 1: eigenvalues. A(θ)A(\theta) is symmetric with tr⁡A=0\operatorname{tr}A=0 and det⁡A=−cos⁡2θ−sin⁡2θ=−1\det A=-\cos^2\theta-\sin^2\theta=-1, so the eigenvalues are ±1\pm1 and the top eigenvalue is 11, always simple.

Step 2: eigenvectors. Let w(θ)=(cos⁡θ2,sin⁡θ2)w(\theta)=(\cos\frac\theta2,\sin\frac\theta2). Then
A(θ)w=(cos⁡θcos⁡θ2+sin⁡θsin⁡θ2, sin⁡θcos⁡θ2−cos⁡θsin⁡θ2)=(cos⁡θ2, sin⁡θ2)=w(θ),A(\theta)w=\big(\cos\theta\cos\tfrac\theta2+\sin\theta\sin\tfrac\theta2,\ \sin\theta\cos\tfrac\theta2-\cos\theta\sin\tfrac\theta2\big)=\big(\cos\tfrac\theta2,\ \sin\tfrac\theta2\big)=w(\theta),
by the subtraction formulas. So w(θ)w(\theta) is a unit eigenvector for 11, and since the eigenspace is a line, the unit eigenvectors are exactly ±w(θ)\pm w(\theta).

Step 3: any continuous choice is ±w\pm w. Let vv be a continuous choice. Then v(θ)=ε(θ)w(θ)v(\theta)=\varepsilon(\theta)w(\theta) with ε(θ)=⟨v(θ),w(θ)⟩∈{±1}\varepsilon(\theta)=\langle v(\theta),w(\theta)\rangle\in\{\pm1\}. The function ε\varepsilon is continuous on the connected interval [0,2π][0,2\pi] with values in {±1}\{\pm1\}, hence constant.

Step 4: contradiction. If v(0)=v(2π)v(0)=v(2\pi) then εw(0)=εw(2π)\varepsilon w(0)=\varepsilon w(2\pi), i.e. w(0)=w(2π)w(0)=w(2\pi). But w(0)=(1,0)w(0)=(1,0) while w(2π)=(cos⁡π,sin⁡π)=(−1,0)≠w(0)w(2\pi)=(\cos\pi,\sin\pi)=(-1,0)\ne w(0). Contradiction.

Remark.
- The *eigenvalue* 11 and the *eigenprojection* vvT=wwTv v^T=w w^T do depend continuously (and periodically) on θ\theta; only the *eigenvector* does not. This is why eigenvectors must be defined up to sign when matrices vary along loops.
- Geometrically: the set {(A,v):Av=v,∣v∣=1}\{(A,v):Av=v,|v|=1\} is a double cover of the circle θ∈S1\theta\in S^1, 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 2×22\times2 symmetric matrices with distinct eigenvalues.