3.4  CONTINUITY

Intuitively, a curve y= f(x) is continuous if it forms an unbroken line, that is, whenever x1 is close to x2, f(x1) is close to f(x2). To make this intuitive idea into a mathematical definition, we substitute “ infinitely close “ for “close”.

DEFINITION

   f is said to be continuous at a point c if:

   (i)  f is defined at c;

   (ii)  whenever x is infinitely close to c, f(x) is infinitely close to f(c).

If f is not continuous at c it is said to be discontinuous at c.

When f is continuous at c, the entire part of the curve where x ≈ c will be visible in an infinitesimal microscope aimed at the point (c, f(c)), as shown in Figure 3.4.1(a). But if f is discontinuous at c, some values of f(x) where x ≈ c will either be undefined or outside the range of vision of the microscope, as in Figure 3.4.1(b).

Continuity, like the derivative, can be expressed in terms of limits. Again the proof is immediate from the definitions.

                      (a)  f  continuous at c

Figure 3.4.1                     (b) f discontinuous at c

THEOREM 1

f is continuous at c if and only if

As an application, we have a set of rules for combining continuous functions. They can be proved either by the corresponding rules for limits ( Table 3.3.1 in Section 3.3) or by computing standard parts.

THEOREM  2

     Suppose f and g are continuous at c.

(i) For any constant k, the function k· f (x) is continuous at c .

(ii) f(x ) + g(x) is continuous at c.

(iii) f(x) ·g(x)  is continuous at c.

(iv) If g(c) ≠ 0, then f(x)/g(x) is continuous at c.

(v) If f(c) is positive and n is an integer, then _______ is continuous at c.

By repeated use of Theorem 2, we see that all of the following functions are continuous at c.

Every polynomial function.

Every rational function f(x)/ g(x), where f(x) and g(x) are polynomials and g(c) ≠ 0.

The functions f(x) = x r ,  r rational and x positive.

Sometimes a function f(x ) will be undefined at a point x= c while the limit

exists. When this happens, we can make the function continuous at c by defining f(c)=L.

EXAMPLE 1    Let   

   At any point c ≠ 1, f is continuous. But f(1) is undefined so f is discontinuous at 1. However,

   We can make f continuous at 1 by defining

     (See Figure 3.4.2)

In terms of a dependent variable y= f(x), the definition of continuity takes the following form, where Δy=f(c+ Δx) - f(c).

y is continuous at x=c if;

(i) y is defined at x=c.

(ii) whenever Δx is infinitesimal, Δ y is infinitesimal.

Figure 3.4.2

To summarize, given a function y=f(x) defined at x=c, all the statements below are equivalent.

(1)  f is continuous at c.

(2)  Whenever x≈ c, f(x) ≈ f(c).

(3)  Whenever st(x)= c, st(f(x))=f(c).

(4)

(5) y is continuous at x=c.

(6) Whenever Δx is infinitesimal, Δy is infinitesimal.

Our next theorem is that differentiability implies continuity. That is, the set of differentiable functions at c is a subset of the set of continuous functions at c. (See Figure 3.4.3)

Figure 3.4.3

THEOREM 3

     If f is differentiable at c then f is continuous at c.

PROOF  Let y=f(x), and let Δx be a nonzero infinitesimal. Then Δy/Δx is infinitely close to f ′(c) and is therefore finite. Thus Δy=Δx(Δy/Δx) is the product of an infinitesimal and a finite number, so Δy is infinitesimal.

For example, the transcendental functions sin x, cos x, ex are continuous for all x, and 1n x is continuous for x > 0. Theorem 3 can be used to show that combinations of these functions are continuous.

EXAMPLE  2  Find as large a set as you can on which the function

                   is continuous.

sin x is continuous for all x. 1n (x+1) is continuous whenever x+1>0, that is, x > -1. The numerator sin x 1n(x+1) is thus continuous whenever x > -1. The denominator x² -4 is continuous for all x but is zero when x= + 2. Therefore f(x) is continuous whenever x > -1 and x≠ 2.

The next two examples give functions which are continuous but not differentiable at a point c.

EXAMPLE 3

The function y= x 1/3 is continuous but not differentiable at x=0. (See Figure 3.4.4(a).)

We have seen before that it is not differentiable at x=0. It is continuous because if Δx is infinitesimal then so is

Δy = (0+Δx)1/3 - 0 1/3 = (Δx) 1/3

EXAMPLE  4

The absolute value function y=|x| is continuous but not differentiable at the point x= 0.

(See Figure 3.4.4(b).)

We have already shown that the derivative does not exist at x=0. To see that the function is continuous, we note that for any infinitesimal x,

Δy=|0+ Δx| - |0 |= |Δx|

   and thus y is infinitesimal.

The path of a bouncing ball is a series of parabolas shown in Figure 3.4.5. The curve is continuous everywhere. At the points a1, a2, a3, …… Where the ball bounces, the curve is continuous but not differentiable. At other points , the curve is both continuous and differentiable.

In the classical kinetic theory of gases, a gas molecule is assumed to be moving at a constant velocity in a straight line except at the instant of time when it collides with another molecule or the wall of the container. Its path is then a broken line in space, as in Figure 3.4.6.

Figure 3.4.5  Path of Bouncing Ball

Figure 3.4.6

The position in three dimensional space at time t can be represented by three functions

x= f(t),  y=g(t),  z=h(t).

All three functions, f, g, and h are continuous for all values of t. At the time t of a collision, at least one and usually all three derivatives dx/ dt, dy/dt, dx/dt will be undefined because the speed or direction of the molecule changes abruptly. At any other time t, when no collision is taking place, all the three derivatives dx/dt, dy/dt, dz/dt will exist.

The functions we shall ordinarily encounter in this book will be defined and have a derivative at all but perhaps a finite number of points of an interval. The graph of such a function will be a smooth curve where the derivative exists.

At points where the curve has a sharp corner (like 0 in| x| ) or a vertical tangent line (like 0 in x1/3), the function is continuous but not differentiable (see Figure 3.4.7). At points where the function is undefined or there is a jump, or the value approaches infinity or oscillates wildly, the function is discontinuous (see Figure 3.4.8).

Figure 3.4.7               Points where f is continuous but nondifferentiable

Figure 3.4.8                    Points where f is discontinuous

The next theorem is similar to the Chain Rule for derivatives.

THEOREM  4 

  If f is continuous at c and G is continuous at f(c), then the function

   g(x) =G(f(x))

  is also continuous at c. That is, a continuous function of a continuous function is continuous.

PROOF  Let x be infinitely close to but not equal to c. Then

   st(g(x))= st( G(f(x))) = G(st(f(x))) = G(f(c)) = g(c).

        For example , the following functions are continuous;

Here are two examples illustrating two types of discontinuities.

EXAMPLE 5  The function  

is continuous at every real point except x= 1 and x=2.

At these two points g(x) is undefined (Figure 3.4.9).

EXAMPLE 6  The greatest integer function [x], shown in Figure 3.4.10, is defined by

[x] = the greatest integer n such that n ≤ x.

Figure 3.4.9

Figure 3.4.10

if  -2 ≤_x< -1, and so on. For example,

         [ 7.362] = 7, [ π ] = 3,  [ -2.43] = -3.

For each integer n, [n] is equal to n. The function [x] is continuous when x is not an integer but is discontinuous when x is an integer n. At an integer n, both one- sided limits exist but are different,

The graph of [x] looks like a staircase. It has a step, or jump discontinuity, at each integer n. The function [x] will be useful in the last section of this chapter. Some hand calculators have a key for either the greatest integer function or for the similar function that gives [x] for positive x and

[x] + 1 for negative x.     

Functions which are ‘ continuous on an interval’ will play an important role in this chapter. Intervals were discussed in section 1.1. Recall that closed intervals have the form

                          [ a, b],

Open intervals have one of the forms.

                (a,b),  ( a,∞ ), ( -∞ , b),   ( - ∞ , ∞ ),

and half-open intervals have one of the forms

                (a,b),  ( a,b ), ( a , ∞),   ( - ∞ , b ),

In these intervals, a is called the lower endpoint and b, the upper endpoint. The symbol -∞ indicates that there is no lower endpoint, while ∞ indicates that there is no upper endpoint.

DEFINITION

We say that f is continuous on an open interval I if f is continuous at every point c in I. If in addition f has a derivative at every point of I, we say that f is differentiable on I.

To define what is meant by a function continuous on a closed interval, we introduce the notions of continuous from the right and continuous from the left, using one-sided limits.

DEFINITION

f is continuous from the right at c if

  f is continuous from the left at c if

EXAMPLE 6 (Continued )

The greatest integer function f(x) = [x] is continuous from the right but not form the left at each

integer n because

              [ n] = n, 

It is easy to check that f is continuous at c if and only if f is continuous from both the right and left at c.

DEFINITION

f is said to be continuous on the closed interval [a, b] if f is continuous at each point c where a<c<b, continuous from the right at a, and continuous from the left at b.

Figure 3.4.11 shows a function f continuous on [a, b].

EXAMPLE 7  The semicircle

Shown in Figure 3.4.12, is continuous on the closed interval [ -1, 1] . It is

Figure 3.4.11

Figure 3.4.12

differentiable on the open interval (-1,1). To see that it is continuous from the right at x= -1, let Δx be positive infinitesimal. Then

Thus                   

The number inside the radical is positive infinitesimal, so Δy is infinitesimal. This shows that the function is continuous from the right at x= -1. Similar reasoning shows it is continuous from the left at x= 1.

PROBLEMS  FOR  SECTION 3.4

In Problems 1-17, find the set of all points at which the function is continuous.

1  f(x) = 3 x² + 5x+ 4            2 

17

18 Show that f(x)= ______ is continuous from the right at x=0.

19 Show that f(x)= ______ is continuous from the left at x=1.

20 Show that f(x)= ______ is continuous on the closed interval [ -1, 1].

21 Show that f(x)= ______ is continuous on the closed interval [ 0, 2].

22 Show that f(x)= ______ is continuous on the closed interval [ -3, 3].

23 Show that f(x)= ______ is continuous on the half - open interval [ ∞, -3] and [3,∞).

□24 Suppose the function f(x) is continuous on the closed interval [a, b]. Show that there is a

     function g(x) which is continuous on the whole real line and has the value

     g(x) = f(x) for x in [a, b].

□25 Suppose

Prove that the function g(x), defined by g(x) = f(x) for x≠ c and g(x) = L for x= c , is

continuous at c.

  26 In the curve y=f(x) illustrated below, identify the points x=c where each of the following

     happens:

(a)   f is discontinuous at x=c

(b)   f is continuous but not differentiable at x= c.