It takes eigenvectors and eigenvalues to define a matrix. We have seen that the condition of having a common eigenvector set depends on whether two matrices commute or not. One could equally wonder whether there is an analogous relationship for matrices which have common sets of eigenvalues? Since the eigenvectors define a basis, the question is essentially one of how to recognize pairs of matrices whose only difference lies in the coordinate system in which they are defined. Suppose that and are two square matrices, and that defines a mapping between vector spaces (not necessarily the same one), in which case and could even have different dimensions.
The required relationship is that
with the further relationship
So far it is just a question that and produce the same results, independently of the stage at which is introduced, and nothing has been said about eigenvalues. Nevertheless note that if , we would have whilst (indicating a use of the associative law by introducing parentheses). Altogether, , so that and can be expected to have matched eigenvectors with the same eigenvalue unless a singularity of intervenes. To that extent, and have the same eigenvalues.
To observe the correspondence of the whole set of eigenvalues, suppose that diagonalizes to and that diagonalizes to :