<?xml version="1.0" encoding="iso-8859-1" ?> 
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN" 
"http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd" > 
<?xml-stylesheet type="text/css" href="fcla-xml-1.08.css"?> 
<html  
xmlns="http://www.w3.org/1999/xhtml"  
><head><title>Section SVD  Singular Value Decomposition</title> 
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" /> 
<meta name="generator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/)" /> 
<meta name="originator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/)" /> 
<!-- xhtml,mozilla,3,html --> 
<meta name="src" content="fcla-xml-1.08.tex" /> 
<meta name="date" content="2007-03-29 11:58:00" /> 
<link rel="stylesheet" type="text/css" href="fcla-xml-1.08.css" /> 
</head><body 
>
   <!--l. 529--><div class="crosslinks"><p class="noindent">[<a 
href="fcla-xml-1.08li105.xml" >next</a>] [<a 
href="fcla-xml-1.08li103.xml" >prev</a>] [<a 
href="fcla-xml-1.08li103.xml#tailfcla-xml-1.08li103.xml" >prev-tail</a>] [<a 
href="#tailfcla-xml-1.08li104.xml">tail</a>] [<a 
href="fcla-xml-1.08li101.xml#fcla-xml-1.08li104.xml" >up</a>] </p></div>
   <h3 class="likesectionHead"><a 
 id="x105-427000"></a>Section SVD&#x00A0;&#x00A0;Singular Value Decomposition</h3>
<!--l. 529--><p class="noindent"><a 
 id="section.SVD"></a> From <a 
href="http://linear.ups.edu/" ><span 
class="cmti-12">A First Course in Linear Algebra</span></a>
<br class="newline" />Version 1.08
<br class="newline" /><span 
class="cmsy-10x-x-120">&#x00A9;</span>&#x00A0;2004.
<br class="newline" />Licensed under the <a 
href="http://www.gnu.org/licenses/fdl.html" >GNU Free Documentation License</a>.
<br class="newline" /><span class="obeylines-h"><a 
href="http://linear.ups.edu/" class="url" ><span 
class="cmtt-12">http://linear.ups.edu/</span></a></span>
<br class="newline" />
<br class="newline" /><a 
 id="x105-427000doc"></a> <a 
 id="dx105-427001"></a> <span 
class="cmcsc-10x-x-144">T<span 
class="small-caps">h</span><span 
class="small-caps">i</span><span 
class="small-caps">s</span> S<span 
class="small-caps">e</span><span 
class="small-caps">c</span><span 
class="small-caps">t</span><span 
class="small-caps">i</span><span 
class="small-caps">o</span><span 
class="small-caps">n</span> <span 
class="small-caps">i</span><span 
class="small-caps">s</span> <span 
class="small-caps">a</span> D<span 
class="small-caps">r</span><span 
class="small-caps">a</span><span 
class="small-caps">f</span><span 
class="small-caps">t</span>, S<span 
class="small-caps">u</span><span 
class="small-caps">b</span><span 
class="small-caps">j</span><span 
class="small-caps">e</span><span 
class="small-caps">c</span><span 
class="small-caps">t</span> <span 
class="small-caps">t</span><span 
class="small-caps">o</span> C<span 
class="small-caps">h</span><span 
class="small-caps">a</span><span 
class="small-caps">n</span><span 
class="small-caps">g</span><span 
class="small-caps">e</span><span 
class="small-caps">s</span></span>
<br class="newline" /><span 
class="cmcsc-10x-x-144">N<span 
class="small-caps">e</span><span 
class="small-caps">e</span><span 
class="small-caps">d</span><span 
class="small-caps">s</span> N<span 
class="small-caps">u</span><span 
class="small-caps">m</span><span 
class="small-caps">e</span><span 
class="small-caps">r</span><span 
class="small-caps">i</span><span 
class="small-caps">c</span><span 
class="small-caps">a</span><span 
class="small-caps">l</span> E<span 
class="small-caps">x</span><span 
class="small-caps">a</span><span 
class="small-caps">m</span><span 
class="small-caps">p</span><span 
class="small-caps">l</span><span 
class="small-caps">e</span><span 
class="small-caps">s</span></span>
</p><!--l. 20--><p class="indent">   The singular value decomposition is one of the more useful ways to represent any
matrix, even rectangular ones. We can also view the singular values of a (rectangular)
matrix as analogues of the eigenvalues of a square matrix. Our definitions and
theorems in this section rely heavily on the properties of the matrix-adjoint products
(<!--l. 20--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math> and
<!--l. 20--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>),
which we first met in <a 
href="fcla-xml-1.08li100.xml#theorem.CPSM">Theorem&#x00A0;CPSM</a>. We start by examining some of the basic
properties of these two matrices. Now would be a good time to review the basic
facts about positive semi-definite matrices in <a 
href="fcla-xml-1.08li100.xml#section.PSM">Section&#x00A0;PSM</a>.
</p>
   <h4 class="likesubsectionHead"><a 
 id="x105-428000"></a>Subsection MAP: Matrix-Adjoint Product</h4>
<!--l. 22--><p class="noindent"><a 
 id="subsection.SVD.MAP"></a> <a 
 id="x105-428000doc"></a><a 
 id="dx105-428001"></a>
</p><!--l. 25--><p class="noindent"><span 
class="cmbx-12">Theorem</span><span 
class="cmbx-12">&#x00A0;EEMAP</span>
<br class="newline" /><a 
 id="theorem.EEMAP"><span 
class="cmbx-12">Eigenvalues and Eigenvectors of Matrix-Adjoint Product</span></a><a 
 id="dx105-428002"></a><a 
 id="dx105-428003"></a><a 
 id="dx105-428004"></a>
<br class="newline" /> Suppose that <!--l. 26--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math>
is an <!--l. 26--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>m</mi> <mo 
class="MathClass-bin">&#x00D7;</mo> <mi 
>n</mi></math> matrix
and <!--l. 26--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math> has
                                                                          

                                                                          
rank <!--l. 26--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>r</mi></math>. Let
<!--l. 26--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>&#x03BB;</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>&#x03BB;</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>&#x03BB;</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>&#x03BB;</mi></mrow><mrow 
><mi 
>p</mi></mrow></msub 
></math> be the nonzero distinct
eigenvalues of <!--l. 26--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math> and
let <!--l. 26--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>&#x03C1;</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>&#x03C1;</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>&#x03C1;</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>&#x03C1;</mi></mrow><mrow 
><mi 
>q</mi></mrow></msub 
></math> be the nonzero
distinct eigenvalues of <!--l. 26--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>.
Then,
     </p><ol  class="enumerate1" >
     <li class="enumerate"><a 
 id="x105-428006x1"></a><!--l. 29--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>p</mi> <mo 
class="MathClass-rel">=</mo> <mi 
>q</mi></math>.
     </li>
     <li class="enumerate"><a 
 id="x105-428008x2"></a>The distinct nonzero eigenvalues can be ordered such that <!--l. 30--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>&#x03BB;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
> <mo 
class="MathClass-rel">=</mo> <msub><mrow 
><mi 
>&#x03C1;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></math>,
     <!--l. 30--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>p</mi></math>.
     </li>
     <li class="enumerate"><a 
 id="x105-428010x3"></a>Properly ordered, <!--l. 31--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03BB;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced> <mo 
class="MathClass-rel">=</mo> <msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03C1;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced></math>,
     <!--l. 31--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>p</mi></math>.
     </li>
     <li class="enumerate"><a 
 id="x105-428012x4"></a>The rank of <!--l. 32--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math>
     is equal to the rank of <!--l. 32--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>.
     </li>
     <li class="enumerate"><a 
 id="x105-428014x5"></a>There is an orthonormal basis, <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" > <mfenced separators="" 
open="{"  close="}" ><mrow><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>n</mi></mrow></msub 
></mrow></mfenced></math>
     of <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>&#x2102;</mi></mrow><mrow 
><mi 
>n</mi></mrow></msup 
></math>
     composed of eigenvectors of <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math>
     and an orthonormal basis, <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" > <mfenced separators="" 
open="{"  close="}" ><mrow><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>m</mi></mrow></msub 
></mrow></mfenced></math>
     of <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>&#x2102;</mi></mrow><mrow 
><mi 
>m</mi></mrow></msup 
></math>
     composed of eigenvectors of <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>
     with the following properties. Order the eigenvectors so that <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></math>,
     <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>r</mi> <mo 
class="MathClass-bin">+</mo> <mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>n</mi></math>
     are the eigenvectors of <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math>
     for the zero eigenvalue. Let <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></math>,
     <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>r</mi></math>
     denote the nonzero eigenvalues of <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math>.
     Then <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
> <mo 
class="MathClass-rel">=</mo> <msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></math>,
     <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>r</mi></math>
     and <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
> <mo 
class="MathClass-rel">=</mo> <mn>0</mn></math>,
     <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>r</mi> <mo 
class="MathClass-bin">+</mo> <mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>n</mi></math>.
                                                                          

                                                                          
     Finally, <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></math>,
     <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>r</mi> <mo 
class="MathClass-bin">+</mo> <mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>m</mi></math>,
     are eigenvectors of <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>
     for the zero eigenvalue.</li></ol>
<!--l. 36--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>&#x25A1;</mi></math>
<!--l. 38--><p class="noindent"><span 
class="cmbx-12">Proof</span>&#x00A0;&#x00A0; Suppose that <!--l. 40--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>x</mi> <mo 
class="MathClass-rel">&#x2208;</mo> <msup><mrow 
><mi 
>&#x2102;</mi></mrow><mrow 
><mi 
>n</mi></mrow></msup 
></math>
is any eigenvector of <!--l. 40--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math> for
a nonzero eigenvalue <!--l. 40--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>&#x03BB;</mi></math>.
We will show that <!--l. 40--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><mi 
>x</mi></math> is
an eigenvector of <!--l. 40--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math> for
the same eigenvalue, <!--l. 40--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>&#x03BB;</mi></math>.
First, we ascertain that <!--l. 40--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><mi 
>x</mi></math>
is not the zero vector.
</p><!--tex4ht:inline--><!--l. 52--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
           <mtr><mtd 
columnalign="right" class="align-odd"> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>A</mi><mi 
>x</mi><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mi 
>A</mi><mi 
>x</mi></mrow></mfenced></mtd>           <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>A</mi><mi 
>x</mi><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msup><mrow 
> <mfenced separators="" 
open="("  close=")" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></mfenced></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>x</mi></mrow></mfenced><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-odd"></mtd>           <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li29.xml#theorem.AA"  class="label" >Theorem AA</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>              <mtd 
columnalign="right" class="align-label"></mtd>           <mtd 
class="align-label"><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-label"></mtd>           <mtd 
class="align-label">
           <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi><mi 
>x</mi><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mi 
>x</mi></mrow></mfenced><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-odd"></mtd>           <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li30.xml#theorem.AIP"  class="label" >Theorem AIP</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-label"></mtd>           <mtd 
class="align-label"><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-label"></mtd>           <mtd 
class="align-label">
           <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>&#x03BB;</mi><mi 
>x</mi><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mi 
>x</mi></mrow></mfenced><mspace width="2em"/></mtd>                <mtd 
columnalign="right" class="align-odd"></mtd>           <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li46.xml#definition.EEM"  class="label" >Definition EEM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-label"></mtd>           <mtd 
class="align-label"><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-label"></mtd>           <mtd 
class="align-label">
           <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>&#x03BB;</mi> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>x</mi><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mi 
>x</mi></mrow></mfenced><mspace width="2em"/></mtd>                <mtd 
columnalign="right" class="align-odd"></mtd>           <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li27.xml#theorem.IPSM"  class="label" >Theorem IPSM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>            <mtd 
columnalign="right" class="align-label"></mtd>           <mtd 
class="align-label"><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-label"></mtd>           <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr></mtable></math>
<!--l. 54--><p class="noindent">Since <!--l. 54--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>x</mi></math> is an
eigenvector, <!--l. 54--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>x</mi><mo 
class="MathClass-rel">&#x2260;</mo><mn>0</mn></math>, and by
<a 
href="fcla-xml-1.08li27.xml#theorem.PIP">Theorem&#x00A0;PIP</a>, <!--l. 54--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" > <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>x</mi><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mi 
>x</mi></mrow></mfenced><mo 
class="MathClass-rel">&#x2260;</mo><mn>0</mn></math>. As
<!--l. 54--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>&#x03BB;</mi></math> was assumed to be nonzero,
we see that <!--l. 54--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" > <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>A</mi><mi 
>x</mi><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mi 
>A</mi><mi 
>x</mi></mrow></mfenced><mo 
class="MathClass-rel">&#x2260;</mo><mn>0</mn></math>. Again,
<a 
href="fcla-xml-1.08li27.xml#theorem.PIP">Theorem&#x00A0;PIP</a> tells us that <!--l. 54--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><mi 
>x</mi><mo 
class="MathClass-rel">&#x2260;</mo><mn>0</mn></math>.
                                                                          

                                                                          
</p><!--l. 56--><p class="indent">   Much of the sequel turns on the following simple computation. If you ever wonder
what all the fuss is about adjoints, Hermitian matrices, square roots, and singular
values, return to this brief computation, as it holds the key. There is much more
to do in this proof, but after this it is mostly bookkeeping. Here we go. We check that
<!--l. 56--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><mi 
>x</mi></math> functions as an
eigenvector of <!--l. 56--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math> for
the eigenvalue <!--l. 56--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>&#x03BB;</mi></math>,
</p><!--tex4ht:inline--><!--l. 63--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
           <mtr><mtd 
columnalign="right" class="align-odd"> <mfenced separators="" 
open="("  close=")" ><mrow><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></mfenced><mi 
>A</mi><mi 
>x</mi></mtd>           <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>A</mi> <mfenced separators="" 
open="("  close=")" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></mfenced><mi 
>x</mi><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-odd"></mtd>           <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li30.xml#theorem.MMA"  class="label" >Theorem MMA</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>               <mtd 
columnalign="right" class="align-label"></mtd>           <mtd 
class="align-label"><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-label"></mtd>           <mtd 
class="align-label">
           <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                    <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>A</mi><mi 
>&#x03BB;</mi><mi 
>x</mi><mspace width="2em"/></mtd>               <mtd 
columnalign="right" class="align-odd"></mtd>           <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li46.xml#definition.EEM"  class="label" >Definition EEM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>              <mtd 
columnalign="right" class="align-label"></mtd>           <mtd 
class="align-label"><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-label"></mtd>           <mtd 
class="align-label">
           <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                    <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>&#x03BB;</mi> <mfenced separators="" 
open="("  close=")" ><mrow><mi 
>A</mi><mi 
>x</mi></mrow></mfenced><mspace width="2em"/></mtd>              <mtd 
columnalign="right" class="align-odd"></mtd>           <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li30.xml#theorem.MMSMM"  class="label" >Theorem MMSMM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-label"></mtd>           <mtd 
class="align-label"><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-label"></mtd>           <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr></mtable></math>
<!--l. 65--><p class="noindent">That&#x2019;s it. If <!--l. 65--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>x</mi></math> is an
eigenvector of <!--l. 65--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math> (for a
<span 
class="cmti-12">nonzero </span>eigenvalue), then <!--l. 65--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><mi 
>x</mi></math>
is an eigenvector for <!--l. 65--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>
for the same eigenvalue. Let&#x2019;s see what this buys us.
</p><!--l. 67--><p class="indent">   <!--l. 67--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math> and
<!--l. 67--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math> are
Hermitian matrices (<a 
href="fcla-xml-1.08li30.xml#definition.HM">Definition&#x00A0;HM</a>), and hence are normal (<a 
href="fcla-xml-1.08li58.xml#definition.NRML">Definition&#x00A0;NRML</a>).
This provides the existence of orthonormal bases of eigenvectors for each matrix
by <a 
href="fcla-xml-1.08li58.xml#theorem.OBNM">Theorem&#x00A0;OBNM</a>. Also, since each matrix is diagonalizable (<a 
href="fcla-xml-1.08li48.xml#definition.DZM">Definition&#x00A0;DZM</a>)
by <a 
href="fcla-xml-1.08li58.xml#theorem.OD">Theorem&#x00A0;OD</a> we can interchange algebraic and geometric multiplicities by
<a 
href="fcla-xml-1.08li48.xml#theorem.DMFE">Theorem&#x00A0;DMFE</a>.
</p><!--l. 69--><p class="indent">   Our first step is to establish that an eigenvalue
<!--l. 69--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>&#x03BB;</mi></math> has the same geometric
multiplicity for both <!--l. 69--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math>
                                                                          

                                                                          
and <!--l. 69--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>. Suppose
<!--l. 69--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" > <mfenced separators="" 
open="{"  close="}" ><mrow><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>s</mi></mrow></msub 
></mrow></mfenced></math> is an orthonormal
basis of eigenvectors of <!--l. 69--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math>
for the eigenspace <!--l. 69--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
mathvariant="bold-script">&#x2130;</mi></mrow><mrow 
><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mi 
>&#x03BB;</mi></mrow></mfenced></math>.
Then for <!--l. 69--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x003C;</mo> <mi 
>j</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>s</mi></math>,
note
</p><!--tex4ht:inline--><!--l. 91--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
          <mtr><mtd 
columnalign="right" class="align-odd"> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></mfenced></mtd>          <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msup><mrow 
> <mfenced separators="" 
open="("  close=")" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></mfenced></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><msub><mrow 
><mi 
>x</mi></mrow><mrow 
>
<mi 
>j</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li29.xml#theorem.AA"  class="label" >Theorem AA</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
>
<mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>            <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li30.xml#theorem.AIP"  class="label" >Theorem AIP</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>            <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>&#x03BB;</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>               <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li46.xml#definition.EEM"  class="label" >Definition EEM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>&#x03BB;</mi> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>               <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li27.xml#theorem.IPSM"  class="label" >Theorem IPSM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>&#x03BB;</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>0</mn></mrow><mo 
class="MathClass-close">)</mo></mrow><mspace width="2em"/></mtd>                  <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li27.xml#definition.ONS"  class="label" >Definition ONS</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mn>0</mn><mspace width="2em"/></mtd>                     <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li67.xml#property.ZCN"  class="label" >Property ZCN</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>            <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr></mtable></math>
<!--l. 93--><p class="noindent">Then the set <!--l. 93--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>E</mi> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="{"  close="}" ><mrow><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>s</mi></mrow></msub 
></mrow></mfenced></math>
is an orthogonal set of nonzero eigenvectors of
<!--l. 93--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math> for the eigenvalue
<!--l. 93--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>&#x03BB;</mi></math>. By <a 
href="fcla-xml-1.08li27.xml#theorem.OSLI">Theorem&#x00A0;OSLI</a>,
the set <!--l. 93--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>E</mi></math>
is linearly independent and so the geometric multiplicity of
<!--l. 93--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>&#x03BB;</mi></math> as an
eigenvalue of <!--l. 93--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>
is <!--l. 93--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>s</mi></math> or
greater. We have
                                                                          

                                                                          
</p><!--tex4ht:inline--><!--l. 100--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
                <mtr><mtd 
columnalign="right" class="align-odd"><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mi 
>&#x03BB;</mi></mrow></mfenced></mtd>                <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <msub><mrow 
><mi 
>&#x03B3;</mi></mrow><mrow 
><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mi 
>&#x03BB;</mi></mrow></mfenced> <mo 
class="MathClass-rel">&#x2264;</mo> <msub><mrow 
><mi 
>&#x03B3;</mi></mrow><mrow 
><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mi 
>&#x03BB;</mi></mrow></mfenced> <mo 
class="MathClass-rel">=</mo> <msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mi 
>&#x03BB;</mi></mrow></mfenced><mspace width="2em"/></mtd>                <mtd 
columnalign="right" class="align-label"></mtd>                <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr></mtable></math>
<!--l. 102--><p class="noindent">This inequality applies to any matrix, so long as the eigenvalue is nonzero. We now apply it
to the matrix <!--l. 102--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>,
</p><!--tex4ht:inline--><!--l. 109--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
             <mtr><mtd 
columnalign="right" class="align-odd"><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mi 
>&#x03BB;</mi></mrow></mfenced></mtd>             <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><msup><mrow 
><mfenced separators="" 
open="("  close=")" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></mfenced></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mi 
>&#x03BB;</mi></mrow></mfenced> <mo 
class="MathClass-rel">&#x2264;</mo> <msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><msup><mrow 
><mfenced separators="" 
open="("  close=")" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></mfenced></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mi 
>&#x03BB;</mi></mrow></mfenced> <mo 
class="MathClass-rel">=</mo> <msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mi 
>&#x03BB;</mi></mrow></mfenced><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-label"></mtd>             <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr></mtable></math>
<!--l. 111--><p class="noindent">So for a nonzero eigenvalue, its algebraic multiplicities as an eigenvalue of
<!--l. 111--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math> and
<!--l. 111--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math> are equal. This is
enough to establish that <!--l. 111--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>p</mi> <mo 
class="MathClass-rel">=</mo> <mi 
>q</mi></math>
and the eigenvalues can be ordered such that
<!--l. 111--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>&#x03BB;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
> <mo 
class="MathClass-rel">=</mo> <msub><mrow 
><mi 
>&#x03C1;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></math> for
<!--l. 111--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>p</mi></math>.
</p><!--l. 113--><p class="indent">   For any matrix <!--l. 113--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>B</mi></math>,
the null space is identical to the eigenspace of the zero eigenvalue,
<!--l. 113--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
mathvariant="bold-script">N</mi><mspace width="0em" class="thinspace"/><mfenced separators="" 
open="("  close=")" ><mrow><mi 
>B</mi></mrow></mfenced> <mo 
class="MathClass-rel">=</mo> <msub><mrow 
><mi 
mathvariant="bold-script">&#x2130;</mi></mrow><mrow 
><mi 
>B</mi></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mn>0</mn></mrow></mfenced></math>,
                                                                          

                                                                          
and thus the nullity of the matrix is equal to the geometric multiplicity
of the zero eigenvalue. With this, we can examine the ranks of
<!--l. 113--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math> and
<!--l. 113--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>.
</p><!--tex4ht:inline--><!--l. 144--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
   <mtr><mtd 
columnalign="right" class="align-odd"><mi 
>r</mi> <mfenced separators="" 
open="("  close=")" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></mfenced></mtd>   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>n</mi> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>n</mi> <mfenced separators="" 
open="("  close=")" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></mfenced><mspace width="2em"/></mtd>                           <mtd 
columnalign="right" class="align-odd"></mtd>   <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li40.xml#theorem.RPNC"  class="label" >Theorem RPNC</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>    <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label"><mspace width="2em"/></mtd>   <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mn>0</mn></mrow></mfenced> <mo 
class="MathClass-bin">+</mo><munderover accentunder="false" accent="false"><mrow  
><mo mathsize="big" 
> &#x2211;</mo>
  </mrow><mrow 
><mi 
>i</mi><mo 
class="MathClass-rel">=</mo><mn>1</mn></mrow><mrow 
><mi 
>p</mi></mrow></munderover 
><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><msup><mrow 
>
<mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03BB;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced></mrow></mfenced> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>n</mi> <mfenced separators="" 
open="("  close=")" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></mfenced><mspace width="2em"/></mtd>    <mtd 
columnalign="right" class="align-odd"></mtd>   <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li47.xml#theorem.NEM"  class="label" >Theorem NEM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>     <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label"><mspace width="2em"/></mtd>   <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mn>0</mn></mrow></mfenced> <mo 
class="MathClass-bin">+</mo><munderover accentunder="false" accent="false"><mrow  
><mo mathsize="big" 
> &#x2211;</mo>
  </mrow><mrow 
><mi 
>i</mi><mo 
class="MathClass-rel">=</mo><mn>1</mn></mrow><mrow 
><mi 
>p</mi></mrow></munderover 
><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><msup><mrow 
>
<mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03BB;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced></mrow></mfenced> <mo 
class="MathClass-bin">&#x2212;</mo> <msub><mrow 
><mi 
>&#x03B3;</mi></mrow><mrow 
><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mn>0</mn></mrow></mfenced><mspace width="2em"/></mtd>   <mtd 
columnalign="right" class="align-odd"></mtd>   <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li46.xml#definition.GME"  class="label" >Definition GME</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>    <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label"><mspace width="2em"/></mtd>   <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mn>0</mn></mrow></mfenced> <mo 
class="MathClass-bin">+</mo><munderover accentunder="false" accent="false"><mrow  
><mo mathsize="big" 
> &#x2211;</mo>
  </mrow><mrow 
><mi 
>i</mi><mo 
class="MathClass-rel">=</mo><mn>1</mn></mrow><mrow 
><mi 
>p</mi></mrow></munderover 
><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><msup><mrow 
>
<mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03BB;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced></mrow></mfenced> <mo 
class="MathClass-bin">&#x2212;</mo> <msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mn>0</mn></mrow></mfenced><mspace width="2em"/></mtd>   <mtd 
columnalign="right" class="align-odd"></mtd>   <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li48.xml#theorem.DMFE"  class="label" >Theorem DMFE</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>   <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label"><mspace width="2em"/></mtd>   <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo><munderover accentunder="false" accent="false"><mrow  
><mo mathsize="big" 
> &#x2211;</mo>
  </mrow><mrow 
><mi 
>i</mi><mo 
class="MathClass-rel">=</mo><mn>1</mn></mrow><mrow 
><mi 
>p</mi></mrow></munderover 
><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><msup><mrow 
>
<mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03BB;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>                       <mtd 
columnalign="right" class="align-odd"></mtd>   <mtd 
class="align-even"><mspace width="2em"/></mtd>                    <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo><munderover accentunder="false" accent="false"><mrow  
><mo mathsize="big" 
> &#x2211;</mo>
  </mrow><mrow 
><mi 
>i</mi><mo 
class="MathClass-rel">=</mo><mn>1</mn></mrow><mrow 
><mi 
>p</mi></mrow></munderover 
><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
>
<mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03BB;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>                       <mtd 
columnalign="right" class="align-odd"></mtd>   <mtd 
class="align-even"><mspace width="2em"/></mtd>                    <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mn>0</mn></mrow></mfenced> <mo 
class="MathClass-bin">+</mo><munderover accentunder="false" accent="false"><mrow  
><mo mathsize="big" 
> &#x2211;</mo>
  </mrow><mrow 
><mi 
>i</mi><mo 
class="MathClass-rel">=</mo><mn>1</mn></mrow><mrow 
><mi 
>p</mi></mrow></munderover 
><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
>
<mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03BB;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced></mrow></mfenced> <mo 
class="MathClass-bin">&#x2212;</mo> <msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mn>0</mn></mrow></mfenced><mspace width="2em"/></mtd>   <mtd 
columnalign="right" class="align-odd"></mtd>   <mtd 
class="align-even"><mspace width="2em"/></mtd>                    <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mn>0</mn></mrow></mfenced> <mo 
class="MathClass-bin">+</mo><munderover accentunder="false" accent="false"><mrow  
><mo mathsize="big" 
> &#x2211;</mo>
  </mrow><mrow 
><mi 
>i</mi><mo 
class="MathClass-rel">=</mo><mn>1</mn></mrow><mrow 
><mi 
>p</mi></mrow></munderover 
><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
>
<mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03BB;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced></mrow></mfenced> <mo 
class="MathClass-bin">&#x2212;</mo> <msub><mrow 
><mi 
>&#x03B3;</mi></mrow><mrow 
><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mn>0</mn></mrow></mfenced><mspace width="2em"/></mtd>   <mtd 
columnalign="right" class="align-odd"></mtd>   <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li48.xml#theorem.DMFE"  class="label" >Theorem DMFE</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>   <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label"><mspace width="2em"/></mtd>   <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mn>0</mn></mrow></mfenced> <mo 
class="MathClass-bin">+</mo><munderover accentunder="false" accent="false"><mrow  
><mo mathsize="big" 
> &#x2211;</mo>
  </mrow><mrow 
><mi 
>i</mi><mo 
class="MathClass-rel">=</mo><mn>1</mn></mrow><mrow 
><mi 
>p</mi></mrow></munderover 
><msub><mrow 
><mi 
>&#x03B1;</mi></mrow><mrow 
>
<mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><msub><mrow 
><mi 
>&#x03BB;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced></mrow></mfenced> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>n</mi> <mfenced separators="" 
open="("  close=")" ><mrow><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></mfenced><mspace width="2em"/></mtd>    <mtd 
columnalign="right" class="align-odd"></mtd>   <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li46.xml#definition.GME"  class="label" >Definition GME</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>    <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label"><mspace width="2em"/></mtd>   <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>m</mi> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>n</mi> <mfenced separators="" 
open="("  close=")" ><mrow><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></mfenced><mspace width="2em"/></mtd>                          <mtd 
columnalign="right" class="align-odd"></mtd>   <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li47.xml#theorem.NEM"  class="label" >Theorem NEM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>     <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label"><mspace width="2em"/></mtd>   <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>r</mi> <mfenced separators="" 
open="("  close=")" ><mrow><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></mfenced><mspace width="2em"/></mtd>                                <mtd 
columnalign="right" class="align-odd"></mtd>   <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li40.xml#theorem.RPNC"  class="label" >Theorem RPNC</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>    <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label"><mspace width="2em"/></mtd>   <mtd 
columnalign="right" class="align-label"></mtd>   <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr></mtable></math>
<!--l. 146--><p class="noindent">When <!--l. 146--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math> is rectangular,
the square matrices <!--l. 146--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math>
and <!--l. 146--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>
have different sizes. With equal algebraic and geometric multiplicities for their
common nonzero eigenvalues, the difference in their sizes is manifest in
                                                                          

                                                                          
different algebraic multiplicities for the zero eigenvalue and different nullities.
Specifically,
</p><!--tex4ht:inline--><!--l. 152--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
              <mtr><mtd 
columnalign="right" class="align-odd"><mi 
>n</mi> <mfenced separators="" 
open="("  close=")" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></mrow></mfenced></mtd>              <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>n</mi> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>r</mi><mspace width="2em"/></mtd>              <mtd 
columnalign="right" class="align-odd"><mi 
>n</mi> <mfenced separators="" 
open="("  close=")" ><mrow><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></mfenced></mtd>              <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>m</mi> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>r</mi><mspace width="2em"/></mtd>              <mtd 
columnalign="right" class="align-label"></mtd>              <mtd 
class="align-label"><mspace width="2em"/></mtd>              <mtd 
columnalign="right" class="align-label"></mtd>              <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr></mtable></math>
<!--l. 154--><p class="noindent">Suppose that <!--l. 154--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>n</mi></mrow></msub 
></math> is an
orthonormal basis of <!--l. 154--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>&#x2102;</mi></mrow><mrow 
><mi 
>n</mi></mrow></msup 
></math>
composed of eigenvectors of <!--l. 154--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math>
and ordered so that <!--l. 154--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></math>,
<!--l. 154--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>r</mi> <mo 
class="MathClass-bin">+</mo> <mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>n</mi></math> are
eigenvectors of <!--l. 154--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>
for the zero eigenvalue. Denote the associated nonzero eigenvalues of
<!--l. 154--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math> for these
eigenvectors by <!--l. 154--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></math>,
<!--l. 154--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>r</mi></math>.
Then define
                                                                          

                                                                          
</p><!--tex4ht:inline--><!--l. 160--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
                  <mtr><mtd 
columnalign="right" class="align-odd"><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mtd>                  <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo>   <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mspace width="2em"/></mtd>                  <mtd 
columnalign="right" class="align-odd"><mn>1</mn></mtd>                  <mtd 
class="align-even"> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>r</mi><mspace width="2em"/></mtd>                  <mtd 
columnalign="right" class="align-label"></mtd>                  <mtd 
class="align-label"><mspace width="2em"/></mtd>                  <mtd 
columnalign="right" class="align-label"></mtd>                  <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr></mtable></math>
<!--l. 162--><p class="noindent">Let <!--l. 162--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>r</mi><mo 
class="MathClass-bin">+</mo><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>r</mi><mo 
class="MathClass-bin">+</mo><mn>2</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>r</mi><mo 
class="MathClass-bin">+</mo><mn>2</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>m</mi></mrow></msub 
></math> be an orthonormal
basis for the eigenspace <!--l. 162--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
mathvariant="bold-script">&#x2130;</mi></mrow><mrow 
><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mn>0</mn></mrow></mfenced></math>,
whose existence is guaranteed by <a 
href="fcla-xml-1.08li27.xml#theorem.GSP">Theorem&#x00A0;GSP</a>. As scalar multiples of demonstrated
eigenvectors of <!--l. 162--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>,
<!--l. 162--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></math>,
<!--l. 162--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>r</mi></math> are also
eigenvectors of <!--l. 162--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>,
and <!--l. 162--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></math>,
<!--l. 162--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>r</mi> <mo 
class="MathClass-bin">+</mo> <mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>n</mi></math> have been chosen
as eigenvectors of <!--l. 162--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>.
These eigenvectors also have norm 1, as we now show. For
<!--l. 162--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>r</mi></math>,
                                                                          

                                                                          
</p><!--tex4ht:inline--><!--l. 200--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
          <mtr><mtd 
columnalign="right" class="align-odd"><mo 
class="MathClass-rel">&#x2225;</mo><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-rel">&#x2225;</mo></mtd>          <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mo 
class="MathClass-rel">&#x2225;</mo> <mfrac><mrow 
><mn>1</mn></mrow>
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-rel">&#x2225;</mo><mspace width="2em"/></mtd>                   <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><mspace width="2em"/></mtd>                           <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>              <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <msqrt><mrow><mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow> <mfrac> <mrow 
> <mn>1</mn></mrow>
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/>  <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced></mrow></msqrt><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li27.xml#theorem.IPN"  class="label" >Theorem IPN</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>            <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>              <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <msqrt><mrow> <mfrac> <mrow 
> <mn>1</mn></mrow>
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><mover accent="false" 
class="mml-overline"><mrow>  <mfrac><mrow 
><mn>1</mn></mrow>
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac></mrow><mo 
accent="true">&#x00AF;</mo></mover> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced></mrow></msqrt><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li27.xml#theorem.IPSM"  class="label" >Theorem IPSM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>              <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <msqrt><mrow> <mfrac> <mrow 
> <mn>1</mn></mrow>
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac>   <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced></mrow></msqrt><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li47.xml#theorem.HMRE"  class="label" >Theorem HMRE</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>              <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo>   <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><msqrt><mrow><mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <mo 
class="MathClass-punc">,</mo> <mspace width="0em" class="thinspace"/> <mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> </mrow></mfenced></mrow></msqrt><mspace width="2em"/></mtd>              <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><mspace width="2em"/></mtd>                           <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>              <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo>   <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><msqrt><mrow><mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <mo 
class="MathClass-punc">,</mo> <mspace width="0em" class="thinspace"/><msup><mrow 
> <mfenced separators="" 
open="("  close=")" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo> </mrow> </msup 
>  </mrow></mfenced> </mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo> </mrow> </msup 
> <msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> </mrow></mfenced></mrow></msqrt><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li29.xml#theorem.AA"  class="label" >Theorem AA</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>              <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo>   <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><msqrt><mrow><mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo> </mrow> </msup 
> <mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <mo 
class="MathClass-punc">,</mo> <mspace width="0em" class="thinspace"/> <msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> </mrow></mfenced></mrow></msqrt><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li30.xml#theorem.AIP"  class="label" >Theorem AIP</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>            <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>              <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo>   <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><msqrt><mrow><mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <mo 
class="MathClass-punc">,</mo> <mspace width="0em" class="thinspace"/> <msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> </mrow></mfenced></mrow></msqrt><mspace width="2em"/></mtd>                <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#theorem.EEM"  class="label" >Theorem EEM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>              <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo>   <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <mo 
class="MathClass-punc">,</mo> <mspace width="0em" class="thinspace"/> <msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> </mrow></mfenced></mrow></msqrt><mspace width="2em"/></mtd>               <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li27.xml#theorem.IPSM"  class="label" >Theorem IPSM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>              <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo>   <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></msqrt><mspace width="2em"/></mtd>                  <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li27.xml#definition.ONS"  class="label" >Definition ONS</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>              <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mn>1</mn><mspace width="2em"/></mtd>                            <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><mspace width="2em"/></mtd>                           <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr></mtable></math>
<!--l. 202--><p class="noindent">For <!--l. 202--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>r</mi> <mo 
class="MathClass-bin">+</mo> <mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>n</mi></math>,
the <!--l. 202--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></math>
have been chosen to have norm 1.
</p><!--l. 204--><p class="indent">   Finally we check orthogonality. Consider two eigenvectors
<!--l. 204--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></math> and
<!--l. 204--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></math> with
<!--l. 204--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x003C;</mo> <mi 
>j</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>m</mi></math>. If
these two vectors have different eigenvalues, then <a 
href="fcla-xml-1.08li47.xml#theorem.HMOE">Theorem&#x00A0;HMOE</a> establishes
                                                                          

                                                                          
that the two eigenvectors are orthogonal. If the two eigenvectors have a zero
eigenvalue, then they are orthogonal by the choice of the orthonormal basis of
<!--l. 204--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
mathvariant="bold-script">&#x2130;</mi></mrow><mrow 
><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></msub 
> <mfenced separators="" 
open="("  close=")" ><mrow><mn>0</mn></mrow></mfenced></math>. If
the two eigenvectors have identical, nonzero, eigenvalues, then
</p><!--tex4ht:inline--><!--l. 247--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
         <mtr><mtd 
columnalign="right" class="align-odd"> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></mfenced></mtd>         <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow>  <mfrac><mrow 
><mn>1</mn></mrow>
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/>  <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"><mspace width="2em"/></mtd>                          <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label">
         <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>               <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo>   <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><mover accent="false" 
class="mml-overline"><mrow>  <mfrac><mrow 
><mn>1</mn></mrow>
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac></mrow><mo 
accent="true">&#x00AF;</mo></mover> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li27.xml#theorem.IPSM"  class="label" >Theorem IPSM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label"><mspace width="2em"/></mtd>         <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label">
         <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>               <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo>    <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>            <mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li47.xml#theorem.HMRE"  class="label" >Theorem HMRE</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>         <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label"><mspace width="2em"/></mtd>         <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label">
         <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>               <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo>    <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msup><mrow 
> <mfenced separators="" 
open="("  close=")" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></mfenced></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><msub><mrow 
><mi 
>x</mi></mrow><mrow 
>
<mi 
>j</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>         <mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li29.xml#theorem.AA"  class="label" >Theorem AA</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label"><mspace width="2em"/></mtd>         <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label">
         <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>               <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo>    <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
>
<mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>           <mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li30.xml#theorem.AIP"  class="label" >Theorem AIP</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>            <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label"><mspace width="2em"/></mtd>         <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label">
         <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>               <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo>    <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>              <mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li46.xml#definition.EEM"  class="label" >Definition EEM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label"><mspace width="2em"/></mtd>         <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label">
         <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>               <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo>    <mfrac><mrow 
><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>               <mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li27.xml#theorem.IPSM"  class="label" >Theorem IPSM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label"><mspace width="2em"/></mtd>         <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label">
         <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>               <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo>    <mfrac><mrow 
><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>0</mn></mrow><mo 
class="MathClass-close">)</mo></mrow><mspace width="2em"/></mtd>                  <mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li27.xml#definition.ONS"  class="label" >Definition ONS</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label"><mspace width="2em"/></mtd>         <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label">
         <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>               <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mn>0</mn><mspace width="2em"/></mtd>                           <mtd 
columnalign="right" class="align-odd"></mtd>         <mtd 
class="align-even"><mspace width="2em"/></mtd>                          <mtd 
columnalign="right" class="align-label"></mtd>         <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr></mtable></math>
<!--l. 249--><p class="noindent">So <!--l. 249--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" > <mfenced separators="" 
open="{"  close="}" ><mrow><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>m</mi></mrow></msub 
></mrow></mfenced></math> is an orthonormal
set of eigenvectors for <!--l. 249--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>.
                                                                          

                                                                          
The critical relationship between these two orthonormal bases is present by design.
For <!--l. 249--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>r</mi></math>,
</p><!--tex4ht:inline--><!--l. 256--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
                        <mtr><mtd 
columnalign="right" class="align-odd"><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mtd>                        <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt>  <mfrac><mrow 
><mn>1</mn></mrow> 
<mrow 
><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt></mrow></mfrac><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
> <mo 
class="MathClass-rel">=</mo> <msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></msqrt><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mspace width="2em"/></mtd>                        <mtd 
columnalign="right" class="align-label"></mtd>                        <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr></mtable></math>
<!--l. 258--><p class="noindent">For <!--l. 258--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>r</mi> <mo 
class="MathClass-bin">+</mo> <mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>n</mi></math>
we have
</p><!--tex4ht:inline--><!--l. 274--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
          <mtr><mtd 
columnalign="right" class="align-odd"> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced></mtd>          <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msup><mrow 
> <mfenced separators="" 
open="("  close=")" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></mrow></mfenced></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><msub><mrow 
><mi 
>x</mi></mrow><mrow 
>
<mi 
>i</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li29.xml#theorem.AA"  class="label" >Theorem AA</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
>
<mi 
>i</mi></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>            <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li30.xml#theorem.AIP"  class="label" >Theorem AIP</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>            <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mfenced separators="" 
open="&#x2329;"  close="&#x232A;" ><mrow><mn>0</mn><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></mrow></mfenced><mspace width="2em"/></mtd>                  <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li46.xml#definition.EEM"  class="label" >Definition EEM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
          <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mn>0</mn><mspace width="2em"/></mtd>                     <mtd 
columnalign="right" class="align-odd"></mtd>          <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li27.xml#definition.IP"  class="label" >Definition IP</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label"><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>          <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr></mtable></math>
                                                                          

                                                                          
<!--l. 276--><p class="noindent">So by <a 
href="fcla-xml-1.08li27.xml#theorem.PIP">Theorem&#x00A0;PIP</a>, <!--l. 276--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
> <mo 
class="MathClass-rel">=</mo> <mn>0</mn></math>.
<!--l. 278--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>&#x25A0;</mi></math>
</p><!--l. 280--><p class="noindent">
</p>
   <h4 class="likesubsectionHead"><a 
 id="x105-429000"></a>Subsection SVD: Singular Value Decomposition</h4>
<!--l. 280--><p class="noindent"><a 
 id="subsection.SVD.SVD"></a>  <a 
 id="x105-429000doc"></a><a 
 id="dx105-429001"></a>   The square roots of the eigenvalues of
<!--l. 282--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math> (or almost equivalently,
<!--l. 282--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>!) are known as the
singular values of <!--l. 282--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math>.
Here is the definition.
</p><!--l. 284--><p class="noindent"><span 
class="cmbx-12">Definition</span><span 
class="cmbx-12">&#x00A0;SV</span>
<br class="newline" /><a 
 id="definition.SV"><span 
class="cmbx-12">Singular Values</span></a><a 
 id="dx105-429002"></a><a 
 id="dx105-429003"></a><a 
 id="dx105-429004"></a>
<br class="newline" /> Suppose <!--l. 285--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math> is an
<!--l. 285--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>m</mi> <mo 
class="MathClass-bin">&#x00D7;</mo> <mi 
>n</mi></math> matrix. If the
eigenvalues of <!--l. 285--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>A</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mi 
>A</mi></math>
are <!--l. 285--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>n</mi></mrow></msub 
></math>, then the
<span 
class="cmbx-12">singular values </span>of <!--l. 285--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math>
are <!--l. 285--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
></mrow></msqrt><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
></mrow></msqrt><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
></mrow></msqrt><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>n</mi></mrow></msub 
></mrow></msqrt></math>.
<!--l. 286--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mo 
class="MathClass-bin">&#x25B3;</mo></math>
</p><!--l. 288--><p class="indent">   <a 
href="#theorem.EEMAP">Theorem&#x00A0;EEMAP</a> is a total setup for the singular value decomposition. This
remarkable theorem says that <span 
class="cmti-12">any </span>matrix can be broken into a product of three
matrices. Two are square, and unitary. In light of <a 
href="fcla-xml-1.08li32.xml#theorem.UMPIP">Theorem&#x00A0;UMPIP</a>, we can view
these matrices as transforming vectors or coordinates in a rotational fashion. The
middle matrix of this decomposition is rectangular, but is as close to being
diagonal as a rectangular matrix can be. Viewed as a transformation, this matrix
effects, relections, contractions or expansions along axes &#x2014; it stretches vectors. So
any matrix, viewed as a transformation is the product of a rotation, a stretch and
a rotation.
</p><!--l. 290--><p class="indent">   The singular value theorem can also be viewed as an application of our most
general statement about matrix representations of linear transformations
relative to different bases. <a 
href="fcla-xml-1.08li57.xml#theorem.MRCB">Theorem&#x00A0;MRCB</a> concerns linear transformations
<!--l. 290--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>T</mi> <mo 
class="MathClass-punc">:</mo> <mi 
>U</mi><mo 
class="MathClass-rel">&#x21A6;</mo><mi 
>V</mi> </math> where
<!--l. 290--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>U</mi></math> and
<!--l. 290--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>V</mi> </math> are possibly different
                                                                          

                                                                          
vector spaces. When <!--l. 290--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>U</mi></math>
and <!--l. 290--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>V</mi> </math>
have different dimensions, the resulting matrix representation will be
rectangular. In <a 
href="fcla-xml-1.08li57.xml#section.CB">Section&#x00A0;CB</a> we quickly specialized to the case where
<!--l. 290--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>U</mi> <mo 
class="MathClass-rel">=</mo> <mi 
>V</mi> </math> and
the matrix representations are square with one of our most central results,
<a 
href="fcla-xml-1.08li57.xml#theorem.SCB">Theorem&#x00A0;SCB</a>. <a 
href="#theorem.SVD">Theorem&#x00A0;SVD</a> is an application of the full generality of
<a 
href="fcla-xml-1.08li57.xml#theorem.MRCB">Theorem&#x00A0;MRCB</a> where the relevant bases are now orthonormal sets.
</p><!--l. 292--><p class="noindent"><span 
class="cmbx-12">Theorem</span><span 
class="cmbx-12">&#x00A0;SVD</span>
<br class="newline" /><a 
 id="theorem.SVD"><span 
class="cmbx-12">Singular Value Decomposition</span></a><a 
 id="dx105-429005"></a><a 
 id="dx105-429006"></a><a 
 id="dx105-429007"></a>
<br class="newline" /> Suppose <!--l. 293--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math> is an
<!--l. 293--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>m</mi> <mo 
class="MathClass-bin">&#x00D7;</mo> <mi 
>n</mi></math> matrix of rank
<!--l. 293--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>r</mi></math> with nonzero
singular values <!--l. 293--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>s</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>s</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>s</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>s</mi></mrow><mrow 
><mi 
>r</mi></mrow></msub 
></math>.
Then <!--l. 293--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi> <mo 
class="MathClass-rel">=</mo> <mi 
>U</mi><mi 
>D</mi><msup><mrow 
><mi 
>V</mi> </mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math> where
<!--l. 293--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>U</mi></math> is a unitary
matrix of size <!--l. 293--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>m</mi></math>,
<!--l. 293--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>V</mi> </math> is a unitary
matrix of size <!--l. 293--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>n</mi></math>
and <!--l. 293--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>D</mi></math>
is an <!--l. 293--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>m</mi> <mo 
class="MathClass-bin">&#x00D7;</mo> <mi 
>n</mi></math>
matrix given by
</p><!--tex4ht:inline--><!--l. 301--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
                       <mtr><mtd 
columnalign="right" class="align-odd"><msub><mrow 
> <mfenced separators="" 
open="["  close="]" ><mrow><mi 
>D</mi></mrow></mfenced></mrow><mrow 
><mi 
>i</mi><mi 
>j</mi></mrow></msub 
></mtd>                       <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo>  <mfenced separators="" 
open="{"  close="" ><mrow><mtable  style="text-align:axis"  
equalrows="false" equalcolumns="false" class="array"><mtr><mtd 
class="array"  columnalign="left"><msub><mrow 
><mi 
>s</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mspace width="1em" class="quad"/></mtd><mtd 
class="array"  columnalign="left"><!--mstyle 
class="text"--><mtext  >&#x00A0;if&#x00A0;</mtext><!--/mstyle--><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">=</mo> <mi 
>j</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>r</mi></mtd>
</mtr><mtr><mtd 
class="array"  columnalign="left"><mn>0</mn> <mspace width="1em" class="quad"/></mtd><mtd 
class="array"  columnalign="left"><!--mstyle 
class="text"--><mtext  >&#x00A0;otherwise</mtext><!--/mstyle-->        </mtd></mtr> <!--@{}l@{\quad }l@{}--></mtable>                                                                            </mrow></mfenced> <mspace width="2em"/></mtd>                       <mtd 
columnalign="right" class="align-label"></mtd>                       <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr></mtable></math>
   <!--l. 303--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>&#x25A1;</mi></math>
                                                                          

                                                                          
<!--l. 305--><p class="noindent"><span 
class="cmbx-12">Proof</span>&#x00A0;&#x00A0; Let <!--l. 306--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>n</mi></mrow></msub 
></math>
and <!--l. 306--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><mspace width="0em" class="thinspace"/><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>m</mi></mrow></msub 
></math> be
the orthonormal bases described by the conclusion of <a 
href="#theorem.EEMAP">Theorem&#x00A0;EEMAP</a>. Define
<!--l. 306--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>U</mi></math> to be the
<!--l. 306--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>m</mi> <mo 
class="MathClass-bin">&#x00D7;</mo> <mi 
>m</mi></math> matrix whose
columns are <!--l. 306--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></math>,
<!--l. 306--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>m</mi></math>, and define
<!--l. 306--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>V</mi> </math> to be the
<!--l. 306--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>n</mi> <mo 
class="MathClass-bin">&#x00D7;</mo> <mi 
>n</mi></math> matrix whose
columns are <!--l. 306--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>i</mi></mrow></msub 
></math>,
<!--l. 306--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>n</mi></math>.
With orthonormal sets of columns, by <a 
href="fcla-xml-1.08li32.xml#theorem.CUMOS">Theorem&#x00A0;CUMOS</a> both
<!--l. 306--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>U</mi></math> and
<!--l. 306--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>V</mi> </math> are
unitary matrices.
</p><!--l. 308--><p class="indent">   Then for <!--l. 308--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>i</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>m</mi></math>,
<!--l. 308--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mn>1</mn> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>j</mi> <mo 
class="MathClass-rel">&#x2264;</mo> <mi 
>n</mi></math>,
</p><!--tex4ht:inline--><!--l. 317--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
             <mtr><mtd 
columnalign="right" class="align-odd"><msub><mrow 
> <mfenced separators="" 
open="["  close="]" ><mrow><mi 
>A</mi><mi 
>V</mi> </mrow></mfenced></mrow><mrow 
><mi 
>i</mi><mi 
>j</mi></mrow></msub 
></mtd>             <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo><msub><mrow 
> <mfenced separators="" 
open="["  close="]" ><mrow><mi 
>A</mi><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></mfenced> </mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mspace width="2em"/></mtd>               <mtd 
columnalign="right" class="align-odd"></mtd>             <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li30.xml#definition.MM"  class="label" >Definition MM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>                <mtd 
columnalign="right" class="align-label"></mtd>             <mtd 
class="align-label"><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-label"></mtd>             <mtd 
class="align-label">
             <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo><msub><mrow 
> <mfenced separators="" 
open="["  close="]" ><mrow><msqrt><mrow><msub><mrow 
><mi 
>&#x03B4;</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></msqrt><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></mfenced> </mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-odd"></mtd>             <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#theorem.EEMAP"  class="label" >Theorem EEMAP</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-label"></mtd>             <mtd 
class="align-label"><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-label"></mtd>             <mtd 
class="align-label">
             <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo><msub><mrow 
> <mfenced separators="" 
open="["  close="]" ><mrow><msub><mrow 
><mi 
>s</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></mfenced> </mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mspace width="2em"/></mtd>               <mtd 
columnalign="right" class="align-odd"></mtd>             <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li17.xml#definition.SV"  class="label" >Definition SV</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>                 <mtd 
columnalign="right" class="align-label"></mtd>             <mtd 
class="align-label"><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-label"></mtd>             <mtd 
class="align-label">
             <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo><msub><mrow 
> <mfenced separators="" 
open="["  close="]" ><mrow><mi 
>D</mi><msub><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>j</mi></mrow></msub 
></mrow></mfenced> </mrow><mrow 
><mi 
>i</mi></mrow></msub 
><mspace width="2em"/></mtd>               <mtd 
columnalign="right" class="align-odd"></mtd>             <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li30.xml#definition.MVP"  class="label" >Definition MVP</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>               <mtd 
columnalign="right" class="align-label"></mtd>             <mtd 
class="align-label"><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-label"></mtd>             <mtd 
class="align-label">
             <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                   <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo><msub><mrow 
> <mfenced separators="" 
open="["  close="]" ><mrow><mi 
>D</mi><mi 
>U</mi></mrow></mfenced></mrow><mrow 
><mi 
>i</mi><mi 
>j</mi></mrow></msub 
><mspace width="2em"/></mtd>               <mtd 
columnalign="right" class="align-odd"></mtd>             <mtd 
class="align-even"><!--mstyle 
class="text"--><mtext  >&#x00A0;</mtext><mtext 
 xlink:type="simple" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="fcla-xml-1.08li30.xml#definition.MM"  class="label" >Definition MM</mtext><mtext 
class="endlabel"></mtext><!--/mstyle--><mspace width="2em"/></mtd>                <mtd 
columnalign="right" class="align-label"></mtd>             <mtd 
class="align-label"><mspace width="2em"/></mtd>             <mtd 
columnalign="right" class="align-label"></mtd>             <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr></mtable></math>
<!--l. 319--><p class="noindent">So by <a 
href="fcla-xml-1.08li47.xml#theorem.ME">Theorem&#x00A0;ME</a>, <!--l. 319--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi><mi 
>V</mi> <mo 
class="MathClass-rel">=</mo> <mi 
>D</mi><mi 
>U</mi></math>
and thus
                                                                          

                                                                          
</p><!--tex4ht:inline--><!--l. 323--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
                        <mtr><mtd 
columnalign="right" class="align-odd"><mi 
>A</mi></mtd>                        <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>A</mi><msub><mrow 
><mi 
>I</mi></mrow><mrow 
><mi 
>n</mi></mrow></msub 
> <mo 
class="MathClass-rel">=</mo> <mi 
>A</mi><mi 
>V</mi> <msup><mrow 
><mi 
>V</mi> </mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
> <mo 
class="MathClass-rel">=</mo> <mi 
>D</mi><mi 
>U</mi><msup><mrow 
><mi 
>V</mi> </mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
><mspace width="2em"/></mtd>                        <mtd 
columnalign="right" class="align-label"></mtd>                        <mtd 
class="align-label">
   <mspace width="2em"/></mtd></mtr></mtable></math>
   <!--l. 325--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>&#x25A0;</mi></math>
                                                                          

                                                                          
<!--l. 529--><p class="indent">
                                                                          

                                                                          
                                                                          

                                                                          
</p>
   <!--l. 530--><div class="crosslinks"><p class="noindent">[<a 
href="fcla-xml-1.08li105.xml" >next</a>] [<a 
href="fcla-xml-1.08li103.xml" >prev</a>] [<a 
href="fcla-xml-1.08li103.xml#tailfcla-xml-1.08li103.xml" >prev-tail</a>] [<a 
href="fcla-xml-1.08li104.xml" >front</a>] [<a 
href="fcla-xml-1.08li101.xml#fcla-xml-1.08li104.xml" >up</a>] </p></div>
<!--l. 530--><p class="indent">   <a 
 id="tailfcla-xml-1.08li104.xml"></a>  </p> 
</body> 
</html> 
