Maths WorkshopMaths problems with full solutions
Exercise 1389Topology › Topology of Mn(ℝ) › Rank, spectrum and normsL3Added 6 Nov 2026

The discriminant of a 2×2 matrix and a cone

#discriminant#2x2 matrices#convex cone#complex eigenvalues

Statement

For A=(abcd)A=\begin{pmatrix}a&b\\c&d\end{pmatrix} put u=a−du=a-d, v=b+cv=b+c, w=b−cw=b-c. Show that
tr⁡(A)2−4det⁡A=u2+v2−w2,\operatorname{tr}(A)^2-4\det A=u^2+v^2-w^2,
and deduce that {A:tr⁡2<4det⁡}\{A:\operatorname{tr}^2<4\det\} (matrices with non-real eigenvalues) has exactly two connected components, each of them convex.

Hint

Expand (a+d)2−4(ad−bc)=(a−d)2+4bc(a+d)^2-4(ad-bc)=(a-d)^2+4bc and write 4bc4bc with b+cb+c and b−cb-c.

Show solutionHide solution

Solution

The identity.
tr⁡2−4det⁡=(a+d)2−4ad+4bc=(a−d)2+4bc.\operatorname{tr}^2-4\det=(a+d)^2-4ad+4bc=(a-d)^2+4bc.
Since (b+c)2−(b−c)2=4bc(b+c)^2-(b-c)^2=4bc,
tr⁡2−4det⁡=u2+(b+c)2−(b−c)2=u2+v2−w2.\operatorname{tr}^2-4\det=u^2+(b+c)^2-(b-c)^2=u^2+v^2-w^2.

Non-real spectrum. The eigenvalues are real iff the discriminant tr⁡2−4det⁡≥0\operatorname{tr}^2-4\det\ge0. So the matrices with non-real eigenvalues form
E={u2+v2<w2}⊂R4\mathcal{E}=\{u^2+v^2<w^2\}\subset\mathbb{R}^4
(coordinates s=a+d,u,v,ws=a+d,u,v,w are a linear change of coordinates, so topology and convexity are preserved). The variable ss is free.

Two components. The condition u2+v2<w2u^2+v^2<w^2 forces w≠0w\ne0, so E=E+⊔E−\mathcal{E}=\mathcal{E}_+\sqcup\mathcal{E}_- with E±={±w>u2+v2}\mathcal{E}_\pm=\{\pm w>\sqrt{u^2+v^2}\}, both open and disjoint.

Convexity of each piece. E+=Rs×{(u,v,w):w>u2+v2}\mathcal{E}_+=\mathbb{R}_s\times\{(u,v,w):w>\sqrt{u^2+v^2}\}. The function (u,v)↦u2+v2(u,v)\mapsto\sqrt{u^2+v^2} is a norm, hence convex, so its epigraph (strict) {w>u2+v2}\{w>\sqrt{u^2+v^2}\} is convex. A product with R\mathbb{R} is convex. Same for E−\mathcal{E}_-. Convex sets are connected, so there are exactly two components.

Example. The rotation (0−110)\begin{pmatrix}0&-1\\1&0\end{pmatrix} has b=−1,c=1b=-1,c=1, w=−2w=-2, u=v=0u=v=0: it lies in E−\mathcal{E}_-; its transpose (rotation by −90∘-90^\circ) lies in E+\mathcal{E}_+. Orientation of the rotation decides the component.

Remark. The sign of w=b−cw=b-c is the "angular velocity" of the linear flow x˙=Ax\dot x=Ax when the eigenvalues are complex: the two components are counter-clockwise and clockwise spiral behaviours. They cannot be connected without passing through matrices with real eigenvalues.