Linear mapping/Diagonalizable/Eigenvectors/Definition