Eigenvalue: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Michael Underwood
No edit summary
imported>Richard Pinch
(mention characteristic polynomial)
 
(7 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{subpages}}
In [[linear algebra]] an '''eigenvalue''' of a (square) [[matrix]] <math>A</math> is a number <math>\lambda</math> that satisfies the eigenvalue equation,
In [[linear algebra]] an '''eigenvalue''' of a (square) [[matrix]] <math>A</math> is a number <math>\lambda</math> that satisfies the eigenvalue equation,
:<math>\text{det}(A-\lambda I)=0\ ,</math>
:<math>\text{det}(A-\lambda I)=0\ ,</math>
where <math>I</math> is the [[identity matrix]] of the same [[dimension]] as <math>A</math>
where det means the [[determinant]], <math>I</math> is the [[identity matrix]] of the same [[dimension]] as <math>A</math>,
and in general <math>\lambda</math> can be [[complex number|complex]].
and in general <math>\lambda</math> can be [[complex number|complex]].
The origin of this equation is the [[eigenvalue problem]], which is to find the eigenvalues and associated [[eigenvectors]] of <math>A</math>.
The origin of this equation, the [[characteristic polynomial]] of ''A'', is the [[eigenvalue problem]], which is to find the eigenvalues and associated [[eigenvectors]] of <math>A</math>.
That is, to find a number <math>\lambda</math> and a vector <math>\vec{v}</math> that together satisfy
That is, to find a number <math>\lambda</math> and a vector <math>\scriptstyle\vec{v}</math> that together satisfy
:<math>A\vec{v}=\lambda\vec{v}\ .</math>
:<math>A\vec{v}=\lambda\vec{v}\ .</math>
What this equation says is that even though <math>A</math> is a matrix its action on <math>\vec{v}</math> is the same as multiplying it by the number <math>\lambda</math>. Note that generally this will ''not'' be true.  This is most easily seen with a quick example.  Suppose
What this equation says is that even though <math>A</math> is a matrix its action on <math>\scriptstyle\vec{v}</math> is the same as multiplying the vector by the number <math>\lambda</math>.
This means that the vector <math>\scriptstyle\vec{v}</math> and the vector <math>\scriptstyle A\vec{v}</math> are [[parallel]] (or [[anti-parallel]] if <math>\lambda</math> is negative).
Note that generally this will ''not'' be true.  This is most easily seen with a quick example.  Suppose
:<math>A=\begin{pmatrix}a_{11} & a_{12} \\ a_{21} & a_{22}\end{pmatrix}</math> and <math>\vec{v}=\begin{pmatrix} v_1 \\ v_2 \end{pmatrix}\ .</math>
:<math>A=\begin{pmatrix}a_{11} & a_{12} \\ a_{21} & a_{22}\end{pmatrix}</math> and <math>\vec{v}=\begin{pmatrix} v_1 \\ v_2 \end{pmatrix}\ .</math>
Then their [[matrix multiplication|matrix product]] is
Then their [[matrix multiplication|matrix product]] is
:<math>A\vec{v}=\begin{pmatrix}a_{11} & a_{12} \\ a_{21} & a_{22}\end{pmatrix}\begin{pmatrix} v_1 \\ v_2 \end{pmatrix}
:<math>A\vec{v}=\begin{pmatrix}a_{11} & a_{12} \\ a_{21} & a_{22}\end{pmatrix}\begin{pmatrix} v_1 \\ v_2 \end{pmatrix}
=\begin{pmatrix}a_{11}v_1+a_{12}v_2 \\ a_{21}v_1+a_{22}v_2 \end{pmatrix}</math>
=\begin{pmatrix}a_{11}v_1+a_{12}v_2 \\ a_{21}v_1+a_{22}v_2 \end{pmatrix}</math>
whereas
whereas the [[scalar]] product is
:<math>\lambda\vec{v}=\begin{pmatrix} \lambda v_1 \\ \lambda v_2 \end{pmatrix}\ .</math>
:<math>\lambda\vec{v}=\begin{pmatrix} \lambda v_1 \\ \lambda v_2 \end{pmatrix}\ .</math>
Obviously then <math>\scriptstyle A\vec{v}\neq \lambda\vec{v}</math> unless
<math>\lambda v_1 = a_{11}v_1+a_{12}v_2</math> and [[simultaneous equations|simultaneously]] <math>\lambda v_2 = a_{21}v_1+a_{22}v_2</math>.
For a given <math>\lambda</math>, it is easy to pick numbers for the entries of <math>A</math> and <math>\scriptstyle\vec{v}</math> such that this is not satisfied.
==The eigenvalue equation==
So where did the eigenvalue equation <math>\text{det}(A-\lambda I)=0</math> come from?  Well, we assume that we know the matrix <math>A</math> and want to find a number <math>\lambda</math> and a non-zero vector <math>\scriptstyle\vec{v}</math> so that <math>\scriptstyle A\vec{v}=\lambda\vec{v}</math>.  (Note that if <math>\scriptstyle\vec{v}=\vec{0}</math> then the equation is always true, and therefore uninteresting.)  So now we have
<math>\scriptstyle A\vec{v}-\lambda\vec{v}=\vec{0}</math>.  It doesn't make sense to subtract a number from a matrix, but we can factor out the vector if we first multiply the right-hand term by the identity, giving us
:<math>(A-\lambda I)\vec{v}=\vec{0}\ .</math>
Now we have to remember the fact that <math>A-\lambda I</math> is a square matrix, and so it might be [[matrix inverse|invertible]].
If it was invertible then we could simply multiply on the left by its inverse to get
:<math>\vec{v}=(A-\lambda I)^{-1}\vec{0}=\vec{0}</math>
but we have already said that <math>\scriptstyle\vec{v}</math> can't be the zero vector!  The only way around this is if <math>A-\lambda I</math> is in fact non-invertible.  It can be shown that a square matrix is non-invertible if and only if its [[determinant]] is zero.  That is, we require
:<math>\text{det}(A-\lambda I)=0\ ,</math>
which is the eigenvalue equation stated above.
==A more technical approach==
So far we have looked eigenvalues in terms of square matrices.  As usual in [[mathematics]] though we like things to be as general as possible, since then anything we prove will be true in as many different applications as possible.  So instead we can define eigenvalues in the following way.
Definition: Let <math>V</math> be a [[vector space]] over a [[field]] <math>F</math>, and let <math>\scriptstyle A:V\to V</math> be a [[linear map]].  An '''eigenvalue''' associated with <math>A</math> is an element <math>\scriptstyle\lambda\in F</math> for which there exists a non-zero vector <math>\scriptstyle\vec{v}\in V</math> such that
:<math>A(\vec{v})=\lambda\vec{v}\ .</math>
Then <math>\scriptstyle\vec{v}</math> is called the '''eigenvector''' of <math>A</math> associated with <math>\lambda</math>.

Latest revision as of 17:16, 11 December 2008

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In linear algebra an eigenvalue of a (square) matrix is a number that satisfies the eigenvalue equation,

where det means the determinant, is the identity matrix of the same dimension as , and in general can be complex. The origin of this equation, the characteristic polynomial of A, is the eigenvalue problem, which is to find the eigenvalues and associated eigenvectors of . That is, to find a number and a vector that together satisfy

What this equation says is that even though is a matrix its action on is the same as multiplying the vector by the number . This means that the vector and the vector are parallel (or anti-parallel if is negative). Note that generally this will not be true. This is most easily seen with a quick example. Suppose

and

Then their matrix product is

whereas the scalar product is

Obviously then unless and simultaneously . For a given , it is easy to pick numbers for the entries of and such that this is not satisfied.

The eigenvalue equation

So where did the eigenvalue equation come from? Well, we assume that we know the matrix and want to find a number and a non-zero vector so that . (Note that if then the equation is always true, and therefore uninteresting.) So now we have . It doesn't make sense to subtract a number from a matrix, but we can factor out the vector if we first multiply the right-hand term by the identity, giving us

Now we have to remember the fact that is a square matrix, and so it might be invertible. If it was invertible then we could simply multiply on the left by its inverse to get

but we have already said that can't be the zero vector! The only way around this is if is in fact non-invertible. It can be shown that a square matrix is non-invertible if and only if its determinant is zero. That is, we require

which is the eigenvalue equation stated above.

A more technical approach

So far we have looked eigenvalues in terms of square matrices. As usual in mathematics though we like things to be as general as possible, since then anything we prove will be true in as many different applications as possible. So instead we can define eigenvalues in the following way.

Definition: Let be a vector space over a field , and let be a linear map. An eigenvalue associated with is an element for which there exists a non-zero vector such that

Then is called the eigenvector of associated with .