Throughout Question 3, the inner product is linear in its first argument and conjugate-linear in its second. Over the real numbers, conjugation has no effect. The symbol now denotes the adjoint operator for this inner product.
An adjoint operator of is a linear map satisfying
This identity transfers from the first input of the inner product to the second.
If and both satisfy the defining identity of an adjoint operator, then
for every . Choosing gives . The positive definiteness of the inner product forces for every , proving
For the normal operator , the adjoint operator identity and give
For the last equality, and complex conjugation allow reversal of the two arguments. Taking the nonnegative square roots proves
In particular the two kernels coincide.
Let . If , then , and part (i) gives . Thus and
The positive definiteness of the inner product gives . Since the reverse kernel inclusion always holds, we obtain
This is kernel stabilization for a normal operator.
For a polynomial , the defining identity and uniqueness of the adjoint operator give
Indeed, the adjoint operator of a sum is the sum of the adjoint operators, the adjoint of is , and the adjoint of a product is . Since the normal operator commutes with , each power of commutes with each power of . Multiplying the two finite sums therefore gives
Hence polynomials of a normal operator are normal, including constant polynomials.
Suppose some exponent . Define
Part (iii) makes a normal operator. For every , put . The minimal polynomial identity gives
Part (ii), applied to , forces . As this holds for every ,
This contradicts minimality: is a monic polynomial of smaller degree annihilating . 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.
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.