Eigenvectors and Eigenvalues

Definition 1.

An eigenvector of a linear map is a nonzero vector such that for some scalar .

Definition 2.

An eigenvalue of is a scalar such that the equation has a nontrivial solution.

If for some nontrivial , then we say

  1. is an eigenvector for , and
  2. is an eigenvalue for .

Example 3.

Let . Consider the vectors .

Notice that . Thus is an eigenvector of .

On the other hand, for any . Thus is not an eigenvector of .

Example 4(Example: Reflection).

Let be the linear map that reflects over the line
Consider vectors and , perpendicular to and parallel to respectively.
Notice that is an eigenvector with eigenvalue and is an eigenvector with value .

Example 5(Example: Projection).

Let be the projection map that projects a vector vertically onto the -axis. Notice that the vectors lying on the x axis and y axis are eigenvectors with eigenvalues 1 and 0 respectively.

Example 6(Example: Rotation).

Consider a rotation map on that rotates a vector by an angle .
In this case we can see geometrically that no eigenvectors exist.

Eigenvectors with distinct eigenvalues are linearly independent

Theorem 7.

Let be distinct eigenvalues of , and be corresponding eigenvectors. Then, are linearly independent.

Proof
FTSOC, assume are linearly dependent. Then, for some , is in the span of . Choose smallest such . This ensures are linearly independent. Since eigenvectors cannot be zero, .

where is obtained by applying on . yields:

which is a nontrivial null linear combination of a set of linearly independent vectors.

Theorem 8(Corollary).

An matrix has at most eigenvalues.


Eigenspaces

For a given real number and a matrix, how do you

  1. check if is an eigenvalue of , and
  2. if yes, find all eigenvectors corresponding to ?

Eigenvectors with eigenvalue , if they exist, must satisfy

This is great, since we already know how to find the kernel of a matrix.
If , then is not an eigenvalue.

Definition 9(Definition:eigenspace).

Let have eigenvalue . The -eigenspace of is the null space of . Notice that since is a subspace, the eigenspace of an eigenvalue is a subspace.

Example 10.

Let . We want to check if is an eigenvalue.

We can see that is the basis of the -eigenspace of .