<?xml version="1.0" encoding="utf-8"?>
<document xmlns="http://cnx.rice.edu/cnxml" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:bib="http://bibtexml.sf.net/" xmlns:q="http://cnx.rice.edu/qml/1.0" id="id42474005" module-id="" cnxml-version="0.6">
  <title>Change of Basis and Change to Signal</title>
  <metadata xmlns:md="http://cnx.rice.edu/mdml/0.4">
  <!-- WARNING! The 'metadata' section is read only. Do not edit below.
       Changes to the metadata section in the source will not be saved. -->
  <md:content-id>m19559</md:content-id>
  <md:title>Change of Basis and Change to Signal</md:title>
  <md:version>1.6</md:version>
  <md:created>2009/01/27 09:05:28 US/Central</md:created>
  <md:revised>2009/09/18 14:49:31.574 GMT-5</md:revised>
  <md:authorlist>
    <md:author id="cburrus">
        <md:firstname>C.</md:firstname>
        <md:othername>Sidney</md:othername>
        <md:surname>Burrus</md:surname>
        <md:fullname>C. Sidney Burrus</md:fullname>
        <md:email>csb@rice.edu</md:email>
    </md:author>
  </md:authorlist>
  <md:maintainerlist>
    <md:maintainer id="cburrus">
        <md:firstname>C.</md:firstname>
        <md:othername>Sidney</md:othername>
        <md:surname>Burrus</md:surname>
        <md:fullname>C. Sidney Burrus</md:fullname>
        <md:email>csb@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="dcwill">
        <md:firstname>Daniel</md:firstname>
        <md:othername>Collins</md:othername>
        <md:surname>Williamson</md:surname>
        <md:fullname>Daniel Williamson</md:fullname>
        <md:email>dcwill@cnx.org</md:email>
    </md:maintainer>
  </md:maintainerlist>
  <md:license href="http://creativecommons.org/licenses/by/2.0/"/>
  <md:licensorlist>
    <md:licensor id="cburrus">
        <md:firstname>C.</md:firstname>
        <md:othername>Sidney</md:othername>
        <md:surname>Burrus</md:surname>
        <md:fullname>C. Sidney Burrus</md:fullname>
        <md:email>csb@rice.edu</md:email>
    </md:licensor>
  </md:licensorlist>
  <md:keywordlist>
    <md:keyword>basis</md:keyword>
    <md:keyword>Linear algebra</md:keyword>
    <md:keyword>matrix</md:keyword>
    <md:keyword>vector</md:keyword>
    <md:keyword>vector space</md:keyword>
  </md:keywordlist>
  <md:subjectlist>
    <md:subject>Mathematics and Statistics</md:subject>
  </md:subjectlist>
  <md:abstract>One can look at the operation of a matrix times a vector as changing the basis set for the vector or as changing the vector with the same basis description.</md:abstract>
  <md:language>en</md:language>
  <!-- WARNING! The 'metadata' section is read only. Do not edit above.
       Changes to the metadata section in the source will not be saved. -->
</metadata>

<content>

<section id="id42643148">
<title>Change of Basis</title>
<para id="id42452934">
   The operation given in
   <link target-id="md5c4ca4238a0b923820dcc509a6f75849b"/> can be viewed
   as <m:math display="inline"><m:mi mathvariant="bold">x</m:mi></m:math>  being a signal vector and with
   <m:math display="inline"><m:mi mathvariant="bold">b</m:mi></m:math>  being a vector whose entries are inner
   products of <m:math display="inline"><m:mi mathvariant="bold">x</m:mi></m:math>  and the rows of
   <m:math display="inline"><m:mi mathvariant="bold">A</m:mi></m:math> . In other words, the elements of
   <m:math display="inline"><m:mi mathvariant="bold">b</m:mi></m:math>  are the projection coefficients of
   <m:math display="inline"><m:mi mathvariant="bold">x</m:mi></m:math>  onto the coordinates given by the rows of
   <m:math display="inline"><m:mi mathvariant="bold">A</m:mi></m:math> . The multiplication of a signal by this
   operator decomposes it and gives the coefficients of the decomposition.
</para>
<para id="id41215148">
   An alternative view has <m:math display="inline"><m:mi mathvariant="bold">x</m:mi></m:math>  being a set of weights
   so that <m:math display="inline"><m:mi mathvariant="bold">b</m:mi></m:math>  is a weighted sum of the columns of
   <m:math display="inline"><m:mi mathvariant="bold">A</m:mi></m:math> . In other words,
   <m:math display="inline"><m:mi mathvariant="bold">b</m:mi></m:math>  will lie in the space spanned by the columns
   of <m:math display="inline"><m:mi mathvariant="bold">A</m:mi></m:math>  at a location determined by
   <m:math display="inline"><m:mi mathvariant="bold">x</m:mi></m:math> . This view is a composition of a signal from a
   set of weights which could have been obtained from a previous decomposition.
</para>
<para id="id34705858">
   These two views of the operation as a decomposition of a signal or the
   recomposition of the signal to or from a different basis system are extremely
   valuable in signal analysis. The ideas of orthogonality, rank, adjoint, etc.
   are all important here. The dimensions of the domain and range of the
   operators may or may not be the same. The matrices may or may not be square
   and may or may not be of full rank
   <cite target-id="md54793f33256138cd65d21d0cd77e96e62"/>.
</para>
<para id="id41362561">A set of linearly independent vectors
   <m:math display="inline">
     <m:mrow>
       <m:mstyle>
         <m:msub>
           <m:mi mathvariant="bold">x</m:mi>
           <m:mi mathvariant="bold">n</m:mi>
         </m:msub>
       </m:mstyle>
     </m:mrow>
   </m:math>
   forms a basis for a vector space if every vector
   <m:math display="inline"><m:mi mathvariant="bold">x</m:mi></m:math>  in the space can be uniquely written
   
<equation id="md58a8bb7cd343aa2ad99b7d762030857a2"><m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mstyle>
           <m:mi mathvariant="bold">x</m:mi>
         </m:mstyle>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:munder>
<m:mrow>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
</m:mrow>
<m:mrow>        
   <m:mi>n</m:mi>
</m:mrow>        
 </m:munder>
         <m:mrow>
           <m:msub>
             <m:mi>a</m:mi>
             <m:mi>n</m:mi>
           </m:msub>
           <m:mo/>
           <m:msub>
             <m:mrow>
               <m:mstyle>
                 <m:mi mathvariant="bold">x</m:mi>
               </m:mstyle>
             </m:mrow>
             <m:mrow>
               <m:mstyle>
                 <m:mi mathvariant="bold">n</m:mi>
               </m:mstyle>
             </m:mrow>
           </m:msub>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   and the dual basis vectors
   <m:math display="inline">
     <m:mrow>
       <m:mstyle>
         <m:msub>
           <m:mover accent="true">
             <m:mi mathvariant="bold">x</m:mi>
             <m:mo accent="true" form="postfix" mathvariant="bold">˜</m:mo>
           </m:mover>
           <m:mi mathvariant="bold">n</m:mi>
         </m:msub>
       </m:mstyle>
     </m:mrow>
   </m:math>
   allow a simple inner product to calculate the expansion coefficients as
   
<equation id="md5693a9fdd4c2fd0700968fba0d07ff3c0">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:msub>
           <m:mi>a</m:mi>
           <m:mi>n</m:mi>
         </m:msub>
         <m:mo form="infix">=</m:mo>
         <m:mtext>  </m:mtext>
         <m:mo form="infix">&lt;</m:mo>
       </m:mrow>
       <m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mi mathvariant="bold">x</m:mi>
           </m:mstyle>
         </m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mo form="infix" mathvariant="bold">,</m:mo>
           </m:mstyle>
         </m:mrow>
         <m:mrow>
           <m:msub>
             <m:mrow>
               <m:mstyle>
                 <m:mover accent="true">
                   <m:mi mathvariant="bold">x</m:mi>
                   <m:mo accent="true" form="postfix" mathvariant="bold">˜</m:mo>
                 </m:mover>
               </m:mstyle>
             </m:mrow>
             <m:mrow>
               <m:mstyle>
                 <m:mi mathvariant="bold">n</m:mi>
               </m:mstyle>
             </m:mrow>
           </m:msub>
           <m:mo form="infix">&gt;</m:mo>
           <m:mtext>  </m:mtext>
           <m:mo form="infix">=</m:mo>
         </m:mrow>
       </m:mrow>
       <m:mrow>
         <m:msup>
           <m:mrow>
             <m:mstyle>
               <m:mi mathvariant="bold">x</m:mi>
             </m:mstyle>
           </m:mrow>
           <m:mrow>
             <m:mstyle>
               <m:mi mathvariant="bold">T</m:mi>
             </m:mstyle>
           </m:mrow>
         </m:msup>
         <m:mo/>
         <m:msub>
           <m:mrow>
             <m:mstyle>
               <m:mover accent="true">
                 <m:mi mathvariant="bold">x</m:mi>
                 <m:mo accent="true" form="postfix" mathvariant="bold">˜</m:mo>
               </m:mover>
             </m:mstyle>
           </m:mrow>
           <m:mrow>
             <m:mstyle>
               <m:mi mathvariant="bold">n</m:mi>
             </m:mstyle>
           </m:mrow>
         </m:msub>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   <link target-id="md58a8bb7cd343aa2ad99b7d762030857a2"/> can be
   written as a matrix operation
   
<equation id="md59d607a663f3e9b0a90c3c8d4426640dc">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mstyle>
           <m:mi mathvariant="bold">F</m:mi>
         </m:mstyle>
       </m:mrow>
       <m:mrow>
         <m:mstyle>
         </m:mstyle>
       </m:mrow>
       <m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mi mathvariant="bold">a</m:mi>
           </m:mstyle>
         </m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mo form="infix" mathvariant="bold">=</m:mo>
           </m:mstyle>
         </m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mi mathvariant="bold">x</m:mi>
           </m:mstyle>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   where the columns of <m:math display="inline"><m:mi mathvariant="bold">F</m:mi></m:math>  are the basis vectors and the vector <m:math display="inline"><m:mi mathvariant="bold">a</m:mi></m:math> 
  has the expansion coefficients
   <m:math display="inline">
     <m:mrow>
       <m:msub>
         <m:mi>a</m:mi>
         <m:mi>n</m:mi>
       </m:msub>
     </m:mrow>
   </m:math>
   as entries. Equation
   <link target-id="md5693a9fdd4c2fd0700968fba0d07ff3c0"/> can also be
   written as a matrix operation
   
<equation id="md5894f782a148b33af1e39a0efed952d69">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mstyle>
           <m:mover accent="true">
             <m:mi mathvariant="bold">F</m:mi>
             <m:mo accent="true" form="postfix" mathvariant="bold">˜</m:mo>
           </m:mover>
         </m:mstyle>
       </m:mrow>
       <m:mrow>
         <m:mstyle>
         </m:mstyle>
       </m:mrow>
       <m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mi mathvariant="bold">x</m:mi>
           </m:mstyle>
         </m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mo form="infix" mathvariant="bold">=</m:mo>
           </m:mstyle>
         </m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mi mathvariant="bold">a</m:mi>
           </m:mstyle>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   which has the dual basis vectors as rows of
   <m:math display="inline">
     <m:mrow>
       <m:mstyle>
         <m:mover accent="true">
           <m:mi mathvariant="bold">F</m:mi>
           <m:mo accent="true" form="postfix" mathvariant="bold">˜</m:mo>
         </m:mover>
       </m:mstyle>
     </m:mrow>
   </m:math>.
   From <link target-id="md59d607a663f3e9b0a90c3c8d4426640dc"/> and
   <link target-id="md5894f782a148b33af1e39a0efed952d69"/>, we have
   
<equation id="md532cfe6c19200b67afb7c3d0e1c43eadb">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mi mathvariant="bold">F</m:mi>
           </m:mstyle>
         </m:mrow>
         <m:mo/>
         <m:mrow>
           <m:mstyle>
             <m:mover accent="true">
               <m:mi mathvariant="bold">F</m:mi>
               <m:mo accent="true" form="postfix" mathvariant="bold">˜</m:mo>
             </m:mover>
           </m:mstyle>
         </m:mrow>
       </m:mrow>
       <m:mrow>
         <m:mstyle>
         </m:mstyle>
       </m:mrow>
       <m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mi mathvariant="bold">x</m:mi>
           </m:mstyle>
         </m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mo form="infix" mathvariant="bold">=</m:mo>
           </m:mstyle>
         </m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mi mathvariant="bold">x</m:mi>
           </m:mstyle>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   Since this is true for all
   <m:math display="inline">
     <m:mrow>
       <m:mstyle>
         <m:mi mathvariant="bold">x</m:mi>
       </m:mstyle>
     </m:mrow>
   </m:math>,
   
<equation id="md5f74dd50cfec0f8549406fee6191d2f8d">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mstyle>
           <m:mi mathvariant="bold">F</m:mi>
         </m:mstyle>
       </m:mrow>
       <m:mrow>
         <m:mstyle>
         </m:mstyle>
       </m:mrow>
       <m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mover accent="true">
               <m:mi mathvariant="bold">F</m:mi>
               <m:mo accent="true" form="postfix" mathvariant="bold">˜</m:mo>
             </m:mover>
           </m:mstyle>
         </m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mo form="infix" mathvariant="bold">=</m:mo>
           </m:mstyle>
         </m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mi mathvariant="bold">I</m:mi>
           </m:mstyle>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   or
   
<equation id="md5e7e5c2e2d0fad407a12c0a890c0d0133">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mover accent="true">
         <m:mi>F</m:mi>
         <m:mo accent="true" form="postfix">˜</m:mo>
       </m:mover>
       <m:mo form="infix">=</m:mo>
       <m:msup>
         <m:mi>F</m:mi>
         <m:mrow>
           <m:mo form="prefix">−</m:mo>
           <m:mn>1</m:mn>
         </m:mrow>
       </m:msup>
     </m:mrow>
   </m:math>
</equation>
   which states the dual basis vectors are the rows of the inverse of the matrix
   whose columns are the basis vectors (and vice versa). When the vector set is a
   basis, <m:math display="inline"><m:mi mathvariant="bold">F</m:mi></m:math>  is necessarily square and from
   <link target-id="md59d607a663f3e9b0a90c3c8d4426640dc"/> and
   <link target-id="md5894f782a148b33af1e39a0efed952d69"/>, one can show
   
<equation id="md5c692562238d8c12c32434c50b96d56ae">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mstyle>
           <m:mi mathvariant="bold">F</m:mi>
         </m:mstyle>
       </m:mrow>
       <m:mrow>
         <m:mstyle>
         </m:mstyle>
       </m:mrow>
       <m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mover accent="true">
               <m:mi mathvariant="bold">F</m:mi>
               <m:mo accent="true" form="postfix" mathvariant="bold">˜</m:mo>
             </m:mover>
           </m:mstyle>
         </m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mo form="infix" mathvariant="bold">=</m:mo>
           </m:mstyle>
         </m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mover accent="true">
               <m:mi mathvariant="bold">F</m:mi>
               <m:mo accent="true" form="postfix" mathvariant="bold">˜</m:mo>
             </m:mover>
           </m:mstyle>
         </m:mrow>
       </m:mrow>
       <m:mrow>
         <m:mstyle>
         </m:mstyle>
       </m:mrow>
       <m:mrow>
         <m:mstyle>
           <m:mi mathvariant="bold">F</m:mi>
         </m:mstyle>
       </m:mrow>
       <m:mo form="infix">.</m:mo>
     </m:mrow>
   </m:math>
</equation>
   Because this system requires two basis sets, the expansion basis and the dual
   basis, it is called biorthogonal.
</para>
<para id="id29739488">
   If the basis vectors are not only independent but orthonormal, the basis set
   is its own dual and the inverse of F is simply its transpose.
   
<equation id="md5ee7733547fbb26cdfeb9b6a4f84231b4">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mover accent="true">
         <m:mi>F</m:mi>
         <m:mo accent="true" form="postfix">˜</m:mo>
       </m:mover>
       <m:mo form="infix">=</m:mo>
       <m:msup>
         <m:mi>F</m:mi>
         <m:mi>T</m:mi>
       </m:msup>
     </m:mrow>
   </m:math>
</equation>
   When done in Hilbert spaces, this decomposition is sometimes called an
   abstract Fourier expansion.
</para>
</section>
<section id="fs-id41626570">
<title>
   Frames and Tight Frames
</title>
<para id="id41583214">If a set of vectors spans a space but are not linearly independent,
   <link target-id="md58a8bb7cd343aa2ad99b7d762030857a2"/> still holds but
   it is no longer unique. The set of vectors is called a
   frame for the space
   <cite target-id="md5f6182f0359f72aae12fb90d305ccf9eb"/><cite target-id="md5f6182f0359f77aae12fb90d305ccf9ec"/><cite target-id="md59b7b24f74581655252d9bf9a65d1c1c9"/><cite target-id="md5fafe1b60c24107ccd8f4562213e44849"/><cite target-id="md54cefd98220b02cafed9dd1529792cfc3"/>
   and are redundant in the sense there are more than necessary for a basis. The
   finite dimensional matrix version of this case would have <m:math display="inline"><m:mi mathvariant="bold">F</m:mi></m:math> 
   in <link target-id="md59d607a663f3e9b0a90c3c8d4426640dc"/> with more
   columns than rows but with full row rank. The dual frame vectors are also not
   unique but a set can be found such that
   <link target-id="md5894f782a148b33af1e39a0efed952d69"/> and, therefore,
   <link target-id="md532cfe6c19200b67afb7c3d0e1c43eadb"/> holds (but
   <link target-id="md5c692562238d8c12c32434c50b96d56ae"/> does not). A
   set of dual frame vectors could be found by adding a set of arbitrary but
   independent rows to F until it is square, inverting it, then
   taking the first
   <m:math display="inline">
     <m:mrow>
       <m:mi>N</m:mi>
     </m:mrow>
   </m:math>
   columns to form
   <m:math display="inline">
     <m:mrow>
       <m:mstyle>
         <m:mover accent="true">
           <m:mi mathvariant="bold">F</m:mi>
           <m:mo accent="true" form="postfix" mathvariant="bold">˜</m:mo>
         </m:mover>
       </m:mstyle>
     </m:mrow>
   </m:math>
   whose rows will be a set of dual frame vectors. This method of construction
   shows the non-uniqueness of the dual frame vectors. This non-uniqueness is
   often resolved by minimizing some other parameter of the system
   <cite target-id="md5fafe1b60c24107ccd8f4562213e44849"/>.
</para>
<para id="id42263011">
   If the matrix operations are implementing a frame decomposition and the rows
   of F are orthonormal,
   <m:math display="inline">
     <m:mrow>
       <m:mstyle>
         <m:mover accent="true">
           <m:mi mathvariant="bold">F</m:mi>
           <m:mo accent="true" form="postfix" mathvariant="bold">˜</m:mo>
         </m:mover>
         <m:mo form="infix" mathvariant="bold">=</m:mo>
         <m:msup>
           <m:mi mathvariant="bold">F</m:mi>
           <m:mi mathvariant="bold">T</m:mi>
         </m:msup>
       </m:mstyle>
     </m:mrow>
   </m:math>
   and the vector set is called a tight frame
   <cite target-id="md5f6182f0359f72aae12fb90d305ccf9eb"/><cite target-id="md5fafe1b60c24107ccd8f4562213e44849"/>.
   If the frame vectors are normalized to
   <m:math display="inline">
     <m:mrow>
       <m:mrow>
         <m:mo fence="true" form="prefix" stretchy="false">||</m:mo>
         <m:msub>
           <m:mrow>
             <m:mstyle>
               <m:mi mathvariant="bold">x</m:mi>
             </m:mstyle>
           </m:mrow>
           <m:mrow>
             <m:mstyle>
               <m:mi mathvariant="bold">k</m:mi>
             </m:mstyle>
           </m:mrow>
         </m:msub>
         <m:mo fence="true" form="postfix" stretchy="false">||</m:mo>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mn>1</m:mn>
     </m:mrow>
   </m:math>,
   the decomposition in
   <link target-id="md58a8bb7cd343aa2ad99b7d762030857a2"/> becomes
   
<equation id="md51642cd3962249d6aaf0eec2836023fb6"><m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mstyle>
           <m:mi mathvariant="bold">x</m:mi>
         </m:mstyle>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mfrac>
           <m:mn>1</m:mn>
           <m:mi>A</m:mi>
         </m:mfrac>
         <m:mo/>
         <m:mrow>
           <m:munder>
<m:mrow>
             <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
</m:mrow>
<m:mrow>        
     <m:mi>n</m:mi>
</m:mrow>       
    </m:munder>
           <m:mrow>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">〈</m:mo>
               <m:mrow>
                 <m:mrow>
                   <m:mstyle>
                     <m:mi mathvariant="bold">x</m:mi>
                   </m:mstyle>
                 </m:mrow>
                 <m:mrow>
                   <m:mstyle>
                     <m:mo form="infix" mathvariant="bold">,</m:mo>
                   </m:mstyle>
                 </m:mrow>
                 <m:msub>
                   <m:mrow>
                     <m:mstyle>
                       <m:mover accent="true">
                         <m:mi mathvariant="bold">x</m:mi>
                         <m:mo accent="true" form="postfix" mathvariant="bold">˜</m:mo>
                       </m:mover>
                     </m:mstyle>
                   </m:mrow>
                   <m:mrow>
                     <m:mstyle>
                       <m:mi mathvariant="bold">n</m:mi>
                     </m:mstyle>
                   </m:mrow>
                 </m:msub>
               </m:mrow>
               <m:mo fence="true" form="postfix" stretchy="false">〉</m:mo>
             </m:mrow>
             <m:mo/>
             <m:msub>
               <m:mrow>
                 <m:mstyle>
                   <m:mi mathvariant="bold">x</m:mi>
                 </m:mstyle>
               </m:mrow>
               <m:mrow>
                 <m:mstyle>
                   <m:mi mathvariant="bold">n</m:mi>
                 </m:mstyle>
               </m:mrow>
             </m:msub>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   where the constant
   <m:math display="inline">
     <m:mrow>
       <m:mi>A</m:mi>
     </m:mrow>
   </m:math>
   is a measure of the redundancy of the expansion which has more expansion
   vectors than necessary
   <cite target-id="md5fafe1b60c24107ccd8f4562213e44849"/>.
</para>
<para id="id42642992">
   The matrix form is
   
<equation id="md51efaf9b6cc3ccfb96ce9f57d68c55599">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mi mathvariant="bold">x</m:mi>
           </m:mstyle>
         </m:mrow>
         <m:mo form="infix">=</m:mo>
         <m:mrow>
           <m:mfrac>
             <m:mn>1</m:mn>
             <m:mi>A</m:mi>
           </m:mfrac>
           <m:mo/>
           <m:mrow>
             <m:mstyle>
               <m:mi mathvariant="bold">F</m:mi>
             </m:mstyle>
           </m:mrow>
         </m:mrow>
       </m:mrow>
       <m:mrow>
         <m:mstyle>
         </m:mstyle>
       </m:mrow>
       <m:msup>
         <m:mrow>
           <m:mstyle>
             <m:mi mathvariant="bold">F</m:mi>
           </m:mstyle>
         </m:mrow>
         <m:mrow>
           <m:mstyle>
             <m:mi mathvariant="bold">T</m:mi>
           </m:mstyle>
         </m:mrow>
       </m:msup>
       <m:mrow>
         <m:mstyle>
         </m:mstyle>
       </m:mrow>
       <m:mrow>
         <m:mstyle>
           <m:mi mathvariant="bold">x</m:mi>
         </m:mstyle>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   where
   <m:math display="inline">
     <m:mrow>
       <m:mstyle>
         <m:mi mathvariant="bold">F</m:mi>
       </m:mstyle>
     </m:mrow>
   </m:math>
   has more columns than rows. Examples can be found in
   <cite target-id="md5c058d94e0f59018ace29a809a2f50747"/>.
</para>
<para id="id42245729">
   Frames and tight frames don't seem to be particularly useful in finite
   dimensions, but become important in infinite dimensional signal analysis,
   especially using the new idea of wavelet basis functions
   <cite target-id="md5fafe1b60c24107ccd8f4562213e44849"/>.
</para>
<para id="id39063182">
   In an infinite dimensional vector space, if basis vectors are chosen such that
   all expansion converge very rapidly, the basis is called an
   unconditional basis and is near optimal for a wide
   class of signal representation and processing problems. This is discussed by
   Donoho in <cite target-id="md5ca5e2a3b14af4e67277a6eec428d91cb"/>.
</para>
<para id="id42885794">
   Still another view of a matrix operator being a change of basis can be
   developed using the eigenvectors (or singular values) of an operator as the
   basis vectors. Then a signal can decomposed into its eigenvector components
   which are then simply multiplied by the scalar eigenvalues to accomplish the
   same task as a general matrix multiplication. This is an interesting idea but
   will not be developed here.
</para>
</section>
<section id="id42352173">
<title>Change of Signal</title>
<para id="id28196480">
   If both <m:math display="inline"><m:mi mathvariant="bold">x</m:mi></m:math>  and <m:math display="inline"><m:mi mathvariant="bold">b</m:mi></m:math> 
   are considered to be signals in the same coordinate or basis system, the
   matrix operator <m:math display="inline"><m:mi mathvariant="bold">A</m:mi></m:math>  is generally square. It may or
   may not be of full rank and it may or may not have a variety of other
   properties, but both <m:math display="inline"><m:mi mathvariant="bold">x</m:mi></m:math>  and
   <m:math display="inline"><m:mi mathvariant="bold">b</m:mi></m:math>  are viewed in the same coordinate system.
</para>
<para id="id42431319">
   One method of understanding and generating matrices of this sort is to
   construct them as a product of first a decomposition operator, then a
   modification operator in the new basis system, followed by a recomposition
   operator. For example, one could first multiply a signal by the DFT operator
   which will change it into the frequency domain. One (or more) of the frequency
   coefficients could be removed (set to zero) and the remainder multiplied by
   the inverse DFT operator to give a signal back in the time domain but changed
   by having a frequency component removed. That is a form of signal filtering.
</para>
<para id="id29617295">
   It would be instructive for the reader to make sense out of the cryptic
   statement ``the DFT diagonalizes the cyclic convolution matrix" to add to the
   ideas in this note.
   
   
</para>
</section>
</content>
<bib:file><bib:entry id="md54793f33256138cd65d21d0cd77e96e62">
<bib:book><bib:author>Paul R. Halmos</bib:author>
<bib:title>Finite-Dimensional Vector Spaces</bib:title>
<bib:publisher>Van Nostrand</bib:publisher>
<bib:year>1958</bib:year>
<bib:address>Princeton, NJ</bib:address>
</bib:book>
</bib:entry><bib:entry id="md5f6182f0359f72aae12fb90d305ccf9eb">
<bib:book><bib:author>R. M. Young</bib:author>
<bib:title>An Introduction to Nonharmonic Fourier Series</bib:title>
<bib:publisher>Academic Press</bib:publisher>
<bib:year>1980</bib:year>
<bib:address>New York</bib:address>
</bib:book>
</bib:entry><bib:entry id="md5f6182f0359f77aae12fb90d305ccf9ec">
<bib:book><bib:author>Ole Christensen</bib:author>
<bib:title>An Introduction to Frames and Riesz Bases</bib:title>
<bib:publisher>Birkhauser</bib:publisher>
<bib:year>2002</bib:year>
<bib:address>New York</bib:address>
</bib:book>
</bib:entry><bib:entry id="md59b7b24f74581655252d9bf9a65d1c1c9">
<bib:article><bib:author>Jelena Kovacevic and Amina Chebira</bib:author>
<bib:title>Life Beyond Bases: The Advent of Frames (Part I)</bib:title>
<bib:journal>IEEE Signal Processing Magazine</bib:journal>
<bib:year>2007</bib:year>
<bib:volume>24</bib:volume>
<bib:pages>86-104</bib:pages>
</bib:article>
</bib:entry>
<bib:entry id="md5fafe1b60c24107ccd8f4562213e44849">
<bib:book><bib:author>Ingrid Daubechies</bib:author>
<bib:title>Ten Lectures on Wavelets</bib:title>
<bib:publisher>SIAM</bib:publisher>
<bib:year>1992</bib:year>
<bib:address>Philadelphia, PA</bib:address>
<bib:note>Notes from the 1990 CBMS-NSF Conference on Wavelets and Applications at Lowell, MA</bib:note>
</bib:book>
</bib:entry><bib:entry id="md5c058d94e0f59018ace29a809a2f50747">
<bib:book><bib:author>C. Sidney Burrus, Ramesh A. Gopinath and Haitao Guo</bib:author>
<bib:title>Introduction to Wavelets and the Wavelet Transform</bib:title>
<bib:publisher>Prentice Hall</bib:publisher>
<bib:year>1998</bib:year>
<bib:address>Upper Saddle River, NJ</bib:address>
<!--bibtex:support = u'AFOSR-DARPA,NSF,BNR,TI,Aware'
-->
</bib:book>
</bib:entry></bib:file></document>

