Example: The function f(x) = 1 / x is continuous on (0, 1). Is it uniformly continuous there ?


It helps to look at the graph of the function:

As the - interval 'slides' up the positive y-axis, the corresponding -interval on the x-axis gets smaller and smaller. That indicates that the function is not uniformly continuous - but it is of course not a proof. So:

Take any = 1. Does there exist any such that

The basic idea is easy: since | f(t) - f(s) | = | 1/t - 1/s | = | s - t | * 1 / | st |, we can see that this might approach infinity if s and t approach zero, and therefore will be bigger than any chosen . All we have to do now is formalize this proof.

Assume there exists such a . Without loss of generality we may assume that > 1 (why ?). Then let s = t + /2 and set t = /2. We have (assuming that s, t are positive):

But now, no matter what > 1 is we can make | f(t) - f(s) | > 1. Therefore, the function is not uniformly continuous.

This proof, loosely speaking, depends on the fact that after simplification | f(t) - f(s) | goes to infinity if s and t approach zero. That is exactly the situation as described in the above picture.


To Theory | Glossary | Map
(bgw)