If , then commutes with its adjoint because it commutes with every polynomial in itself. Hence is a normal operator.
Conversely let be the distinct eigenvalues of a normal . The orthonormal eigenbasis from part (ii) reduces the desired identity to . Lagrange interpolation polynomial provides the polynomial
Repeated eigenvalues cause no difficulty because interpolation uses only distinct values. If , use . This proves both directions of the third equivalence.

Articles by others on the same topic (0)

There are currently no matching articles.