Measure Theory Problem: showing f=0 a.e.

michael.wes
Gold Member
Messages
35
Reaction score
0

Homework Statement


Suppose f\in L^2[0,1] and \int_0^1f(x)x^n=0 for every n=0,1,2... Show that f = 0 almost everywhere.


Homework Equations



My friend hinted that he used the fact that continuous functions are dense in L^2[0,1], but I'm still stuck.

The Attempt at a Solution



I need help to get started.. I have tried various things with Holder's inequality but I am not getting anywhere. Thanks!
 
Physics news on Phys.org
Your friends suggestion is pretty good. Continuous functions can be approximated by polynomials. What polynomials p(x) have that property?
 
Ok, I think I know how to do it now. But there is a follow-up question, which seems a lot harder, but "looks" similar:

Suppose f\in L^1(\mathbb{T}) and \int_0^{2\pi}f(x)x^n=0 for all n=0,1,2,... Show that f is 0 almost everywhere.

The hint is again to use the density of continuous functions, but also to use part of the proof of Lusin's theorem. I know this is pretty specific so I don't know if you can help... but I would appreciate it. Thanks
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top