Skip to content

Mathematics · Ch 17 — Continuity

Definition of Continuity

17.1.2

Definition of Continuity

Putting together the three requirements noticed in 8.1.1, a function f(x)f(x) is said to be continuous at a point x=ax=a if all three of the following conditions hold:

  1. ff is defined at every point of some open interval containing aa (so f(a)f(a) itself is defined);
  2. lim⁡x→af(x)\displaystyle\lim_{x\to a} f(x) exists;
  3. lim⁡x→af(x)=f(a)\displaystyle\lim_{x\to a} f(x) = f(a). Condition (iii) can be restated in a single equivalent line: f(x)f(x) is continuous at x=ax=a if it is defined in some neighbourhood of aa and

    lim⁡h→0[f(a+h)−f(a)]=0.\lim_{h\to0}\big[f(a+h)-f(a)\big]=0.

    This says exactly the same thing — as the step hh away from aa shrinks to zero, the change in the function's value must also shrink to zero, i.e. there is no sudden jump right at aa. Illustration 1. Let f(x)=∣x∣f(x)=|x|, defined on all of R\mathbb{R} (Fig. 8.4), so that f(x)=−xf(x)=-x for x<0x<0 and f(x)=xf(x)=x for x≥0x\ge0. Then

    lim⁡x→0−f(x)=lim⁡x→0(−x)=0,lim⁡x→0+f(x)=lim⁡x→0(x)=0,\lim_{x\to0^-} f(x)=\lim_{x\to0}(-x)=0,\qquad \lim_{x\to0^+} f(x)=\lim_{x\to0}(x)=0,

    so both one-sided limits agree and lim⁡x→0f(x)=f(0)=0\displaystyle\lim_{x\to0} f(x)=f(0)=0. Hence f(x)=∣x∣f(x)=|x| is continuous at x=0x=0. …
Figure 8.4Fig. 8.4 – graph of f(x) = |x|

What this figure shows. A V-shaped graph with its vertex sitting exactly at the origin: the left arm is the line y=−xy=-x for x<0x<0 falling into the origin, and the right arm is the line y=xy=x for x≥0x\ge0 rising away from it, the two arms meeting at a single sharp point with no gap, hole or jump anywhere – illustrating Illustration 1's conti …