Unit 2, lesson 14

Continuous Functions

What it means for a function to be continuous at a point, at an endpoint of its domain and on a whole interval, stated with limits and checked on concrete functions.

  • Theory part 27
  • Practice part 28
  • Continuity of a Function

Theory, part 27

Nothing loads from YouTube until you press play.

Practice, part 28

A thermometer reading changes smoothly through the day. It never leaps from 12 degrees to 15 degrees without passing every value in between. Continuity is the precise version of that idea. It says the value of a function at a point is exactly what the nearby values are heading toward, so small changes in the input never cause a sudden jump in the output.

Key terms

Interior points and endpoints

Definition Let DD be a set of real numbers. A point c∈Dc \in D is an interior point of DD if some open interval around it lies in DD, that is, if there is r>0r > 0 with (c−r,c+r)⊆D(c - r, c + r) \subseteq D. A point c∈Dc \in D is a left endpoint of DD if there is r>0r > 0 with [c,c+r)⊆D[c, c + r) \subseteq D and (c−r,c)∩D=∅(c - r, c) \cap D = \varnothing. It is a right endpoint of DD if there is r>0r > 0 with (c−r,c]⊆D(c - r, c] \subseteq D and (c,c+r)∩D=∅(c, c + r) \cap D = \varnothing.

In plain words At an interior point you can move a little in both directions and stay in the domain. At an endpoint the domain stops on one side.

Example The domain of f(x)=xf(x) = \sqrt{x} is D=[0,∞)D = [0, \infty). The point 00 is a left endpoint, because [0,1)⊆D[0, 1) \subseteq D and no negative number is in DD. Every c>0c > 0 is an interior point, since (c−c/2,c+c/2)⊆D(c - c/2, c + c/2) \subseteq D.

Continuity at a point

Definition Let ff be defined on an open interval containing cc. Then ff is continuous at cc if

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

This packs three conditions into one line. The value f(c)f(c) is defined, the limit lim⁡x→cf(x)\lim_{x \to c} f(x) exists as a finite number, and the two are equal. In terms of ε\varepsilon and δ\delta, it says that for every ε>0\varepsilon > 0 there is δ>0\delta > 0 such that

∣x−c∣<δ  ⟹  ∣f(x)−f(c)∣<ε.\lvert x - c \rvert < \delta \implies \lvert f(x) - f(c) \rvert < \varepsilon.

In plain words You can predict f(c)f(c) from the values of ff near cc, and the prediction is right.

Example Let

f(x)={x2−4x−2,x≠2,4,x=2.f(x) = \begin{cases} \dfrac{x^2 - 4}{x - 2}, & x \neq 2, \\ 4, & x = 2. \end{cases}

For x≠2x \neq 2 the formula simplifies to x+2x + 2, so lim⁡x→2f(x)=4\lim_{x \to 2} f(x) = 4. Since f(2)=4f(2) = 4 as well, ff is continuous at 22. If instead we had set f(2)=5f(2) = 5, the limit would still be 44 but it would no longer match the value, and ff would not be continuous at 22.

Left and right continuity

Definition Let ff be defined on an interval (c−r,c](c - r, c] for some r>0r > 0. Then ff is continuous from the left at cc if

lim⁡x→c−f(x)=f(c).\lim_{x \to c^-} f(x) = f(c).

Let ff be defined on [c,c+r)[c, c + r) for some r>0r > 0. Then ff is continuous from the right at cc if

lim⁡x→c+f(x)=f(c).\lim_{x \to c^+} f(x) = f(c).

When ff is defined on an open interval around cc, it is continuous at cc exactly when it is continuous from both the left and the right at cc.

In plain words Left continuity only looks at inputs slightly smaller than cc. Right continuity only looks at inputs slightly larger.

Example The floor function ⌊x⌋\lfloor x \rfloor gives the greatest integer less than or equal to xx. At c=1c = 1 we have ⌊1⌋=1\lfloor 1 \rfloor = 1. For xx just above 11 the value is 11, so lim⁡x→1+⌊x⌋=1\lim_{x \to 1^+} \lfloor x \rfloor = 1 and the function is continuous from the right at 11. For xx just below 11 the value is 00, so the left limit is 0≠10 \neq 1 and it is not continuous from the left there.

Continuity relative to the domain

Definition Let ff have domain DD and let c∈Dc \in D. Then ff is continuous at cc if for every ε>0\varepsilon > 0 there is δ>0\delta > 0 such that

x∈D and ∣x−c∣<δ  ⟹  ∣f(x)−f(c)∣<ε.x \in D \text{ and } \lvert x - c \rvert < \delta \implies \lvert f(x) - f(c) \rvert < \varepsilon.

At an interior point of DD this is the same as lim⁡x→cf(x)=f(c)\lim_{x \to c} f(x) = f(c). At a left endpoint it is the same as continuity from the right, and at a right endpoint the same as continuity from the left. A function is called continuous, with no interval mentioned, when it is continuous at every point of its domain.

In plain words Only inputs that are actually in the domain count. Continuity is a question about points of the domain, so at a point where ff is not defined the question of continuity is never asked.

Example The function g(x)=1xg(x) = \frac{1}{x} has domain D={x∣x≠0}D = \{x \mid x \neq 0\}, and every point cc of DD is interior with

lim⁡x→c1x=1c=g(c).\lim_{x \to c} \frac{1}{x} = \frac{1}{c} = g(c).

So gg is a continuous function, even though its graph breaks at x=0x = 0. The break happens at a point outside DD. The next lesson still calls 00 a discontinuity of gg, because the word discontinuity is used for gaps in the domain as well. Both statements are true together, since being a continuous function only concerns points of DD. Likewise x\sqrt{x} is continuous at its left endpoint 00, because lim⁡x→0+x=0=0\lim_{x \to 0^+} \sqrt{x} = 0 = \sqrt{0}.

Continuity on an interval

Definition Let II be an interval contained in the domain of ff. Then ff is continuous on II if it is continuous at every interior point of II, continuous from the right at the left endpoint of II if that endpoint belongs to II, and continuous from the left at the right endpoint of II if that endpoint belongs to II.

In plain words Check every point of the interval. Inside, use the two-sided limit. At an endpoint that is included, only look from inside the interval.

Example The floor function is continuous on [0,1)[0, 1), because it equals 00 there. It is not continuous on [0,1][0, 1], because at the included right endpoint 11 the left limit is 00 while ⌊1⌋=1\lfloor 1 \rfloor = 1. As a second example, h(x)=1−x2h(x) = \sqrt{1 - x^2} is continuous on [−1,1][-1, 1]. For −1<c<1-1 < c < 1 the limit laws for roots give

lim⁡x→c1−x2=1−c2=h(c),\lim_{x \to c} \sqrt{1 - x^2} = \sqrt{1 - c^2} = h(c),

and at the ends the one-sided limits match the values,

lim⁡x→−1+h(x)=0=h(−1),lim⁡x→1−h(x)=0=h(1).\lim_{x \to -1^+} h(x) = 0 = h(-1), \qquad \lim_{x \to 1^-} h(x) = 0 = h(1).

Check yourself

  1. Find the value of kk that makes f(x)=3x−1f(x) = 3x - 1 for x<2x < 2 and f(x)=kx2f(x) = kx^2 for x≥2x \ge 2 continuous at 22.
Show the answer

The left limit is 3⋅2−1=53 \cdot 2 - 1 = 5. The right limit and the value are both 4k4k. Continuity needs 4k=54k = 5, so k=54k = \frac{5}{4}.

  1. Is f(x)=x−3f(x) = \sqrt{x - 3} continuous at x=3x = 3?
Show the answer

Yes. The domain is [3,∞)[3, \infty) and 33 is its left endpoint, so only right continuity is needed. Since lim⁡x→3+x−3=0=f(3)\lim_{x \to 3^+} \sqrt{x - 3} = 0 = f(3), the function is continuous at 33.

  1. On which of the intervals [1,2)[1, 2) and [1,2][1, 2] is ⌊x⌋\lfloor x \rfloor continuous?
Show the answer

It is continuous on [1,2)[1, 2), where it is constantly 11. It is not continuous on [1,2][1, 2], because at 22 the left limit is 11 while ⌊2⌋=2\lfloor 2 \rfloor = 2.

How this lesson connects

It also uses functions and domains.