<?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.04.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.04.tex" /> 
<meta name="date" content="2007-02-15 12:27:00" /> 
<link rel="stylesheet" type="text/css" href="fcla-xml-1.04.css" /> 
</head><body 
>
   <!--l. 522--><div class="crosslinks"><p class="noindent">[<a 
href="fcla-xml-1.04li97.xml" >prev</a>] [<a 
href="fcla-xml-1.04li97.xml#tailfcla-xml-1.04li97.xml" >prev-tail</a>] [<a 
href="#tailfcla-xml-1.04li98.xml">tail</a>] [<a 
href="fcla-xml-1.04li96.xml#fcla-xml-1.04li98.xml" >up</a>] </p></div>
   <h2 class="likechapterHead"><a 
 id="x99-412000"></a>Chapter MD&#x00A0;&#x00A0;Matrix Decompositions</h2>
<!--l. 522--><p class="noindent"><a 
 id="chapter.MD"></a> <a 
 id="x99-412000doc"></a><a 
 id="dx99-412001"></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.04li30.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.04li20.xml#definition.SQM">Definition&#x00A0;SQM</a>) or diagonalizable (<a 
href="fcla-xml-1.04li48.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.04li23.xml#subsection.LC.VFSS">Subsection&#x00A0;LC.VFSS</a>) or
decomposing vector spaces into direct sums (<a 
href="fcla-xml-1.04li41.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.04li69.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.04li48.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" ><mi 
>A</mi> <mo 
class="MathClass-rel">=</mo> <msup><mrow 
><mi 
>S</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2212;</mo><mn>1</mn></mrow></msup 
><mi 
>D</mi><mi 
>S</mi></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" ><msup><mrow 
><mi 
>S</mi></mrow><mrow 
><mo 
class="MathClass-bin">&#x2212;</mo><mn>1</mn></mrow></msup 
></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" ><mi 
>S</mi></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 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.04li48.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.04li48.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">   Each section of this chapter is a different matrix decomposition, and they will
become progessively more general and more complicated. As such, later
decompositions will require greater familiarity with topics from the Core
(<a 
href="fcla-xml-1.04li13.xml#part.C">Part&#x00A0;C</a>).
</p>
   <div class="likesectionTOCS">
   &#x00A0;<span class="likesectionToc"><a 
href="fcla-xml-1.04li99.xml#x100-413000">Section ROD Rank One Decomposition</a></span>
<br />   &#x00A0;<span class="likesectionToc"><a 
href="fcla-xml-1.04li100.xml#x101-415000">Section TD Triangular Decomposition</a></span>
<br />   &#x00A0;&#x00A0;<span class="likesubsectionToc"><a 
href="fcla-xml-1.04li100.xml#x101-416000" id="QQ2-101-427">Subsection TD: Triangular Decomposition</a></span>
<br />   &#x00A0;&#x00A0;<span class="likesubsectionToc"><a 
href="fcla-xml-1.04li100.xml#x101-417000" id="QQ2-101-428">Subsection TDSSE: Triangular Decomposition and Solving
Systems of Equations</a></span>
<br />   &#x00A0;&#x00A0;<span class="likesubsectionToc"><a 
href="fcla-xml-1.04li100.xml#x101-418000" id="QQ2-101-429">Subsection CTD: Computing Triangular Decompositions</a></span>
   </div>

                                                                          

                                                                          
   <!--l. 539--><div class="crosslinks"><p class="noindent">[<a 
href="fcla-xml-1.04li97.xml" >prev</a>] [<a 
href="fcla-xml-1.04li97.xml#tailfcla-xml-1.04li97.xml" >prev-tail</a>] [<a 
href="fcla-xml-1.04li98.xml" >front</a>] [<a 
href="fcla-xml-1.04li96.xml#fcla-xml-1.04li98.xml" >up</a>] </p></div>
<!--l. 539--><p class="indent">   <a 
 id="tailfcla-xml-1.04li98.xml"></a> </p> 
</body> 
</html> 
