Linear mapping/Eigenvector/Definition