
172 5 Continuity, Limits, and Differentiation
Continuity, strict monotonicity, and intervals
(a) Let f be continuous on an interval I . Then the range of f
J =
f(x):x ∈I
is an interval.
(b) Let f be strictly monotone on an interval I . If the range of f is an inter-
val, then f is continuous on I .
We prove (a) first. Assume that the function f is continuous on I .Letx<y
in J . Assume that z is strictly between x and y. We want to show that z is in J
as well. By the definition of J , there are x
1
and y
1
in I such that f(x
1
) = x and
f(y
1
) = y. In particular, f(x
1
)<z<f(y
1
). Since f is continuous on I , it is con-
tinuous on [x
1
,y
1
]. By the intermediate value theorem, there is z
1
in [x
1
,y
1
] such
that f(z
1
) =z. That is, z is also in J . This proves that J is an interval.
We now turn to the proof of (b). Since f is strictly monotone on I , f has an
inverse function f
−1
defined on the range of f , J . We now show that the function
f
−1
is strictly monotone. Assume that x<yare in J . There are x
1
and y
1
in I such
that x =f(x
1
) and y = f(y
1
). Assume that f is strictly increasing (the decreasing
case is similar). By contradiction, assume that
x
1
≥y
1
.
Since f is increasing, we get
f(x
1
) ≥f(y
1
).
That is, x ≥ y, a contradiction. We must have x
1
<y
1
. Since x
1
= f
−1
(x) and
y
1
= f
−1
(y), we get that f
−1
is strictly increasing on J , which is an interval by
assumption. Hence, since the inverse function of a function defined on an interval
is continuous, we have that (f
−1
)
−1
is continuous on I .But(f
−1
)
−1
=f . Hence,
f is continuous. This concludes the proof of (b).
Application 5.3 Let f be continuous and strictly monotone on the open interval I .
Then, the range of f , J , is an open interval as well.
Since f is continuous, we know that J is an interval. We need to prove that J is
open. In order to prove that J is open on the right, it is enough to show that either
J is not bounded above, or it is bounded above, but its least upper bound does not
belong to J . Assume that J is bounded above by some M. Since J is not empty
(intervals are not empty according to our definition), by the fundamental property
of the reals, J has a least upper bound b. By contradiction, assume that b belongs
to J . Then b is in the range of f , and there is a in I such that f(a)=b. Assume
that f is strictly increasing (the decreasing case is similar). Since I is open, there is
c>ain I , and therefore f(c)>f(a)=b. Hence, f(c)is in J and is strictly larger
than the upper bound b of J . We have a contradiction. The l.u.b. b does not belong