- #1

- 160

- 0

What would be an example of a sequence of functions which converges in L^2([0,1]), but which does not converge pointwise almost everywhere?

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter math8
- Start date

- #1

- 160

- 0

What would be an example of a sequence of functions which converges in L^2([0,1]), but which does not converge pointwise almost everywhere?

- #2

morphism

Science Advisor

Homework Helper

- 2,015

- 4

2. Think about this: how does convergence in the L^2 norm work?

- #3

- 160

- 0

I know [0,1] is closed but I'm not sure if ([0,1],d*) is complete. (I know a space is complete if every Cauchy sequence in there converges).

I guess since a metric space is compact iff it is complete and totally bounded., we get that [0,1] is closed and bounded, but since it is not totally bounded, it cannot be compact.

*I think (fn) converges to f in L^2([0,1]) if lim as n tends to infinity of integral of |fn-f|^2 dm is 0.

My problem is that I cannot think of a not really complicated example.

- #4

morphism

Science Advisor

Homework Helper

- 2,015

- 4

Yup.*I can only think about the metric space ([0,1],d*) where d* is the discrete metric. [0,1] is bounded but not totally bounded.

I know [0,1] is closed but I'm not sure if ([0,1],d*) is complete. (I know a space is complete if every Cauchy sequence in there converges).

I guess since a metric space is compact iff it is complete and totally bounded., we get that [0,1] is closed and bounded, but since it is not totally bounded, it cannot be compact.

We can come up with a simple example where f_n -> 0 in L^2[0,1] but f_n doesn't converge pointwise anywhere. Here's how: let f_1 = characteristic function of [0,1/2], f_2 = characteristic function of [1/2,1], f_3 = characteristic function of [0,1/3], f_4 = characteristic function of [1/3,2/3], f_5 = characteristic function of [2/3,1], and so on. I'll let you check that this does the job.*I think (fn) converges to f in L^2([0,1]) if lim as n tends to infinity of integral of |fn-f|^2 dm is 0.

My problem is that I cannot think of a not really complicated example.

Last edited:

- #5

- 160

- 0

Thanks morphism it really helps.

Share: