<?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="m10840">

  <name>Hilbert Spaces</name>

  <metadata>
  <md:version>2.3</md:version>
  <md:created>2002/09/05</md:created>
  <md:revised>2004/06/02 16:16:32 GMT-5</md:revised>
  <md:authorlist>
      <md:author id="jrom">
      <md:firstname>Justin</md:firstname>
      
      <md:surname>Romberg</md:surname>
      <md:email>jrom@rice.edu</md:email>
    </md:author>
  </md:authorlist>

  <md:maintainerlist>
    <md:maintainer id="jrom">
      <md:firstname>Justin</md:firstname>
      
      <md:surname>Romberg</md:surname>
      <md:email>jrom@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="richb">
      <md:firstname>Richard</md:firstname>
      <md:othername>G.</md:othername>
      <md:surname>Baraniuk</md:surname>
      <md:email>richb@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="mjhaag">
      <md:firstname>Michael</md:firstname>
      
      <md:surname>Haag</md:surname>
      <md:email>mjhaag@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="mariyah">
      <md:firstname>Mariyah</md:firstname>
      
      <md:surname>Poonawala</md:surname>
      <md:email>mariyah@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="prash">
      <md:firstname>Prashant</md:firstname>
      
      <md:surname>Singh</md:surname>
      <md:email>prash@ece.rice.edu</md:email>
    </md:maintainer>
  </md:maintainerlist>
  
  <md:keywordlist>
    <md:keyword>hilbert</md:keyword>
    <md:keyword>hilbert spaces</md:keyword>
    <md:keyword>inner</md:keyword>
    <md:keyword>inner product</md:keyword>
  </md:keywordlist>

  <md:abstract>This module will provide an introduction to the concepts of Hilbert spaces.</md:abstract>
</metadata>  

  <content>
    <section id="sec2">
      <name>Hilbert Spaces</name>
      <para id="p1_sec2">
	A vector space <m:math><m:ci>S</m:ci></m:math> with a valid
	<cnxn document="m10755" strength="8">inner product</cnxn>
	defined on it is called an <term>inner product space</term>,
	which is also a <term>normed linear space</term>.  A
	<term>Hilbert space</term> is an inner product space that is
	complete with respect to the norm defined using the inner
	product.  Hilbert spaces are named after <link src="http://www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Hilbert.html">David
	Hilbert</link>, who developed this idea through his studies of
	integral equations.  We define our valid norm using the inner
	product as:
	
	<equation id="eq3">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
		<m:ci type="vector">x</m:ci>
	      </m:apply>
	      <m:apply>
		<m:root/>
		<m:apply>
		  <m:scalarproduct/>
		  <m:ci type="vector">x</m:ci>
		  <m:ci type="vector">x</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>

<!--  Following line may not be necessary as explain other condition -->
<!--  above 

	<note type='fine print'>
	  Actually, to be a Hilbert space, one more condition has to
	  be met, but we will not worry about that here; all of our
	  inner product specs will be Hilbert spaces
	</note>
 --> 

	Hilbert spaces are useful in studying and generalizing the
	concepts of Fourier expansion, Fourier transforms, and are very
	important to the study of quantum mechanics.  Hilbert spaces
	are studied under the functional analysis branch of
	mathematics.
      </para>

      <section id="hs_egs">
	<name>Examples of Hilbert Spaces</name>
	<para id="p1_hsegs">
	  Below we will list a few examples of 
         <cnxn strength="7" document="m10434">Hilbert spaces</cnxn>.  You
	  can verify that these are valid inner products at home.

	  <list id="list_hs_egs">
	    <item>
	      For
	      <m:math display="inline">
		<m:apply>
		  <m:power/>
		  <m:complexes/>
		  <m:ci>n</m:ci>
		</m:apply>
	      </m:math>,

	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:scalarproduct/>
		    <m:ci type="vector">x</m:ci>
		    <m:ci type="vector">y</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:transpose/>
		      <m:ci type="vector">y</m:ci>
		    </m:apply>
		    <m:ci type="vector">x</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:matrix>
		      <m:matrixrow>
			<m:apply>
			  <m:conjugate/>
			  <m:ci><m:msub>
			    <m:mi>y</m:mi>
			    <m:mn>0</m:mn>
			  </m:msub></m:ci>
			</m:apply>
			<m:apply>
			  <m:conjugate/>
			  <m:ci><m:msub>
			    <m:mi>y</m:mi>
			    <m:mn>1</m:mn>
			  </m:msub></m:ci>
			</m:apply>
			<m:mi>…</m:mi>
			<m:apply>
			  <m:conjugate/>
			  <m:ci><m:msub>
			    <m:mi>y</m:mi>
			    <m:mrow>
			      <m:mi>n</m:mi>
			      <m:mo>−</m:mo>
			      <m:mn>1</m:mn>
			    </m:mrow>
			  </m:msub></m:ci>
			</m:apply>
		      </m:matrixrow>
		    </m:matrix>
		    <m:vector>
		      <m:ci><m:msub>
			<m:mi>x</m:mi>
			<m:mn>0</m:mn>
		      </m:msub></m:ci>
		      <m:ci><m:msub>
			<m:mi>x</m:mi>
			<m:mn>1</m:mn>
		      </m:msub></m:ci>
		      <m:ci>⋮</m:ci>
		      <m:ci><m:msub>
			<m:mi>x</m:mi>
			<m:mrow>
			  <m:mi>n</m:mi>
			  <m:mo>−</m:mo>
			  <m:mn>1</m:mn>
			</m:mrow>
		      </m:msub></m:ci>
		    </m:vector>
		  </m:apply>
		  <m:apply>
		    <m:sum/>
		    <m:bvar>
		      <m:ci>i</m:ci>
		    </m:bvar>
		    <m:uplimit>
		      <m:apply>
			<m:minus/>
			<m:ci>n</m:ci>
			<m:cn>1</m:cn>
		      </m:apply>
		    </m:uplimit>
		    <m:lowlimit>
		      <m:cn>0</m:cn>
		    </m:lowlimit>
		    <m:apply>
		      <m:times/>
		      <m:ci><m:msub>
			<m:mi>x</m:mi>
			<m:mi>i</m:mi>
		      </m:msub></m:ci>
		      <m:apply>
			<m:conjugate/>
			<m:ci><m:msub>
			  <m:mi>y</m:mi>
			  <m:mi>i</m:mi>
			</m:msub></m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>
	    </item>

	    <item>
	      Space of finite energy complex functions:
	      <m:math display="inline">
		<m:apply>
		  <m:ci type="fn">
		    <m:msup>
		      <m:mi>L</m:mi>
		      <m:mn>2</m:mn>
		    </m:msup>
		  </m:ci>
		  <m:reals/>
		</m:apply>
	      </m:math>

	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:scalarproduct/>
		    <m:ci type="vector">f</m:ci>
		    <m:ci type="vector">g</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:int/>
		    <m:bvar>
		      <m:ci>t</m:ci>
		    </m:bvar>
		    <m:uplimit>
		      <m:infinity/>
		    </m:uplimit>
		    <m:lowlimit>
		      <m:apply>
			<m:minus/>
			<m:infinity/>
		      </m:apply>
		    </m:lowlimit>
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:ci type="fn">f</m:ci>
			<m:ci>t</m:ci>
		      </m:apply>
		      <m:apply>
			<m:conjugate/>
			<m:apply>
			  <m:ci type="fn">g</m:ci>
			  <m:ci>t</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>
	    </item>

	    <item>
	      Space of square-summable sequences:  
	      <m:math display="inline">
		<m:apply>
		  <m:ci type="fn">
		    <m:msup>
		      <m:mi>ℓ</m:mi>
		      <m:mn>2</m:mn>
		    </m:msup>
		  </m:ci>
		  <m:integers/>
		</m:apply>
	      </m:math>

	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:scalarproduct/>
		    <m:ci type="vector">x</m:ci>
		    <m:ci type="vector">y</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:sum/>
		    <m:bvar>
		      <m:ci>i</m:ci>
		    </m:bvar>
		    <m:uplimit>
		      <m:infinity/>
		    </m:uplimit>
		    <m:lowlimit>
		      <m:apply>
			<m:minus/>
			<m:infinity/>
		      </m:apply>
		    </m:lowlimit>
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:ci type="fn" class="discrete">x</m:ci>
			<m:ci>i</m:ci>
		      </m:apply>
		      <m:apply>
			<m:conjugate/>
			<m:apply>
			  <m:ci type="fn" class="discrete">y</m:ci>
			  <m:ci>i</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>
	    </item>
	  </list>
	</para>
      </section>
    </section>

  </content>  
</document>
