<?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>Chapter MD  Matrix Decompositions</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. 525--><div class="crosslinks"><p class="noindent">[<a 
href="fcla-xml-1.08li100.xml" >prev</a>] [<a 
href="fcla-xml-1.08li100.xml#tailfcla-xml-1.08li100.xml" >prev-tail</a>] [<a 
href="#tailfcla-xml-1.08li101.xml">tail</a>] [<a 
href="fcla-xml-1.08li96.xml#fcla-xml-1.08li101.xml" >up</a>] </p></div>
   <h2 class="likechapterHead"><a 
 id="x102-421000"></a>Chapter MD&#x00A0;&#x00A0;Matrix Decompositions</h2>
<!--l. 525--><p class="noindent"><a 
 id="chapter.MD"></a> <a 
 id="x102-421000doc"></a><a 
 id="dx102-421001"></a>
</p><!--l. 10--><p class="indent">   This chapter is about breaking up a matrix
<!--l. 10--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math> into pieces that somehow
combine to recreate <!--l. 10--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math>.
Usually the pieces are again matrices, and usually they are then combined via
matrix multiplication (<a 
href="fcla-xml-1.08li30.xml#definition.MM">Definition&#x00A0;MM</a>). In some cases, the decomposition will
be valid for any matrix, but often we might need extra conditions on
<!--l. 10--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math>, such
as being square (<a 
href="fcla-xml-1.08li20.xml#definition.SQM">Definition&#x00A0;SQM</a>), nonsingular (<a 
href="fcla-xml-1.08li20.xml#definition.NM">Definition&#x00A0;NM</a>) or diagonalizable
(<a 
href="fcla-xml-1.08li48.xml#definition.DZM">Definition&#x00A0;DZM</a>) before we can guarantee the decomposition. If you are
comfortable with topics like decomposing a solution vector into linear
combinations (<a 
href="fcla-xml-1.08li23.xml#subsection.LC.VFSS">Subsection&#x00A0;LC.VFSS</a>) or decomposing vector spaces into direct
sums (<a 
href="fcla-xml-1.08li41.xml#subsection.PD.DS">Subsection&#x00A0;PD.DS</a>), then we will be doing similar things in this chapter.
If not, review these ideas and take another look at <a 
href="fcla-xml-1.08li69.xml#technique.DC">Technique&#x00A0;DC</a> on
decompositions.
</p><!--l. 12--><p class="indent">   We have studied one matrix decomposition already, so we will review
that here in this introduction, both as a way of previewing the topic in a
familiar setting, but also since it does not deserve another section all of its
own.
</p><!--l. 14--><p class="indent">   A diagonalizable matrix (<a 
href="fcla-xml-1.08li48.xml#definition.DZM">Definition&#x00A0;DZM</a>) is defined to be a square matrix
<!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math> such that there is an
invertible matrix <!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>S</mi></math> and
a diagonal matrix <!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>D</mi></math>
where <!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>S</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2212;</mo><mn>1</mn></mrow></msup 
><mi 
>A</mi><mi 
>S</mi> <mo 
class="MathClass-rel">=</mo> <mi 
>D</mi></math>. We can re-write
this as <!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi> <mo 
class="MathClass-rel">=</mo> <mi 
>S</mi><mi 
>D</mi><msup><mrow 
><mi 
>S</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2212;</mo><mn>1</mn></mrow></msup 
></math>. Here we have
a decomposition of <!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math>
into three matrices, <!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>S</mi></math>,
                                                                          

                                                                          
<!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>D</mi></math> and
<!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msup><mrow 
><mi 
>S</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2212;</mo><mn>1</mn></mrow></msup 
></math>,
which recombine through matrix multiplication to recreate
<!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math>. We also know that
the diagonal entries of <!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>D</mi></math>
are the eigenvalues of <!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math>.
We cannot form this decomposition for just any matrix &#x2014;
<!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math>
must be square and we know from <a 
href="fcla-xml-1.08li48.xml#theorem.DC">Theorem&#x00A0;DC</a> that a matrix of size
<!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>n</mi></math>
is diagonalizable if and only if there is a basis for
<!--l. 14--><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 entirely of
eigenvectors of <!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math>, or by
<a 
href="fcla-xml-1.08li48.xml#theorem.DMFE">Theorem&#x00A0;DMFE</a> we know that <!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math>
is diagonalizable if and only if each eigenvalue of
<!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math>
has a geometric multiplicity equal to its algebraic multiplicity.
Some authors prefer to call this an <span 
class="cmbx-12">eigen decomposition </span>of
<!--l. 14--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math>
rather than a <span 
class="cmbx-12">matrix diagonalization</span>.
</p><!--l. 16--><p class="indent">   Another decomposition, which is similar in flavor to matrix diagonalization, is
orthonormal diagonalization (<a 
href="fcla-xml-1.08li58.xml#theorem.OD">Theorem&#x00A0;OD</a>). Here we require the matrix
<!--l. 16--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math> to be normal and we
get the decomposition <!--l. 16--><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 
>U</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2217;</mo></mrow></msup 
></math>,
where <!--l. 16--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>D</mi></math>
is a diagonal matrix with the eigenvalues of
<!--l. 16--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math> on the diagonal,
and <!--l. 16--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>U</mi></math> is unitary. The
hypothesis that <!--l. 16--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>A</mi></math>
is normal guarantees the decomposition and we get the extra information that
<!--l. 16--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>U</mi></math> is
unitary.
</p><!--l. 18--><p class="indent">   Each section of this chapter features a different matrix decomposition, with
the exception of <a 
href="fcla-xml-1.08li100.xml#section.PSM">Section&#x00A0;PSM</a>, which presents background information on positive
semi-definite matrices required for singular value decompositions, square roots and
polar decompositions.
                                                                          

                                                                          
</p>
   <div class="likesectionTOCS">
   &#x00A0;<span class="likesectionToc"><a 
href="fcla-xml-1.08li102.xml#x103-422000">Section ROD Rank One Decomposition</a></span>
<br />   &#x00A0;<span class="likesectionToc"><a 
href="fcla-xml-1.08li103.xml#x104-423000">Section TD Triangular Decomposition</a></span>
<br />   &#x00A0;&#x00A0;<span class="likesubsectionToc"><a 
href="fcla-xml-1.08li103.xml#x104-424000" id="QQ2-104-435">Subsection TD: Triangular Decomposition</a></span>
<br />   &#x00A0;&#x00A0;<span class="likesubsectionToc"><a 
href="fcla-xml-1.08li103.xml#x104-425000" id="QQ2-104-436">Subsection TDSSE: Triangular Decomposition and Solving
Systems of Equations</a></span>
<br />   &#x00A0;&#x00A0;<span class="likesubsectionToc"><a 
href="fcla-xml-1.08li103.xml#x104-426000" id="QQ2-104-437">Subsection CTD: Computing Triangular Decompositions</a></span>
<br />   &#x00A0;<span class="likesectionToc"><a 
href="fcla-xml-1.08li104.xml#x105-427000">Section SVD Singular Value Decomposition</a></span>
<br />   &#x00A0;&#x00A0;<span class="likesubsectionToc"><a 
href="fcla-xml-1.08li104.xml#x105-428000" id="QQ2-105-439">Subsection MAP: Matrix-Adjoint Product</a></span>
<br />   &#x00A0;&#x00A0;<span class="likesubsectionToc"><a 
href="fcla-xml-1.08li104.xml#x105-429000" id="QQ2-105-440">Subsection SVD: Singular Value Decomposition</a></span>
<br />   &#x00A0;<span class="likesectionToc"><a 
href="fcla-xml-1.08li105.xml#x106-430000">Section SR Square Roots</a></span>
<br />   &#x00A0;&#x00A0;<span class="likesubsectionToc"><a 
href="fcla-xml-1.08li105.xml#x106-431000" id="QQ2-106-442">Subsection SRM: Square Root of a Matrix</a></span>
<br />   &#x00A0;<span class="likesectionToc"><a 
href="fcla-xml-1.08li106.xml#x107-432000">Section POD Polar Decomposition</a></span>
<br />   &#x00A0;<span class="likesectionToc"><a 
href="fcla-xml-1.08li108.xml#x109-434000">Section CF Curve Fitting</a></span>
<br />   &#x00A0;&#x00A0;<span class="likesubsectionToc"><a 
href="fcla-xml-1.08li108.xml#x109-435000" id="QQ2-109-446">Subsection DF: Data Fitting</a></span>
<br />   &#x00A0;&#x00A0;<span class="likesubsectionToc"><a 
href="fcla-xml-1.08li108.xml#x109-436000" id="QQ2-109-447">Subsection EXC: Exercises</a></span>
<br />   &#x00A0;<span class="likesectionToc"><a 
href="fcla-xml-1.08li109.xml#x110-437000">Section SAS Sharing A Secret</a></span>
   </div>




                                                                          

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