Equivalence of Norms in Separable Hilbert Space

  • Context: Graduate 
  • Thread starter Thread starter quasar987
  • Start date Start date
  • Tags Tags
    Equivalence
Click For Summary
SUMMARY

The discussion focuses on the equivalence of norms in a separable Hilbert space, specifically using two different Hilbert bases, {e_k} and {f_k}. The norms are defined as |||u|||_1 and |||u|||_2, where |||u|||_1 involves the basis {e_k} and |||u|||_2 involves the basis {f_k}. The user attempts to demonstrate the equivalence of these norms by expressing the second norm in terms of the first, utilizing the relationship f_k = ∑_l (f_k,e_l) e_l. The analysis reveals that the norms can be compared through a series of inequalities, although the user encounters a challenge in completing the proof.

PREREQUISITES
  • Understanding of separable Hilbert spaces
  • Familiarity with Hilbert bases and orthonormal sequences
  • Knowledge of norm definitions and properties
  • Experience with series and inequalities in functional analysis
NEXT STEPS
  • Study the concept of equivalence of norms in functional analysis
  • Explore the properties of Hilbert spaces and their bases
  • Learn about the implications of total orthonormal sequences
  • Investigate techniques for manipulating series in the context of norms
USEFUL FOR

Mathematicians, particularly those specializing in functional analysis, graduate students studying Hilbert spaces, and researchers exploring norm equivalence in mathematical frameworks.

quasar987
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

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

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

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

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

f_k = \sum_l (f_k,e_l) e_l.
 
I did:

|||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|
\leq\sum_k\frac{1}{2^k}\sum_l|(f_k,e_l)||(e_l,u)|

and then I'm stuck...
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
1K