Past exam of the linear algebra course of the University of Oxford / 2017 / 2 / b / ii / Solution

If $\varphi =T^{\prime }\psi$ and $v\in \ker T$, then $\varphi (v)=\psi (Tv)=0$. Thus $\mathrm{im}{T}^{\prime }\subseteq (\ker T{)}^{\circ }$, using the annihilator of a vector subspace.

Conversely, let $\varphi$ vanish on the kernel of a linear map $\ker T$. Define a linear functional on $\mathrm{im}T$ by ${\psi }_0(Tv)=\varphi (v)$. This is well-defined: $Tv=Tw$ implies $v-w\in \ker T$, so $\varphi (v)=\varphi (w)$. Extend ${\psi }_0$ to a linear functional $\psi$ on $W$, using the extension argument from part (i). Then $T^{\prime }\psi =\varphi$, provingThe dimension formula from part (i) and the rank-nullity theorem now giveTo deduce the eigenvalue statement, apply this equality of rank of a linear map to $T-\lambda I$. Its dual map is $T^{\prime }-\lambda I$, so their kernel of a linear map dimensions agree. Thus the same $\lambda$ are eigenvalues, with the same geometric multiplicities.

For algebraic multiplicities as well, part (a)(iii) givesso equality of rank applies to every power. HenceAfter extending to a field where the characteristic polynomials split, take $r\ge \dim V$. These kernel of a linear map spaces are the generalized eigenspaces; the primary decomposition theorem for linear maps identifies their dimensions with the algebraic multiplicities. The same proof works over the original field for every eigenvalue in it. We obtainIn fact the argument also includes the zero eigenvalue.