Sequential Criterion for Absence of Uniform Continuity

Sequential Criterion for Absence of Uniform Continuity

A function f:AR fails to be uniformly continuous on A iff ε0>0 and two sequences (xn),(yn) in A satisfying

|xnyn|0,|f(xn)f(yn)|ε0

Proof

Using the negation of Uniform Continuity, then f is not uniformly continuous iff ε00 such that δ>0 we can find two points x,y satisfying |xy|<δ but with |f(x)f(y)|ε0. Thus, if we set δ1=1 then x1,y1 where |x1y1|<1 but |f(x1)f(y1)|ε0.

In a similar way if we set δn=1n for any nN then xn,yn where |xnyn|<1n but |f(xn)f(yn)|ε0. The resulting (xn),(yn) sequences satisfy the requirements described in the theorem.

Conversely, if ε0 and (xn),(yn) are as described, it's clear that no δ>0 is a suitable response for ε0.

Example

Consider the function h(x)=sin(1x).

---
title: 
xLabel: 
yLabel: 
bounds: [-1,1,-1,1]
disableZoom: false
grid: true
---
f(x) = sin(1/x)

It is continuous at every point in the open interval (0,1) but not uniformly continuous on the interval. Near 0, where the rapid oscillations take place, the domain values are close together but the range values approach being a distance of 2 apart. For example, take ε0=2 and set:

xn=1π2+2nπ,yn=13π2+2nπ

Because each of these sequences approach 0, we have |xnyn|0 and a short calculation gives |h(xn)h(yn)|=2ε0 for all nN. Thus, this shows that it is not uniformly continuous at this point.