Why must every eigenvalue of a self-adjoint operator be real, and how does the reality of ⟨Tv, v⟩ detect self-adjointness over C?
Loading…
Definition and matrix test for self-adjointness
Define , state the orthonormal-basis criterion , and work the example through to .
Eigenvalues of a self-adjoint operator
Reproduce the chain for an eigenvector and conclude .
for all forces
Write the polarization identity for over and its real version for self-adjoint , finish both proofs with , and record the rotation counterexample on .
Characterizing self-adjointness over
Prove is self-adjoint exactly when for every , working with and , and note it fails over .