Results 1 to 4 of 4

Math Help - Orthonormal Sequence

  1. #1
    Junior Member
    Joined
    Apr 2011
    Posts
    35

    Orthonormal Sequence

    Let ({e}_{k } be an orthonormal sequence in a Hilbert space H, and let M=span({e}_{k }). show that for any x\in H we have a x \in \bar{M} if and only if x can be represented by \sum_{k = 1}^\infty {a}_{k} {e}_{k} with the coefficient {a}_{k} = <x, {e}_{k}.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    Nov 2009
    Posts
    69
    By definition, span(e_k) is the set of all x that can be written as a linear combination of e_k . So x \in M if and only if x = \sum_{k = 1}^{\infty} a_k e_k for some a_k. I believe all you need to show is how to derive a_k.

     <x, e_k> = <\sum_{j = 1}^{\infty} a_j e_k, e_k > = \sum_{j = 1}^{\infty} a_j <e_j, e_k> = a_k
    where the last equality holds because  <e_j, e_k> is 1 if j = k and 0 otherwise since  (e_k) is an orthonormal sequence.
    Last edited by nehme007; May 30th 2011 at 08:42 PM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    7
    Quote Originally Posted by nehme007 View Post
    By definition, span(e_k) is the set of all x that can be written as a linear combination of e_k . So x \in M if and only if x = \sum_{k = 1}^{\infty} a_k e_k for some a_k.
    I suspect that this is not completely correct. I think that M is supposed to be the set of all finite linear combinations of the e_k. This is not a closed set (if the space is infinite-dimensional), and the point of the question is to show that its closure \overline{M} is given by infinite sums \sum_{k = 1}^\infty {a}_{k} {e}_{k}.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Junior Member
    Joined
    Apr 2011
    Posts
    35
    Quote Originally Posted by Opalg View Post
    I suspect that this is not completely correct. I think that M is supposed to be the set of all finite linear combinations of the e_k. This is not a closed set (if the space is infinite-dimensional), and the point of the question is to show that its closure \overline{M} is given by infinite sums \sum_{k = 1}^\infty {a}_{k} {e}_{k}.
    Please can you help me to show that \overline{M} is given by infinite sums \sum_{k = 1}^\infty {a}_{k} {e}_{k}.. This question is really confusing me
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Orthonormal Sequence in a Hilbert space
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: June 3rd 2011, 09:35 PM
  2. Orthonormal Set
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: May 2nd 2011, 02:07 AM
  3. The pointwise limit of an orthonormal sequence
    Posted in the Advanced Math Topics Forum
    Replies: 2
    Last Post: November 26th 2008, 08:11 AM
  4. Orthonormal Help! (Lin. Alg.)
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: October 30th 2008, 06:08 AM
  5. Orthonormal
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: November 30th 2007, 12:35 AM

Search Tags


/mathhelpforum @mathhelpforum