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

Power sums determine the characteristic polynomial

#Newton identities#power sums#characteristic polynomial#continuity

Statement

Show that A↦(tr⁡A,tr⁡A2,…,tr⁡An)A\mapsto(\operatorname{tr}A,\operatorname{tr}A^2,\dots,\operatorname{tr}A^n) is continuous on Mn(R)M_n(\mathbb{R}) and that it determines the characteristic polynomial χA\chi_A.

Hint

If λ1,…,λn\lambda_1,\dots,\lambda_n are the complex eigenvalues of AA, then tr⁡Ak=pk(λ)=∑iλik\operatorname{tr}A^k=p_k(\lambda)=\sum_i\lambda_i^k. Use Newton's identities.

Show solutionHide solution

Solution

Continuity. The entries of AkA^k are polynomials in the entries of AA, and the trace is linear. So each tr⁡Ak\operatorname{tr}A^k is a polynomial function of AA, hence continuous.

Link with the spectrum. Over C\mathbb{C}, triangularise A=PTP−1A=PTP^{-1} with diagonal λ1,…,λn\lambda_1,\dots,\lambda_n (with algebraic multiplicities). Then Ak=PTkP−1A^k=PT^kP^{-1} and TkT^k is triangular with diagonal λik\lambda_i^k, so
tr⁡Ak=∑iλik=:pk.\operatorname{tr}A^k=\sum_i\lambda_i^k=:p_k.

Newton's identities. Write χA(t)=∏i(t−λi)=tn−e1tn−1+e2tn−2−⋯+(−1)nen\chi_A(t)=\prod_i(t-\lambda_i)=t^n-e_1t^{n-1}+e_2t^{n-2}-\dots+(-1)^ne_n where eke_k are the elementary symmetric polynomials of the λi\lambda_i. Newton's identities state that for 1≤k≤n1\le k\le n
kek=∑j=1k(−1)j−1ek−j pj,e0=1.ke_k=\sum_{j=1}^k(-1)^{j-1}e_{k-j}\,p_j,\qquad e_0=1.
Solving successively gives e1=p1e_1=p_1, e2=p12−p22e_2=\frac{p_1^2-p_2}2, e3=p13−3p1p2+2p36e_3=\frac{p_1^3-3p_1p_2+2p_3}6, and so on: each eke_k is a polynomial in p1,…,pkp_1,\dots,p_k with rational coefficients (dividing by kk is allowed in characteristic 00).

Conclusion. The coefficients of χA\chi_A are polynomials in tr⁡A,…,tr⁡An\operatorname{tr}A,\dots,\operatorname{tr}A^n. Hence two matrices with the same first nn power traces have the same characteristic polynomial.

Check. n=2n=2: χA(t)=t2−(tr⁡A)t+(tr⁡A)2−tr⁡A22\chi_A(t)=t^2-(\operatorname{tr}A)t+\frac{(\operatorname{tr}A)^2-\operatorname{tr}A^2}2, and indeed det⁡A=(tr⁡A)2−tr⁡(A2)2\det A=\frac{(\operatorname{tr}A)^2-\operatorname{tr}(A^2)}2.

Remark. The division by kk is essential: over a field of characteristic p≤np\le n the power sums do not determine the characteristic polynomial.