Définition
Dans le contexte des applications linéaires, une valeur propre d'une application linéaire f sur deux espaces vectoriels d'un même corps commutatif K est un élément k de K pour lequel il existe un vecteur non nul de de l'espace source de f tel que
f(V) = k.V. V est alors le vecteur propre de f associé à k.
Le terme anglais est "eigenvalue" pour la valeur propre, "eigenvector" pour le vecteur propre.
