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 .