Past exam of the linear algebra course of the University of Oxford / 2023 / 3 / b

For the normal operator $T$, the adjoint operator identity and $T^{\ast }T=T{T}^{\ast }$ giveFor the last equality, $⟨T{T}^{\ast }v,v⟩=⟨T^{\ast }v,T^{\ast }v⟩$ and complex conjugation allow reversal of the two arguments. Taking the nonnegative square roots provesIn particular the two kernels coincide.

Let $w=Tv$. If $T^{2}v=0$, then $Tw=0$, and part (i) gives $\Vert T^{\ast }w\Vert =\Vert Tw\Vert =0$. Thus $T^{\ast }w=0$ andThe positive definiteness of the inner product gives $w=0$. Since the reverse kernel inclusion always holds, we obtainThis is kernel stabilization for a normal operator.

For a polynomial $f(x)={\sum }_{j=0}^d{a}_j{x}^j$, the defining identity and uniqueness of the adjoint operator giveIndeed, the adjoint operator of a sum is the sum of the adjoint operators, the adjoint of $aT$ is $\bar{a}{T}^{\ast }$, and the adjoint of a product $AB$ is $B^{\ast }{A}^{\ast }$. Since the normal operator $T$ commutes with $T^{\ast }$, each power of $T$ commutes with each power of $T^{\ast }$. Multiplying the two finite sums therefore givesHence polynomials of a normal operator are normal, including constant polynomials.

Suppose some exponent $q_j\ge 2$. DefinePart (iii) makes $N$ a normal operator. For every $v\in V$, put $w=h(T)v$. The minimal polynomial identity givesPart (ii), applied to $N$, forces $Nw=0$. As this holds for every $v$,This contradicts minimality: $m_T/f_j$ is a monic polynomial of smaller degree annihilating $T$. Therefore the minimal polynomial of a normal operator is a square-free polynomial over either of the given fields:This argument does not require the irreducible polynomials to be linear, so it also covers the real case.