Results 1 to 2 of 2

Math Help - Hilbert Space

  1. #1
    Member
    Joined
    Oct 2008
    Posts
    156

    Hilbert Space

    Suppose we want to compute  \langle \alpha| \beta \rangle . Let  |\alpha \rangle = \sum_{n} a_{n}| \phi_{n} \rangle and  |\beta \rangle = \sum_{n} b_{n}| \phi_{n} \rangle .

    So  \langle \alpha| \beta \rangle = \alpha^{*} \beta . In expanding  |\beta \rangle , how do we get  \langle \alpha| \beta \rangle = \sum_{n} b_{n} \langle \alpha| \phi_{n} \rangle ? Because by linearity this is equaled to  \sum_{n} \alpha \langle b_{n}| \phi_{n} \rangle . But shouldn't is be  \alpha^{*} ? Because then we eventually get:

     \langle \alpha| \beta \rangle = \sum_{n} b_{n} \left(\sum_{m} a_{m}^{*} \langle \phi_{m}| \phi_{n} \rangle \right) = \sum_{n} a_{n}^{*} b_{n} .
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    7
    Quote Originally Posted by manjohn12 View Post
    Suppose we want to compute  \langle \alpha| \beta \rangle . Let  |\alpha \rangle = \sum_{n} a_{n}| \phi_{n} \rangle and  |\beta \rangle = \sum_{n} b_{n}| \phi_{n} \rangle .

    So  \langle \alpha| \beta \rangle = \alpha^{*} \beta . In expanding  |\beta \rangle , how do we get  \langle \alpha| \beta \rangle = \sum_{n} b_{n} \langle \alpha| \phi_{n} \rangle ? Because by linearity this is equaled to  \sum_{n} \alpha \langle b_{n}| \phi_{n} \rangle . But shouldn't is be  \alpha^{*} ? Because then we eventually get:

     \langle \alpha| \beta \rangle = \sum_{n} b_{n} \left(\sum_{m} a_{m}^{*} \langle \phi_{m}| \phi_{n} \rangle \right) = \sum_{n} a_{n}^{*} b_{n} .
    I'll have to make a few assumptions in order to answer this question.

    1. I assume that the vectors | \phi_{n} \rangle are supposed to form an orthonormal basis for the Hilbert space.

    2. I assume that you are using the physicists' convention that the inner product is linear in the second variable and conjugate-linear in the first variable (mathematicians always use the opposite convention: linear on the left and conjugate-linear on the right).

    Under those assumptions,
     \begin{aligned}\langle \alpha| \beta \rangle &= \sum_{n} b_{n} \langle \alpha| \phi_{n} \rangle\quad(\text{linearity on the right}) \\<br />
&= \sum_{n} b_{n} \Bigl(\sum_{m}  \langle a_{m}\phi_{m}| \phi_{n} \rangle \Bigr)\quad(\text{de}\text{finition of }\alpha) \\<br />
&= \sum_{n} a_{n}^{*} b_{n}\quad(\text{conjugate-linearity on the left})\end{aligned}
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Banach space & Hilbert space
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: May 24th 2011, 01:06 PM
  2. Hilbert Space
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: November 19th 2009, 09:42 AM
  3. Hilbert Space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: November 10th 2009, 09:00 AM
  4. Hilbert Space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: October 25th 2009, 09:18 AM
  5. Inverse of Mapping from Hilbert Space to Hilbert Space exists
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: June 2nd 2009, 08:15 PM

Search Tags


/mathhelpforum @mathhelpforum