Dado um operador linear , dizemos que é um operador diagonalizável se existir uma base de formada por autovetores de .