Understanding Uniform Continuity to Formalizing Proofs

Click For Summary
The discussion revolves around understanding and formalizing the concept of uniform continuity in mathematical proofs. Participants clarify the distinction between sequences and series while addressing the homework problem. The correct approach involves defining ε and δ based on the uniform continuity of the function f, ensuring that as the sequences xn and yn converge, the difference in their function values also approaches zero. A structured argument is proposed, emphasizing the need for clarity in deriving N, δ, and ε. The conversation concludes with a focus on improving formal mathematical writing and understanding.
sergey_le
Messages
77
Reaction score
15
Homework Statement
Prove that if f Uniform continuity in R, then for any two series xn and yn limyn-xn=0 so limf(xn)-f(yn)=0
Relevant Equations
Uniform continuity
There are two parts to the question Let's start with part :)
I understand the definition of Uniform continuity And I think I'm in the right direction for the solution but I'm not sure of the formal wording.
So be it ε>0
Given that yn limyn-xn=0 so For all ε>0 , ∃N∈ℕ so that For all N<n , |yn-xn|<ε so ∃δ>0 so that |yn-xn|<δ And because f is Uniform continuity
|f(yn)-f(xn)|<ε.
I know my formulation is not good but I can't formalize it nicely
 
Physics news on Phys.org
sergey_le said:
Homework Statement:: Prove that if f Uniform continuity in R, then for any two series xn and yn limyn-xn=0 so limf(xn)-f(yn)=0
Homework Equations:: Uniform continuity

There are two parts to the question Let's start with part :)
I understand the definition of Uniform continuity And I think I'm in the right direction for the solution but I'm not sure of the formal wording.
So be it ε>0
Given that yn limyn-xn=0 so For all ε>0 , ∃N∈ℕ so that For all N<n , |yn-xn|<ε so ∃δ>0 so that |yn-xn|<δ And because f is Uniform continuity
|f(yn)-f(xn)|<ε.
I know my formulation is not good but I can't formalize it nicely

The correct term is sequences. Not series.

I think you got the right idea but it contains some mistakes.

Let ##\epsilon>0##. Choose ##\delta>0## as in the definition of uniform continuity.

Choose ##N## such that ##|x_n−y_n|<\delta ## if ##n\geq N##.

Can you conclude?
 
Last edited by a moderator:
  • Like
Likes sergey_le and PeroK
sergey_le said:
Homework Statement:: Prove that if f Uniform continuity in R, then for any two series xn and yn limyn-xn=0 so limf(xn)-f(yn)=0
Homework Equations:: Uniform continuity

There are two parts to the question Let's start with part :)
I understand the definition of Uniform continuity And I think I'm in the right direction for the solution but I'm not sure of the formal wording.
So be it ε>0
Given that yn limyn-xn=0 so For all ε>0 , ∃N∈ℕ so that For all N<n , |yn-xn|<ε so ∃δ>0 so that |yn-xn|<δ And because f is Uniform continuity
|f(yn)-f(xn)|<ε.
I know my formulation is not good but I can't formalize it nicely

You must be much clearer about how you get ##N, \delta, \epsilon##.

Hint: try working backwards from the way you did it:

Let ##\epsilon > 0##

How do you get ##|f(y_n) - f(x_n)| < \epsilon##?

Answer: if ##x_n, y_n## are close enough together. This gives you ##\delta## (depends on ##\epsilon##).

How do you get ##x_n, y_n## close enough together?

Answer: by taking ##n## large enough. This gives you ##N##, which depends on ##\delta##.

Can you formalise that strategy?
 
  • Like
Likes member 587159
PeroK said:
You must be much clearer about how you get ##N, \delta, \epsilon##.

Hint: try working backwards from the way you did it:

Let ##\epsilon > 0##

How do you get ##|f(y_n) - f(x_n)| < \epsilon##?

Answer: if ##x_n, y_n## are close enough together. This gives you ##\delta## (depends on ##\epsilon##).

How do you get ##x_n, y_n## close enough together?

Answer: by taking ##n## large enough. This gives you ##N##, which depends on ##\delta##.

Can you formalise that strategy?
I understand what you mean I tried for an hour now to translate my formulation into English.
But my English is not good and it turns out really not good.
I'm not sure how I write the passage from that if |xn−yn|<δ so |f(yn)−f(xn)|<ϵ
I'd love if you could help me with that.
 
Math_QED said:
The correct term is sequences. Not series.

I think you got the right idea but it contains some mistakes.

Let ##\epsilon>0##. Choose ##\delta>0## as in the definition of uniform continuity.

Choose ##N## such that ##|x_n−y_n|<\delta ## if ##n\geq N##.

Can you conclude?
The correct term is sequences. Not series . Thanks I will use it
Can you please help me with a formal wording: /
 
sergey_le said:
The correct term is sequences. Not series . Thanks I will use it
Can you please help me with a formal wording: /

Let ##\epsilon > 0##. Because ##f## is uniformly continuous, we may choose ##\delta > 0## such that for all ##x## with ##|x-y|< \delta## we have ##|f(x)-f(y)|< \epsilon##. Because ##\lim_n (x_n-y_n)= 0##, there is ##N## such that ##|x_n-y_n|< \delta## whenever ##n \geq N##. Thus, combining the two previous statements, we get ##|f(x_n)-f(y_n)|< \epsilon## whenever ##n \geq N##. Thus we have proven that for any ##\epsilon>0##, there is ##N## such that ##|f(x_n)-f(y_n)|< \epsilon## whenever ##n \geq N##. This is exactly the definition of ##\lim_n (f(x_n)-f(y_n)) = 0## and we are done. ##\quad \square##
 
  • Like
Likes sergey_le
Math_QED said:
Let ##\epsilon > 0##. Because ##f## is uniformly continuous, we may choose ##\delta > 0## such that for all ##x## with ##|x-y|< \delta## we have ##|f(x)-f(y)|< \epsilon##. Because ##\lim_n (x_n-y_n)= 0##, there is ##N## such that ##|x_n-y_n|< \delta## whenever ##n \geq N##. Thus, combining the two previous statements, we get ##|f(x_n)-f(y_n)|< \epsilon## whenever ##n \geq N##. Thus we have proven that for any ##\epsilon>0##, there is ##N## such that ##|f(x_n)-f(y_n)|< \epsilon## whenever ##n \geq N##. This is exactly the definition of ##\lim_n (f(x_n)-f(y_n)) = 0## and we are done. ##\quad \square##
Thanks so much for your understanding.
This stuff is new to me and I need to get used to a good formulation
 

Similar threads

Replies
7
Views
1K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
6
Views
7K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 37 ·
2
Replies
37
Views
4K
Replies
8
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
2K