The epsilon-delta definition
The above definition of convergence using sequences is useful because the arithmetic properties of sequences gives an easy way of proving the corresponding arithmetic properties of continuous functions. We now use this definition to deduce the more well-known - definition of continuity.
Informally: Close points ( apart) are mapped to close points ( apart).
We formalise this to get the following:
- A function f from R to R is continuous at a point p R if
given > 0 there exists > 0 such that if |p - x| < then |f(p) - f(x)| < .
- This definition is equivalent to the previous one.
- First, we show that continuity in this definition implies continuity in the previous definition.
So suppose (xn) p. We must prove that (f(xn)) f(p).
That is given > 0 we must find N such that |f(xn) - f(p)| < if n > N.
Given such an from the new definition of continuity there is a such that |f(xn) - f(p)| < whenever |xn- p| < .
Since (xn) converges to p, there is a N such that this happens whenever n > N and so with this value of N our definition is satisfied.
Secondly, we show that the sequential definition implies the - one.
Given > 0, suppose that we could not find a suitable . Then = 1 would not work and so we must have some x1 such that |x1- p| < 1 and |f(x1) - f(p)| > .
Similarly, = 1/2will not work, and so we can find x2 further down the sequence than x1 such that |x2- p| < 1/2 and |f(x2) - f(p)| > .
Continuing in this way we get a sequence (x1, x2, x3, ... ) which by construction converges to p, but for which f(xn) is always at least away from f(p). So we cannot have (f(xn)) converging to f(p) and we have a contradiction.
- The function defined by f(x) = x is continuous.
Given > 0 we must show that |x - p| < provided that x, p are close enough.
Now |x - p| = |x - p|/|x + p| < |x - p| /p and so choosing = /p will do.
- The definition of continuity "doesn't quite work" at p = 0 for this function since the function is not defined for x < 0. One can define a notion of "one-sided continuity" to take care of examples like this.
JOC September 2002