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

The characteristic polynomial map and its section

#characteristic polynomial#companion matrix#continuous section

Statement

For A∈Mn(R)A\in M_n(\mathbb{R}) write det⁡(tI−A)=tn+cn−1(A)tn−1+⋯+c0(A)\det(tI-A)=t^n+c_{n-1}(A)t^{n-1}+\dots+c_0(A) and let χ:Mn→Rn\chi:M_n\to\mathbb{R}^n, A↦(cn−1(A),…,c0(A))A\mapsto(c_{n-1}(A),\dots,c_0(A)). Show that χ\chi is continuous and surjective, and has a continuous right inverse.

Hint

The coefficients are polynomials in the entries of AA.

For the right inverse, use companion matrices.

Show solutionHide solution

Solution

Idea. Continuity follows from the polynomial dependence. A right inverse is a continuous choice of a matrix with prescribed characteristic polynomial; the companion matrix does it.

Step 1: continuity. det⁡(tI−A)\det(tI-A) is a polynomial in tt whose coefficients are polynomial in the entries aija_{ij} (expand the determinant by Leibniz). So each ckc_k is a polynomial map, hence continuous (Problem 66). Explicitly cn−1=−tr⁡Ac_{n-1}=-\operatorname{tr}A and c0=(−1)ndet⁡Ac_0=(-1)^n\det A.

Step 2: the companion matrix. For c=(cn−1,…,c0)∈Rnc=(c_{n-1},\dots,c_0)\in\mathbb{R}^n let
C(c)=(00⋯0−c010⋯0−c101⋯0−c2⋮⋱⋮00⋯1−cn−1).C(c)=\begin{pmatrix}0&0&\cdots&0&-c_0\\1&0&\cdots&0&-c_1\\0&1&\cdots&0&-c_2\\\vdots&&\ddots&&\vdots\\0&0&\cdots&1&-c_{n-1}\end{pmatrix}.
The entries of C(c)C(c) are 00, 11 or −ck-c_k, so c↦C(c)c\mapsto C(c) is continuous (it is even affine).

Step 3: χ(C(c))=c\chi(C(c))=c. Expanding det⁡(tI−C(c))\det(tI-C(c)) along the last column gives tn+cn−1tn−1+⋯+c0t^n+c_{n-1}t^{n-1}+\dots+c_0. (Check n=2n=2: C=(0−c01−c1)C=\begin{pmatrix}0&-c_0\\1&-c_1\end{pmatrix}, det⁡(tI−C)=t(t+c1)+c0=t2+c1t+c0\det(tI-C)=t(t+c_1)+c_0=t^2+c_1t+c_0.)

Step 4: conclusion. χ∘C=idRn\chi\circ C=\mathrm{id}_{\mathbb{R}^n}. So χ\chi is surjective, and CC is a continuous right inverse (a continuous *section*).

Remark. There is no *linear* right inverse for n≥2n\ge2 in general, but there is a continuous one. Also, a continuous *left* inverse is impossible, because χ\chi is far from injective (all conjugates of AA share the same characteristic polynomial). This map identifies the quotient "MnM_n modulo conjugation" with the space of polynomials, at least on the open set of matrices with distinct eigenvalues.