122 Functions
5.3.3. THEOREM. If f, g are functions from a common domain S into R
m
that
are continuous at a ∈ S, and α ∈ R, then
(1) f + g is continuous at a,
(2) αf is continuous at a,
and when the range is contained in R,
(3) fg is continuous at a, and
(4) f/g is continuous at a provided that g(a) 6= 0.
PROOF. We prove (3) and leave the others as exercises. To show that fg is contin-
uous at a, we must show that lim
x→a
fg(x) = f(a)g(a). By Theorem 5.3.2 (3),
lim
x→a
fg(x) = lim
x→a
f(x)g(x) = lim
x→a
f(x) lim
x→a
g(x) = f(a)g(a),
where the last equality follows from f and g each being continuous. ¥
5.3.4. EXAMPLE. Observe that the function f(x) = x is continuous at every
a ∈ R, since lim
x→a
f(x) = lim
x→a
x = a. By Theorem 5.3.3 (2), products of this
function are continuous, so g(x) = x
2
, h(x) = x
3
, and in general k(x) = x
n
for
every positive integer n are all continuous functions. By Theorem 5.3.3 (1) and
(3), linear combinations of these functions are continuous, and so we conclude that
every polynomial is continuous on R.
If f is a rational function—that is, f(x) = p(x)/q(x), where p and q are
polynomials—then f is continuous at all a ∈ R, where q(a) 6= 0. This follows
from the previous paragraph and Theorem 5.3.3 (4).
Recall that if f maps a domain S ⊂ R
n
into a set T ⊂ R
m
, and g maps T into
R
l
, then the composition of g and f, denoted g ◦ f, is the function that sends x to
g(f(x)). For example, if f(x, y) = x
2
+ y
2
is defined on R
2
and g(x) =
√
x for
x ∈ [0, ∞), then g ◦ f (x, y) =
p
x
2
+ y
2
.
5.3.5. THEOREM. Suppose that f maps a domain S contained in R
n
into a
subset T of R
m
, and g maps T into R
l
. If f is continuous at a ∈ S and g is
continuous at f(a) ∈ T , then the function g ◦f is continuous at a. Thus if f and g
are continuous, then so is g ◦ f.
PROOF. We will use the sequential characterization of continuity. Let (x
n
)
∞
n=1
be
any sequence of points in S with lim
n→∞
x
n
= a. Since f is continuous at a, we
know that lim
n→∞
f(x
n
) = f(a). Thus (f(x
n
))
∞
n=1
is a sequence in T with limit
f(a), and since g is continuous at f (a), we conclude that
lim
n→∞
g(f(x
n
)) = g(f(a)).
Therefore, by Theorem 5.3.1, g ◦ f is continuous at a. ¥