89. Limits as tends to .
We shall now return to functions of a continuous real variable. We shall confine ourselves entirely to one-valued functions, and we shall denote such a function by . We suppose to assume successively all values corresponding to points on our fundamental straight line , starting from some definite point on the line and progressing always to the right. In these circumstances we say that tends to infinity, or to , and write . The only difference between the ‘tending of to ’ discussed in the last chapter, and this ‘tending of to ’, is that assumes all values as it tends to , i.e. that the point which corresponds to coincides in turn with every point of to the right of its initial position, whereas tended to by a series of jumps. We can express this distinction by saying that tends continuously to .
As we explained at the beginning of the last chapter, there is a very close correspondence between functions of and functions of . Every function of may be regarded as a selection from the values of a function of . In the last chapter we discussed the peculiarities which may characterise the behaviour of a function as tends to . Now we are concerned with the same problem for a function ; and the definitions and theorems to which we are led are practically repetitions of those of the last chapter. Thus corresponding to Def. 1 of § 58 we have:
Definition 1. The function is said to tend to the limit as tends to if, when any positive number , however small, is assigned, a number can be chosen such that, for all values of equal to or greater than , differs from by less than , if when .
When this is the case we may write or, when there is no risk of ambiguity, simply , or . Similarly we have:
Definition 2. The function is said to tend to with if, when any number , however large, is assigned, we can choose a number such that when .
We then write Similarly we define . Finally we have:
Definition 3. If the conditions of neither of the two preceding definitions are satisfied, then is said to oscillate as tends to . If is less than some constant when , then is said to oscillate finitely, and otherwise infinitely.
The reader will remember that in the last chapter we considered very carefully various less formal ways of expressing the facts represented by the formulae , . Similar modes of expression may of course be used in the present case. Thus we may say that is small or nearly equal to or large when is large, using the words ‘small’, ‘nearly’, ‘large’ in a sense similar to that in which they were used in Ch. IV.
Example XXXIV
1. Consider the behaviour of the following functions as : , , , , , , .
The first four functions correspond exactly to functions of fully discussed in Ch. IV. The graphs of the last three were constructed in Ch. II (Exs. XVI. 1, 2, 4), and the reader will see at once that , oscillates finitely, and .
One simple remark may be inserted here. The function oscillates between and , as is obvious from the form of its graph. It is equal to zero whenever is an integer, so that the function derived from it is always zero and so tends to the limit zero. The same is true if It is evident that or or involves the corresponding property for , but that the converse is by no means always true.
2. Consider in the same way the functions: illustrating your remarks by means of the graphs of the functions.
3. Give a geometrical explanation of Def. 1, analogous to the geometrical explanation of Ch. IV, § 59.
4. If , and is not zero, then and oscillate finitely. If or , then they oscillate infinitely. The graph of either function is a wavy curve oscillating between the curves and .
5. Discuss the behaviour, as , of the function where and are some pair of simple functions (e.g. and ). [The graph of is a curve oscillating between the curves , .]
90. Limits as tends to .
The reader will have no difficulty in framing for himself definitions of the meaning of the assertions ‘ tends to ’, or ‘’ and In fact, if and , then tends to as tends to , and the question of the behaviour of as tends to is the same as that of the behaviour of as tends to .
91. Theorems corresponding to those of Ch. IV, §§ 63-67.
The theorems concerning the sums, products, and quotients of functions proved in Ch. IV are all true (with obvious verbal alterations which the reader will have no difficulty in supplying) for functions of the continuous variable . Not only the enunciations but the proofs remain substantially the same.
92. Steadily increasing or decreasing functions.
The definition which corresponds to that of § 69 is as follows: the function will be said to increase steadily with if whenever . In many cases, of course, this condition is only satisfied from a definite value of onwards, i.e. when . The theorem which follows in that section requires no alteration but that of into : and the proof is the same, except for obvious verbal changes.
If , the possibility of equality being excluded, whenever , then will be said to be steadily increasing in the stricter sense. We shall find that the distinction is often important (cf. §§ 108-109).
The reader should consider whether or no the following functions increase steadily with (or at any rate increase steadily from a certain value of onwards): , , , , , , . All these functions tend to as .