In this case it is and .
If is a sequence of points in such as it follows .
After this simple example we’ll introduce a theorem that will state a somewhat obvious result.
In layman terms what it expresses is that if a function has a limit in a given point than the one-sided limits have to be equal and equal to the limit of the function.
In a more kinematic way it tell us if we approach by points of the domain from the right of , or from the left of , the images of those points have to converge to the same value.
Theorem 29
Let , , and let us suppose that . Then, if it also is ; and if it also is . Proof: Let be a sequence of points in such as . Since is a sequence of points in (by our choice of ) and (by the hypothesis of the theorem) it follows from the definition of limit that . But this is just by definition 32. The case is proved in the same way with the due modifications and is left as an exercise for the reader. |
Using the previous theorem it is easy to see that this limit doesn’t exist. We already know that and that .
Since the limit from the right of is different from the limit of the left of we can conclude that this limit doesn’t exist.
Just in case the previous example has caused some doubts on the reader I’ll now try to explain in a more clear way the reasoning behind it.
Theorem 29 is an implication theorem. By that I mean a theorem that states a relationship between two propositions where the fact of the first proposition is true implies that the second proposition is also true.
So, we have proposition and proposition . And an implication between those two propositions can be for example: “The validity of depends on the validity of “.
What this means is that if is a true statement than the validity of will follow.
And that if is a false statement than will also be a false statement.
In mathematical notation: (where means not ) .
Note that if we have we can’t conclude anything about the logical value of and that if we have we can’t conclude anything about the value of .
An everyday situation may helps us here:
Imagine that you are waiting for and old friend from an uncle of yours called Pierre.
You have never known Pierre and the only thing that you know about him is that he only speaks French.
So a fellow comes to you and starts asking for directions in English. At that moment you can conclude that the fellow in question isn’t Pierre ().
If by chance some fellow comes near you speaking French than you can’t conclude anything (remember that Pierre isn’t the only French speaking guy on Planet Earth).
In Theorem 29 we had .
In this case is and Q is .
So by showing that we arrived at the conclusion that we have and so has to follow.
In this case is just the statement that is a meaningless statement for any and so doesn’t exist.
— 6.4. Limits of Functions and Inequalities —
We will now state a group of theorems that generalize what we already saw for sequences.
Theorem 30 (Limit of Inequalities) Let , , and let us suppose that there exists such as .
If and exist it is Proof: Let be a sequence of points in such as . By definition 18 . Since . Thus implies that . By Theorem 14 we know that it is . Since and it follows |
Corollary 31
Let , , and . If there exists such as () and if exist. It is (). Proof: Take in the previous theorem. |
Pingback: Real Analysis – Differential Calculus II | From Suits to Spectra