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

Complex coordinates (z, w) on M_2(R): determinant and singular values

#M_2(R)#complex coordinates#singular values#determinant#Frobenius norm

Statement

Identify R2\mathbb{R}^2 with C\mathbb{C} via (x1,x2)↔x=x1+ix2(x_1,x_2)\leftrightarrow x=x_1+ix_2. For A=(abcd)∈M2(R)A=\begin{pmatrix}a&b\\c&d\end{pmatrix}\in M_2(\mathbb{R}) put
z=(a+d)+i(c−b)2,w=(a−d)+i(b+c)2.z=\frac{(a+d)+i(c-b)}2,\qquad w=\frac{(a-d)+i(b+c)}2.
1. Show that Ax=zx+wxˉAx=zx+w\bar x for all x∈Cx\in\mathbb{C}.
2. Show that det⁡A=∣z∣2−∣w∣2\det A=|z|^2-|w|^2.
3. Show that the singular values of AA are σ1=∣z∣+∣w∣\sigma_1=|z|+|w| and σ2=∣∣z∣−∣w∣∣\sigma_2=\bigl||z|-|w|\bigr|.
4. Show that ∥A∥F2=2(∣z∣2+∣w∣2)\|A\|_F^2=2(|z|^2+|w|^2).

Hint

For 1, compute z+wz+w and z−wz-w. For 3, compute ∣zx+wxˉ∣2|zx+w\bar x|^2 for ∣x∣=1|x|=1, x=eiφx=e^{i\varphi}: the term 2Re⁡(zwˉe2iφ)2\operatorname{Re}(z\bar we^{2i\varphi}) describes an interval when φ\varphi varies.

Show solutionHide solution

Solution

Idea. Every real-linear map of C\mathbb{C} splits uniquely into a complex-linear part x↦zxx\mapsto zx (a rotation-dilation) and a conjugate-linear part x↦wxˉx\mapsto w\bar x (a reflection-dilation). The coordinates (z,w)(z,w) make the geometry of M2(R)M_2(\mathbb{R}) explicit.

Part 1. First,
z+w=2a+i(2c)2=a+ic,z−w=2d+i(−2b)2=d−ib.z+w=\frac{2a+i(2c)}2=a+ic,\qquad z-w=\frac{2d+i(-2b)}2=d-ib.
With x=x1+ix2x=x_1+ix_2 we have zx+wxˉ=(z+w)x1+i(z−w)x2=(a+ic)x1+(id+b)x2zx+w\bar x=(z+w)x_1+i(z-w)x_2=(a+ic)x_1+(id+b)x_2, whose real and imaginary parts are ax1+bx2ax_1+bx_2 and cx1+dx2cx_1+dx_2. That is exactly AxAx read as a complex number.

(Conversely a=Re⁡(z+w)a=\operatorname{Re}(z+w), c=Im⁡(z+w)c=\operatorname{Im}(z+w), d=Re⁡(z−w)d=\operatorname{Re}(z-w), b=−Im⁡(z−w)b=-\operatorname{Im}(z-w), so A↦(z,w)A\mapsto(z,w) is a linear bijection M2(R)→C2M_2(\mathbb{R})\to\mathbb{C}^2.)

Part 2. Expanding,
∣z∣2−∣w∣2=(a+d)2+(c−b)2−(a−d)2−(b+c)24=4ad+(c−b)2−(b+c)24=4ad−4bc4=ad−bc.|z|^2-|w|^2=\frac{(a+d)^2+(c-b)^2-(a-d)^2-(b+c)^2}4=\frac{4ad+(c-b)^2-(b+c)^2}4=\frac{4ad-4bc}4=ad-bc.

Part 3. For x=eiφx=e^{i\varphi} we have ∣zx+wxˉ∣2=∣z∣2+∣w∣2+2Re⁡(zx⋅wxˉ‾)|zx+w\bar x|^2=|z|^2+|w|^2+2\operatorname{Re}\bigl(zx\cdot\overline{w\bar x}\bigr) and wxˉ‾=wˉx\overline{w\bar x}=\bar wx, so
∣Ax∣2=∣z∣2+∣w∣2+2Re⁡(zwˉ e2iφ).|Ax|^2=|z|^2+|w|^2+2\operatorname{Re}\bigl(z\bar w\,e^{2i\varphi}\bigr).
As φ\varphi runs through [0,2π)[0,2\pi), the number zwˉe2iφz\bar we^{2i\varphi} runs around the circle of radius ∣z∣∣w∣|z||w|, and its real part takes all values in [−∣z∣∣w∣,∣z∣∣w∣][-|z||w|,|z||w|]. Hence ∣Ax∣2|Ax|^2 ranges over
[∣z∣2+∣w∣2−2∣z∣∣w∣, ∣z∣2+∣w∣2+2∣z∣∣w∣]=[(∣z∣−∣w∣)2,(∣z∣+∣w∣)2].\bigl[|z|^2+|w|^2-2|z||w|,\ |z|^2+|w|^2+2|z||w|\bigr]=\bigl[(|z|-|w|)^2,(|z|+|w|)^2\bigr].
Now ∣Ax∣2=xTATAx|Ax|^2=x^TA^TAx on the unit circle ranges exactly between the smallest and the largest eigenvalue of ATAA^TA, that is between σ22\sigma_2^2 and σ12\sigma_1^2. Therefore σ1=∣z∣+∣w∣\sigma_1=|z|+|w| and σ2=∣∣z∣−∣w∣∣\sigma_2=\bigl||z|-|w|\bigr|.

Part 4. ∥A∥F2=σ12+σ22=(∣z∣+∣w∣)2+(∣z∣−∣w∣)2=2(∣z∣2+∣w∣2)\|A\|_F^2=\sigma_1^2+\sigma_2^2=(|z|+|w|)^2+(|z|-|w|)^2=2(|z|^2+|w|^2). (Directly: ∣z∣2+∣w∣2=(a+d)2+(a−d)2+(c−b)2+(b+c)24=a2+b2+c2+d22|z|^2+|w|^2=\frac{(a+d)^2+(a-d)^2+(c-b)^2+(b+c)^2}4=\frac{a^2+b^2+c^2+d^2}2.)

Check (numerical). For 200200 random 2×22\times2 matrices, all four identities hold to machine precision. For the rotation R(θ)R(\theta) one finds z=eiθz=e^{i\theta}, w=0w=0, and for diag(1,−1)\mathrm{diag}(1,-1) one finds z=0z=0, w=1w=1.

Remark. det⁡\det is a quadratic form of signature (2,2)(2,2) on M2(R)≅R4M_2(\mathbb{R})\cong\mathbb{R}^4: ∣z∣2|z|^2 contributes two positive squares and −∣w∣2-|w|^2 two negative ones. The formula ∥A∥=∣z∣+∣w∣\|A\|=|z|+|w| for the operator norm shows that its unit ball is the ℓ1\ell^1-sum of two Euclidean discs.

Lesson. In M2(R)M_2(\mathbb{R}), choose coordinates adapted to the action of SO(2)×SO(2)SO(2)\times SO(2) (rotations on both sides): zz and ww are the natural ones.