Equivalence of Norms in Separable Hilbert Space

  • Level: Graduate 
  • Thread starter Thread starter quasar987
  • Start date Start date
  • Tags Tags
    Equivalence
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
2 replies · 3K views
Science Advisor
Homework Helper
Gold Member
Messages
4,796
Reaction score
32
Let H be a separable Hilbert space and let {e_k} be a Hilbert basis (aka total orthonormal sequence) for H. Then

[tex]|||u|||_1:=\sum_{k=1}^{+\infty}\frac{1}{2^k}|(e_k,u)|[/tex]

is a norm. If {f_k} is another Hilbert basis, we get another norm by setting

[tex]|||u|||_2:=\sum_{k=1}^{+\infty}\frac{1}{2^k}|(f_k,u)|[/tex]

How to show that these two norm are equivalent?
 
Physics news on Phys.org
Try using the fact that

[tex]f_k = \sum_l (f_k,e_l) e_l.[/tex]
 
I did:

[tex]|||u|||_2 =\sum_k\frac{1}{2^k}|(f_k,u)|=\sum_k\frac{1}{2^k}\left|\left(\sum_l(f_k,e_l)e_l,u\right)\right| = \sum_k\frac{1}{2^k}\left|\sum_l(f_k,e_l)(e_l,u)\right|[/tex]
[tex]\leq\sum_k\frac{1}{2^k}\sum_l|(f_k,e_l)||(e_l,u)|[/tex]

and then I'm stuck...