Orthonormal system in Hilbert space

  • Thread starter aaaa202
  • Start date
  • #1
1,170
3

Main Question or Discussion Point

Let H be a Hilbert space. Let F be a subset of H.
F is dense in H if:
<f,h>=0 for all f in F => h=0
Now take an orthonormal set (ek) (this is a countable sequence indexed by k) in H. My book says that obviously:
[itex]\bigcup[/itex]span(ek) is dense in H (the union runs over all k)
=>
g=Ʃ<g,ek>ek
Now first of all:
Why do we need the union of the spans in the above? What is the difference between the span of the sequence of countably many units vectors and the union of the spans?
And then: Why is the above implication obvious?
 
Last edited:

Answers and Replies

  • #2
525
16
What is the difference between the span of the sequence of countably many units vectors and the union of the spans?
I don't know about the rest of your question, but think about two orthogonal unit vectors x and y in [itex]\mathbb{R}^2[/itex]. Span(x) and span(y) are both straight lines, so the union of span(x) and span(y) would be two crossed straight lines; it would look like an "X". On the other hand, span({x,y}) is the whole plane.
 
  • #3
1,170
3
yes, so why include the union if it is already included in span(e_k)
 
  • #4
269
24
The notation there isn't clear enough, but I think what it's naming is [tex]\bigcup_{n=1}^\infty \text{span}[\{e_k\}_{k=1}^n],[/tex] which some people would just call [itex]\text{span}[\{e_k\}_{k=1}^\infty][/itex]. The value of the former notation is that it reminds us that in a vector space the words "linear combination" mean (by definition) finite linear combination.
 
  • #5
mathman
Science Advisor
7,797
429
Let H be a Hilbert space. Let F be a subset of H.
F is dense in H if:
<f,h>=0 for all f in F => h=0
That doesn't look right. F could be any subset that includes a basis. It doesn't have to be dense.
 
  • #6
269
24
^ Good catch.

Is it possible that the author has "taken the liberty" if misusing "a dense subset" to actually mean "a subset with dense span"?
 

Related Threads on Orthonormal system in Hilbert space

  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
7
Views
4K
  • Last Post
Replies
16
Views
4K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
7
Views
4K
Replies
3
Views
2K
Replies
3
Views
2K
Replies
1
Views
4K
  • Last Post
Replies
6
Views
2K
Top