Understanding Uniform Continuity to Formalizing Proofs

Click For Summary

Homework Help Overview

The discussion revolves around the concept of uniform continuity in the context of sequences. The original poster seeks to formalize a proof related to uniform continuity, specifically proving that if a function is uniformly continuous on the real numbers, then the limit of the difference of function values approaches zero as the sequences converge.

Discussion Character

  • Conceptual clarification, Mathematical reasoning, Problem interpretation

Approaches and Questions Raised

  • The original poster attempts to articulate their understanding of uniform continuity and its implications for sequences. Some participants suggest clarifying the definitions and the relationships between ε, δ, and N in the context of the proof. Others question the original poster's formulation and encourage them to express their reasoning more clearly.

Discussion Status

Participants are actively engaging with the original poster's attempts to formalize their proof. There is a focus on refining the language and structure of the argument without providing direct solutions. The conversation highlights the need for clarity in expressing mathematical reasoning and the definitions involved.

Contextual Notes

There is mention of the original poster's struggle with English language formulation, which may affect their ability to express mathematical concepts clearly. Additionally, the distinction between sequences and series is noted as a point of clarification in the discussion.

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   Reactions: 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   Reactions: 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   Reactions: 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
2K
  • · Replies 40 ·
2
Replies
40
Views
5K
  • · 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
5K
Replies
8
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K