Joint spectrum ($\mathrm{Spec}(A_1,\dots ,A_r)$)

For commuting diagonalizable operators $A_1,\dots ,A_r$ on a finite-dimensional vector space, the joint spectrum is the set of tuples $(a_1,\dots ,a_r)$ for which there is a common nonzero eigenvector $v$ with $A_{i}v=a_{i}v$. Commuting self-adjoint operators on a finite-dimensional inner-product space admit a simultaneous orthonormal eigenbasis.