Polynomials of a normal operator are normal

ID: polynomials-of-a-normal-operator-are-normal

For a normal operator on a real or complex inner product space and a polynomial , the adjoint operator identity gives
Every power of commutes with every power of , since . Expanding finite sums consequently proves that commutes with , so it is a normal operator. The bar on means coefficientwise complex conjugation, and is essential for complex coefficients.

New to topics? Read the docs here!