Why do commuting complex operators share an eigenvector, and what does that say about the eigenvalues of S + T and ST?
Loading…
A common eigenvector over
Prove it by restricting to a nonzero eigenspace , and check it for , by intersecting and to get the constants.
Simultaneous upper-triangular form by induction on
Split with a common eigenvector, define and , prove they commute, and extend their triangular basis by .
Eigenvalues of and
In the common upper-triangular basis, show the diagonals of and are entrywise sums and products, and conclude each eigenvalue is a sum or product of eigenvalues of and .