What does commuting with its adjoint buy an operator, and why are its eigenvectors for distinct eigenvalues orthogonal?
Loading…
Definition of normal, with a non-self-adjoint example
Define , note that every self-adjoint operator is normal, and compute both products for to get .
The norm characterization of normality
Prove is normal exactly when for every by a chain of equivalences, marking where the self-adjointness of is used.
Null space, range and eigenvectors of a normal operator
Derive , , , normality of , and .
Distinct eigenvalues, and real and imaginary parts
Prove eigenvectors for distinct eigenvalues are orthogonal from , and over prove normal iff with commuting self-adjoint , .