Maths WorkshopMaths problems with full solutions
Exercise 1458Topology › Topology of Mn(ℝ) › Applications and the case n = 2L3Added 10 Nov 2026

The 2×2 Hurwitz matrices form a path-connected set

#M2(R)#Hurwitz stability#path connectedness#trace and determinant

Statement

A matrix A∈M2(R)A\in M_2(\mathbb{R}) is *Hurwitz* if both its eigenvalues have negative real part. Identify R2\mathbb{R}^2 with C\mathbb{C} and write Ax=zx+wxˉAx=zx+w\bar x, with z=(a+d)+i(c−b)2z=\frac{(a+d)+i(c-b)}2, w=(a−d)+i(b+c)2w=\frac{(a-d)+i(b+c)}2 for A=(abcd)A=\begin{pmatrix}a&b\\c&d\end{pmatrix} (so tr⁡A=2Re⁡z\operatorname{tr}A=2\operatorname{Re}z and det⁡A=∣z∣2−∣w∣2\det A=|z|^2-|w|^2).

  1. Show that AA is Hurwitz iff tr⁡A<0\operatorname{tr}A<0 and det⁡A>0\det A>0, i.e. iff Re⁡z<0\operatorname{Re}z<0 and ∣w∣<∣z∣|w|<|z|.
  2. Show that the set H\mathcal H of Hurwitz matrices is path connected.
Hint

For part 1 distinguish real and complex roots of t2−(tr⁡A)t+det⁡At^2-(\operatorname{tr}A)t+\det A. For part 2, move AA to −I-I along t↦(1−t)A−tIt\mapsto(1-t)A-tI and look at how the eigenvalues move.

Show solutionHide solution

Solution

Idea. The Hurwitz condition is open and invariant under "shrinking towards the stable point −I-I": (1−t)A−tI(1-t)A-tI has eigenvalues (1−t)λ−t(1-t)\lambda-t.

Part 1. Let τ=tr⁡A\tau=\operatorname{tr}A, δ=det⁡A\delta=\det A; the eigenvalues λ1,λ2\lambda_1,\lambda_2 are the roots of t2−τt+δt^2-\tau t+\delta, with λ1+λ2=τ\lambda_1+\lambda_2=\tau, λ1λ2=δ\lambda_1\lambda_2=\delta.
- *Non-real roots.* They are λ,λˉ\lambda,\bar\lambda with τ=2Re⁡λ\tau=2\operatorname{Re}\lambda and δ=∣λ∣2>0\delta=|\lambda|^2>0. Then both have negative real part iff τ<0\tau<0 (and δ>0\delta>0 holds automatically).
- *Real roots.* Both are negative iff their sum is negative and their product is positive: τ<0\tau<0 and δ>0\delta>0. (If the product is positive they have the same sign, and then the sum decides the sign.)

In both cases: Hurwitz   ⟺  τ<0\iff\tau<0 and δ>0\delta>0. Finally τ=2Re⁡z\tau=2\operatorname{Re}z and δ=∣z∣2−∣w∣2\delta=|z|^2-|w|^2, so the condition reads Re⁡z<0\operatorname{Re}z<0 and ∣w∣<∣z∣|w|<|z|.

Part 2. Let A∈HA\in\mathcal H with eigenvalues λ1,λ2\lambda_1,\lambda_2 (Re⁡λi<0\operatorname{Re}\lambda_i<0). For t∈[0,1]t\in[0,1] let Mt=(1−t)A−tIM_t=(1-t)A-tI. It depends continuously on tt, M0=AM_0=A, M1=−IM_1=-I. The eigenvalues of MtM_t are μi(t)=(1−t)λi−t\mu_i(t)=(1-t)\lambda_i-t (if Av=λvAv=\lambda v then Mtv=((1−t)λ−t)vM_tv=((1-t)\lambda-t)v, and the characteristic polynomial of MtM_t has these two roots with multiplicity). Their real parts are
Re⁡μi(t)=(1−t)Re⁡λi−t<0(0≤t≤1),\operatorname{Re}\mu_i(t)=(1-t)\operatorname{Re}\lambda_i-t<0\qquad(0\le t\le1),
since (1−t)Re⁡λi≤0(1-t)\operatorname{Re}\lambda_i\le0 and −t≤0-t\le0, and they cannot both vanish (at t=0t=0 the first term is negative, for t>0t>0 the second is). So Mt∈HM_t\in\mathcal H for all tt: every Hurwitz matrix is joined to −I-I by a path in H\mathcal H. Hence H\mathcal H is path connected.

Check. A=(−150−2)A=\begin{pmatrix}-1&5\\0&-2\end{pmatrix}: τ=−3<0\tau=-3<0, δ=2>0\delta=2>0, eigenvalues −1,−2-1,-2. At t=12t=\frac12: M1/2=(−12.50−1.5)M_{1/2}=\begin{pmatrix}-1&2.5\\0&-1.5\end{pmatrix} with eigenvalues −1,−1.5-1,-1.5, still Hurwitz.

Remark. In the coordinates, {∣w∣<∣z∣}=GL2+\{|w|<|z|\}=GL_2^+ and H\mathcal H is the part where Re⁡z<0\operatorname{Re}z<0. Writing z=ρeiαz=\rho e^{i\alpha} with α∈(π2,3π2)\alpha\in(\frac\pi2,\frac{3\pi}2), H≅(π2,3π2)×{(ρ,w):ρ>∣w∣}\mathcal H\cong(\frac\pi2,\frac{3\pi}2)\times\{(\rho,w):\rho>|w|\}, which is contractible. Note that the trace-determinant description is special to n=2n=2; in higher dimensions Hurwitz stability needs the Routh-Hurwitz conditions.

Lesson. To prove that a set defined by the eigenvalues is path connected, find a homotopy that moves the eigenvalues in a controlled way (here an affine map λ↦(1−t)λ−t\lambda\mapsto(1-t)\lambda-t).