
For a final corollary, first note a straightforward characterization that helps us consider all types of
interval simultaneously: U ⊆ R is an interval precisely when
a, b ∈ U and a < y < b =⇒ y ∈ U (∗)
Corollary 4.21 (Preservation of Intervals). Suppose U is an interval of positive length, and that
f : U → V is continuous and surjective (V = f (U)).
1. V is an interval or a point.
2. If f is strictly increasing (decreasing), then:
(a) V is an interval of positive length, f is injective, and therefore bijective.
(b) The inverse function f
−1
: V → U is also continuous and strictly increasing (decreasing).
Example 4.22. 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 closed
and bounded, 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). If y lies between these, IVT says
∃ξ between a and b such that y = f (ξ). That is, y ∈ f (U). By (∗), V = f (U) is an interval.
2. (a) If f is strictly increasing, then ∀a, b ∈ U, a < b =⇒ f (a) < f (b). Plainly f is injective and
V contains at least two points; by part 1 it is an interval of positive length.
(b) 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.
If a ∈ U, it remains to show that f
−1
is continuous at b = f (a) . Assume first that a is not
an endpoint of U and let ϵ > 0 be given such that [a −ϵ, a + ϵ] ⊆ U,. Now define
δ := min
b − f (a −ϵ), f (a + ϵ) −b
This is positive since f is strictly increasing. But now
|
y −b
|
< δ =⇒ f (a −ϵ) −b < y − b < f (a + ϵ) −b
=⇒ f (a −ϵ) < y < f (a + ϵ)
=⇒ a −ϵ < f
−1
(y) < a + ϵ
=⇒
f
−1
(y) − f
−1
(b)
=
f
−1
(y) − a
< ϵ
where (=⇒) used the fact that f is strictly increasing.
a a + ϵa − ϵ
b
f (a + ϵ)
b + δ
b − δ
∥
f (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 defining δ.
72