\(\newcommand{\footnotename}{footnote}\)
\(\def \LWRfootnote {1}\)
\(\newcommand {\footnote }[2][\LWRfootnote ]{{}^{\mathrm {#1}}}\)
\(\newcommand {\footnotemark }[1][\LWRfootnote ]{{}^{\mathrm {#1}}}\)
\(\let \LWRorighspace \hspace \)
\(\renewcommand {\hspace }{\ifstar \LWRorighspace \LWRorighspace }\)
\(\newcommand {\mathnormal }[1]{{#1}}\)
\(\newcommand \ensuremath [1]{#1}\)
\(\newcommand {\LWRframebox }[2][]{\fbox {#2}} \newcommand {\framebox }[1][]{\LWRframebox } \)
\(\newcommand {\setlength }[2]{}\)
\(\newcommand {\addtolength }[2]{}\)
\(\newcommand {\setcounter }[2]{}\)
\(\newcommand {\addtocounter }[2]{}\)
\(\newcommand {\arabic }[1]{}\)
\(\newcommand {\number }[1]{}\)
\(\newcommand {\noalign }[1]{\text {#1}\notag \\}\)
\(\newcommand {\cline }[1]{}\)
\(\newcommand {\directlua }[1]{\text {(directlua)}}\)
\(\newcommand {\luatexdirectlua }[1]{\text {(directlua)}}\)
\(\newcommand {\protect }{}\)
\(\def \LWRabsorbnumber #1 {}\)
\(\def \LWRabsorbquotenumber "#1 {}\)
\(\newcommand {\LWRabsorboption }[1][]{}\)
\(\newcommand {\LWRabsorbtwooptions }[1][]{\LWRabsorboption }\)
\(\def \mathchar {\ifnextchar "\LWRabsorbquotenumber \LWRabsorbnumber }\)
\(\def \mathcode #1={\mathchar }\)
\(\let \delcode \mathcode \)
\(\let \delimiter \mathchar \)
\(\def \oe {\unicode {x0153}}\)
\(\def \OE {\unicode {x0152}}\)
\(\def \ae {\unicode {x00E6}}\)
\(\def \AE {\unicode {x00C6}}\)
\(\def \aa {\unicode {x00E5}}\)
\(\def \AA {\unicode {x00C5}}\)
\(\def \o {\unicode {x00F8}}\)
\(\def \O {\unicode {x00D8}}\)
\(\def \l {\unicode {x0142}}\)
\(\def \L {\unicode {x0141}}\)
\(\def \ss {\unicode {x00DF}}\)
\(\def \SS {\unicode {x1E9E}}\)
\(\def \dag {\unicode {x2020}}\)
\(\def \ddag {\unicode {x2021}}\)
\(\def \P {\unicode {x00B6}}\)
\(\def \copyright {\unicode {x00A9}}\)
\(\def \pounds {\unicode {x00A3}}\)
\(\let \LWRref \ref \)
\(\renewcommand {\ref }{\ifstar \LWRref \LWRref }\)
\( \newcommand {\multicolumn }[3]{#3}\)
\(\require {textcomp}\)
\(\newcommand {\intertext }[1]{\text {#1}\notag \\}\)
\(\let \Hat \hat \)
\(\let \Check \check \)
\(\let \Tilde \tilde \)
\(\let \Acute \acute \)
\(\let \Grave \grave \)
\(\let \Dot \dot \)
\(\let \Ddot \ddot \)
\(\let \Breve \breve \)
\(\let \Bar \bar \)
\(\let \Vec \vec \)
\(\require {mathtools}\)
\(\newenvironment {crampedsubarray}[1]{}{}\)
\(\newcommand {\smashoperator }[2][]{#2\limits }\)
\(\newcommand {\SwapAboveDisplaySkip }{}\)
\(\newcommand {\LaTeXunderbrace }[1]{\underbrace {#1}}\)
\(\newcommand {\LaTeXoverbrace }[1]{\overbrace {#1}}\)
\(\newcommand {\LWRmultlined }[1][]{\begin {multline*}}\)
\(\newenvironment {multlined}[1][]{\LWRmultlined }{\end {multline*}}\)
\(\let \LWRorigshoveleft \shoveleft \)
\(\renewcommand {\shoveleft }[1][]{\LWRorigshoveleft }\)
\(\let \LWRorigshoveright \shoveright \)
\(\renewcommand {\shoveright }[1][]{\LWRorigshoveright }\)
\(\newcommand {\shortintertext }[1]{\text {#1}\notag \\}\)
\(\newcommand {\vcentcolon }{\mathrel {\unicode {x2236}}}\)
\(\newcommand {\bigzero }{\smash {\text {\huge 0}}}\)
\(\newcommand {\am }{\mathrm {am}}\)
\(\newcommand {\gm }{\mathrm {gm}}\)
\(\newcommand {\id }{\operatorname {id}}\)
\(\newcommand {\GL }{\operatorname {GL}}\)
\(\newcommand {\im }{\operatorname {im}}\)
\(\newcommand {\rank }{\operatorname {rank}}\)
\(\newcommand {\sol }{\operatorname {sol}}\)
\(\newcommand {\ann }{\operatorname {ann}}\)
\(\newcommand {\rO }{\operatorname {O}}\)
\(\newcommand {\rU }{\operatorname {U}}\)
\(\newcommand {\rSU }{\operatorname {SU}}\)
\(\newcommand {\ev }{\operatorname {ev}}\)
\(\newcommand {\bil }{\operatorname {Bil}}\)
\(\newcommand {\rad }{\operatorname {rad}}\)
\(\newcommand {\Span }[1]{\operatorname {span}\{#1\}}\)
\(\newcommand {\R }{\mathbb {R}}\)
\(\newcommand {\C }{\mathbb {C}}\)
\(\newcommand {\Z }{\mathbb {Z}}\)
\(\newcommand {\F }{\mathbb {F}}\)
\(\newcommand {\Q }{\mathbb {Q}}\)
\(\newcommand {\N }{\mathbb {N}}\)
\(\renewcommand {\P }{\mathbb {P}}\)
\(\newcommand {\I }{\mathrm {I}}\)
\(\newcommand {\half }{\tfrac 12}\)
\(\newcommand {\rel }{\mathrel {\mathrm {rel}}}\)
\(\renewcommand {\vec }[3]{(#1_{#2},\dots ,#1_{#3})}\)
\(\newcommand {\lst }[3]{#1_{#2},\dots ,#1_{#3}}\)
\(\newcommand {\plst }[3]{#1_{#2}+\dots +#1_{#3}}\)
\(\newcommand {\oplst }[3]{#1_{#2}\oplus \dots \oplus #1_{#3}}\)
\(\newcommand {\pplst }[3]{#1_{#2}\times \dots \times #1_{#3}}\)
\(\newcommand {\dlst }[3]{\lst {#1^{*}}{#2}{#3}}\)
\(\newcommand {\dlc }[4]{\lc #1{#2^{*}}#3#4}\)
\(\newcommand {\hmg }[3]{[#1_{#2},\dots ,#1_{#3}]}\)
\(\newcommand {\rng }[2]{#1,\dots ,#2}\)
\(\newcommand {\lc }[4]{#1_{#3}#2_{#3}+\dots +#1_{#4}#2_{#4}}\)
\(\newcommand {\plus }[2]{#1+\dots +#2}\)
\(\newcommand {\set }[1]{\{#1\}}\)
\(\newcommand {\abs }[1]{\lvert #1\rvert }\)
\(\newcommand {\ip }[1]{\langle #1\rangle }\)
\(\newcommand {\norm }[1]{\|#1\|}\)
\(\newcommand {\bx }{\mathbf {x}}\)
\(\newcommand {\be }{\mathbf {e}}\)
\(\newcommand {\bq }{\mathbf {q}}\)
\(\newcommand {\bu }{\mathbf {u}}\)
\(\newcommand {\by }{\mathbf {y}}\)
\(\newcommand {\bv }{\mathbf {v}}\)
\(\newcommand {\E }{\mathbb {E}}\)
\(\newcommand {\cI }{\mathcal {I}}\)
\(\newcommand {\cB }{\mathcal {B}}\)
\(\newcommand {\sub }{\subseteq }\)
\(\newcommand {\st }{\mathrel {|}}\)
\(\newcommand {\bw }[3]{#1\leq #2\leq #3}\)
\(\newcommand {\col }[3]{(#1_{#2})_{#2\in #3}}\)
\(\newcommand {\supp }{\mathrm {supp}}\)
\(\newcommand {\restr }[1]{_{|#1}}\)
3.4 Eigenvalues and the characteristic polynomial
Recall from Chapter 3 of Algebra 1B:
-
Definitions. Let \(V\) be a vector space over \(\F \) and \(\phi \in L(V)\).
An eigenvalue of \(\phi \) is a scalar \(\lambda \in \F \) such that there is a non-zero \(v\in V\) with
\(\seteqnumber{0}{3.}{5}\)
\begin{equation*}
\phi (v)=\lambda v.
\end{equation*}
Such a vector \(v\) is called an eigenvector of \(\phi \) with eigenvalue \(\lambda \).
The \(\lambda \)-eigenspace \(E_{\phi }(\lambda )\) of \(\phi \) is given by
\(\seteqnumber{0}{3.}{5}\)
\begin{equation*}
E_{\phi }(\lambda ):=\ker (\phi -\lambda \id _V)\leq V.
\end{equation*}
-
Definition. Let \(V\) be a finite-dimensional vector space over \(\F \) and \(\phi \in L(V)\).
The characteristic polynomial \(\Delta _{\phi }\) of \(\phi \) is given by
\(\seteqnumber{0}{3.}{5}\)
\begin{equation*}
\Delta _{\phi }(\lambda ):=\det (\phi -\lambda \id _V)=\det (A-\lambda \I ),
\end{equation*}
where \(A\) is the matrix of \(\phi \) with respect to some (any!) basis of \(V\).
Thus \(\deg \Delta _{\phi }=\dim V\).
The characteristic polynomial is important to us because:
This prompts:
From Algebra 1B3,we know that \(\am (\lambda )\geq \gm (\lambda )\) and we will get a geometric understanding of \(\am (\lambda )\) in the next chapter (see §4.3.2).
When \(\F =\C \), Theorem 3.2, the Fundamental Theorem of Algebra, ensures that the characteristic polynomial has at least one root so we conclude from Lemma 3.8:
Eigenvalues and eigenvectors play nicely with polynomials:
-
Proposition 3.10. Let \(\phi \in L(V)\) be a linear operator on a vector space over a field \(\F \) and let \(v\in V\) be an
eigenvector of \(\phi \) with eigenvalue \(\lambda \):
\(\seteqnumber{0}{3.}{5}\)
\begin{equation}
\label {eq:10} \phi (v)=\lambda v.
\end{equation}
Let \(p\in \F [x]\). Then
\(\seteqnumber{0}{3.}{6}\)
\begin{equation*}
p(\phi )(v)=p(\lambda )v,
\end{equation*}
so that \(v\) is an eigenvector of \(p(\phi )\) also with eigenvalue \(p(\lambda )\).
-
Proof. The idea is to iterate (3.6):
\(\seteqnumber{0}{3.}{6}\)
\begin{equation*}
\phi ^2(v)=\phi (\phi (v))=\phi (\lambda v)=\lambda \phi (v)=\lambda ^2v
\end{equation*}
and so, by induction, \(\phi ^k(v)=\lambda ^kv\), for all \(k\in \N \).
Now, for \(p=\sum _{k=0}^{n}a_{k}x^k\),
\(\seteqnumber{0}{3.}{6}\)
\begin{equation*}
p(\phi )(v)=\sum _{k=0}^{n}a_k\phi ^k(v)=\sum _{k=0}^{n}a_k\lambda ^kv =\bigl (\sum _{k=0}^{n}a_k\lambda ^k\bigr )v=p(\lambda )v.
\end{equation*}
□
This gives us something interesting: if \(p(\phi )=0\) then
\(\seteqnumber{0}{3.}{6}\)
\begin{equation*}
0=p(\phi )(v)=p(\lambda )v
\end{equation*}
so that, since \(v\neq 0\), \(p(\lambda )=0\). Thus any eigenvalue of \(\phi \) is a root of \(p\). In particular: