Prove the sequence converges uniformly

  • Thread starter Thread starter wackikat
  • Start date Start date
  • Tags Tags
    Sequence
Click For Summary

Homework Help Overview

The problem involves a sequence of functions \( f_n \) that converges pointwise on the interval [0,1] and are Lipschitz continuous with a common constant \( C \). The objective is to prove that this sequence converges uniformly.

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the need to demonstrate uniform convergence using the Uniform Cauchy Criterion and explore the implications of Lipschitz continuity. There are attempts to apply the triangle inequality and considerations of pointwise convergence on finite sets.

Discussion Status

The discussion is ongoing, with participants sharing various approaches and hints. Some express skepticism about the implications of pointwise convergence on finite sets, particularly in relation to the necessity of Lipschitz continuity for uniform convergence on the entire interval [0,1].

Contextual Notes

There is a focus on the properties of Lipschitz functions and the implications of pointwise versus uniform convergence. Participants are questioning the assumptions regarding continuity and convergence behavior on compact sets.

wackikat
Messages
8
Reaction score
0

Homework Statement


Let f_n be a sequence of function whcih converges pointwise on [0,1] where each one is Lipschitz with the same constant C. Prove that the sequence converges uniformly.

Homework Equations



A function is called Lipschitz with Lipschitz constant C if |f(x)-f(y)| <= C|x-y| for all x,y in its domain.

Let f_n be a sequence of functions defined on a set S. f is the pointwise limit of f_n if for all t in S lim n to infinity f_n(t) = f(t)


The Attempt at a Solution


I know that somehow I must show if for all epsilon > 0 there exists N in naturals such that sup|f_n(t) -f(t)| < epsilon if n>N for all t in [0,1]
Or show the Uniform Cauchy Criterion holds : for all epsilon > 0 there exists N in naturals such that |f_n(t) -f_m(t)| < epsilon for all m,n > t for all t in [0,1].
 
Physics news on Phys.org
Go for the uniform Cauchy, use the triangle inequality and the fact that |x-y| could at most be 1.
 
Hint: Pointwise convergence implies uniform convergence on any finite set of points. Since [0,1] is compact, you can choose points x1,...,xk such that the distances between consecutive points is arbitrarily small.
 
I've tried using Cauchy, but I just seem to end back with a term I started with.
Here's what I tried.
|f_n(x) -f_m(x)| = |f_n(x) + f_n(y) + f_n(y) - f_m(x)| <= |f_n(x) + f_n(y)| + |f_n(y) - f_m(x)| <= C|x-y| + |f_n(y) - f_m(x)| = C|x-y| + |f_n(y) -f_n(x) + f_n(x) - f_m(x)| <=
2C|x-y| + |f_n(x) - f_m(x)|

As for yyat's hint, I don't believe that is true. The sequence of funtions could converge to a discontinuouse f(x) which would mean there could not be uniform convergence.
If we knew Pointwise convergence implies uniform convergence on any finite set of points then we would not need the fact that the functions are Lipschitz.
 
wackikat said:
As for yyat's hint, I don't believe that is true. The sequence of funtions could converge to a discontinuouse f(x) which would mean there could not be uniform convergence.

Any function defined on a finite set of points is continuous.

If we knew Pointwise convergence implies uniform convergence on any finite set of points then we would not need the fact that the functions are Lipschitz.

Why? You want to prove uniform convergence on [0,1], which is not a finite set. The Lipschitz continuity is crucial here.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 18 ·
Replies
18
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K