1549901369-Elements_of_Real_Analysis__Denlinger_

(jair2018) #1
260 Chapter 5 • Continuous Functions

Lemma 5.4.5 (Negation of Uniform Continuity) A function f : D(f) ---+
JR is not uniformly continuous on a set A ~ D(f) iff 3 c > 0 3 VS > 0,
3 x,y EA 3 Ix -yl < S but lf(x) - f(y)I 2 E.


Proof. Exercise 4. •

We now give two proofs that the function f(x)

continuous on (0, 1).


-^1 is. not un11·c orm^1 y
x


First proof that f(x) = ~ is not uniformly continuous on (0, 1):


Choose E = l. Let 8 > 0 and choose >. = min{2, 8}, x = ~ and y = i.


>. >. >. 8
Ix -YI = 3 - 6 = 6 :::; 6 < 8, and

lf(x) - f(y)I = - - - = -- = - > - > E.
1

3 6I I 3I 3 3
>. >. >. >.-2

Thus, 3 c > 0 3 \:/8 > 0, 3 x,y E (0, 1) 3 Ix -yl < 8 but lf(x) - f(y)l 2 E.
That is , by Lemma 5.4.5, f(x) = ~ is not uniformly continuous on (0, 1). •


Despite the fact that the "First Proof" is technically correct, it doesn't
seem very satisfying. It seems to be more technical than necessary; there must
be a n easier way to see that f is not uniformly continuous on (0, 1). The next
theorem will a llow us to give an (easier) Second Proof.


Theorem 5.4.6 If f is uniformly continuous on a bounded se t A , then f is
bounded^16 on A.


Proof. Suppose f is uniformly continuous on a bounded set A. Since A is
a bounded set, 3 a, b E JR 3 A~ [a, b].
Letting E = 1 in Definit ion 5.4.1,


38 > 0 3 \:/x,y EA, lx-yl < S ~ lf(x) -f(y)I < l. (8)


Keep this S fixed in what follows. By the Archimedean property, 3 n E N 3
--:;;:-b- a < u. s: F or i · = , , ,^0 1 2 · · · , n,^1 e t Xi = a + i· b- a -:;;:-.

a b

Figure 5.11


  1. But, recall Exercise 5.3.6.

Free download pdf