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 satisfyingThis identity transfers from the first input of the inner product to the second.
If and both satisfy the defining identity of an adjoint operator, thenfor every . Choosing gives . The positive definiteness of the inner product forces for every , proving
For the normal operator , the adjoint operator identity and giveFor the last equality, and complex conjugation allow reversal of the two arguments. Taking the nonnegative square roots provesIn particular the two kernels coincide.
Let . If , then , and part (i) gives . Thus andThe positive definiteness of the inner product gives . Since the reverse kernel inclusion always holds, we obtainThis is kernel stabilization for a normal operator.
For a polynomial , 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 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 givesHence polynomials of a normal operator are normal, including constant polynomials.
Suppose some exponent . DefinePart (iii) makes a normal operator. For every , put . The minimal polynomial identity givesPart (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 , givesThe norm vanishes only at the zero vector, soThis 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) giveswith 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. Thusfor 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
There are currently no matching articles.