Auto-adjunto: autovetores de autovalores distintos são ortogonais

Se \(Tu = \lambda u\) e \(Tv = \mu v\), então \(\lambda\langle u,v\rangle = \langle Tu,v\rangle = \langle u,Tv\rangle = \mu\langle u,v\rangle\); com \(\lambda\neq\mu\), \(\langle u,v\rangle = 0\).