For our final corollary, we first note a straightforward characterization: a set I ⊆ R is an interval if
a, b ∈ I and a < y < b =⇒ y ∈ I (∗)
Corollary 18.10 (Preservation of Intervals). Suppose f : U → V is continuous where U = dom f is
an interval (of positive length) and V = range f .
1. V is an interval or a point.
2. If f is strictly increasing (decreasing), then:
(a) V is an interval (it has positive length).
(b) f is injective (and thus bijective).
(c) The inverse function f
−1
: V → U is also continuous and strictly increasing (decreasing).
Example 18.11. In part 1, note that the interval V need not be of the
same type as U. For instance, if f (x) = 10x − x
2
, then f maps the open
interval U = ( 2, 9) to the half-open interval V = (9, 25].
The extreme value theorem, however, guarantees that if U is a closed
bounded interval, then V is also, for instance,
f
[2, 9]
= [9, 25]
Proof. 1. If V is not a point, then ∃a, b ∈ U such that f (a) < f (b). Let y ∈
f (a), f (b)
; IVT says
∃ξ between a and b such that y = f (ξ). That is, y ∈ range f . By (∗), V = range f is an interval.
2. (a,b) If f is strictly increasing, then ∀a, b ∈ U, a < b =⇒ f (a) < f (b). It follows that f is
injective and that V contains at least 2 points; by part 1 it has positive length.
(c) Let y
1
< y
2
where both lie in V, and define x
i
= f
−1
( y
i
) for i = 1, 2. Since f is increasing,
x
2
≤ x
1
=⇒ y
2
= f (x
2
) ≤ f (x
1
) = y
1
is a contradiction. Thus x
1
< x
2
and f
−1
is also strictly increasing.
It remains to show that f
−1
is continuous at b = f
−1
(a). Assume first that a is not an
endpoint of U. Given ϵ > 0 for which [a −ϵ, a + ϵ ] ⊆ U, let
δ := min
b − f (a − ϵ), f (a + ϵ) −b
and observe that
|
y − b
|
< δ =⇒ f (a −ϵ) − b < y −b < f (a + ϵ) − b =⇒ f (a − ϵ) < y < f (a + ϵ)
=⇒ a −ϵ < y < a + ϵ ( f strictly increasing)
=⇒
f
−1
( y) − a
< ϵ
If a is an endpoint of U, instead use [a − ϵ, a] ⊆ U or [a, a + ϵ] ⊆ U and only the corre-
sponding half of the expression δ.
75