144 5 Continuity, Limits, and Differentiation
Since x
n
is always in [a,b], the Bolzano–Weierstrass theorem applies, and there is a
subsequence x
n
k
that converges to some . It is easy to see that is in [a,b] (why?).
Since f is continuous at ,sois|f | (why?). Hence, |f(x
n
k
)| converges to |f()|.
On the other hand,
f(x
n
k
)
>n
k
.
That is, |f(x
n
k
)| is unbounded. This is a contradiction, a convergent sequence must
be bounded. Therefore, f is bounded.
In our second step we show that f attains a maximum (that f attains a minimum
is similar and left as an exercise). Consider
A =
f(x):x ∈[a,b]
.
That is, A is the range of f . Note that by the first step, A is bounded above by M.
Clearly, A is not empty (why?). By the fundamental property of the reals, A has a
least upper bound m. As shown in Sect. 2.1, there is a sequence y
n
in A that con-
verges to m. Since y
n
is in A, there is z
n
in [a,b] such that y
n
=f(z
n
). Hence, there
is a sequence z
n
in [a,b] such that f(z
n
) converges to m. By Bolzano–Weierstrass
(since z
n
is bounded), there is a subsequence z
n
k
that converges to some d in [a,b].
Since f is continuous at d, f(z
n
k
) converges to f(d).Butf(z
n
k
) converges to m as
well since f(z
n
k
) is a subsequence of f(z
n
). Hence, we must have f(d)=m.This
proves that f attains its maximum at d.
Example 5.10 The extreme value theorem applies to continuous functions on closed
and bounded intervals. That is, intervals of the type [a,b]. Consider f(x)=1/x for
x on (0, 1]. The function f is continuous on (0, 1]. However, it is not bounded. For
every n,
f
1/(n +1)
=n +1 >n.
Hence, f cannot attain its maximum. The EVT does not apply since (0, 1] is not
closed at 0.
For most of our applications, we will use the definition of continuity using se-
quences. However, the following definition of continuity is also useful.
Another definition of continuity
Let f be defined on D. Then, f is continuous at a ∈ D if and only if for
every >0, there is a δ>0 such that if x is in D and |x − a| <δ, then
|f(x)−f(a)|<.
We want to show that the statement A: ‘f is continuous at a’ is equivalent to the
statement B: ‘for every >0, there is a δ>0 such that if x is in D and |x −a|<δ,
then |f(x)−f(a)|<’.