Since preliminary 1, 2, 4 and the spectral theorem are currrently MIA, I have to confiscate a webcam and a chalkboard somewhere to refilm the rest. Anyways, here is a short speedy proof of showing that eigenvectors of hermitian linear operators corresponding to distinct eigenvalues are orthogonal.
All Comments