Proving the Continuity of Norms in Hilbert Spaces for q>=p

Click For Summary
SUMMARY

The discussion centers on proving the inequality ||f||_p ≤ c * ||f||_q for continuous functions f on the interval [a, b] when q ≥ p. The norm is defined as ||f||_p = (∫_{a}^{b} |f|^p)^(1/p). The solution approach involves recognizing that the continuity of f ensures the continuity of |f|^p and |f|^q, allowing the application of maximum and minimum values on the closed interval. The conclusion is that the ratio ||f||_p/||f||_q is bounded by a constant derived from the maximum values of |f|^p and |f|^q.

PREREQUISITES
  • Understanding of functional analysis concepts, specifically norms in Hilbert spaces.
  • Familiarity with the properties of continuous functions on closed intervals.
  • Knowledge of integration techniques, particularly in the context of Lp spaces.
  • Ability to manipulate inequalities involving integrals and constants.
NEXT STEPS
  • Study the properties of Lp spaces and their norms in functional analysis.
  • Learn about the implications of continuity in the context of normed spaces.
  • Explore the relationship between different norms, specifically in Hilbert spaces.
  • Investigate the use of maximum and minimum values in proving inequalities involving integrals.
USEFUL FOR

Mathematicians, students of functional analysis, and anyone interested in the properties of norms in Hilbert spaces will benefit from this discussion.

MathematicalPhysicist
Science Advisor
Gold Member
Messages
4,662
Reaction score
372

Homework Statement


Prove that for q>=p and any f which is continuous in [a,b] then [tex]|| f ||_p<=c* || f ||_q[/tex], for some positive constant c.


Homework Equations


The norm is defined as: [tex]||f||_p=(\int_{a}^{b} f^p)^\frac{1}{p}[/tex].


The Attempt at a Solution


Well, I think that because f is continuous so are f^p and f^q are continuous and on a closed interval which means they get a maximum and a minimum in the interval which are both positive (cause if f were zero then the norm would be zero and the ineqaulity will be a triviality), so f^q>=M2, f^p<=M1, and we get that:
[tex]||f||_p/||f||_q<=M1^{1/p}/M2^{1/q}(b-a)^{1/p-1/q}[/tex] which is a constant.

QED, or not?

Thanks in advance.
 
Physics news on Phys.org
Your norm is wrong. It should be

[tex] \|f\|_p=\left(\int_{a}^{b} |f|^p\right)^\frac{1}{p}[/tex]

This means that you need to argue using |f|, not f. Otherwise, the argument is OK.
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
4
Views
2K
Replies
7
Views
2K
  • · Replies 43 ·
2
Replies
43
Views
5K
  • · Replies 18 ·
Replies
18
Views
2K
Replies
1
Views
2K
Replies
7
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K