A bridge built from both banks of a river only works if the two halves meet at the same height. A two-sided limit is the same kind of agreement. The function has to head to one number as you come from the left and to that same number as you come from the right.
Key terms
Punctured neighborhood
Definition For a real number and , the punctured neighborhood of with radius is the set
In plain words All the points within distance of , with itself removed. It is the region a limit looks at.
Example With and the punctured neighborhood is . It contains and but not and not .
Two-sided limit
Definition Let be defined on some punctured neighborhood of . The two-sided limit means that can be made as close to the real number as we like by taking in a small enough punctured neighborhood of . When people say “the limit” at an interior point, they mean this two-sided limit.
In plain words Inputs close to on both sides, never itself, give outputs close to .
Example The function
is undefined at , but for it simplifies to
So on every punctured neighborhood of the function equals , and .
Agreement of finite one-sided limits
Definition Let be defined on a punctured neighborhood of and let be a real number. Then
In particular, if one of the one-sided limits does not exist, or both exist but are different, the two-sided limit does not exist.
In plain words Check the left side and the right side separately. If both give the same number, that number is the limit. If not, there is no limit.
Example Let for and for , with left undefined. The left-hand limit is and the right-hand limit is . They agree, so . If instead the right piece were , the right-hand limit would be and the two-sided limit would not exist.
Uniqueness
Definition A limit is unique. If and , then . The reason is short. If , then for close enough to the value would have to lie less than away from both and , and no number can do that.
In plain words A function cannot head to two different places at once. This is what lets us speak of “the” limit.
Example Uniqueness gives a quick test for nonexistence. For , which is for , at and for , the inputs for positive whole numbers approach and give the output , while the inputs also approach and give . A limit would have to be close to both and , so does not exist.
Approach restricted to the domain
Definition The two-sided limit is defined only when is defined on some punctured neighborhood of , so on both sides of . If near the domain of lies on one side only, as at an endpoint of an interval , the approach is restricted to the side where is defined. There we work with the one-sided limit from that side, and the two-sided limit is not defined.
In plain words You can only approach through inputs where the function exists. At the edge of the domain that leaves one side, so the right question there is a one-sided limit.
Example The function has domain , so at only the right side is available, and . The two-sided limit is not defined, since has no values for .
A side note. Some advanced texts use a looser convention in which a two-sided limit approaches only through points of the domain. In that convention . This course does not use it, except where the formal definition mentions it.
Check yourself
- Write the punctured neighborhood of with radius as a union of intervals.
Show the answer
It is the set .
- Does the following limit exist?
Show the answer
No. For the quotient is , which approaches . For it is , which approaches . The one-sided limits differ.
- Let for and for . Find so that exists, and give the limit.
Show the answer
The left-hand limit is and the right-hand limit is . They agree when , and then the limit is .