Understanding Uniform Convergence and Cauchy's Criterion for Series

  • Thread starter Thread starter Pearce_09
  • Start date Start date
  • Tags Tags
    Analysis
Click For Summary
SUMMARY

The discussion centers on proving uniform convergence of a sequence of functions \( S_n(x) \) using Cauchy's Criterion. The participants establish that if \( S_n \) is a Cauchy sequence in the sup norm on \( C([0,1]) \), then it converges pointwise to a function \( S(x) \). They emphasize the necessity of demonstrating that \( S_n \) converges uniformly on the interval \( I \), which is presumed to be compact, likely \( [0,1] \). The Triangle Inequality is suggested as a critical tool in this proof process.

PREREQUISITES
  • Understanding of Cauchy's Criterion for sequences
  • Familiarity with uniform convergence and pointwise convergence
  • Knowledge of the Triangle Inequality in analysis
  • Basic concepts of functional analysis, particularly regarding continuous functions on compact intervals
NEXT STEPS
  • Study the implications of Cauchy's Criterion in functional analysis
  • Learn about the properties of bounded sequences in the context of real analysis
  • Investigate the application of the Triangle Inequality in proving convergence
  • Explore the relationship between Cauchy sequences and continuous functions in \( C([0,1]) \)
USEFUL FOR

Mathematicians, students of analysis, and anyone studying convergence of function sequences, particularly in the context of functional analysis and real analysis.

Pearce_09
Messages
71
Reaction score
0
there is N so that
|S_n(x) - S_m(x)| \leq \epsilon for ever x in I if n,m N

( prove by cauchy's criterion )

claim: lim S_n(x) = S(x)

|S_n(x) - S(x)| < \epsilon /2 if n\geq N

then,

|S_n(x) - S_m(x)| < |S_n(x) - S(x)| + |S(x) - S_m(x)|
< \epsilon /2 + \epsilon /2
< \epsilon

therefor the series converges pointwise to a funtion S(x)
im stuck here, I don't know where to go, to say that S_n(x) converges uniformly on I.
 
Physics news on Phys.org
Pearce_09 said:
there is N so that
|S_n(x) - S_m(x)| \leq \epsilon for ever x in I if n,m N

( prove by cauchy's criterion )

claim: lim S_n(x) = S(x)

|S_n(x) - S(x)| &lt; \epsilon /2 if n\geq N

then,

|S_n(x) - S_m(x)| &lt; |S_n(x) - S(x)| + |S(x) - S_m(x)|
< \epsilon /2 + \epsilon /2
< \epsilon

therefor the series converges pointwise to a funtion S(x)
im stuck here, I don't know where to go, to say that S_n(x) converges uniformly on I.

Have you tried using Triangle Inequalities?
 
no, I am not sure how that will show uniform convergence??
 
Pearce_09 said:
no, I am not sure how that will show uniform convergence??

You are working with inequalities. It is your job it is to show that there is uniform convergence. The Triangle Inequality is a really good tool, especially with limits.

It's your job to deduce this fact.

First are you proving Cauchy's Criterion implies that the sequence is convergent?
 
yes i used Cauchy's Criterion to show that it converges pointwise
 
Pearce_09 said:
yes i used Cauchy's Criterion to show that it converges pointwise

Can you assume that a Cauchy sequence is bounded?

If not, try proving that first. It would be a great tool to use.
 
bounded eh, well ill try that.. ...
 
What is I, what are the S_n? One presumes I is a compact interval, probably [0,1], and that S_n are continuous functions.

What exactly are you trying to prove?

As far as I can tell what you wrote states that the S_n converge uniformly.

I find it impossible to deduce what you've been given and what you're asked to prove.
 
matt grime said:
What is I, what are the S_n? One presumes I is a compact interval, probably [0,1], and that S_n are continuous functions.

What exactly are you trying to prove?

As far as I can tell what you wrote states that the S_n converge uniformly.

I find it impossible to deduce what you've been given and what you're asked to prove.

He's trying to prove that if a sequence is a Cauchy Sequence then the sequence converges to some limit L.

It's definitely possible, but like you said, probably not with the stuff he's been given.
 
  • #10
yes, thanks jasonrox...thats exactly what I am trying to do..but unfortunately I can't seem to do.
 
  • #11
Pearce_09 said:
yes, thanks jasonrox...thats exactly what I am trying to do..but unfortunately I can't seem to do.

If you haven't proved that it is bounded yet, ignore that. Just move on with the assumption that it is bounded, prove that it is later.

So, what do you know about bounded sequences?
 
  • #12
well i know that every bounded sequence in the Reals has a convergent subsequence...Also every Cauchy sequence In the Reals conveges.
and some stuff about Reimman measurable/measure ... which won't help this problem
 
  • #13
JasonRox said:
He's trying to prove that if a sequence

a sequence of what? Functions, we are to assume, I imagine, and continuous ones, probably. It would be nice for that to be stated.

is a Cauchy Sequence then the sequence converges to some limit L.

that is impossible to do since it has not been stated in what space are looking at this Cauchy sequence.
 
  • #14
Let me state what I think the question appears to be:

let S_n be a cauchy sequence in the sup norm on C([0,1]), prove that S_n converges to a continuous function.
 
  • #15
yes, that's pretty much what I am trying to prove.
 
  • #16
Good, but what I wrote bears only passing relation to what you actually stated.
 

Similar threads

Replies
7
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
Replies
11
Views
2K
Replies
9
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K