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 givesThus and . Applying this implication successively to provesIn particular a nilpotent normal operator is zero. The argument uses no spectral theorem.
New to topics? Read the docs here!