Linear mapping/Different eigenvalues/Diagonalizable/Fact
Let denote a field, and let denote a finite-dimensional vector space. Let
denote a linear mapping. Suppose that there exists different eigenvalues.
Then is
diagonalizable.
Let denote a field, and let denote a finite-dimensional vector space. Let
denote a linear mapping. Suppose that there exists different eigenvalues.