Maths WorkshopMaths problems with full solutions
Exercise 2062Topology › Topology of Mn(ℝ) › ConnectednessL3Added 7 Nov 2026

2×2 matrices without real eigenvalues

#2x2 matrices#discriminant#complex eigenvalues#components

Statement

Show that the set E={A∈M2(R):A has no real eigenvalue}\mathcal{E}=\{A\in M_2(\mathbb{R}):A\text{ has no real eigenvalue}\} has exactly two path components.

Hint

Write A=(abcd)A=\begin{pmatrix}a&b\\c&d\end{pmatrix}. The characteristic polynomial has no real root iff its discriminant (a−d)2+4bc(a-d)^2+4bc is negative. What does this say about cc?

Show solutionHide solution

Solution

Idea. The sign of the lower-left entry cc is an invariant, and each sign class is described by explicit inequalities.

Step 1: description. The characteristic polynomial of AA is x2−(a+d)x+(ad−bc)x^2-(a+d)x+(ad-bc), with discriminant
Δ=(a+d)2−4(ad−bc)=(a−d)2+4bc.\Delta=(a+d)^2-4(ad-bc)=(a-d)^2+4bc.
A∈EA\in\mathcal{E} iff Δ<0\Delta<0, i.e.
(a−d)2<−4bc.(a-d)^2<-4bc.

Step 2: sign of cc. The left side is ≥0\ge0, so −4bc>0-4bc>0, i.e. bc<0bc<0. In particular c≠0c\ne0 (and b≠0b\neq0, with bb of sign opposite to cc). So E=E+⊔E−\mathcal{E}=\mathcal{E}_+\sqcup\mathcal{E}_- with E±=E∩{±c>0}\mathcal{E}_\pm=\mathcal{E}\cap\{\pm c>0\}. Both are open (intersections of the open set {Δ<0}\{\Delta<0\} with open half-spaces), disjoint and non-empty (they contain (0−110)\begin{pmatrix}0&-1\\1&0\end{pmatrix} and its transpose).

Step 3: E+\mathcal{E}_+ is path connected. A∈E+A\in\mathcal{E}_+ iff c>0c>0, b<0b<0 and ∣a−d∣<2−bc|a-d|<2\sqrt{-bc}. Use the coordinates (b,c,a,δ)(b,c,a,\delta) with δ=a−d\delta=a-d (a linear change of coordinates, hence a homeomorphism of R4\mathbb{R}^4):
E+≅{(b,c,a,δ):b<0<c, a∈R, ∣δ∣<2−bc}.\mathcal{E}_+\cong\{(b,c,a,\delta):b<0<c,\ a\in\mathbb{R},\ |\delta|<2\sqrt{-bc}\}.
The base {(b,c):b<0<c}\{(b,c):b<0<c\} is convex (a quadrant). Over each point of the base the fibre {(a,δ)}\{(a,\delta)\} is R×(−2−bc,2−bc)\mathbb{R}\times(-2\sqrt{-bc},2\sqrt{-bc}), convex, and the bounds depend continuously on (b,c)(b,c). To join two points (b0,c0,a0,δ0)(b_0,c_0,a_0,\delta_0) and (b1,c1,a1,δ1)(b_1,c_1,a_1,\delta_1), first shrink δ\delta linearly to 00 (the inequality ∣δ∣<2−bc|\delta|<2\sqrt{-bc} remains true), then move (b,c)(b,c) along the segment while keeping δ=0\delta=0 and moving aa linearly, then expand δ\delta linearly to δ1\delta_1 (allowed because the constraint at the new (b1,c1)(b_1,c_1) is ∣δ1∣<2−b1c1|\delta_1|<2\sqrt{-b_1c_1}).

Step 4: same for E−\mathcal{E}_-, with c<0<bc<0<b. It is homeomorphic to E+\mathcal{E}_+ via A↦ATA\mapsto A^T (which swaps bb and cc).

Conclusion. E\mathcal{E} has exactly two path components, E+\mathcal{E}_+ and E−\mathcal{E}_-.

Remark. Geometrically, A∈E±A\in\mathcal{E}_\pm determines an *orientation*: AA acts like a rotation in the plane, counterclockwise for c>0c>0 and clockwise for c<0c<0 (the sign of cc is the sign of det⁡(v,Av)\det\big(v,Av\big) for any vector v≠0v\ne0). This invariant has no analogue for matrices with real eigenvalues.