Prove that $lim_{x to a} f(x) = infty$ iff $lim_{x to a} frac{1}{f(x)} = 0$
Let $a in mathbb{R}$ and prove that, using the $epsilon-delta$ definition of the limit, $displaystyle lim_{x to a} f(x) = infty$ iff $displaystyle lim_{x to a} frac{1}{f(x)} = 0$ and that there is $delta > 0$ such that $f(x) > 0$ whenever $0 < |x-a| < delta$.
For the first question, we are given that $$forall M>0, exists delta quad 0<|x-a|<delta implies quad f(x) > M$$ and need to show this is equivalent to $$forall epsilon, exists delta quad 0<|x-a|<delta implies quad left |dfrac{1}{f(x)} right |< epsilon.$$ I am not to sure how to show this part. As for the second part of the question, couldn't we just have $f(x) = -5$ and that never be true?
calculus limits
add a comment |
Let $a in mathbb{R}$ and prove that, using the $epsilon-delta$ definition of the limit, $displaystyle lim_{x to a} f(x) = infty$ iff $displaystyle lim_{x to a} frac{1}{f(x)} = 0$ and that there is $delta > 0$ such that $f(x) > 0$ whenever $0 < |x-a| < delta$.
For the first question, we are given that $$forall M>0, exists delta quad 0<|x-a|<delta implies quad f(x) > M$$ and need to show this is equivalent to $$forall epsilon, exists delta quad 0<|x-a|<delta implies quad left |dfrac{1}{f(x)} right |< epsilon.$$ I am not to sure how to show this part. As for the second part of the question, couldn't we just have $f(x) = -5$ and that never be true?
calculus limits
Actually that's not right @ThomasAndrews. I think your example is wrong this should work for any function since it approaches infinity as $a$ goes to infinity.
– Puzzled417
Mar 7 '16 at 2:11
Remember we are talking about $f(x)$ approaching infinity as $a$ goes to infinity, which it does in your example. But the $infty$ I define here means $+infty$ so this works for any function.
– Puzzled417
Mar 7 '16 at 2:16
add a comment |
Let $a in mathbb{R}$ and prove that, using the $epsilon-delta$ definition of the limit, $displaystyle lim_{x to a} f(x) = infty$ iff $displaystyle lim_{x to a} frac{1}{f(x)} = 0$ and that there is $delta > 0$ such that $f(x) > 0$ whenever $0 < |x-a| < delta$.
For the first question, we are given that $$forall M>0, exists delta quad 0<|x-a|<delta implies quad f(x) > M$$ and need to show this is equivalent to $$forall epsilon, exists delta quad 0<|x-a|<delta implies quad left |dfrac{1}{f(x)} right |< epsilon.$$ I am not to sure how to show this part. As for the second part of the question, couldn't we just have $f(x) = -5$ and that never be true?
calculus limits
Let $a in mathbb{R}$ and prove that, using the $epsilon-delta$ definition of the limit, $displaystyle lim_{x to a} f(x) = infty$ iff $displaystyle lim_{x to a} frac{1}{f(x)} = 0$ and that there is $delta > 0$ such that $f(x) > 0$ whenever $0 < |x-a| < delta$.
For the first question, we are given that $$forall M>0, exists delta quad 0<|x-a|<delta implies quad f(x) > M$$ and need to show this is equivalent to $$forall epsilon, exists delta quad 0<|x-a|<delta implies quad left |dfrac{1}{f(x)} right |< epsilon.$$ I am not to sure how to show this part. As for the second part of the question, couldn't we just have $f(x) = -5$ and that never be true?
calculus limits
calculus limits
edited Nov 27 at 12:14
Martin Sleziak
44.7k7115270
44.7k7115270
asked Mar 7 '16 at 1:10
Puzzled417
3,085527
3,085527
Actually that's not right @ThomasAndrews. I think your example is wrong this should work for any function since it approaches infinity as $a$ goes to infinity.
– Puzzled417
Mar 7 '16 at 2:11
Remember we are talking about $f(x)$ approaching infinity as $a$ goes to infinity, which it does in your example. But the $infty$ I define here means $+infty$ so this works for any function.
– Puzzled417
Mar 7 '16 at 2:16
add a comment |
Actually that's not right @ThomasAndrews. I think your example is wrong this should work for any function since it approaches infinity as $a$ goes to infinity.
– Puzzled417
Mar 7 '16 at 2:11
Remember we are talking about $f(x)$ approaching infinity as $a$ goes to infinity, which it does in your example. But the $infty$ I define here means $+infty$ so this works for any function.
– Puzzled417
Mar 7 '16 at 2:16
Actually that's not right @ThomasAndrews. I think your example is wrong this should work for any function since it approaches infinity as $a$ goes to infinity.
– Puzzled417
Mar 7 '16 at 2:11
Actually that's not right @ThomasAndrews. I think your example is wrong this should work for any function since it approaches infinity as $a$ goes to infinity.
– Puzzled417
Mar 7 '16 at 2:11
Remember we are talking about $f(x)$ approaching infinity as $a$ goes to infinity, which it does in your example. But the $infty$ I define here means $+infty$ so this works for any function.
– Puzzled417
Mar 7 '16 at 2:16
Remember we are talking about $f(x)$ approaching infinity as $a$ goes to infinity, which it does in your example. But the $infty$ I define here means $+infty$ so this works for any function.
– Puzzled417
Mar 7 '16 at 2:16
add a comment |
3 Answers
3
active
oldest
votes
Here is the first part: Let $varepsilon>0$. Then, by assumption, $exists delta>0$ such that $forall x: |x-a|<deltaimplies f(x)>frac{1}{varepsilon}$. Thus, $frac{1}{f(x)}<varepsilon$ and since $varepsilon$ was arbitrary, $limlimits_{xrightarrow a}frac{1}{f(x)}=0$.
add a comment |
So let some $epsilon > 0$. We need to find a $delta$ such that when $|x-a|<delta$, we would have $left|frac{1}{f(x)}right| < epsilon$.
Let $M = 1/epsilon$. Now there must exist a $delta$ such that when $|x-a|<delta$, we have $f(x) > M = 1/epsilon$.
Can you finish this by inverting the last inequality?
We have $frac{1}{f(x)} < epsilon$. We can't take the absolute value of both sides, can we?
– Puzzled417
Mar 7 '16 at 1:31
@Puzzled417 But $M = 1/epsilon > 0$ and so $f(x) > 0$ too
– gt6989b
Mar 7 '16 at 1:37
What about the second statement in the question?
– Puzzled417
Mar 7 '16 at 1:41
What about the $f(x) > 0$ part?
– Puzzled417
Mar 7 '16 at 2:31
@Puzzled417 it is talking about the same $f$ in the second part...
– gt6989b
Mar 9 '16 at 17:23
add a comment |
For the direct side of the theorem as you have stated we have$$forall M>0, exists delta quad 0<|x-a|<delta implies quad f(x) > M$$define $M={1over epsilon}$ with $epsilon>0$. Therefore the above logical statement is equivalent to $$forall epsilon>0, exists delta quad 0<|x-a|<delta implies quad f(x) > {1over epsilon}to 0<{1over f(x)}<epsilon$$which is the direct definition of limit to zero. Here we do not need the second condition to hold as a necessary condition while as a necessary condition for the converse we must have that the function must be positive on at least on neighborhood of $a$. The second condition is in fact a formal mathematical expression of this. Sinilarly in the proof of converse, you only need to take $epsilon$ sufficiently small such that $delta<delta_0$ where $delta_0$ satisfies the second condition.
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1686371%2fprove-that-lim-x-to-a-fx-infty-iff-lim-x-to-a-frac1fx-0%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
Here is the first part: Let $varepsilon>0$. Then, by assumption, $exists delta>0$ such that $forall x: |x-a|<deltaimplies f(x)>frac{1}{varepsilon}$. Thus, $frac{1}{f(x)}<varepsilon$ and since $varepsilon$ was arbitrary, $limlimits_{xrightarrow a}frac{1}{f(x)}=0$.
add a comment |
Here is the first part: Let $varepsilon>0$. Then, by assumption, $exists delta>0$ such that $forall x: |x-a|<deltaimplies f(x)>frac{1}{varepsilon}$. Thus, $frac{1}{f(x)}<varepsilon$ and since $varepsilon$ was arbitrary, $limlimits_{xrightarrow a}frac{1}{f(x)}=0$.
add a comment |
Here is the first part: Let $varepsilon>0$. Then, by assumption, $exists delta>0$ such that $forall x: |x-a|<deltaimplies f(x)>frac{1}{varepsilon}$. Thus, $frac{1}{f(x)}<varepsilon$ and since $varepsilon$ was arbitrary, $limlimits_{xrightarrow a}frac{1}{f(x)}=0$.
Here is the first part: Let $varepsilon>0$. Then, by assumption, $exists delta>0$ such that $forall x: |x-a|<deltaimplies f(x)>frac{1}{varepsilon}$. Thus, $frac{1}{f(x)}<varepsilon$ and since $varepsilon$ was arbitrary, $limlimits_{xrightarrow a}frac{1}{f(x)}=0$.
answered Mar 7 '16 at 1:16
Tony S.F.
3,2222928
3,2222928
add a comment |
add a comment |
So let some $epsilon > 0$. We need to find a $delta$ such that when $|x-a|<delta$, we would have $left|frac{1}{f(x)}right| < epsilon$.
Let $M = 1/epsilon$. Now there must exist a $delta$ such that when $|x-a|<delta$, we have $f(x) > M = 1/epsilon$.
Can you finish this by inverting the last inequality?
We have $frac{1}{f(x)} < epsilon$. We can't take the absolute value of both sides, can we?
– Puzzled417
Mar 7 '16 at 1:31
@Puzzled417 But $M = 1/epsilon > 0$ and so $f(x) > 0$ too
– gt6989b
Mar 7 '16 at 1:37
What about the second statement in the question?
– Puzzled417
Mar 7 '16 at 1:41
What about the $f(x) > 0$ part?
– Puzzled417
Mar 7 '16 at 2:31
@Puzzled417 it is talking about the same $f$ in the second part...
– gt6989b
Mar 9 '16 at 17:23
add a comment |
So let some $epsilon > 0$. We need to find a $delta$ such that when $|x-a|<delta$, we would have $left|frac{1}{f(x)}right| < epsilon$.
Let $M = 1/epsilon$. Now there must exist a $delta$ such that when $|x-a|<delta$, we have $f(x) > M = 1/epsilon$.
Can you finish this by inverting the last inequality?
We have $frac{1}{f(x)} < epsilon$. We can't take the absolute value of both sides, can we?
– Puzzled417
Mar 7 '16 at 1:31
@Puzzled417 But $M = 1/epsilon > 0$ and so $f(x) > 0$ too
– gt6989b
Mar 7 '16 at 1:37
What about the second statement in the question?
– Puzzled417
Mar 7 '16 at 1:41
What about the $f(x) > 0$ part?
– Puzzled417
Mar 7 '16 at 2:31
@Puzzled417 it is talking about the same $f$ in the second part...
– gt6989b
Mar 9 '16 at 17:23
add a comment |
So let some $epsilon > 0$. We need to find a $delta$ such that when $|x-a|<delta$, we would have $left|frac{1}{f(x)}right| < epsilon$.
Let $M = 1/epsilon$. Now there must exist a $delta$ such that when $|x-a|<delta$, we have $f(x) > M = 1/epsilon$.
Can you finish this by inverting the last inequality?
So let some $epsilon > 0$. We need to find a $delta$ such that when $|x-a|<delta$, we would have $left|frac{1}{f(x)}right| < epsilon$.
Let $M = 1/epsilon$. Now there must exist a $delta$ such that when $|x-a|<delta$, we have $f(x) > M = 1/epsilon$.
Can you finish this by inverting the last inequality?
answered Mar 7 '16 at 1:16
gt6989b
33k22452
33k22452
We have $frac{1}{f(x)} < epsilon$. We can't take the absolute value of both sides, can we?
– Puzzled417
Mar 7 '16 at 1:31
@Puzzled417 But $M = 1/epsilon > 0$ and so $f(x) > 0$ too
– gt6989b
Mar 7 '16 at 1:37
What about the second statement in the question?
– Puzzled417
Mar 7 '16 at 1:41
What about the $f(x) > 0$ part?
– Puzzled417
Mar 7 '16 at 2:31
@Puzzled417 it is talking about the same $f$ in the second part...
– gt6989b
Mar 9 '16 at 17:23
add a comment |
We have $frac{1}{f(x)} < epsilon$. We can't take the absolute value of both sides, can we?
– Puzzled417
Mar 7 '16 at 1:31
@Puzzled417 But $M = 1/epsilon > 0$ and so $f(x) > 0$ too
– gt6989b
Mar 7 '16 at 1:37
What about the second statement in the question?
– Puzzled417
Mar 7 '16 at 1:41
What about the $f(x) > 0$ part?
– Puzzled417
Mar 7 '16 at 2:31
@Puzzled417 it is talking about the same $f$ in the second part...
– gt6989b
Mar 9 '16 at 17:23
We have $frac{1}{f(x)} < epsilon$. We can't take the absolute value of both sides, can we?
– Puzzled417
Mar 7 '16 at 1:31
We have $frac{1}{f(x)} < epsilon$. We can't take the absolute value of both sides, can we?
– Puzzled417
Mar 7 '16 at 1:31
@Puzzled417 But $M = 1/epsilon > 0$ and so $f(x) > 0$ too
– gt6989b
Mar 7 '16 at 1:37
@Puzzled417 But $M = 1/epsilon > 0$ and so $f(x) > 0$ too
– gt6989b
Mar 7 '16 at 1:37
What about the second statement in the question?
– Puzzled417
Mar 7 '16 at 1:41
What about the second statement in the question?
– Puzzled417
Mar 7 '16 at 1:41
What about the $f(x) > 0$ part?
– Puzzled417
Mar 7 '16 at 2:31
What about the $f(x) > 0$ part?
– Puzzled417
Mar 7 '16 at 2:31
@Puzzled417 it is talking about the same $f$ in the second part...
– gt6989b
Mar 9 '16 at 17:23
@Puzzled417 it is talking about the same $f$ in the second part...
– gt6989b
Mar 9 '16 at 17:23
add a comment |
For the direct side of the theorem as you have stated we have$$forall M>0, exists delta quad 0<|x-a|<delta implies quad f(x) > M$$define $M={1over epsilon}$ with $epsilon>0$. Therefore the above logical statement is equivalent to $$forall epsilon>0, exists delta quad 0<|x-a|<delta implies quad f(x) > {1over epsilon}to 0<{1over f(x)}<epsilon$$which is the direct definition of limit to zero. Here we do not need the second condition to hold as a necessary condition while as a necessary condition for the converse we must have that the function must be positive on at least on neighborhood of $a$. The second condition is in fact a formal mathematical expression of this. Sinilarly in the proof of converse, you only need to take $epsilon$ sufficiently small such that $delta<delta_0$ where $delta_0$ satisfies the second condition.
add a comment |
For the direct side of the theorem as you have stated we have$$forall M>0, exists delta quad 0<|x-a|<delta implies quad f(x) > M$$define $M={1over epsilon}$ with $epsilon>0$. Therefore the above logical statement is equivalent to $$forall epsilon>0, exists delta quad 0<|x-a|<delta implies quad f(x) > {1over epsilon}to 0<{1over f(x)}<epsilon$$which is the direct definition of limit to zero. Here we do not need the second condition to hold as a necessary condition while as a necessary condition for the converse we must have that the function must be positive on at least on neighborhood of $a$. The second condition is in fact a formal mathematical expression of this. Sinilarly in the proof of converse, you only need to take $epsilon$ sufficiently small such that $delta<delta_0$ where $delta_0$ satisfies the second condition.
add a comment |
For the direct side of the theorem as you have stated we have$$forall M>0, exists delta quad 0<|x-a|<delta implies quad f(x) > M$$define $M={1over epsilon}$ with $epsilon>0$. Therefore the above logical statement is equivalent to $$forall epsilon>0, exists delta quad 0<|x-a|<delta implies quad f(x) > {1over epsilon}to 0<{1over f(x)}<epsilon$$which is the direct definition of limit to zero. Here we do not need the second condition to hold as a necessary condition while as a necessary condition for the converse we must have that the function must be positive on at least on neighborhood of $a$. The second condition is in fact a formal mathematical expression of this. Sinilarly in the proof of converse, you only need to take $epsilon$ sufficiently small such that $delta<delta_0$ where $delta_0$ satisfies the second condition.
For the direct side of the theorem as you have stated we have$$forall M>0, exists delta quad 0<|x-a|<delta implies quad f(x) > M$$define $M={1over epsilon}$ with $epsilon>0$. Therefore the above logical statement is equivalent to $$forall epsilon>0, exists delta quad 0<|x-a|<delta implies quad f(x) > {1over epsilon}to 0<{1over f(x)}<epsilon$$which is the direct definition of limit to zero. Here we do not need the second condition to hold as a necessary condition while as a necessary condition for the converse we must have that the function must be positive on at least on neighborhood of $a$. The second condition is in fact a formal mathematical expression of this. Sinilarly in the proof of converse, you only need to take $epsilon$ sufficiently small such that $delta<delta_0$ where $delta_0$ satisfies the second condition.
answered Nov 27 at 13:03
Mostafa Ayaz
13.6k3836
13.6k3836
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1686371%2fprove-that-lim-x-to-a-fx-infty-iff-lim-x-to-a-frac1fx-0%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Actually that's not right @ThomasAndrews. I think your example is wrong this should work for any function since it approaches infinity as $a$ goes to infinity.
– Puzzled417
Mar 7 '16 at 2:11
Remember we are talking about $f(x)$ approaching infinity as $a$ goes to infinity, which it does in your example. But the $infty$ I define here means $+infty$ so this works for any function.
– Puzzled417
Mar 7 '16 at 2:16