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