Multiple of eigenvector is also an eigenvector

Metadata
aliases: []
shorthands: {}
created: 2021-12-10 20:49:14
modified: 2022-01-10 04:13:03

is a vector space over the field , is a linear map, is an eigenvector for and is any nonzero element of .
Statement: is also an eigenvector for with the same eigenvalue as .

Proof

Let be the eigenvalue of . Then

QED

See also