22 Limits and Continuity
We covered much about limits and continuity in calculus but we need to apply it to analysis. Lets first give the formal definition for functional limits under analysis.
Definition. Functional Limits
Let , and let be a limit point of the domain . The limit, if, for all , there exists a such that whenever for it follows that .
We have already been familiarized with and we can say that carries the same meaning for neighborhood but we utilize both because the open neighborhood for will not always be the same as the open neighborhood for . Lets look at an example of how we can use the value for to determine the largest value for which will thus return the largest open neighborhood that can possibly satisfy the limit.
Example:
, where . Find the largest which satisfies the limit [3].
Proof: Let . Since then . We first need to simplify this inequality. Firstly we can rewrite as follows:
Thus, and if we divide both sides by we get . Now, let then such that is the same as which simplifies to and since then . Thus for with , we find the largest .
There is a really valuable visual explanation, given below, of the epsilon and delta neighborhoods and what we are focusing on within a function when we analyze these limits.
We can see form this illustration, how and neighborhoods associate with functions and point . Using neighborhoods to prove limits is like narrowing down the range and domain for which a limit point may be. Given a better understanding of the relationship between neighborhoods let us look at one more example where we have to determine an appropriate and .
Example:
Given , prove the limit.
Proof: Let , Let then to find such that we need . We first simplify
Here we can see that can be easily bounded by as but will not be. If then and if we remove from by way of adding we get so if . Let us considered that then, since we have . Thus and if we divide both sides by we find . Now let , if then which we simplify to . Thus we conclude that .
Now we can expand on what we have already proven by introducing the definition of continuity as it pertains to analysis.
Definition. Continuity
A function is continuous at a point if, for all , there exists a such that whenever for it follows that [3].
This definition is very similar to our definition for functional limits with one major difference. Instead of finding neighborhoods that satisfy the limit of the function we are now looking at finding the neighborhood that satisfies the point for .
Example:
Prove that is continuous on [3].
Proof: Let then there is for all .
Part 1) If then . We rewrite by the following:
Thus . can easily be bounded by as because where . If then so if . Let then since and we can divide both sides by to find . Now let , if then which simplifies to .
Part 2) If then can be simplified by
Where . can easily be bounded by . If then can easily become by adding and then, by removing from the center and adding it to either side we find so if . Now and then we can simplify this inequality by dividing both sides by to get . Let , if then which simplifies to .
Thus we can conclude that is continuous on
Building on our understanding of continuity we introduce the following theorem [3].
Theorem: The Intermediate Value Theorem
Let be continuous. If is a real number satisfying of , then there exists a point where .
Example:
Let be continuous with . Show that there must exist satisfying and [3].
Proof: Let and let be a continuous function such that which leads us to conclude such that and since then such that . We can observe from these inequalities that at some point on the interval because the value of changes from greater than 0 to less than 0. Consider a point such that then . Thus there exists an such that and .
Expanding even further on continuity we look, now, to uniform continuity which is a stricter class of continuity.
19.1 Uniform Continuity
Previously mentioned uniform continuity is a stricter class of continuity. What this means is that instead of proving continuity by points, uniform continuity simply utilizes the -neighborhood to prove continuity.
Definition. Uniform Continuity
The function is uniformly continuous on interval if for every , there exists a such that for for it follows that [3].
It goes without need for explanation that if is uniformly continuous then is continuous on the given interval.
Example:
Prove that is uniformly continuous on .
Proof:Let then by the definition of uniform continuity
Now we let such that then we can conclude that
if and . Let such that
Let then, by dividing both sides by 2, we get such that
Can be rewritten as
Which is equivalent to
Thus if the . Thus we con conclude that is uniformly continuous on .