98-99. Continuous functions of a real variable

98. Continuous functions of a real variable.

The reader has no doubt some idea as to what is meant by a continuous curve. Thus he would call the curve $C$ in Fig. 29 continuous, the curve $C^{'}$ generally continuous but discontinuous for $x = ξ^{'}$ and $x = ξ ”$ .

Either of these curves may be regarded as the graph of a function $ϕ (x)$ . It is natural to call a function continuous if its graph is a continuous curve, and otherwise discontinuous. Let us take this as a provisional definition and try to distinguish more precisely some of the properties which are involved in it.

In the first place it is evident that the property of the function $y = ϕ (x)$ of which $C$ is the graph may be analysed into some property possessed by the curve at each of its points. To be able to define continuity for all values of $x$ we must first define continuity for any particular value of $x$ . Let us therefore fix on some particular value of $x$ , say the value $x = ξ$ corresponding to the point $P$ of the graph. What are the characteristic properties of $ϕ (x)$ associated with this value of $x$ ?

In the first place $ϕ (x)$ is defined for $x = ξ$ . This is obviously essential. If $ϕ (ξ)$ were not defined there would be a point missing from the curve.

Secondly $ϕ (x)$ is defined for all values of $x$ near $x = ξ$ ; we can find an interval, including $x = ξ$ in its interior, for all points of which $ϕ (x)$ is defined.

Thirdly if $x$ approaches the value $ξ$ from either side then $ϕ (x)$ approaches the limit $ϕ (ξ)$ .

The properties thus defined are far from exhausting those which are possessed by the curve as pictured by the eye of common sense. This picture of a curve is a generalisation from particular curves such as straight lines and circles. But they are the simplest and most fundamental properties: and the graph of any function which has these properties would, so far as drawing it is practically possible, satisfy our geometrical feeling of what a continuous curve should be. We therefore select these properties as embodying the mathematical notion of continuity. We are thus led to the following

Definition. The function $ϕ (x)$ is said to be continuous for $x = ξ$ if it tends to a limit as $x$ tends to $ξ$ from either side, and each of these limits is equal to $ϕ (ξ)$ .

We can now define continuity throughout an interval. The function $ϕ (x)$ is said to be continuous throughout a certain interval of values of $x$ if it is continuous for all values of $x$ in that interval. It is said to be continuous everywhere if it is continuous for every value of $x$ . Thus $[x]$ is continuous in the interval $[δ, 1 - δ]$ , where $δ$ is any positive number less than $\frac{1}{2}$ ; and $1$ and $x$ are continuous everywhere.

If we recur to the definitions of a limit we see that our definition is equivalent to ‘ $ϕ (x)$ is continuous for $x = ξ$ if, given $ϵ$ , we can choose $δ (ϵ)$ so that $| ϕ (x) - ϕ (ξ) | < ϵ$ if $0 \leq | x - ξ | \leq δ (ϵ)$ ’.

We have often to consider functions defined only in an interval $[a, b]$ . In this case it is convenient to make a slight and obvious change in our definition of continuity in so far as it concerns the particular points $a$ and $b$ . We shall then say that $ϕ (x)$ is continuous for $x = a$ if $ϕ (a + 0)$ exists and is equal to $ϕ (a)$ , and for $x = b$ if $ϕ (b - 0)$ exists and is equal to $ϕ (b)$ .

99.

The definition of continuity given in the last section may be illustrated geometrically as follows. Draw the two horizontal lines $y = ϕ (ξ) - ϵ$ and $y = ϕ (ξ) + ϵ$ . Then $| ϕ (x) - ϕ (ξ) | < ϵ$ expresses the fact that the point on the curve corresponding to $x$ lies between these two lines. Similarly $| x - ξ | \leq δ$ expresses the fact that $x$ lies in the interval $[ξ - δ, ξ + δ]$ . Thus our definition asserts that if we draw two such horizontal lines, no matter how close together, we can always cut off a vertical strip of the plane by two vertical lines in such a way that all that part of the curve which is contained in the strip lies between the two horizontal lines. This is evidently true of the curve $C$ (Fig. 29), whatever value $ξ$ may have.

We shall now discuss the continuity of some special types of functions. Some of the results which follow were (as we pointed out at the time) tacitly assumed in Ch. II.

Example XXXVII

1. The sum or product of two functions continuous at a point is continuous at that point. The quotient is also continuous unless the denominator vanishes at the point. [This follows at once from Ex. XXXV. 1.]

2. Any polynomial is continuous for all values of $x$ . Any rational fraction is continuous except for values of $x$ for which the denominator vanishes. [This follows from Exs. XXXV. 6, 7.]

3. $\sqrt{x}$ is continuous for all positive values of $x$ (Ex. XXXV. 8). It is not defined when $x < 0$ , but is continuous for $x = 0$ in virtue of the remark made at the end of § 98. The same is true of $x^{m / n}$ , where $m$ and $n$ are any positive integers of which $n$ is even.

4. The function $x^{m / n}$ , where $n$ is odd, is continuous for all values of $x$ .

5. $1 / x$ is not continuous for $x = 0$ . It has no value for $x = 0$ , nor does it tend to a limit as $x \to 0$ . In fact $1 / x \to + \infty$ or $1 / x \to - \infty$ according as $x \to 0$ by positive or negative values.

6. Discuss the continuity of $x^{- m / n}$ , where $m$ and $n$ are positive integers, for $x = 0$ .

7. The standard rational function $R (x) = P (x) / Q (x)$ is discontinuous for $x = a$ , where $a$ is any root of $Q (x) = 0$ . Thus $(x^{2} + 1) / (x^{2} - 3 x + 2)$ is discontinuous for $x = 1$ . It will be noticed that in the case of rational functions a discontinuity is always associated with (a) a failure of the definition for a particular value of $x$ and (b) a tending of the function to $+ \infty$ or $- \infty$ as $x$ approaches this value from either side. Such a particular kind of point of discontinuity is usually described as an infinity of the function. An ‘infinity’ is the kind of discontinuity of most common occurrence in ordinary work.

8. Discuss the continuity of $\sqrt{(x - a) (b - x)}, \sqrt[3]{(x - a) (b - x)}, \sqrt{(x - a) / (b - x)}, \sqrt[3]{(x - a) / (b - x)} .$

9. $\sin x$ and $\cos x$ are continuous for all values of $x$ .

[We have

\sin (x + h) - \sin x = 2 \sin \frac{1}{2} h \cos (x + \frac{1}{2} h),

which is numerically less than the numerical value of

h

10. For what values of $x$ are $\tan x$ , $\cot x$ , $\sec x$ , and $\csc x$ continuous or discontinuous?

11. If $f (y)$ is continuous for $y = η$ , and $ϕ (x)$ is a continuous function of $x$ which is equal to $η$ when $x = ξ$ , then $f {ϕ (x)}$ is continuous for $x = ξ$ .

12. If $ϕ (x)$ is continuous for any particular value of $x$ , then any polynomial in $ϕ (x)$ , such as $a {ϕ (x)}^{m} + \dots$ , is so too.

13. Discuss the continuity of $1 / (a \cos^{2} x + b \sin^{2} x), \sqrt{2 + \cos x}, \sqrt{1 + \sin x}, 1 / \sqrt{1 + \sin x} .$

14. $\sin (1 / x)$ , $x \sin (1 / x)$ , and $x^{2} \sin (1 / x)$ are continuous except for $x = 0$ .

15. The function which is equal to $x \sin (1 / x)$ except when $x = 0$ , and to zero when $x = 0$ , is continuous for all values of $x$ .

16. $[x]$ and $x - [x]$ are discontinuous for all integral values of $x$ .

17. For what (if any) values of $x$ are the following functions discontinuous: $[x^{2}]$ , $[\sqrt{x}]$ , $\sqrt{x - [x]}$ , $[x] + \sqrt{x - [x]}$ , $[2 x]$ , $[x] + [- x]$ ?

18. Classification of discontinuities. Some of the preceding examples suggest a classification of different types of discontinuity.

(1) Suppose that $ϕ (x)$ tends to a limit as $x \to a$ either by values less than or by values greater than $a$ . Denote these limits, as in § 95, by $ϕ (a - 0)$ and $ϕ (a + 0)$ respectively. Then, for continuity, it is necessary and sufficient that $ϕ (x)$ should be defined for $x = a$ , and that $ϕ (a - 0) = ϕ (a) = ϕ (a + 0)$ . Discontinuity may arise in a variety of ways.

( $α$ ) $ϕ (a - 0)$ may be equal to $ϕ (a + 0)$ , but $ϕ (a)$ may not be defined, or may differ from $ϕ (a - 0)$ and $ϕ (a + 0)$ . Thus if $ϕ (x) = x \sin (1 / x)$ and $a = 0$ , $ϕ (0 - 0) = ϕ (0 + 0) = 0$ , but $ϕ (x)$ is not defined for $x = 0$ . Or if $ϕ (x) = [1 - x^{2}]$ and $a = 0$ , $ϕ (0 - 0) = ϕ (0 + 0) = 0$ , but $ϕ (0) = 1$ .

( $β$ ) $ϕ (a - 0)$ and $ϕ (a + 0)$ may be unequal. In this case $ϕ (a)$ may be equal to one or to neither, or be undefined. The first case is illustrated by $ϕ (x) = [x]$ , for which $ϕ (0 - 0) = - 1$ , $ϕ (0 + 0) = ϕ (0) = 0$ ; the second by $ϕ (x) = [x] - [- x]$ , for which $ϕ (0 - 0) = - 1$ , $ϕ (0 + 0) = 1$ , $ϕ (0) = 0$ ; and the third by $ϕ (x) = [x] + x \sin (1 / x)$ , for which $ϕ (0 - 0) = - 1$ , $ϕ (0 + 0) = 0$ , and $ϕ (0)$ is undefined.

In any of these cases we say that $ϕ (x)$ has a at $x = a$ . And to these cases we may add those in which $ϕ (x)$ is defined only on one side of $x = a$ , and $ϕ (a - 0)$ or $ϕ (a + 0)$ , as the case may be, exists, but $ϕ (x)$ is either not defined when $x = a$ or has when $x = a$ a value different from $ϕ (a - 0)$ or $ϕ (a + 0)$ .

It is plain from § 95 that a function which increases or decreases steadily in the neighbourhood of $x = a$ can have at most a simple discontinuity for $x = a$ .

(2) It may be the case that only one (or neither) of $ϕ (a - 0)$ and $ϕ (a + 0)$ exists, but that, supposing for example $ϕ (a + 0)$ not to exist, $ϕ (x) \to + \infty$ or $ϕ (x) \to - \infty$ as $x \to a + 0$ , so that $ϕ (x)$ tends to a limit or to $+ \infty$ or to $- \infty$ as $x$ approaches $a$ from either side. Such is the case, for instance, if $ϕ (x) = 1 / x$ or $ϕ (x) = 1 / x^{2}$ , and $a = 0$ . In such cases we say (cf. Ex. 7) that $x = a$ is an of $ϕ (x)$ . And again we may add to these cases those in which $ϕ (x) \to + \infty$ or $ϕ (x) \to - \infty$ as $x \to a$ from one side, but $ϕ (x)$ is not defined at all on the other side of $x = a$ .

(3) Any point of discontinuity which is not a point of simple discontinuity nor an infinity is called a point of . Such is the point $x = 0$ for the functions $\sin (1 / x)$ , $(1 / x) \sin (1 / x)$ .

19. What is the nature of the discontinuities at $x = 0$ of the functions $(\sin x) / x$ , $[x] + [- x]$ , $\csc x$ , $\sqrt{1 / x}$ , $\sqrt[3]{1 / x}$ , $\csc (1 / x)$ , $\sin (1 / x) / \sin (1 / x)$ ?

20. The function which is equal to $1$ when $x$ is rational and to $0$ when $x$ is irrational (Ch. II, Ex. XVI. 10) is discontinuous for all values of $x$ . So too is any function which is defined only for rational or for irrational values of $x$ .

21. The function which is equal to $x$ when $x$ is irrational and to $\sqrt{(1 + p^{2}) / (1 + q^{2})}$ when $x$ is a rational fraction $p / q$ (Ch. II, Ex. XVI. 11) is discontinuous for all negative and for positive rational values of $x$ , but continuous for positive irrational values.

22. For what points are the functions considered in Ch. IV, Exs. XXXI discontinuous, and what is the nature of their discontinuities? [Consider, , the function $y = lim x^{n}$ (Ex. 5). Here $y$ is only defined when $- 1 < x \leq 1$ : it is equal to $0$ when $- 1 < x < 1$ and to $1$ when $x = 1$ . The points $x = 1$ and $x = - 1$ are points of simple discontinuity.]

\leftarrow

93-97. Limits as

x \to a

Main Page

100-104. Properties of continuous functions. Bounded functions. The oscillation of a function in an interval

\to