Analog Computers

Reference / Paper · 2000

Limits And The Notion Of Continuity

Read the PDF (18 pp) ↗

Section 2.3 of Dan Sloughter's open calculus text 'Difference Equations to Differential Equations,' covering the formal definition of limits for real-valued functions, one-sided limits, limits at infinity, and the notion of continuity. The section introduces the Heaviside function and piecewise examples to illustrate discontinuities, derives limit laws for polynomials and rational functions, and treats vertical and horizontal asymptotes via limit notation. Eighteen pages of exposition and problems are included.

Manufacturer
Open Calculus
Author
Dan Sloughter
Year
2000
Type
Reference / Paper
Language
English
Learning track
general theory
Pages
18
Credit
Copyright 2000 by Dan Sloughter
  • Open Calculus
  • limits
  • continuity
  • calculus
  • real analysis

← Back to the Reference Library

Limits And The Notion Of Continuity

Section 2.3 Difference Equations to Differential Equations Limits And The Notion Of Continuity Of particular interest in mathematics and its applications to the physical world are functional relationships in which the dependent variable changes continuously with changes in the independent variable. Intuitively, changing continuously means that small changes in the independent variable do not produce abrupt changes in the dependent variable. For example, a small change in the radius of a circle does not produce an abrupt change in the area of the circle; we would say that the area of the circle changes continuously with the radius of the circle. Similarly, a small change in the height from which some object is dropped will result in a related small change in the object’s terminal velocity; hence terminal velocity is a continuous function of height. On the other hand, when an electrical switch is closed, there is an abrupt change in the current flowing through the circuit; the current flow through the circuit is not a continuous function of time. The purpose of this section is to introduce the terminology and concepts that will give us a proper mathematical basis for discussing continuity in the next section. To begin our study of continuity, we will first look at two examples of functions which are not continuous. In this way we will discover what properties to exclude when forming our definition of a continuous function. Example Consider the function H defined by  0, if t < 0, H(t) = 1, if t ≥ 0. (2.3.1) This function, known as the Heaviside function, might be used in connection with modeling the current passing through a switch which is open until time t = 0 and then closed. The graph of this function consists of two horizontal half-lines with a vertical gap of unit length at the origin, as shown in Figure 2.3.1. Since this function has a break in its graph at 0, its output changes abruptly as t passes from negative values to positive values. In fact, if t < 0, H(t) = 0 no matter how close t is to 0, whereas if t > 0, H(t) = 1 no matter how close t is to 0. Hence, near 0, small changes in t may result in sudden changes in H(t). We say that H has a discontinuity at t = 0. In this section we will develop the language and notation necessary to describe this situation mathematically. In particular, note that for any sequence {tn } with tn < 0 for all n and lim tn = 0, we have n→∞ lim H(tn ) = 0 n→∞ since H(tn ) = 0 for all n. We say that the limit of H(t) as t approaches 0 from the left is 0, which we denote by lim H(t) = 0. t→0− 1 Copyright c by Dan Sloughter 2000 2 Limits And The Notion Of Continuity Section 2.3 2 1.5 1 0.5 -4 2 -2 4 -0.5 -1 Figure 2.3.1 Graph of the Heaviside function However, for any sequence {tn } with tn > 0 for all n and lim tn = 0, we have n→∞ lim H(tn ) = 1 n→∞ since H(tn ) = 1 for all n. We say that the limit of H(t) as t approaches 0 from the right is 1, which we denote by lim+ H(t) = 1. t→0 Since these two limiting values do not agree, we say that H(t) does not have a limit as t approaches 0. Hence, in this case, the discontinuity of H at 0 is characterized by the absence of a limiting value for H(t) at 0. In the next section we will make the existence of a limiting value one of the criteria for a function to be continuous at a point. Example Now consider the function ( g(x) = −x, if x < 0, 1, if x = 0, x, if x > 0. As with the previous example, this function does not change continuously as x passes from negative to positive values. However, the discontinuity arises in a different manner. Note that if {xn } is a sequence with xn < 0 for all n and lim xn = 0, then n→∞ lim g(xn ) = lim (−xn ) = − lim xn = 0. n→∞ n→∞ n→∞ Thus lim g(x) = 0. x→0− Similarly, if {xn } is a sequence with xn > 0 for all n and lim xn = 0, then n→∞ lim g(xn ) = lim xn = 0. n→∞ n→∞ Section 2.3 Limits And The Notion Of Continuity 3 5 4 3 2 1 -6 -4 2 -2 4 6 Figure 2.3.2 Graph of y = g(x) Thus lim g(x) = 0. x→0+ Hence in this case g(x) does have a limiting value as x approaches 0 and we can write lim g(x) = 0. x→0 However, there is still an sudden change in the value of the function at 0 because g(0) = 1, not 0. Graphically, this shows up as a hole in the graph of g at the origin, as shown in Figure 2.3.2. Thus the abrupt change in values of g(x) results not from the lack of a limiting value as x approaches 0, but rather from the fact that g(0) = 1 6= 0 = lim g(x). x→0 This illustrates another type of behavior that we will have to exclude in our definition of continuity. These examples illustrate two ways in which a function may fail to be continuous. The definition which we will discuss in Section 2.4 essentially says that a function is continuous if it does not have either of the problems that we have seen with H and g. However, before pursuing this question further, we must first introduce the notion of a limit for a function defined on an interval of real numbers. We have already seen the pattern for this definition in the previous examples. Namely, in order to define, for some function f , the limit of f (x) as x approaches some number c, we consider sequences {xn } that converge to c and ask if the sequence {f (xn )} has a limit. Hence we reduce our new question to the old problem of limits of sequences that we considered back in Section 1.2. However, we must be careful about two points. First, there will always be more than one sequence {xn } which converges to a given point c. As we saw in the examples, in order to understand the behavior of a function near c, we must take into account how the function behaves on all possible sequences that converge to c. Second, we want the limit to describe what is 4 Limits And The Notion Of Continuity Section 2.3 happening to the function for values of x close to c, but not equal to c. Thus we must restrict the sequences {xn } to those for which xn 6= c for all values of n. With these ideas in mind, we now have the following definition. Definition Let I be an open interval and let c be a point in I. Let J be the set consisting of all points of I except the point c; that is, J = {x | x is in I, x 6= c}. Suppose J is in the domain of the function f . We say the limit of f (x) as x approaches c is L, denoted lim f (x) = L, x→c (2.3.2) if for every sequence {xn } of points in J we have lim f (xn ) = L (2.3.3) lim xn = c. (2.3.4) n→∞ whenever n→∞ In other words, to determine the value of lim f (x), we ask for the limit of the sequence x→c {f (xn )}, where {xn } is any sequence in J which is approaching c. If {f (xn )} approaches L for all such sequences , then L is the limit of f (x) as x approaches c. We define one-sided limits in a similar fashion. Namely, if J is an open interval of the form (c, b) in the domain of f , then we say the limit of f (x) as x approaches c from the right is L, denoted lim+ f (x) = L, (2.3.5) x→c if for every sequence {xn } of points in J we have lim f (xn ) = L (2.3.6) lim xn = c. (2.3.7) n→∞ whenever n→∞ Similarly, if J is an open interval of the form (a, c) in the domain of f , then we say the limit of f (x) as x approaches c from the left is L, denoted lim f (x) = L, x→c− (2.3.8) if for every sequence {xn } of points in J we have lim f (xn ) = L (2.3.9) lim xn = c. (2.3.10) n→∞ whenever n→∞ Section 2.3 Limits And The Notion Of Continuity 5 Note that the existence of a one-sided limit only requires that the limiting value of {f (xn )} be the same for all sequences {xn } which approach c from the same side, whereas the existence of a limit requires that the limiting value of be the same for all sequences {xn } which approach c. In particular, this means that if lim f (x) = L x→c then we must have both lim f (x) = L x→c+ and lim f (x) = L. x→c− Not surprisingly, this also works in the other direction; in general, we have lim f (x) = L if and only if both lim f (x) = L and lim f (x) = L. x→c x→c+ (2.3.11) x→c− Since the above definitions are all in terms of limits of sequences, we may use all the properties of limits of sequences developed in Section 1.2 when discussing the limit of a function defined on an interval of real numbers. Example Consider the constant function f (x) = 2 for all x. To compute, for example, lim f (x), we need to compute lim f (xn ) for an arbitrary sequence {xn } with lim xn = 3. n→∞ x→3 n→∞ For such a sequence, we have lim f (xn ) = lim 2 = 2. n→∞ n→∞ Hence lim f (x) = 2. x→3 In fact, it should be easy to see that for any value of c lim f (x) = lim 2 = 2, x→c x→c and, more generally, for any constant k, lim k = k. x→c Example Suppose f (x) = x. To find lim f (x), first let {xn } be any sequence with x→5 lim xn = 5. Then n→∞ lim f (xn ) = lim xn = 5, n→∞ n→∞ so lim f (x) = 5. x→5 6 Limits And The Notion Of Continuity Section 2.3 In fact, we could replace 5 by an arbitrary c in this computation and obtain the general result that lim x = c. (2.3.12) x→c Example To find lim x2 , let {xn } be any sequence with lim xn = 6. Then n→∞ x→6 lim f (xn ) = lim x2n = n→∞ n→∞  lim xn 2 n→∞ = 62 = 36. Thus lim x2 = 36. x→6 Again we can generalize this statement by replacing 6 by an arbitrary c, in which case we have lim x2 = c2 . x→c Moreover, we may replace the power 2 by any rational number p for which xp and cp are defined and have lim xp = cp . (2.3.13) x→c Example Let f (x) = 4x3 − 6x2 + x − 7. To find lim f (x), let {xn } be any sequence x→2 with lim xn = 2. Then n→∞ lim f (xn ) = lim (4x3n − 6x2n + xn − 7) n→∞  3  2 = 4 lim xn − 6 lim xn + lim xn − 7 n→∞ n→∞ 3 n→∞ n→∞ 2 = (4)(2 ) − (6)(2 ) + 2 − 7 = 3. Hence lim f (x) = 3, x→2 which is just f (2). Example Now let f be an arbitrary polynomial, say, f (x) = am xm + am−1 xm−1 + · · · + a2 x2 + a1 x + a0 for some constants a0 , a1 , a2 , . . . , am . If {xn } is any sequence with limn→∞ xn = c, then m−1 lim f (xn ) = lim (am xm + · · · + a2 x2n + a1 xn + a0 ) n + am−1 xn n→∞  m  m−1  2 = am lim xn + am−1 lim xn + . . . + a2 lim xn n→∞ n→∞ n→∞   + a1 lim xn + a0 n→∞ n→∞ n = am c + am−1 cm−1 + · · · + a2 c2 + a1 c + a0 = f (c). Section 2.3 Limits And The Notion Of Continuity 7 Hence, for any polynomial f and any real number c, lim f (x) = f (c). x→c The previous example is important enough to state as a proposition. Proposition If f is a polynomial and c is any real number, then lim f (x) = f (c). x→c (2.3.14) If we combine this result with our result about the limits of quotients in Section 1.2, we have the following proposition. Proposition then If f and g are both polynomials and c is any real number for which g(c) 6= 0, f (c) f (x) = . x→c g(x) g(c) lim (2.3.15) In short, if h is a rational function and h is defined at c, then the value of the limit of h(x) as x approaches c is simply the value of h at c. That is, lim h(x) = h(c) x→c (2.3.16) for any rational function h which is defined at c. Example Using our result about polynomials, we have lim (3x4 − 6x + 12) = (3)(24 ) − (6)(2) + 12 = 48. x→2 Example Using our result about rational functions, we have lim 3x + 4 x→3 2x2 + 2x − 1 Example = (3)(3) + 4 13 = . 2 (2)(3 ) + (2)(3) − 1 23 Now consider x2 − 4 . x→2 x − 2 lim Note that our result about the limits of rational functions does not apply here since the denominator is 0 at x = 2. However, since the numerator is also 0 at x = 2, the numerator and the denominator must have a common factor of x − 2. Canceling this common factor will simplify the problem and enable us to evaluate the limit. That is, x2 − 4 (x − 2)(x + 2) lim = lim = lim (x + 2) = 4. x→2 x − 2 x→2 x→2 x−2 8 Limits And The Notion Of Continuity Section 2.3 6 5 4 3 2 1 1 2 3 4 2 −4 Figure 2.3.3 Graph of f (x) = xx−2 Although technical, it is worth noting that the functions f (x) = x2 − 4 x−2 and g(x) = x + 2 are different functions. In particular, f is not defined at x = 2, whereas g is. However, for every point x 6= 2, f (x) = g(x). As a result, lim f (x) = lim g(x), x→2 x→2 since the limits depend only on the values of f and g for points close to, but not equal to, 2. See the graph of f in Figure 2.3.3. Example As another example of the technique used in the previous example, we have t2 − 1 (t + 1)(t − 1) = lim 3 t→−1 t + 1 t→−1 (t + 1)(t2 − t + 1) t−1 = lim 2 t→−1 t − t + 1 −1 − 1 2 = =− . 1+1+1 3 lim In the last two examples, we have used the algebraic fact that if c is a root of a polynomial f (x), then x − c is a factor of f (x). In particular, this means that if both the numerator and the denominator of a rational function are 0 at x = c, then they have a common factor of x − c. However, if the numerator is not 0 at c, but the limit of the denominator is 0, then the limit will not exist. For example, if f (x) = 1 , x2 Section 2.3 Limits And The Notion Of Continuity 9 then lim f (x) does not exist, since dividing 1 by x2n , where {xn } is a sequence with x→0 lim xn = 0, will always result in a sequence of positive numbers which are growing n→∞ without bound. Borrowing from the notation we developed in Section 1.2, we may write 1 = ∞. x→0 x2 lim As before, we must be careful to remember that this notation means that, although the function does not have a limit as x approaches 0, the value of the function grows without any bound as x approaches 0. Similarly, since 1 >0 x when x > 0, we have lim+ x→0 1 =∞ x and, since 1 <0 x when x < 0, lim− x→0 1 = −∞. x However, since 1 x behaves differently as x approaches 0 from the right than it does when x approaches 0 from the left, all we can say about the limit of f (x) as x approaches 0 is that it does not exist. Graphically, for a given function f , f (x) = lim f (x) = ∞ x→c− or lim f (x) = −∞ x→c− tells us that the graph of f will approach the vertical line x = c asymptotically as x approaches c from the left. The graph will go off along x = c in the positive direction in the first case and in the negative direction in the second case. Similar remarks hold for x approaching c from the right when lim f (x) = ∞ x→c+ or lim f (x) = −∞. x→c+ 10 Limits And The Notion Of Continuity Section 2.3 20 15 10 5 1 -1 2 3 4 5 -5 -10 -15 -20 x Figure 2.3.4 Graph of y = 2−x Example Since 2 − x > 0 when x < 2 and 2 − x < 0 when x > 2, it follows that lim− x→2 and lim x→2+ x =∞ 2−x x = −∞. 2−x It follows that the line x = 2 is a vertical asymptote for the graph of y= x , 2−x with the curve going off in the positive direction from the left and in the negative direction from the right. See Figure 2.3.4 The next examples illustrate the use of one-sided limits, using (2.3.8), in determining the existence of certain limits. Example Suppose  g(z) = z 2 + 1, if z ≤ 1, 3z + 4, z > 1. Then, since g(z) = z 2 + 1 when z < 1, lim− g(z) = lim− (z 2 + 1) = 2 z→1 z→1 and, since g(z) = 3z + 4 when z > 1, lim g(z) = lim (3z + 4) = 7. z→1+ z→1+ Since these limits are not the same, we know from (2.3.11) that g(z) does not have a limiting value as z approaches 1. Graphically, we see this as a break in the graph of g at Section 2.3 Limits And The Notion Of Continuity 11 14 12 10 8 6 4 2 -2 1 -1 2 3 4 Figure 2.3.5 Graph of y = g(z) z = 1, as shown in Figure 2.3.5. Note, however, that for any c 6= 1, lim g(z) = g(c). For z→c example lim g(z) = lim (z 2 + 1) = 17. z→−4 Example z→−4 Now consider  h(t) = 2t + 3, if t ≤ 2, 2t2 − 1, if t > 2. Then lim h(t) = lim (2t + 3) = 7 t→2− t→2− and lim h(t) = lim (2t2 − 1) = 7. t→2+ t→2+ In this case both one-sided limits are equal to 7, so we have, using (2.3.11), lim h(t) = 7. t→2 Graphically, the graph of h does not have a break at t = 2, even though the formula for computing h(t) changes at this point. See Figure 2.3.6. We may also use limits to inquire into the behavior of the values of a function f as x increases, or decreases, without bound. This leads to the following definition. Definition Suppose f is a function defined on an interval J of the form (a, ∞). We say that the limit of f (x) as x approaches ∞ is L, denoted lim f (x) = L, x→∞ (2.3.17) if for every sequence {xn } in J we have lim f (xn ) = L n→∞ (2.3.18) 12 Limits And The Notion Of Continuity Section 2.3 25 20 15 10 5 -1 1 2 3 4 5 Figure 2.3.6 Graph of y = h(t) whenever lim xn = ∞. n→∞ (2.3.19) Similarly, suppose f is a function defined on an interval J of the form (−∞, b). We say that the limit of f (x) as x approaches −∞ is L, denoted lim f (x) = L, x→−∞ (2.3.20) if for every sequence {xn } in J we have lim f (xn ) = L (2.3.21) lim xn = −∞. (2.3.22) n→∞ whenever n→∞ Example Suppose {xn } is a sequence and lim xn = ∞. Given  > 0, there must exist n→∞ an integer N such that 1 xn >  whenever n > N . Hence 1 < xn whenever n > N . That is, 1 = 0. n→∞ xn lim Since this true for any such sequence {xn }, it follows that 1 = 0. n→∞ x lim Section 2.3 Limits And The Notion Of Continuity 13 In a similar fashion, we may show that 1 = 0. n→−∞ x lim With these two basic limits, it is possible to compute limits of these types for any rational function using the same techniques we used in Section 1.2. Namely, given a rational function, dividing numerator and denominator by the highest power appearing in the denominator simplifies the expression to a form where the limit may be evaluated easily. 4 6 3 + − 2 3x + 4x − 6 x x2 = 3 . Example lim = lim 2 6 x→∞ 2x2 − 6x + 2 x→∞ 2 2− + 2 x x 3 6 − 2 3x2 − 6x x x = 0 = 0. Example lim = lim 2 x→∞ 4x3 + 2 x→∞ 4 4+ 3 x Example We have 3 4x − 2 4x3 − 3 x = −∞, lim = lim 6 x→−∞ 2x2 + 6 x→−∞ 2+ 2 x since the denominator is approaching 2 while the numerator decreases without bound as x goes to −∞. Note that, as usual, although the limit does not exist, we make use of this notation to indicate the manner in which the limit fails to exist. Graphically, lim f (x) = L tells us that the graph of y = f (x) approaches the horix→∞ zontal line y = L asymptotically as x increases without bound. Similarly, lim f (x) = L x→−∞ tells us that the graph of y = f (x) approaches the horizontal line y = L asymptotically as x decreases without bound. Example Since x lim 2 = lim x→∞ x→∞ x + 1 1 x 1 1+ 2 x and 1 x x lim = lim x→−∞ x2 + 1 x→−∞ =0 = 0, 1 1+ 2 x we know that the line y = 0, that is, the x-axis, is a horizontal asymptote for the graph of y= x x2 + 1 . 14 Limits And The Notion Of Continuity Section 2.3 0.6 0.4 0.2 -20 10 -10 20 -0.2 -0.4 -0.6 Figure 2.3.7 Graph of y = x2x+1 Moreover, since x >0 x2 + 1 for x > 0 and x <0 x2 + 1 for x < 0, we know that the approach to the x-axis is from above as x increases and from below as x decreases. See Figure 2.3.7. The following proposition summarizes the basic properties of limits. These are essentially restatements of the properties of limits of sequences that we discussed in Section 1.2. The fact that they hold here follows from the way we have defined limits in this section in terms of limits of sequences. Moreover, the properties listed in this proposition also hold for one-sided limits. Proposition Suppose lim f (x) = L and lim g(x) = M , where L and M are real numbers x→c x→c and c is a real number, ∞, or −∞. Then lim kf (x) = kL for any constant k, (2.3.23) lim (f (x) + g(x)) = L + M, (2.3.24) lim (f (x) − g(x)) = L − M, (2.3.25) lim (f (x)g(x)) = LM, (2.3.26) f (x) L = , x→c g(x) M (2.3.27) x→c x→c x→c x→c lim and, provided p is a rational number for which (f (x))p and Lp are defined, lim (f (x))p = LP . x→c (2.3.28) Section 2.3 Example Limits And The Notion Of Continuity Using (2.3.28), we have p q √ lim x2 + 3 = lim (x2 + 3) = 19. x→4 Example x→4 Using the fact hat √  x2 = |x| = we have lim √ x→∞ and lim √ x→−∞ −x, if x < 0, x, if x ≥ 0, 4x 4 = lim √ x2 + 1 x→∞ x2 + 1 x 4 = lim √ 2 x→∞ x +1 √ x2 4 = lim r x→∞ x2 + 1 x2 4 = lim r x→∞ 1 1+ 2 x =4 4x 4 = lim √ x2 + 1 x→−∞ x2 + 1 x 4 = lim √ 2 x→−∞ x +1 √ − x2 4 r = lim x→−∞ x2 + 1 − x2 4 r = lim x→−∞ 1 − 1+ 2 x = −4. Hence the lines y = 4 and y = −4 are both horizontal asymptotes for the graph of y=√ See Figure 2.3.8. 4x . x2 + 1 15 16 Limits And The Notion Of Continuity Section 2.3 4 2 -10 5 -5 10 -2 -4 Figure 2.3.8 Graph of y = √x4x 2 +1 Problems 1. Evaluate the following limits. (a) lim (4x2 − 3x) x→2 2 t −3 t→1 t + 5 2. Evaluate the following limits. (b) lim (x3 − 2x + 3) x→3 z+2 z→−2 z 2 + 3 (c) lim (d) lim x3 − 8 (a) lim x→2 x + 2 s3 + 1 (c) lim 4 s→−1 s − 1 t3 − 8 (e) lim t→2 t − 2 u (g) lim u→4 (u − 4)2 x2 − x − 6 (b) lim x→3 x−3 √ x−1 (d) lim x→1 x − 1 x3 − 1 (f) lim 2 x→1 x − 1 x (h) lim x→−2 x + 2 3. Evaluate the following limits. (a) lim (3x2 + 4) x→1+ 1 x→3 x − 3 t (e) lim − t→−2 t + 2 (c) lim+ 1 x→3− x − 3 t (d) lim + t→−2 t + 2 x2 − 9x − 10 (f) lim 2 x→10− x − 8x − 20 (b) lim 4. Evaluate the following limits. (a) lim bxc (b) lim bxc (c) lim dxe (d) lim dxe x→2+ x→3− x→2− x→3+ Section 2.3 Limits And The Notion Of Continuity (e) lim+ bcos(x)c 17 (f) lim+ dsin(x)e x→0 x→0 5. Suppose  g(z) = 3z − 1, if z < 2, 7 − z, if z ≥ 2. (a) Sketch the graph of g. (b) Find lim− g(z). z→2 (c) Find lim+ g(z). z→2 (d) Does lim g(z) exist? If so, what is its value? z→2 6. Suppose  h(t) = 2t + 1, if t ≤ 1, 3t − 1, if t > 1. (a) Sketch the graph of h. (b) Find lim− h(t). t→1 (c) Find lim+ h(t). t→1 (d) Does lim h(t) exist? If so, what is its value? t→1 7. Evaluate the following limits. x3 + 3x − 1 x→∞ 2x3 − x2 + 21 4z 2 − 3z + 10 (d) lim z→∞ 2z 3 + 14z + 9 √ 2 x+3 (f) lim √ x→∞ x+2 √ t+1 (h) lim t→∞ t + 3 3x + 1 (j) lim √ x→−∞ 4x2 + 5 (a) lim (3x + 4) (b) lim x→∞ u4 + 3u − 6 u→∞ 3u2 + 1 x5 − 6x + 13 (e) lim x→−∞ x2 + 18x − 25 r 2v + 1 (g) lim v→∞ v−2 3x + 1 (i) lim √ x→∞ 4x2 + 5 (c) lim 8. Let f (x) = 2x . x−4 Find lim f (x), lim f (x), lim f (x), and lim f (x). Use this information to sketch x→4− x→−∞ x→4+ x→∞ the graph of f . 9. Discuss lim tan(x), lim tan(x), and limπ tan(x). π π x→ 2 − x→ 2 + x→ 2 10. Do lim sin(πx) and lim sin(πn) denote the same thing? Discuss. x→∞ n→∞ 18 Limits And The Notion Of Continuity 11. (a) Explain why − for all x . sin(x) . x→∞ x (b) Use part (a) to find lim 1 sin(x) 1 ≤ ≤ x x x Section 2.3