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.