The notions of continuity and discontinuity may be extended to functions of several independent variables (Ch. II, § 31 et seq.). Their application to such functions however, raises questions much more complicated and difficult than those which we have considered in this chapter. It would be impossible for us to discuss these questions in any detail here; but we shall, in the sequel, require to know what is meant by a continuous function of two variables, and we accordingly give the following definition. It is a straightforward generalisation of the last form of the definition of § 98.
This definition of course presupposes that \(\phi(x, y)\) is defined at all points of the square in question, and in particular at the point \((\xi, \eta)\). Another method of stating the definition is this: \(\phi(x, y)\) is continuous for \(x = \xi\), \(y = \eta\) if \(\phi(x, y) \to \phi(\xi, \eta)\) when \(x \to \xi\), \(y \to \eta\) in any manner. This statement is apparently simpler; but it contains phrases the precise meaning of which has not yet been explained and can only be explained by the help of inequalities like those which occur in our original statement.
It is easy to prove that the sums, the products, and in general the quotients of continuous functions of two variables are themselves continuous. A polynomial in two variables is continuous for all values of the variables; and the ordinary functions of \(x\) and \(y\) which occur in every-day analysis are generally continuous, i.e. are continuous except for pairs of values of \(x\) and \(y\) connected by special relations.
The reader should observe carefully that to assert the continuity of \(\phi(x, y)\) with respect to the two variables \(x\) and \(y\) is to assert much more than its continuity with respect to each variable considered separately. It is plain that if \(\phi(x, y)\) is continuous with respect to \(x\) and \(y\) then it is certainly continuous with respect to \(x\) (or \(y\)) when any fixed value is assigned to \(y\) (or \(x\)). But the converse is by no means true. Suppose, for example, that \[\phi(x, y) = \frac{2xy}{x^{2} + y^{2}}\] when neither \(x\) nor \(y\) is zero, and \(\phi(x, y) = 0\) when either \(x\) or \(y\) is zero. Then if \(y\) has any fixed value, zero or not, \(\phi(x, y)\) is a continuous function of \(x\), and in particular continuous for \(x = 0\); for its value when \(x = 0\) is zero, and it tends to the limit zero as \(x \to 0\). In the same way it may be shown that \(\phi(x, y)\) is a continuous function of \(y\). But \(\phi(x, y)\) is not a continuous function of \(x\) and \(y\) for \(x = 0\), \(y = 0\). Its value when \(x = 0\), \(y = 0\) is zero; but if \(x\) and \(y\) tend to zero along the straight line \(y = ax\), then \[\phi(x, y) = \frac{2a}{1 + a^{2}},\quad \lim\phi(x, y) = \frac{2a}{1 + a^{2}},\] which may have any value between \(-1\) and \(1\).
- The reader should draw a figure to illustrate the definition.↩︎
| $\leftarrow$ 105-106. Sets of intervals on a line. The Heine-Borel Theorem | Main Page | 108-109. Implicit and inverse functions $\rightarrow$ |