<?xml version="1.0" encoding="utf-8" standalone="no"?>
<!DOCTYPE document PUBLIC "-//CNX//DTD CNXML 0.5 plus MathML//EN" "http://cnx.rice.edu/cnxml/0.5/DTD/cnxml_mathml.dtd">
<document xmlns="http://cnx.rice.edu/cnxml" xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="m10790">

  <name>Más sobre Reconstrucción Perfecta</name>

  <metadata>
  <md:version>1.1</md:version>
  <md:created>2005/08/01 14:11:10 GMT-5</md:created>
  <md:revised>2005/08/04 15:07:47.004 GMT-5</md:revised>
  <md:authorlist>
      <md:author id="rha">
      <md:firstname>Roy</md:firstname>
      
      <md:surname>Ha</md:surname>
      <md:email>rha@rice.edu</md:email>
    </md:author>
      <md:author id="jrom">
      <md:firstname>Justin</md:firstname>
      
      <md:surname>Romberg</md:surname>
      <md:email>jrom@rice.edu</md:email>
    </md:author>
      <md:author id="fpmeza">
      <md:firstname>Fara</md:firstname>
      <md:othername>P.</md:othername>
      <md:surname>Meza</md:surname>
      <md:email>fpmeza@utep.edu</md:email>
    </md:author>
      <md:author id="erikaj">
      <md:firstname>Erika</md:firstname>
      <md:othername>Sarait</md:othername>
      <md:surname>Jackson</md:surname>
      <md:email>erikaj@utep.edu</md:email>
    </md:author>
  </md:authorlist>

  <md:maintainerlist>
    <md:maintainer id="fpmeza">
      <md:firstname>Fara</md:firstname>
      <md:othername>P.</md:othername>
      <md:surname>Meza</md:surname>
      <md:email>fpmeza@utep.edu</md:email>
    </md:maintainer>
    <md:maintainer id="erikaj">
      <md:firstname>Erika</md:firstname>
      <md:othername>Sarait</md:othername>
      <md:surname>Jackson</md:surname>
      <md:email>erikaj@utep.edu</md:email>
    </md:maintainer>
  </md:maintainerlist>
  
  <md:keywordlist>
    <md:keyword>muestreo</md:keyword>
    <md:keyword>perfecta</md:keyword>
    <md:keyword>reconstrucción</md:keyword>
    <md:keyword>reconstruir</md:keyword>
    <md:keyword>sinc</md:keyword>
  </md:keywordlist>

  <md:abstract>Este modulo examina la idea y detras de la formula de reconstrucción perfecta más a fondo.</md:abstract>
</metadata>


  <content>
    <section id="int">
      <name>Introducción</name>
      <para id="para1">   
	En el modulo previo en <cnxn document="m12969 " strength="9">reconstrucción</cnxn>, dimos una introducción de como trabaja la reconstrucción y temporalemte derivamos una ecuación usada para realizar una perfecta reconstrucción. Ahora tomemos un vistazo más cercano a la formula de la reconstrucción perfecta:

	<equation id="eq1">
		<m:math>
			<m:apply>
				<m:eq/>
				<m:apply>
					<m:ci type="fn">f</m:ci>
					<m:ci>t</m:ci>
				</m:apply>
				<m:apply>
					<m:sum/>
					<m:bvar><m:ci>n</m:ci></m:bvar>
					<m:lowlimit>
						<m:apply>
							<m:minus/>
							<m:infinity/>
						</m:apply>
					</m:lowlimit>
					<m:uplimit>
						<m:infinity/>
					</m:uplimit>
					<m:apply>
						<m:times/>
						<m:apply>
							<m:ci type="fn" class="discrete">
								<m:msub>
									<m:mi>f</m:mi>
									<m:mi>s</m:mi>
								</m:msub>
							</m:ci>
						</m:apply>
						<m:apply>
							<m:divide/>
							<m:apply>
								<m:sin/>
								<m:apply>
									<m:times/>
									<m:pi/>
									<m:apply>
										<m:minus/>
										<m:ci>t</m:ci>
										<m:ci>n</m:ci>
									</m:apply>
								</m:apply>
							</m:apply>
							<m:apply>
								<m:times/>
								<m:pi/>
								<m:apply>
									<m:minus/>
									<m:ci>t</m:ci>
									<m:ci>n</m:ci>
								</m:apply>
							</m:apply>
						</m:apply>
					</m:apply>
				</m:apply>
			</m:apply>
		</m:math>
	</equation>
	
	Escribiremos
	<m:math>
		<m:apply>
			<m:ci type="fn">f</m:ci>
			<m:ci>t</m:ci>
		</m:apply>
	</m:math>
	en términos de las funciones sinc desplazadas y escaladas

	<m:math display="block">
		<m:msub>
			<m:set>
				<m:apply>
					<m:divide/>
					<m:apply>
						<m:sin/>
						<m:apply>
							<m:times/>
							<m:pi/>
							<m:apply>
								<m:minus/>
								<m:ci>t</m:ci>
								<m:ci>n</m:ci>
							</m:apply>
						</m:apply>
					</m:apply>
					<m:apply>
						<m:times/>
						<m:pi/>
						<m:apply>
							<m:minus/>
							<m:ci>t</m:ci>
							<m:ci>n</m:ci>
						</m:apply>
					</m:apply>
				</m:apply>
			</m:set>
			<m:apply>
				<m:in/>
				<m:ci>n</m:ci>
				<m:integers/>
			</m:apply>
		</m:msub>
	</m:math>

	es una  <term><cnxn document="m12862" target="sec_bas" strength="8">base</cnxn></term> para el espacio de señales limitadas en bada

	<m:math>
		<m:interval closure="closed">
			<m:apply>
				<m:minus/>
				<m:pi/>
			</m:apply>
			<m:pi/>
		</m:interval>
	</m:math>

	.  Pero espere . . . .
      </para>

      
      <section id="sec2">
	<name>Formulas de la Derivada de Reconstrucción</name>
	<para id="para2">
	  ¿Que es
	  <equation id="eq2">
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:scalarproduct/>
                  <m:apply>
                    <m:divide/>
		    <m:apply>
		      <m:sin/>
		      <m:apply>
			<m:times/>
			<m:pi/>
			<m:apply>
			  <m:minus/>
			  <m:ci>t</m:ci>
			  <m:ci>n</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:times/>
		      <m:pi/>
		      <m:apply>
			<m:minus/>
			<m:ci>t</m:ci>
			<m:ci>n</m:ci>
		      </m:apply>
		    </m:apply>
                  </m:apply>
                  <m:apply>
                    <m:divide/>
		    <m:apply>
		      <m:sin/>
		      <m:apply>
			<m:times/>
			<m:pi/>
			<m:apply>
			  <m:minus/>
			  <m:ci>t</m:ci>
			  <m:ci>k</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:times/>
		      <m:pi/>
		      <m:apply>
			<m:minus/>
			<m:ci>t</m:ci>
			<m:ci>k</m:ci>
		      </m:apply>
		    </m:apply>
                  </m:apply>
		</m:apply>
		<m:ci>?</m:ci>
	      </m:apply>
	    </m:math>
	  </equation>

	  Este  <cnxn document="m12876" strength="8">producto interno</cnxn>
	  puede ser difícil de calcular en el dominio del tiempo, asi que usaremos el
	  <cnxn document="m12931" strength="8">Teorema de Plancharel </cnxn>

	  <equation id="eq3">
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:scalarproduct/>
                  <m:ci>·</m:ci>
                  <m:ci>·</m:ci>
		</m:apply>
		<m:apply>
		  <m:times/>
                  <m:apply>
                    <m:divide/>
		    <m:cn>1</m:cn>
		    <m:apply>
		      <m:times/>
		      <m:cn>2</m:cn>
		      <m:pi/>
		    </m:apply>
                  </m:apply>
                  <m:apply>
                    <m:int/>
		    <m:bvar><m:ci>ω</m:ci></m:bvar>
		    <m:lowlimit>
		      <m:apply>
			<m:minus/>
			<m:pi/>
		      </m:apply>
		    </m:lowlimit>
		    <m:uplimit>
		      <m:pi/>
		    </m:uplimit>
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:minus/>
			  <m:apply>
			    <m:times/>
			    <m:imaginaryi/>
			    <m:ci>ω</m:ci>
			    <m:ci>n</m:ci>
			  </m:apply>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:times/>
			  <m:imaginaryi/>
			  <m:ci>ω</m:ci>
			  <m:ci>k</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
                  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	</para>

	<figure id="fig1" orient="vertical">
	  <subfigure id="subfig1">
	    <media type="image/png" src="fig1a.png"/>
	  </subfigure>
	  <subfigure id="subfig2">
	    <media type="image/png" src="fig1b.png"/>
	  </subfigure>
	</figure>

	<para id="dum">  
	</para>

	<para id="para3">
	  si
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:ci>n</m:ci>
	      <m:ci>k</m:ci>
	    </m:apply>
	  </m:math>

	  <equation id="eq4">
	    <m:math>
	      <m:apply>
		<m:eq/> 
		<m:apply>
		  <m:scalarproduct/>
                  <m:ci>
                    <m:msub>
                      <m:mi>sinc</m:mi>
                      <m:mi>n</m:mi>
                    </m:msub>
                  </m:ci>
                  <m:ci>
                    <m:msub>
                      <m:mi>sinc</m:mi>
                      <m:mi>k</m:mi>
                    </m:msub>
                  </m:ci>
		</m:apply>
		<m:apply>
		  <m:times/>
                  <m:apply>
                    <m:divide/>
		    <m:cn>1</m:cn>
		    <m:apply>
		      <m:times/>
		      <m:cn>2</m:cn>
		      <m:pi/>
		    </m:apply>
                  </m:apply>
                  <m:apply>
                    <m:int/>
		    <m:bvar><m:ci>ω</m:ci></m:bvar>
		    <m:lowlimit>
		      <m:apply>
			<m:minus/>
			<m:pi/>
		      </m:apply>
		    </m:lowlimit>
		    <m:uplimit>
		      <m:pi/>
		    </m:uplimit>
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:minus/>
			  <m:apply>
			    <m:times/>
			    <m:imaginaryi/>
			    <m:ci>ω</m:ci>
			    <m:ci>n</m:ci>
			  </m:apply>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:times/>
			  <m:imaginaryi/>
			  <m:ci>ω</m:ci>
			  <m:ci>k</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
                  </m:apply>
		</m:apply>
		<m:cn>1</m:cn>
	      </m:apply>
	    </m:math>
	  </equation>

	  si
	  <m:math>
	    <m:apply>
	      <m:neq/>
	      <m:ci>n</m:ci>
	      <m:ci>k</m:ci>
	    </m:apply>
	  </m:math>

	  <equation id="eq5">
	    <m:math>
	      <m:apply>
		<m:eq/> 
		<m:apply>
		  <m:scalarproduct/>
                  <m:ci>
                    <m:msub>
                      <m:mi>sinc</m:mi>
                      <m:mi>n</m:mi>
                    </m:msub>
                  </m:ci>
                  <m:ci>
                    <m:msub>
                      <m:mi>sinc</m:mi>
                      <m:mi>k</m:mi>
                    </m:msub>
                  </m:ci>
		</m:apply>
		<m:apply>
		  <m:times/>
                  <m:apply>
                    <m:divide/>
		    <m:cn>1</m:cn>
		    <m:apply>
		      <m:times/>
		      <m:cn>2</m:cn>
		      <m:pi/>
		    </m:apply>
                  </m:apply>
                  <m:apply>
                    <m:int/>
		    <m:bvar><m:ci>ω</m:ci></m:bvar>
		    <m:lowlimit>
		      <m:apply>
			<m:minus/>
			<m:pi/>
		      </m:apply>
		    </m:lowlimit>
		    <m:uplimit>
		      <m:pi/>
		    </m:uplimit>
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:minus/>
			  <m:apply>
			    <m:times/>
			    <m:imaginaryi/>
			    <m:ci>ω</m:ci>
			    <m:ci>n</m:ci>
			  </m:apply>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:times/>
			  <m:imaginaryi/>
			  <m:ci>ω</m:ci>
			  <m:ci>n</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
                  </m:apply>
		</m:apply>
		<m:apply>
		  <m:times/>
                  <m:apply>
                    <m:divide/>
		    <m:cn>1</m:cn>
		    <m:apply>
		      <m:times/>
		      <m:cn>2</m:cn>
		      <m:pi/>
		    </m:apply>
                  </m:apply>
                  <m:apply>
                    <m:int/>
		    <m:bvar><m:ci>ω</m:ci></m:bvar>
		    <m:lowlimit>
		      <m:apply>
			<m:minus/>
			<m:pi/>
		      </m:apply>
		    </m:lowlimit>
		    <m:uplimit>
		      <m:pi/>
		    </m:uplimit>
		    <m:apply>
		      <m:exp/>
		      <m:apply>
			<m:times/>
			<m:imaginaryi/>
			<m:ci>ω</m:ci>
			<m:apply>
			  <m:minus/>
			  <m:ci>k</m:ci>
			  <m:ci>n</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
                  </m:apply>
		</m:apply>
		<m:apply>
		  <m:times/>
                  <m:apply>
                    <m:divide/>
		    <m:cn>1</m:cn>
		    <m:apply>
		      <m:times/>
		      <m:cn>2</m:cn>
		      <m:pi/>
		    </m:apply>
                  </m:apply>
                  <m:apply>
                    <m:divide/>
		    <m:apply>
		      <m:sin/>
		      <m:apply>
			<m:times/>
			<m:pi/>
			<m:apply>
			  <m:minus/>
			  <m:ci>k</m:ci>
			  <m:ci>n</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:apply>
			<m:minus/>
			<m:ci>k</m:ci>
			<m:ci>n</m:ci>
		      </m:apply>
		    </m:apply>
                  </m:apply>
		</m:apply>
		<m:cn>0</m:cn>
	      </m:apply>
	    </m:math>
	  </equation>

	  <note type="nota">
          En la <cnxn target="eq5" strength="7"/> usamos el echo de que la integral de la senosoidal en un intervalo completo es 0 para simplificar nuestra ecuación.</note>

	  Así,

	  <equation id="eq6">
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:scalarproduct/>
                  <m:apply>
                    <m:divide/>
		    <m:apply>
		      <m:sin/>
		      <m:apply>
			<m:times/>
			<m:pi/>
			<m:apply>
			  <m:minus/>
			  <m:ci>t</m:ci>
			  <m:ci>n</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:times/>
		      <m:pi/>
		      <m:apply>
			<m:minus/>
			<m:ci>t</m:ci>
			<m:ci>n</m:ci>
		      </m:apply>
		    </m:apply>
                  </m:apply>
                  <m:apply>
                    <m:divide/>
		    <m:apply>
		      <m:sin/>
		      <m:apply>
			<m:times/>
			<m:pi/>
			<m:apply>
			  <m:minus/>
			  <m:ci>t</m:ci>
			  <m:ci>k</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:times/>
		      <m:pi/>
		      <m:apply>
			<m:minus/>
			<m:ci>t</m:ci>
			<m:ci>k</m:ci>
		      </m:apply>
		    </m:apply>
                  </m:apply>
		</m:apply>
		<m:piecewise>
		  <m:piece>
		    <m:cn>1</m:cn>
		    <m:apply>
		      <m:eq/>
                      <m:ci>n</m:ci>
                      <m:ci>k</m:ci>
		    </m:apply>
		  </m:piece>
		  <m:piece>
		    <m:cn>0</m:cn>
		    <m:apply>
		      <m:neq/>
                      <m:ci>n</m:ci>
                      <m:ci>k</m:ci>
		    </m:apply>
		  </m:piece>
		</m:piecewise>
	      </m:apply>
	    </m:math>
	  </equation>

	  Por lo tanto 

	  <m:math display="block">
	    <m:msub>
	      <m:set>
		<m:apply>
		  <m:divide/>
		  <m:apply>
		    <m:sin/>
                    <m:apply>
                      <m:times/>
		      <m:pi/>
		      <m:apply>
			<m:minus/>
			<m:ci>t</m:ci>
			<m:ci>n</m:ci>
		      </m:apply>
                    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:times/>
                    <m:pi/>
                    <m:apply>
                      <m:minus/>
		      <m:ci>t</m:ci>
		      <m:ci>n</m:ci>
                    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:set>
	      <m:apply>
		<m:in/>
		<m:ci>n</m:ci>
		<m:integers/>
	      </m:apply>
	    </m:msub>
	  </m:math>

	  es una <cnxn document="m12902" target="orthon_b" strength="8">base ortonormal </cnxn> (ONB) para el espacio de funciones limitadas de banda de

	  <m:math>
	    <m:interval closure="closed">
	      <m:apply>
		<m:minus/>
		<m:pi/>
	      </m:apply>
	      <m:pi/>
	    </m:interval>
	  </m:math>
	.

	  <note type="muestreo">Muestreo es lo mismo que calcular los coeficientes de  ONB,
	     que es el producto interno con  sincs
	  </note>
	</para>
      </section>
    
      <section id="sub2">
	<name>Resumen</name>
	<para id="p1_sub2">
	  Una última vez para
	  <m:math>
	    <m:apply>
	      <m:ci type="fn">f</m:ci>
	      <m:ci>t</m:ci>
	    </m:apply>
	  </m:math>
	  <m:math>
	    <m:interval closure="closed">
	      <m:apply>
		<m:minus/>
		<m:pi/>
	      </m:apply>
	      <m:pi/>
	    </m:interval>
	  </m:math> limitado en banda
	    
	    
	  <equation id="eq7">
	    <name>Síntesis</name>
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn">f</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
		<m:apply>
		  <m:sum/>
                  <m:bvar><m:ci>n</m:ci></m:bvar>
                  <m:lowlimit>
                    <m:apply>
                      <m:minus/>
		      <m:infinity/>
                    </m:apply>
                  </m:lowlimit>
                  <m:uplimit>
                    <m:infinity/>
                  </m:uplimit>
                  <m:apply>
                    <m:times/>
		    <m:apply>
		      <m:ci type="fn" class="discrete">
			<m:msub>
			  <m:mi>f</m:mi>
			  <m:mi>s</m:mi>
			</m:msub>
		      </m:ci>
		      <m:ci>n</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:divide/>
		      <m:apply>
			<m:sin/>
			<m:apply>
			  <m:times/>
			  <m:pi/>
			  <m:apply>
			    <m:minus/>
			    <m:ci>t</m:ci>
			    <m:ci>n</m:ci>
			  </m:apply>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:times/>
			<m:pi/>
			<m:apply>
			  <m:minus/>
			  <m:ci>t</m:ci>
			  <m:ci>n</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
                  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>
	  </equation>

	  <equation id="eq8">
	    <name>Análisis </name>
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn" class="discrete">
		    <m:msub>
		      <m:mi>f</m:mi>
		      <m:mi>s</m:mi>
		    </m:msub>
		  </m:ci>
		  <m:ci>n</m:ci>
		</m:apply>
		<m:apply>
		  <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#evaluateat"/>
                  <m:condition>
                    <m:apply>
                      <m:eq/>
		      <m:ci>t</m:ci>
		      <m:ci>n</m:ci>
                    </m:apply>
                  </m:condition>
                  <m:apply>
                    <m:ci type="fn">f</m:ci>
                    <m:ci>t</m:ci>
                  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>
	  </equation>

	  Para poder entender un poco más sobre como podemos reconstruir una señal exacatamente, será útil  <cnxn document="m10799" strength="8">examinar la relación</cnxn> entre las transformadas de Fourier  (CTFT
	  y DTFT) a más profundidad.
	</para>
      </section>
    </section>

  </content>
</document>
