Definition:Eigenvalue of Linear Operator