Real Analysis Help: Prove f Uniformly Continuous on (a,b)

Click For Summary

Homework Help Overview

The discussion centers around proving that a continuous function \( f : (a, b) \to \mathbb{R} \) with the property that \( |f'(x)| \leq 1 \) for all \( x \in (a, b) \) is uniformly continuous on the interval \( (a, b) \).

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants explore the implications of the mean value theorem and the relationship between the derivative and uniform continuity. Some suggest using sequences to analyze the limits, while others question the effectiveness of their approaches. There is a discussion about the conditions under which a function can be considered a contraction and how that relates to uniform continuity.

Discussion Status

Participants have shared various attempts at proving the uniform continuity of the function, with some suggesting that the mean value theorem may provide a clearer path. There is recognition of the need to establish a relationship between the differences in function values and the differences in input values, but no consensus has emerged on a definitive method yet.

Contextual Notes

Some participants note the assumptions regarding the continuity and differentiability of the function, as well as the constraints imposed by the problem statement. There is also mention of previous exercises that relate to the concept of contractions and uniform continuity.

tiger2030
Messages
22
Reaction score
0

Homework Statement



Let f : (a, b) → R be a continuous function on (a, b) such that |f'(x)| <= 1 for all x that are elements of (a,b). Prove that f is uniformly continuous function on (a,b).

Homework Equations


The Attempt at a Solution



Proof:For the sequence {xn}, where the limit(n→∞) xn = xo, then limit(n→∞) |((f(xn)-f(xo))/(xn-xo))| <= 1. This can be rewritten as limit(n→∞) |(f(xn)-f(xo)) <= limit(n→∞) |xn-xo|. For uniformly continuous, for all ε>0 and x,y that are elements of (a,b), there exists a δ such that |x-y|<δ implies |f(x)-f(y)|<ε. Let x=Xn and y=Xo. Then if ε=δ, then limit(n→∞) |(f(xn)-f(xo)) <= limit(n→∞) |xn-xo|<δ=ε and therefore f is uniformly continuous on (a,b)

Any help on where to improve this or if there are any steps that are incorrect would be greatly appreciated.
 
Physics news on Phys.org
tiger2030 said:

Homework Statement



Let f : (a, b) → R be a continuous function on (a, b) such that |f'(x)| <= 1 for all x that are elements of (a,b). Prove that f is uniformly continuous function on (a,b).


Homework Equations





The Attempt at a Solution



Proof:For the sequence {xn}, where the limit(n→∞) xn = xo, then limit(n→∞) |((f(xn)-f(xo))/(xn-xo))| <= 1. This can be rewritten as limit(n→∞) |(f(xn)-f(xo)) <= limit(n→∞) |xn-xo|. For uniformly continuous, for all ε>0 and x,y that are elements of (a,b), there exists a δ such that |x-y|<δ implies |f(x)-f(y)|<ε. Let x=Xn and y=Xo. Then if ε=δ, then limit(n→∞) |(f(xn)-f(xo)) <= limit(n→∞) |xn-xo|<δ=ε and therefore f is uniformly continuous on (a,b)

Any help on where to improve this or if there are any steps that are incorrect would be greatly appreciated.

My suggestion would be to abandon that approach and think about using the mean value theorem.
 
tiger2030 said:

Homework Statement



Let f : (a, b) → R be a continuous function on (a, b) such that |f'(x)| <= 1 for all x that are elements of (a,b).

So f is actually a differentiable function (which is sufficient, but not necessary, for f to be continuous).

Prove that f is uniformly continuous function on (a,b).


Homework Equations





The Attempt at a Solution



Proof:For the sequence {xn}, where the limit(n→∞) xn = xo, then limit(n→∞) |((f(xn)-f(xo))/(xn-xo))| <= 1. This can be rewritten as limit(n→∞) |(f(xn)-f(xo)) <= limit(n→∞) |xn-xo|.

This just says that 0 \leq 0, which is true but not useful.

You can say that for all \epsilon &gt; 0, there exists N \in \mathbb{N} such that if n \geq N then
<br /> -1 - \epsilon \leq f&#039;(x_0) - \epsilon &lt; \frac{f(x_n) - f(x_0)}{x_n - x_0} &lt; f&#039;(x_0) + \epsilon \leq 1 + \epsilon<br />
so that
<br /> |f(x_n) - f(x_0)| &lt; (1 + \epsilon)|x_n - x_0|<br />
which doesn't get you there; to take \epsilon \to 0 you must also take N \to \infty which again gives you 0 \leq 0.

It is best to use the mean value theorem: Let x \in (a,b) and y \in (a,b) be arbitrary such that |x - y| &lt; \epsilon.
If x &lt; y then f is continuous on [x,y] and differentiable on (x,y). Thus by the MVT there exists c \in (x,y) such that
<br /> f&#039;(c) = \frac{f(y) - f(x)}{y - x}.<br />
 
Last edited:
Ok so I see that I can get f(y)-f(x)=f'(c)(y-x) and then I know from the assumptions that |f'(c)|≤1. From a previous exercise I know that any contraction is uniformly continuous on the domain. (The exercise says: f is said to be a contraction if there exists a c such that 0<c<1 such that for all x,y that are elements of the domain, we have |f(x)-f(y)|≤c|x-y|). Basically, if I can get from f(y)-f(x)=f'(c)(y-x) to |f(x)-f(y)|≤c|x-y| I will be able to say that it is uniformly continuous. Is it enough to use triangle inequality to say these are equivalent?
 
tiger2030 said:
Ok so I see that I can get f(y)-f(x)=f'(c)(y-x) and then I know from the assumptions that |f'(c)|≤1. From a previous exercise I know that any contraction is uniformly continuous on the domain. (The exercise says: f is said to be a contraction if there exists a c such that 0<c<1 such that for all x,y that are elements of the domain, we have |f(x)-f(y)|≤c|x-y|). Basically, if I can get from f(y)-f(x)=f'(c)(y-x) to |f(x)-f(y)|≤c|x-y| I will be able to say that it is uniformly continuous. Is it enough to use triangle inequality to say these are equivalent?

You don't need that contraction mapping theorem. You have$$
|f(y) - f(x)|= |f'(c)||y-x| \le 1\cdot |y-x|$$So given ##\epsilon > 0## pick ##\delta##...
 
So if we pick δ=ε, then |f(y)−f(x)|=|f′(c)||y−x|≤1⋅|y−x|≤δ=ε and therefore |x-y|≤δ implies |f(y)−f(x)|≤ε, making it uniformly continuous
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
10
Views
3K
Replies
7
Views
2K
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 28 ·
Replies
28
Views
4K
Replies
8
Views
3K
Replies
1
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K