Continuity & One

Download Report

Transcript Continuity & One

Continuity & One-Sided
Limits
Chapter 2.4
Continuity at a Point & on an Open Interval
β€’ The mathematical meaning of continuity is not too different from the
everyday meaning: something is continuous if it has no breaks or
interruptions
β€’ Beginning with Chapter 3, nearly every theorem and definition will
include as one condition that a function be continuous
β€’ Thus continuity is an extremely important concept
Definition of Continuity
DEFINITION:
Continuity at a point
A function f is continuous at c if the following three conditions are met
1. 𝑓(𝑐) is defined
2.
3.
lim 𝑓(π‘₯) exists
π‘₯→𝑐
lim 𝑓(π‘₯) = 𝑓(𝑐) (i.e., the limit of the function equals the value of the function at c)
π‘₯→𝑐
Continuity on an open interval
A function is continuous on an open interval (𝒂, 𝒃) if it is continuous at each point in the interval. A function
that is continuous on the entire real line is everywhere continuous.
Continuity at a Point & on an Open Interval
Continuity at a Point & an Open Interval
β€’ Discontinuities can be either removable or non-removable
β€’ A discontinuity is removable if it can be made continuous by defining
or redefining 𝑓(𝑐)
Example 1: Continuity of a Function
Discuss the continuity of each function
a)
𝑓 π‘₯ =
b) 𝑔 π‘₯ =
c)
1
π‘₯
π‘₯ 2 βˆ’1
π‘₯βˆ’1
π‘₯ + 1, π‘₯ ≀ 0
β„Ž π‘₯ =
𝑒 π‘₯, π‘₯ > 0
d) 𝑦 = sin π‘₯
Example 1: Continuity of a Function
a) The function is defined everywhere except π‘₯ = 0. It is continuous for every x in its domain. It has a nonremovable discontinuity at π‘₯ = 0.
b) The function is a line with a hole at π‘₯ = 1. Thus it has a removable discontinuity at π‘₯ = 1. We could
remove it by redefining the function as
π‘₯2 βˆ’ 1
𝑔 π‘₯ = π‘₯ βˆ’ 1 ,π‘₯ β‰  1
2, π‘₯ = 1
c) Note that at π‘₯ = 0, the function is defined: β„Ž 0 = 0 + 1 = 1. The exponential part of the function does not
include zero, but lim 𝑒 π‘₯ = 1, so all three conditions are met and the function is everywhere continuous
π‘₯β†’0
d) The function is everywhere continuous.
One-Sided Limits & Continuity on a Closed
Interval
DEFINITION:
The notation
lim 𝑓(π‘₯) = 𝐿
π‘₯→𝑐 +
means that x approaches c from the right, that is, from values π‘₯ > 𝑐. We say that this is the limit from the
right.
Similarly, the notation
lim 𝑓(π‘₯) = 𝐿
π‘₯→𝑐 βˆ’
means that x approaches c from the left, that is, from values π‘₯ < 𝑐. We say that this is the limit from the left.
Example 2: A One-Sided Limit
Find the limit of 𝑓 π‘₯ = 4 βˆ’ π‘₯ 2 as x approaches βˆ’2 from the right.
In this case, there is no difference, other than notation, in taking a one-sided limit. We can use direct
substitution here to get
lim + 4 βˆ’ π‘₯ 2 = 4 βˆ’ βˆ’2 2 = 0
π‘₯β†’βˆ’2
This will differ somewhat when taking one-sided limits for piecewise functions and for step-functions, as in the
next example.
Example 3: The Greatest Integer Function
Find the limit of the greatest integer function 𝑓 π‘₯ = π‘₯ as x
approaches 0 from the left and from the right.
The greatest integer function returns values of 𝑓(π‘₯) that are the greatest integer less than or equal to x. For
example, 𝑓 0.325 = 0 because 0 < 0.325; 𝑓 2.103 = 2 because 2 < 2.103. This is sometimes called the
floor function.
Example 3: The Greatest Integer Function
As the values of π‘₯ > 0 approach from the right, the functions values approach zero. But as the values π‘₯ < 0
approach from the left, the function values approach βˆ’1. Hence this function has a jump discontinuity at π‘₯ = 0.
In fact, the function has discontinuities at every integer n.
Theorem 2.10: Existence of a Limit
THEOREM:
Let f be a function and let c and L be real numbers. The limit of 𝑓(π‘₯) as x approaches c is L if and only if
lim 𝑓(π‘₯) = 𝐿 and lim+ 𝑓(π‘₯) = 𝐿
π‘₯→𝑐 βˆ’
π‘₯→𝑐
Definition of Continuity on a Closed Interval
β€’ In the original definition of continuity, we defined continuity on an
open interval as being continuous at every point in the interval
β€’ That is, we don’t have to worry about the endpoints since they are not
in the interval
β€’ A closed interval includes its endpoints, so we must define what it
means for a function to be continuous on a closed interval
β€’ We can use one-sided limits to do this
Definition of Continuity on a Closed Interval
DEFINITION:
A function f is continuous on the closed interval [𝒂, 𝒃] if it is continuous on the open interval (π‘Ž, 𝑏) and
lim 𝑓(π‘₯) = 𝑓 π‘Ž and limβˆ’ 𝑓(π‘₯) = 𝑓(𝑏)
π‘₯β†’π‘Ž+
π‘₯→𝑏
The function f is continuous from the right at a and continuous from the left at b.
Similar definitions can be made to cover half-open intervals.
Example 4: Continuity on a Closed Interval
Discuss the continuity of 𝑓 π‘₯ = 1 βˆ’ π‘₯ 2 .
The graph of f is a semicircle centered at zero with radius 1. So the interval to consider is [βˆ’1,1]. Note that f is
continuous in the open interval (βˆ’1,1), as required by the definition. Additionally we have
lim + 1 βˆ’ π‘₯ 2 =
π‘₯β†’βˆ’1
1 βˆ’ βˆ’1
2
= 0 and limβˆ’ 1 βˆ’ π‘₯ 2 =
π‘₯β†’1
1 βˆ’ 12 = 0
So by definition, we are justified in saying that f is continuous on the closed interval [βˆ’1,1].
Theorem 2.11: Properties of Continuity
THEOREM:
If b is a real number and f and g are continuous at π‘₯ = 𝑐, then the following functions are also continuous at c.
1. Scalar multiple: 𝑏𝑓
2. Sum and difference: 𝑓 ± 𝑔
3. Product: 𝑓𝑔
𝑓
4. Quotient: 𝑔 , 𝑔 𝑐 β‰  0
Note that these follow directly from the limit properties of theorem 2.2.
Properties of Continuity
The following types of functions are continuous at every point in their
domain.
1. Polynomial: 𝑝 π‘₯ = π‘Žπ‘› π‘₯ 𝑛 + π‘Žπ‘›βˆ’1 π‘₯ π‘›βˆ’1 + β‹― + π‘Ž1 π‘₯ + π‘Ž0
𝑝 π‘₯
π‘₯
2. Rational: π‘Ÿ π‘₯ = π‘ž
3. Radical: 𝑓 π‘₯ =
𝑛
,π‘ž π‘₯ β‰  0
π‘₯
4. Trigonometric: sin π‘₯ , cos π‘₯ , tan π‘₯ , csc π‘₯ , sec π‘₯ , cot π‘₯
5. Exponential & logarithmic: 𝑓 π‘₯ = π‘Ž π‘₯ , 𝑓 π‘₯ = 𝑒 π‘₯ , 𝑓 π‘₯ = ln π‘₯
Example 6: Applying Properties of Continuity
By Theorem 2.11, if follows that each of the following functions is
continuous at every point in its domain.
𝑓 π‘₯ = π‘₯ + 𝑒 π‘₯ : the polynomial function 𝑦 = π‘₯ and the exponential function 𝑦 = 𝑒 π‘₯ are everywhere continuous,
so by theorem 2.11 #2, their sum is everywhere continuous
𝑓 π‘₯ = 3 tan π‘₯: by theorem 2.11 #1, the function is continuous throughout its domain (not everywhere
continuous)
π‘₯ 2 +1
:
cos π‘₯
𝑓 π‘₯ =
the numerator is a polynomial function and the denominator is a trigonometric function, each
continuous everywhere, so by theorem 2.11 #4, f is continuous at all points for which cos π‘₯ β‰  0
Theorem 2.12: Continuity of a Composite
Function
THEOREM:
If g is continuous at c and f is continuous at 𝑔(𝑐), then the composite function given by
𝑓 ∘ 𝑔 π‘₯ = 𝑓(𝑔 π‘₯ )
is continuous at c.
Note that this theorem is a direct consequence of theorem 2.5, limits of composite functions.
Example 7: Testing for Continuity
Describe the interval(s) on which each function is continuous.
a) 𝑓 π‘₯ = tan π‘₯
b) 𝑔 π‘₯ =
c) β„Ž π‘₯ =
sin
1
π‘₯
,π‘₯ β‰  0
0, π‘₯ = 0
π‘₯ sin
1
π‘₯
,π‘₯ β‰  0
0, π‘₯ = 0
Example 7: Testing for Continuity
πœ‹
a) Since the tangent function is not defined at π‘₯ = 2 + πœ‹π‘›, n an integer, it is continuous over all intervals
𝑝𝑖
πœ‹
βˆ’ + πœ‹π‘›, + πœ‹π‘› , 𝑛 an integer
2
2
b) This is the oscillating function that has no limit as x approaches zero. It is continuous at all values π‘₯ β‰  0,
but defining the function for π‘₯ = 0 does not make it everywhere continuous the limit does not exist. Hence,
it is continuous over βˆ’βˆž, 0 βˆͺ (0, ∞).
c) This is the function from part b), but multiplied by x, which produces a β€œdamping” effect. The function 𝑦 =
1
π‘₯ sin π‘₯ is still not defined at zero, but the limit exists as x approaches zero. To see why, see the next slide
Example 7: Testing for Continuity
The function f is less than |π‘₯| and greater than βˆ’|π‘₯|
for values near π‘₯ = 0. That is
1
βˆ’ π‘₯ ≀ π‘₯ sin
≀ |π‘₯|
π‘₯
Since both positive and negative absolute value
functions approach zero as x approaches zero, and
since f lies between them, we can invoke the Squeeze
Theorem to conclude that
1
lim π‘₯ sin
=0
π‘₯β†’0
π‘₯
Finally, the piecewise function defines f at π‘₯ = 0, so
the function is everywhere continuous.
The Intermediate Value Theorem
β€’ Behind the idea of continuity lies an important principle known as the
Completeness Axiom
β€’ Informally, the Completeness Axiom says that there are no gaps or
holes in the number line
β€’ It would be fair to say that the Completeness Axiom creates the
continuity of the number line
β€’ To see why, let’s take a brief look at how mathematicians developed
the concept of number and of the number line during the 19th century
The Intermediate Value Theorem
β€’ Beginning with a few assumptions (axioms), including the existence of
a single number, 1, mathematicians were able to β€œcreate” (or logically
derive), along with their familiar properties
β€’ The natural numbers (or counting numbers, 1, 2, 3, …)
β€’ The integers, logically derived from the natural numbers
β€’ The rational numbers, logically derived from the integers
β€’ If they had stopped there, the number line would have an infinite
number of gaps in it
β€’ Imagine that you cut the number line at a point to produce two pieces
β€’ The cut is made at some point c so that 𝑐 2 < 2 for all numbers in the
left piece, and 𝑐 2 > 2 for all numbers in the right piece
The Intermediate Value Theorem
β€’ What can we say about the point at c?
β€’ In fact, we can see that if 𝑐 2 < 2, then 𝑐 < 2, so all the numbers in
the left piece of the line are numbers less than 2
β€’ But it can be shown that 2 is not a rational number!
β€’ So if the rational numbers were all that existed, there would be gaps,
not only at 2, but at the square roots of all numbers that are not
perfect squares, as well as at any number than cannot be written as the
ratio of two integers (i.e., the irrational numbers)
The Intermediate Value Theorem
β€’ The key point here is that it is not possible to logically derive the
irrational numbers without the Completeness Axiom
β€’ Without this assumption, limits would not exist for an infinite number
of points on the number line
β€’ For example,
lim π‘₯
π‘₯β†’2
would have no answer because of the gap
β€’ Calculus would not be possible
The Intermediate Value Theorem
β€’ The Intermediate Value Theorem (IVT) is a consequence of the
continuity of the number line
β€’ From this theorem we will later derive the Mean Value Theorem,
which leads to the most important theorem in calculus, The
Fundamental Theorem of Calculus
The Intermediate Value Theorem
THEOREM:
If f is continuous on the closed interval [π‘Ž, 𝑏] and k is any number between 𝑓(π‘Ž) and 𝑓(𝑏), then there is at least
one number c in [π‘Ž, 𝑏] such that
𝑓 𝑐 =π‘˜
Note that the conditions for this theorem to apply are that f be continuous on a closed interval, and k is a number
in the range of the function.
The Intermediate Value Theorem
β€’ Your textbook uses a good analogy to help you understand IVT
β€’ If a girl is 5 feet tall on her 13th birthday and 5 feet 7 inches tall on her
14th birthday, then at some point between birthdays she must have
been, say, 5 feet 3 inches tall (assuming growth is continuous)
β€’ Humans don’t β€œjump” from 5 feet to 5 feet 7 inches in an instant of
time (this would be like a jump discontinuity)
The Intermediate Value Theorem
Example 8: An Application of the
Intermediate Value Theorem
Use the IVT to show that the polynomial function 𝑓 π‘₯ = π‘₯ 3 + 2π‘₯ βˆ’ 1
has at least one zero in the interval [0,1].
Look first at the values 𝑓 0 = βˆ’1 and 𝑓 1 = 2. Since all polynomial functions are everywhere continuous,
and since 𝑓 π‘Ž ≀ 0 ≀ 𝑓 𝑏 ⟺ βˆ’1 ≀ 0 ≀ 2, then by the IVT we conclude that there exists at least one number
𝑐 ∈ [π‘Ž, 𝑏] such that
𝑓 𝑐 =0
Therefore, f has at least one zero between 0 and 1.
Note that the IVT doesn’t tell us how to find the value c; it only guarantees its existence.
Exercise 2.4a
β€’ Page 98, #1-6, 7-27 odds, 29-36
Exercise 2.4b
β€’ Page 99, #39-60 multiples of 3, 61-70, 71-78, 83-86, 91-94, 115-116