Linear mapping/Eigenspace/Definition