Consider the theorem proved in the previous blog:
Theorem:
is continuous at
if and only if
converges to
whenever
converges to x, that is,
.
Observe that the above theorem states that not only does converge whenever
does, but also that
for a continuous function. On the other hand, if f is not continuous it may happen that
exists, but does not equal
. This leads to another notion called limit of a function.
Definition. Suppose . We say that
is the limit of a function
as x tends to
if for every
, there is a
such that
for
.
In this case, we write .
This is the same thing as saying that can be brought as close to l as we please by bringing x sufficiently close to
. But, we do not require the function to have the value
at
. If it has the value
at
. If it has the value
at
, then it is continuous at
.
From the above discussion, we see that for to exist it is not necessary for us to assume that f is defined at
. We only need to know whether or not
is coming close to a definite real number when x is coming close to
. Thus, for the limit of
(as x tends to
to exist or not to exist, we need the function f to be defined for
for some
x. This is the set of points in the interval
from which
has been deleted, that is,
. When we want to look at a function over such a punctured neighbourhood of a point, we try to see what happens to the function when we come close to it, without actually reaching that point. This is not really artificial at all as many physical and mathematical exigencies force us to look at such situations. Take, the case of a particle moving in a straight line. With reference to a fixed point on the straight line, let
and
be the positions of the particle at time t and
respectively (
). So its average velocity in the interval of time
is given by
. Now the function f is defined for every t save
. But, the instantaneous velocity should indeed e the
. In other words, as the interval of time
decreases, the average velocity should eventually stabilize to a certain number
called the instantaneous velocity of the particle at the instant of time
. If this happens, only then it is meaningful of talk of instantaneous velocity of the particle. See what we are doing. We have a function f defined for every real number except a particular real number
. Then, we are trying to find out what happens to
as t comes closer and closer to
. We shall see later many such situations of finding the limit of
as
, where
is defined for every t except
.
Digress. The post office function.
When we want to mail a letter enclosed in an envelope, we usually go to the post master with it to tell us the denomination of the stamp to be affixed. The post master weighs the letter and tells us the postage according to the weight. Here, we have a definite postage for a definite weight, we don’t have different rates for the same weight (for same kind of mail like registered or ordinary or speed post). The rate chart with the post master, for a particular kind of mail, truly is a function whose domain is the set of positive real numbers representing the weight of the mail, and the range again consists of positive real numbers representing the postage. We write the chart as a function f such that meaning p is the postage to mail a letter of weight w.
Let us look again at this post office function.
This function is clearly defined for every x. But what happens to , for instance, when x comes close to 15? When we take
we are, at each successive stage, coming closer to 15. Similarly, as we go through
, we are coming closer to 15 as well. But, in the former case, we were approaching x through the values of x less than 15, or what is the same thing as approaching 15 from the left. In the latter case, we are approaching x through the values of x larger than x 15, or we are approaching from the right. It is clear that
as x approaches 15 from the left, while
, when x approaches 15 from the right. So we have the following definition:
Definition.
Let . We say that the left hand limit of
exists as x tends to a if there is a number l such that for every
, we can find a
such that
for
.
In such a case, we call l the left hand limit of at a, and write
. Similarly, we say that
has right hand limit r as x tends to a if for all
there exists
such that
for
.
In such a case, we call r the right hand limit of as x tends to a and write
. It is clear that when the left hand limit exists, it is unique. So is the case with the right hand limit. Thus, we are led to the conclusion:
The limit of exists as x tends to a if and only if both the left-hand and right hand limits of
exist as x approaches a, and they are equal.Moreover, if the common limit is equal to the value of the function at the point, then the function is continuous at that point
In the case of the post office function, the left hand and right hand limits exists at 15 but are not equal. So there is not the question of the limit existing much less the continuity of the function at 15.
More later,
Nalin Pithwa