Operador auto-adjunto
Um operador \(T:V\to V\) é auto-adjunto se \(T^\dagger = T\), isto é, \(\langle Tu,v\rangle = \langle u,Tv\rangle\) para todos \(u,v\). Pela Proposição 6.36, isso equivale a \([T]_B\) ser simétrica numa (e então em toda) base ortonormal \(B\).
def-autoadj