0% found this document useful (0 votes)
360 views3 pages

Uniform Continuity

The document discusses uniform continuity and provides examples of functions that are: 1) Continuous but not uniformly continuous on their domain (e.g. f(x)=x^2 on R). 2) Uniformly continuous on a closed interval but not on an open interval (e.g. f(x)=1/x on [1/2,1] vs on (0,1)). 3) A key theorem is proved - if a function f is continuous on a closed interval [a,b], then it is uniformly continuous on [a,b]. This is important for proving the existence of the Riemann integral.

Uploaded by

Bhimesh Jetti
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
360 views3 pages

Uniform Continuity

The document discusses uniform continuity and provides examples of functions that are: 1) Continuous but not uniformly continuous on their domain (e.g. f(x)=x^2 on R). 2) Uniformly continuous on a closed interval but not on an open interval (e.g. f(x)=1/x on [1/2,1] vs on (0,1)). 3) A key theorem is proved - if a function f is continuous on a closed interval [a,b], then it is uniformly continuous on [a,b]. This is important for proving the existence of the Riemann integral.

Uploaded by

Bhimesh Jetti
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

Uniform Continuity

Recall that if f is continuous at x0 in its domain, then for any  > 0, > 0 such that for
all x in the domain of f , |x x0 | < = |f (x) f (x0 )| < . The number will generally
depend on x0 . In the future, we shall omit the phrase for all x in the domain, which is to
be understood.

f (x) = x2 is continuous at any x0 R.


Proof: Let  > 0 be given, and suppose that |x x0 | < . (We havent fixed yet,
were just fooling around.). Then

|f (x) f (x0 )| = |x2 x20 | = |x x0 ||x + x0 |;

and |x x0 | < =

+ x0 < x < + x0
2x0 < x + x0 < 2x0 + .

And, since 2|x0 | < 2x0 , and 2x0 + < 2|x0 | + , we have |x + x0 | < 2|x0 | + ,
so that
|f (x) f (x0 )| = |x x0 ||x + x0 | < [2|x0 | + ].
Since x0 is fixed, the right hand side of this inequality can be made as small as we like
by choosing sufficiently small, and so we can find a such that the right hand side
is < .
For instance, if x0 = 2, we require (4 + ) < . And if x0 = 476, we need (952 + ).
It should be clear that as x0 , 0, and this means that there is no single
which works for every x0 R.

f (x) = 1/x on [1/2, 1]. Let  > 0 be given, and let x, y [1/2, 0] with |x y| < .
Then
1 1 |x y|
|f (x) f (y)| = = .
x y |xy|
1
Since x, y [1/2.1], |xy| ( 12 )2 = 1
4
= 4. So if |x x0 | < ,
|xy|

|x y|
|f (x) f (y)| = < 4 <  if < /4.
|xy|

Here, does not depend on x and y. It works for any pair of numbers in the interval
[1/2, 1] with |x y| < .

Definition: A function f : D R is said to be uniformly continuous on D  >


0, > 0 such that |x y| < = f (x) f (y)| < .

1
The function f (x) = x2 is continuous, but not uniformly continuous on R, as weve seen
above. The function f (x) = 1/x is uniformly continuous on the closed interval [1/2, 1].
Its also continuous on the open interval (0, 1), but we might expect problems with uniform
continuity since this function is unbounded on its domain (as is f (x) = x2 ):

The function f (x) = 1/x is not uniformly continuous on (0, 1):


Proof: To show this, we need to find a counterexample; namely, we need to show
0 > 0 such that > 0, x, y (0, 1) with |x y| < and |f (x) f (y)| 0 .
With a little thought, this is easily done. Take 0 = 1 and choose any > 0 (we may
assume < 1, since if our example holds for this case, it certainly holds for 1.
Then put x = /3, y = /6, so |x y| = /6 < . And now
|x y| /6 3
|f (x) f (y)| = = 2 = 1 = 0 .
|xy| /18

We are going to need the notion of uniform continuity to prove the existence of the Riemann
integral for continuous functions in a bit. The main fact we need is given by the following

Theorem: Let f : [a, b] R be continuous on the closed interval [a, b]. Then
f is uniformly continuous on [a, b].

Proof: (This is a mildly intricate proof, but it doesnt involve anything new or surprising.
After youve understood it, you should be able to write it out yourself.)

Suppose f is continuous but not uniformly continuous. Then there exists an 0 > 0 such that
the statement |x y| < = |f (x) f (y)| < 0 is false for every . In particular, for =
1/n, we can find two points xn , yn [a, b] such that |xn yn | < 1/n and |f (xn ) f (yn )| 0 .
This gives us two sequences {xn } and {yn }, both lying in [a, b], and with |xn yn | 0.

Remark: Notice that if xn x and yn y, then wed have x = y, and because f is


continuous, |f (xn ) f (yn )| 0, which would be a contradiction (why?). Now theres no
reason to believe xn x or yn y, but since these sequences lie in the closed interval [a, b],
there are convergent subsequences, and this is how well obtain the contradiction.

Continuing with the proof, by the Bolzano-Weierstrass theorem, there exists a subsequence
{xnk } of {xn }, and a point x [a, b], such that xnk x. (This is where were using the
fact that the inteval is closed.) Now put xk = xnk , and yk = ynk . So xk x, and yk is
a subsequence of the original sequence yn . By the same reasoning, there exists a y [a, b]
and a subsequence {yks } with yks y. Put xs = xks , ys = yks . Then xs is a subsequence
of a convergent subsequence and hence also converges to x. Since ys y, and we have
|
xs ys | 0, we must have |f (xs ) f (
ys )| 0 (why?). This contradicts the assumption
that |f (xn ) f (yn )| is bounded away from 0 (why?). Therefore, our assumption that f is
not uniformly continuous is incorrect.

2
Exercises:

1. Why, in the proof of the theorem, cant we just take a convergent subsequence of xn
and a convergent subsequence of yn and proceed directly to the conclusion?

2. If f is differentiable on [a, b], then f is uniformly continuous on [a, b].

3. Show that sin x is uniformly continuous on R. (See the proof of the differentiability of
sin x.

You might also like