Integrals going to 0 implies functions go to 0?

gauss mouse
Messages
24
Reaction score
0

Homework Statement


This question is not the assignment problem but I think that if the result I mention here is true, then my assignment problem will be solved.
Let (X,\Sigma,\mu) be a measure space.
Suppose that (h_n)_{n=1}^\infty is a sequence of non-negative-real-valued integrable functions and that
<br /> \lim_{n\to \infty}\int_Xh_nd\mu=0.<br />
Is it true that the functions h_n converge pointwise to 0 almost-everywhere?

The Attempt at a Solution


My intuition is that since the h_n are non-negative functions, we can rule out the possibility of cancellation but I don't know what else to do and maybe the result is not even true anyway.

I'd really appreciate any help!
 
Physics news on Phys.org
Consider [0,1] with Lebesgue measure and:

h0(x)=1 everywhere -> integral is 1

h1(x)=1 for x<1/2, h1(x)=0 for x>=1/2 -> integral is 1/2
h2(x)=1 for x>1/2, h2(x)=0 for x=<1/2 -> integral is 1/2

h3(x)=1 for x<1/3, h3(x)=0 for x>=1/3 -> integral is 1/3
h4(x)=1 for 1/3<x<2/3, h4(x)=0 else -> integral is 1/3
h5(x)=1 for x>2/3, h5(x)=0 for x<=1/3 -> integral is 1/3

and so on. As you can see, the integral converges to 0, but hn does not converge pointwise anywhere.

Edit: Oh, you were quicker. Well here is an explicit example that it is wrong.
 
Take a function whose graph looks like a rectangle. e.g.

f(x) = \begin{cases} 1 &amp; x \in [0,1] \\ 0 &amp; x \notin [0,1] \end{cases}

If you make a sequence of functions that just drags the rectangle back and forth, you get a sequence of functions whose integrals are all 1, but doesn't converge pointwise to 0 in any part of the real line that the rectangle moves through infinitely often.

Now, shrink the width of the rectangle as you drag it back and forth. You've now added in the extra feature that the integrals decrease in size: you can make it decrease to 0 if you want. But your sequence still doesn't converge pointwise to 0 in the regions that the rectangle moves through.

If you also increase the size of the interval through which the square moves back and forth, you will have a sequence of functions that doesn't converge pointwise anywhere.

For added fun, you can make the height of the rectangle grow without bound (but slow enough that it's area still decreases to 0), so that the sequence of functions isn't even bounded above, even though each individual function is bounded.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top