Basic Analysis: Limits and Continuity (2)

Previously, we defined continuous limits and proved some basic properties. Here, we’ll try to port over more results from the case of limits of sequences.

Monotone Convergence Theorem. If f(x) is increasing on the open interval (c, a) and has an upper bound, then \lim_{x\to a^-} f(x) exists.

[ Recall that by “increasing”, we mean: if x ≤ y, then f(x) ≤ f(y). In particular, even a constant function is considered “increasing” under our definition. ]


As before let L = sup{f(x) : c < xa}, which is finite since f(x) has an upper bound. For each ε>0, since L-ε is not an upper bound, there exists δ>0 such that L-ε < f(a-δ) ≤ L. Hence, for any a-δ < xa, we also have f(x) ≥ f(a-δ) > L-ε and f(a-δ) ≤ L. ♦

Note that this theorem has many variations. For example, f(x) can be either monotonically increasing or decreasing. Or the limit can be either left or right. Here’re two possibilities:

  • If f(x) is decreasing on (ab) and has an upper bound, then \lim_{x\to a^+} f(x) exists.
  • If f(x) is increasing on (-∞, b) and has a lower bound, then \lim_{x\to -\infty} f(x) exists.


Define f(x) =\begin{cases} x, &\text{if } x>0, \\ -x-1, &\text{if } x\le 0.\end{cases} Now f is an increasing function and is bounded on (-1, 1) so the left and right limits \lim_{x\to 0^-} f(x), \lim_{x\to 0^+} f(x) both exist. However, the left limit is -1 while the right limit is 0. Since both limits are not equal, \lim_{x\to 0} f(x) does not exist even though f is monotone and bounded.

Next, we have the following.

Squeeze Theorem. Suppose g(x) \le f(x) \le h(x) on the open interval (c, a). If

\lim_{x\to a^-} g(x) = \lim_{x\to a^-} h(x) = L,

then \lim_{x\to a^-} f(x) = L as well. This holds for the limits \lim_{x\to a^+} and \lim_{x\to a} as well.


We’ll only prove the case for left limits. Let ε>0. Then there exist positive δ1 and δ2 such that:

  • whenever a1 < xa, we have |g(x) – L| < ε;
  • whenever a2 < x < a, we have |h(x) – L| < ε.

Hence if δ = min(δ1, δ2), then whenever a-δ < xa, we have f(x) ≤ h(x) < L+ε and f(x) ≥ g(x) > L-ε. Thus |f(x) – L| < ε. ♦


Consider the function f(x) = x \sin(1/x), for x≠0. Then:

-|x|\le f(x) \le |x|, for all x≠0.

Since \lim_{x\to 0} |x| = \lim_{x\to 0} (-|x|) = 0, it follows from the Squeeze Theorem that \lim_{x\to 0} f(x) = 0.

(Graphs plotted by

Continuous Functions: Basic Concepts

We wish to define what it means for a function to be continuous at x=a. It’s natural to define it in terms of limits.

Definition. Suppose f(x) is defined on an open interval (b, c) containing a. We say that f is continuous at a, if

\lim_{x\to a} f(x) = f(a).

Equivalently, we say that f is continuous at a, if for every ε>0, there exists δ>0, such that:

|x-a|<\delta \implies |f(x)-f(a)|<\epsilon.


For example, let’s consider f(x) = \begin{cases} x\sin(1/x), &\text{if }x\ne 0, \\ 0, &\text{otherwise}.\end{cases}.

Since \lim_{x\to 0} f(x) = 0 = f(0), we see that f is continuous at x=0. ♦

The second definition is really neat, because now even if f(x) is not defined on an open interval about a, we can talk about continuity at a itself. To be explicit, suppose D is a subset of the reals R, and fD → R is a function. If a lies in D, we say that f(x) is continuous at x=a if:

  • for every ε>0, there exists δ>0, such that whenever |xa|<δ and x lies in D, we have |f(x)-f(a)|<ε.


Consider the function f(x) = \begin{cases} x, &\text{if } x> 1, \\ 0.5, &\text{if }x=0, \\ -x, &\text{if } x< -1.\end{cases}, which is defined on D = (-\infty, -1)\cup\{0\}\cup(+1,\infty).

Strange as it may sound, f(x) is continuous at x=0 according to our definition. Indeed, let’s check the definition. When someone throws an ε>0 at us, we have to produce a δ>0, such that if |x-0| = |x| < δ and x lies in D, then |f(x)-f(0)| = |f(x)-0.5| < ε. What can this δ be? It’s clear that δ=0.5 works for any ε(!), for the condition “|x| < 0.5 and x lies in D” is satisfied by one and only one point: namely, x=0, in which case |f(x)-f(0)|=0.

It’s also clear from the proof that we’re at complete liberty to shift f(0) to any point we wish and the function is still continuous. This occurs due to an anomaly in the domain of definition D. As the point x=0 is too far from its neighbours, f(0) can take whatever the heck it wants without breaking continuity. 

So when is f(a) uniquely determined by continuity?

Definition. Let D be a subset of R. A real number a is called a point of accumulation (or cluster point, or limit point) if for every ε>0, there exists x\in D, x\ne a such that |x-a|<ε.

In short a is a point of accumulation if there are points of D which are arbitrarily close to it. E.g. in the above example D = (-\infty,-1)\cup\{0\}\cup(1,\infty), the point 0 is not a point of accumulation. On the other hand, -1 and +1 are points of accumulation even though they don’t lie in D. As a final example, for the set {1, 1/2, 1/3, … }, 0 is a point of accumulation.

The result we wish to prove is the following.

Definition. Let D be a subset of R and a be point of accumulation of D. If two functions

f, g:D\cup\{a\} \to \mathbf{R}

agree on D-{a} and are continuous at a, then f(a) = g(a).


If not, let ε = |f(a)-g(a)|/2. Then there exist positive δ1 and δ2 such that:

  • |x-a|<\delta_1 \implies |f(x)-f(a)|<\epsilon;
  • |x-a|<\delta_2 \implies |g(x)-g(a)|<\epsilon.

Since a is a point of accumulation, we can pick an x in D such that 0 < |xa| < min(δ1, δ2). This x satisfies f(x)=g(x) by condition, thus giving:

2\epsilon=|f(a)-g(a)| \le |f(a)-f(x)|+|f(x)-g(a)|=|f(a)-f(x)|+|g(x)-g(a)|<2\epsilon

which is absurd. ♦

Further Properties

As the reader may suspect, we also have the following properties: if f, g :D\to \mathbf{R} are both continuous at a, then

  • f+gD → R is continuous at a;
  • fg : D → R is continuous at a;
  • if f(a)≠0, then 1/fD’ → R is continuous at a, where D’ is the set of x in D for which f(x)≠0.

The proof is extremely similar to the case of limits, so we’ll skip it for now. The conscientious reader may want to prove the above results to convince himself/herself, but we’ll prove them as a corollary in the next article by looking at higher-dimensional continuity.

As a consequence, since constant functions f(x)=c and the identity function f(x)=x are both continuous at every point in R, so is any polynomial function.


  1. Prove that if a is not a point of accumulation of D, then any function f:D\cup\{a\} \to\mathbf{R} is automatically continuous at a.
  2. Prove that if f : (ca] → R is a function, where (ca] is the set of xcx ≤ a, then f is continuous at a if and only if \lim_{x\to a^-} f(x) = f(a).
  3. Let D → R be a function. Prove that f(x) is continuous at a if and only if for every sequence (xn) in D which converges to a, the sequence f(xn) also converges to f(a).

[ Answer for 3 (highlight to read). (1) Suppose LHS holds and (xn) → a. For any ε>0, pick δ>0 such that when |xa|<δ and x in D, |f(x)-f(a)|<ε. Now pick N such that when n>N, we have |xna|<δ. Hence when n>N, |f(xn)-f(a)|<ε. (2) Suppose f is not continuous at a. Take the negation of the definition of continuity: there exists ε>0 such that for any δ>0, we can find x in D, such that |xa|<δ but |f(x)-f(a)|≥ε. Let δ=1/n, for n=1,2,3,… and pick xn such that |xna|<1/n but |f(x)-f(a)|≥ε. Prove that (xn) → but f(xn) doesn’t converge to f(a). ]

This entry was posted in Notes and tagged , , , , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s