Linear mapping/Diagonalizable/Eigenvectors/Definition

Diagonalizable mapping

Let $K$ denote a field, let $V$ denote a vector space, and let

$\phi :V⟶V$

denote a linear mapping. Then $\phi$ is called diagonalizable, if $V$ has a basis consisting of eigenvectors for $\phi$.