Skip to content

Mathematics · Ch 5 — Continuity and Differentiability

Continuity

5.2

Continuity

5.2 Continuity

Understanding Continuity Through Examples

Before we formalise the idea, consider two simple functions that illustrate what it means for a function to fail to be continuous at a point.

First example. Define

f(x)={1,if x≤02,if x>0f(x) = \begin{cases} 1, & \text{if } x \le 0 \\ 2, & \text{if } x > 0 \end{cases}

This function is defined at every real number. Its graph shows that for points near x=0x = 0 on the left — say −0.1-0.1, −0.01-0.01, −0.001-0.001 — the function value is 11. For points near 00 on the right — 0.10.1, 0.010.01, 0.0010.001 — the value is 22. The left-hand limit at 00 is 11, the right-hand limit is 22, and these do not match. The function value at x=0x = 0 is 11, which equals the left-hand limit but not the right-hand limit. If you try to draw this graph, you must lift your pen when you reach x=0x = 0 from the left. This is a function that is not continuous at x=0x = 0.

Second example. Now consider

f(x)={1,if x≠02,if x=0f(x) = \begin{cases} 1, & \text{if } x \ne 0 \\ 2, & \text{if } x = 0 \end{cases}

Here both the left-hand and right-hand limits at x=0x = 0 equal 11. But the function value at x=0x = 0 is 22, which does not match the common limit. Again, drawing the graph forces you to lift your pen at x=0x = 0. This is another instance of discontinuity at x=0x = 0.

Note

Informally, a function is continuous at a point if you can draw its graph near that point without lifting your pen. The precise mathematical definition captures this idea using limits.

Making the Idea Precise

We now turn this intuition into a precise statement. A function ff is continuous at a point cc of its domain when the limit of ff as x→cx \to c exists and equals the value of the function there, lim⁡x→cf(x)=f(c)\displaystyle \lim_{x \to c} f(x) = f(c); and ff is a continuous function when it is continuous at every point of its domain. The full statements — the three conditions that must hold at a point, and how continuity is read at the endpoints of a closed interval [a,b][a, b] — are set out in Definition 1 and Definition 2.

If any of the required conditions fails at cc, then ff is discontinuous at cc, and cc is called a point of discontinuity of ff.

Behaviour Near Zero — The Concept of Infinite Limits

For f(x)=1xf(x) = \frac{1}{x}, let us examine what happens as xx approaches 00. Tabulating the values for positive xx near 00 (see Table 5.1) shows that as xx gets closer to 00 from the right, f(x)f(x) grows without bound. We write

lim⁡x→0+f(x)=+∞\lim_{x \to 0^+} f(x) = +\infty

read as "the right-hand limit of f(x)f(x) at 00 is plus infinity". Doing the same for negative xx near 00 (see Table 5.2) shows that as xx approaches 00 from the left, f(x)f(x) becomes arbitrarily negative:

lim⁡x→0−f(x)=−∞\lim_{x \to 0^-} f(x) = -\infty …

Definition 1Continuity of a function at a point

Definition of Continuity at a Point

Let ff be a real function defined on a subset of R\mathbb{R}, and let cc be a point in the domain of ff.

Then ff is continuous at cc if:

lim⁡x→cf(x)=f(c)\lim_{x \to c} f(x) = f(c)

More elaborately, this means all three of the following conditions hold:

  1. f(c)f(c) is defined — the function has a value at x=cx = c.
  2. lim⁡x→cf(x)\displaystyle \lim_{x \to c} f(x) exists — both the left-hand limit lim⁡x→c−f(x)\displaystyle \lim_{x \to c^-} f(x) and the right-hand limit lim⁡x→c+f(x)\displaystyle \lim_{x \to c^+} f(x) exist and are equal.
  3. The limit equals the function value — lim⁡x→cf(x)=f(c)\displaystyle \lim_{x \to c} f(x) = f(c).

If any of these fails, ff is discontinuous at cc, and cc is called a point of discontinuity.


Intuition

A function is continuous at a point if you can draw its graph without lifting your pen near that point — there is no sudden jump, hole, or break.


Tiny Concrete Example

Let f(x)=2x+3f(x) = 2x + 3. At x=1x = 1: …

Definition 2Continuous function (on its domain)

Definition of Continuity (Global)

A real function ff is said to be continuous if it is continuous at every point in its domain.

This means:

  • For every point cc in the domain of ff, the condition

lim⁡x→cf(x)=f(c)\lim_{x \to c} f(x) = f(c)

must hold.

  • Equivalently, at each cc, the left-hand limit, right-hand limit, and the value of the function must all exist and be equal.

Special cases for closed intervals [a,b][a, b]:

  • At the left endpoint aa, continuity means lim⁡x→a+f(x)=f(a)\displaystyle \lim_{x \to a^+} f(x) = f(a).
  • At the right endpoint bb, continuity means lim⁡x→b−f(x)=f(b)\displaystyle \lim_{x \to b^-} f(x) = f(b).
  • Limits from outside the interval do not apply.

If the domain is a single point, the function is automatically continuous there.


Intuition

A function is continuous if you can draw its entire graph without lifting your pen — no breaks, jumps, or holes anywhere in the domain.

--- …

Figure 5.1Graph of a step function: f(x)=1 for x≤0, f(x)=2 for x>0, showing a jump discontinuity at x=0
Fig. 5.1 — Graph of a step function: f(x)=1 for x≤0, f(x)=2 for x>0, showing a jump discontinuity at x=0

Drawn by us to help you understand the concept clearly, and verified to make sure it's accurate. For exams, practice from your textbook's own diagram.

Fig 5.1 is the first visual the textbook uses to introduce the idea of continuity. It plots a simple step function on the standard X′XX'X/Y′YY'Y Cartesian axes, with the origin labelled OO. The function is defined piecewise:

f(x)={1,x≤02,x>0f(x) = \begin{cases} 1, & x \le 0 \\[4pt] 2, & x > 0 \end{cases}

The graph shows two horizontal line segments. For x≤0x \le 0, there is an indigo segment at height y=1y = 1 that ends with a solid dot at the point (0,1)(0,1) — this dot means the function actually takes the value 11 at x=0x = 0. For x>0x > 0, a separate indigo segment sits at height y=2y = 2, but it begins with an open circle at (0,2)(0,2) — that open circle tells you the function does not take the value 22 at x=0x = 0; the point (0,2)(0,2) is not on the graph. The two levels do not meet; there is a clear vertical gap, a jump, at x=0x = 0.

The physical idea is immediate: as you move along the xx-axis from left to right, the function's value stays at 11 until you reach 00, then it suddenly leaps to 22. If you try to draw this graph with a pen, you must lift the pen off the paper at x=0x = 0 to jump from the lower segment to the upper one — you cannot trace the whole curve in one continuous stroke. That lifting of the pen is the intuitive signal that the function is not continuous at x=0x = 0.

The textbook uses this figure to ground the formal definition of continuity. It observes that the left-hand limit of ff at 00 is 11 (because points like −0.1,−0.01,−0.001-0.1, -0.01, -0.001 all give f(x)=1f(x) = 1), while the right-hand limit is 22 (points like 0.1,0.01,0.0010.1, 0.01, 0.001 give f(x)=2f(x) = 2). Since these two one-sided limits are different, the ordinary limit lim⁡x→0f(x)\lim_{x \to 0} f(x) does not exist. The value of the function at x=0x = 0 is f(0)=1f(0) = 1, which happens to equal the left-hand limit but not the right-hand limit. The formal condition for continuity at a point cc is:

lim⁡x→cf(x)=f(c)\lim_{x \to c} f(x) = f(c)

Equivalently, all three numbers — left-hand limit, right-hand limit, and the function value — must exist and be equal. Here, the left-hand limit (11) and right-hand limit (22) are unequal, so the limit does not exist, and the equality fails. Hence ff is discontinuous at x=0x = 0, and x=0x = 0 is called a point of discontinuity. …

Figure 5.2Graph of f(x)=1 for x≠0 and f(x)=2 at x=0, illustrating a removable discontinuity where the limit exists but does not equal the function value
Fig. 5.2 — Graph of f(x)=1 for x≠0 and f(x)=2 at x=0, illustrating a removable discontinuity where the limit exists but does not equal the function value

Drawn by us to help you understand the concept clearly, and verified to make sure it's accurate. For exams, practice from your textbook's own diagram.

Fig 5.2 is a simple but powerful picture of a function that is defined at every point yet still fails to be continuous. The axes are the standard Cartesian axes with origin O. A single horizontal line at y=1y = 1 stretches across the entire width of the graph, with arrowheads at both ends to show it continues indefinitely. But this line is broken: there is an open circle (a hole) at the point (0,1)(0, 1). Separately, a solid dot sits directly above that hole at (0,2)(0, 2).

The function being graphed is

f(x)={1,x≠02,x=0f(x) = \begin{cases} 1, & x \neq 0 \\ 2, & x = 0 \end{cases}

The horizontal line at y=1y = 1 represents all points where x≠0x \neq 0 — every real number except zero gives an output of 1. The open circle at (0,1)(0, 1) tells you that the function does not take the value 1 at x=0x = 0, even though the points arbitrarily close to 0 from both sides do. The solid dot at (0,2)(0, 2) is the actual value of the function at x=0x = 0: f(0)=2f(0) = 2.

The physical idea is that the left-hand limit and the right-hand limit both exist and are equal — both are 1 — but the function's value at the point is different. The common limit exists (lim⁡x→0f(x)=1\lim_{x \to 0} f(x) = 1), yet f(0)=2≠1f(0) = 2 \neq 1. This is a removable discontinuity: you could "fix" the function by redefining f(0)f(0) to be 1, and the graph would become a continuous horizontal line. The hole-and-dot picture makes this instantly visible — the function jumps up to 2 at exactly one isolated point.

Watch out

A common mistake is to think that if the left and right limits are equal, the function must be continuous. Fig 5.2 shows this is false: the limits can match, but if the function value at that point is different, continuity fails. The definition requires lim⁡x→cf(x)=f(c)\lim_{x \to c} f(x) = f(c), not just that the limit exists.

The key formula the textbook develops with this figure is the formal definition of continuity at a point: …

Figure 5.3Graph of the reciprocal function y=1/x, with branches in the first and third quadrants approaching the x-axis and y-axis asymptotically near x=0
Fig. 5.3 — Graph of the reciprocal function y=1/x, with branches in the first and third quadrants approaching the x-axis and y-axis asymptotically near x=0

Drawn by us to help you understand the concept clearly, and verified to make sure it's accurate. For exams, practice from your textbook's own diagram.

Fig 5.3 is the graph of the reciprocal function f(x)=1xf(x) = \frac{1}{x}, drawn for x≠0x \neq 0. The plot has two separate hyperbolic branches, one in the first quadrant and one in the third quadrant, each shown in indigo. The horizontal axis is the xx-axis and the vertical axis is the yy-axis. On the yy-axis, ticks are marked at 1,2,31, 2, 3 and −1,−2,−3-1, -2, -3.

The first-quadrant branch passes through the points (13,3)\left(\frac13, 3\right), (12,2)\left(\frac12, 2\right), (1,1)(1, 1), and (2,12)(2, \frac12). As xx increases beyond 22, the curve falls toward the xx-axis without ever touching it. As xx approaches 00 from the right, the curve rises steeply toward the yy-axis, again without touching it. The third-quadrant branch is the mirror image through the origin: it passes through (−2,−12)\left(-2, -\frac12\right), (−1,−1)(-1, -1), (−12,−2)\left(-\frac12, -2\right), and (−13,−3)\left(-\frac13, -3\right). As xx moves leftward from −2-2, the curve approaches the xx-axis from below; as xx approaches 00 from the left, the curve plunges downward toward the yy-axis.

The central idea this figure teaches is the behaviour of a function near a point where it is not defined — here, x=0x = 0. The textbook uses the graph to illustrate the concepts of infinite limits. As xx gets closer to 00 from the right, the value of f(x)f(x) grows without bound. In symbols:

lim⁡x→0+1x=+∞\lim_{x \to 0^+} \frac{1}{x} = +\infty

As xx approaches 00 from the left, the value becomes arbitrarily negative:

lim⁡x→0−1x=−∞\lim_{x \to 0^-} \frac{1}{x} = -\infty

Watch out

Neither +∞+\infty nor −∞-\infty is a real number. These statements mean that the limit does not exist as a finite real number — the function simply grows or decreases without bound. Do not treat ∞\infty as a number you can do arithmetic with.

The figure also makes clear that the xx-axis (y=0y = 0) and the yy-axis (x=0x = 0) are asymptotes: the curve gets arbitrarily close to each axis but never crosses it. This is the geometric reason why f(x)=1xf(x) = \frac{1}{x} is continuous at every point in its domain (all real numbers except 00), but has a vertical asymptote at x=0x = 0 where it is not defined and therefore not continuous.

f(x)=1x,x≠0f(x) = \frac{1}{x}, \quad x \neq 0 …

Table 5.1Values of f(x) = 1/x as x approaches 0 from the right

| xx | 11 | 0.30.3 | 0.20.2 | 0.1=10−10.1=10^{-1} | 0.01=10−20.01=10^{-2} | 0.001=10−30.001=10^{-3} | 10−n10^{-n} |

|---|---|---|---|---|---|---|---| …

Table 5.2Values of f(x) = 1/x as x approaches 0 from the left

| xx | −1-1 | −0.3-0.3 | −0.2-0.2 | −10−1-10^{-1} | −10−2-10^{-2} | −10−3-10^{-3} | −10−n-10^{-n} |

|---|---|---|---|---|---|---|---| …