Take . It is a polynomial in the normal operator , so part (b)(iii) makes a normal operator. Also . If , part (b)(i), applied to , gives
The norm vanishes only at the zero vector, so
This is the adjoint eigenvector identity for a normal matrix expressed independently of coordinates.
Let and , with . By part (i) and the adjoint operator identity,
The last step uses conjugate-linearity in the second argument of the inner product. Therefore , proving the orthogonality of the two eigenspaces:
Over the complex numbers, the fundamental theorem of algebra makes every irreducible polynomial factor equal to . Part (b)(iv) gives
with distinct eigenvalues. The primary decomposition theorem for linear maps consequently expresses as the direct sum of the actual eigenspaces , with no higher generalized eigenspaces needed. Part (ii) makes these summands mutually orthogonal.
Apply the Gram-Schmidt process to a basis within each eigenspace. Its linear combinations stay within that eigenspace, so all resulting vectors are still eigenvectors. Their union is orthonormal by part (ii) and spans by the primary decomposition theorem for linear maps. Thus
for an orthonormal basis of eigenvectors. This proves the finite-dimensional complex spectral theorem for normal operators by the requested decomposition argument.

Articles by others on the same topic (0)

There are currently no matching articles.