There is a very useful way of thinking of continuity in terms of limits of sequences found in the following theorem. In words, it says a function is continuous if it takes convergent sequences to convergent sequences whenever possible. You may find this equivalent description is much easier to use than the formal ε,δ definition given earlier. There is really no good reason for this, but in fact, it tends to be easier for most people to use although I don’t understand why this seems to be the case.
Theorem 4.1.1 A function f : D
Proof: Suppose first that f is continuous at x and let xn → x. Let ε > 0 be given. By continuity, there exists δ > 0 such that if
|
which shows f
Now suppose the condition about taking convergent sequences to convergent sequences holds at x. Suppose f fails to be continuous at x. Then there exists ε > 0 and xn ∈ D
|
But this is clearly a contradiction because, although xn → x, f
Proof: Since f
|
The other case is entirely similar. ■
The following is a useful characterization of a continuous function which ties together the above conditions. I am being purposely vague about the domain of the function and its range because this theorem is a general result which holds whenever it makes sense.
Theorem 4.1.3 Let f be a function defined on D