Orthogonally Diagonalizable Map Let . We say that is orthogonally diagonalizable if has an orthonormal eigenbasis.