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:

Definition

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)| < .

Theorem

This definition is equivalent to the previous one.

Proof

First, we show that continuity in this definition implies continuity in the previous definition.
So suppose (x_n) p. We must prove that (f(x_n)) f(p).
That is given > 0 we must find N such that |f(x_n) - f(p)| < if n > N.
Given such an from the new definition of continuity there is a such that |f(x_n) - f(p)| < whenever |x_n- p| < .
Since (x_n) 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 x₁ such that |x₁- p| < 1 and |f(x₁) - f(p)| > .
Similarly, = ¹/₂will not work, and so we can find x₂ further down the sequence than x₁ such that |x₂- p| < ¹/₂ and |f(x₂) - f(p)| > .
Continuing in this way we get a sequence (x₁, x₂, x₃, ... ) which by construction converges to p, but for which f(x_n) is always at least away from f(p). So we cannot have (f(x_n)) converging to f(p) and we have a contradiction.

Application

The function defined by f(x) = x is continuous.

Proof
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.

Remark

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.