20 Limits and Continuity
Again, we revisit limits and continuity. However, this time, we define the limit with a term, accumulation point, and focus on the limit of real-valued functions. Therefore, let us first define the accumulation point.
Definition. (Accumulation Point)
For a set , a point
is an accumulation point of
if every deleted neighborhood of
contains a point of
.
The deleted neighborhood of refers to the neighborhood exclusive of the point of origin itself, i.e.
Alternative terms for accumulation point are limit point or cluster point. Also, the accumulation point need not be in .
Definition. (Limit)
For an accumulation point of a set
, given a mapping
, a real number
is a limit of
, if for every
there exists
such that
Note that the notion of deleted neighborhood is inherent in , i.e.
.
Formal definition of continuity at , provided in the calculus section, is obtained by requiring
and allowing for the possibility
in the previous definition of a limit. Here we introduce another intuitive way of expressing the continuity using the notion of neighborhood.
Theorem.
The statement of a mapping
is continuous at
is equivalent to
for every neighborhood of
, there exists a neighborhood
of
such that
.
Note the equivalence of the two definitions [12]
One of most important properties of a continuous function is the intermediate value theorem.
Theorem. (Intermediate Value Theorem)
Given a continuous function , where
,
the intermediate value theorem warrants the existence of such that
, where
Let us illustrate with a straightforward example.
Example. Determine whether there is a root of on
.
Let .
Then, and
.
In fact, .
Therefore, by the intermediate value theorem, there exists at least one root of on
.
Uniform Continuity
We conclude this section with uniform continuity, a different kind of continuity from an ordinary continuity. Formally, uniform continuity is defined as
Definition. (Uniform Continuity)
Given a function , the function
is uniformly continuous on
if for every
there exists
such that
Roughly speaking, uniform continuity guarantees the proximity of the two values of the function, and
, given the proximity of
, whereas the maximum distance between
and
depends on
themselves in ordinary continuous functions.
Let us illustrate with an example.
Example. Examine whether is uniformly continuous.
Let .
If we let , then
.
Therefore, by letting , we can make
Then, if we let and
,
Therefore, is not uniformly continuous on
.