Kernel stabilization for a normal operator

ID: kernel-stabilization-for-a-normal-operator

For a normal operator on a real or complex inner product space, equality of and gives . If , put . Then forces , and the adjoint operator identity gives
Thus and . Applying this implication successively to proves
In particular a nilpotent normal operator is zero. The argument uses no spectral theorem.

New to topics? Read the docs here!