If $f$ is continuous and with a limit at infinity then $f$ is uniformly continuous
$begingroup$
Let $f : [a, +infty) rightarrow mathbb{R}$ be continuous, such that
$lim_{x rightarrow +infty} f(x) = l in mathbb{R}$. Show that f is
uniformly continuous.
I want to split the domain - one in which we have continuity, and the other in which the values of f are approaching $l$. This means there are theree possibilities for our $x$ and $y$ using the uniformly continuous definition: x and y are in the first part, x and y are in the second, x is in the first and y in the second.
How would I do this proof?
real-analysis limits continuity uniform-continuity
$endgroup$
add a comment |
$begingroup$
Let $f : [a, +infty) rightarrow mathbb{R}$ be continuous, such that
$lim_{x rightarrow +infty} f(x) = l in mathbb{R}$. Show that f is
uniformly continuous.
I want to split the domain - one in which we have continuity, and the other in which the values of f are approaching $l$. This means there are theree possibilities for our $x$ and $y$ using the uniformly continuous definition: x and y are in the first part, x and y are in the second, x is in the first and y in the second.
How would I do this proof?
real-analysis limits continuity uniform-continuity
$endgroup$
2
$begingroup$
To avoid splitting into three cases, you could allow the pieces to overlap and make sure to choose $delta$ less than the width of the overlap. This avoids the case where $x$ is in one piece and $y$ is in the other.
$endgroup$
– J. Loreaux
Nov 7 '16 at 19:06
$begingroup$
@GregordeCillia A uniformly continuous function can have unbounded derivative
$endgroup$
– zhw.
Nov 7 '16 at 19:12
$begingroup$
Yes. That's why I deleted my comment after a few mjnutes. I was thinking anout lipschitz continuouity and wanted to give an osciallator-like counterexample
$endgroup$
– Gregor de Cillia
Nov 7 '16 at 19:21
$begingroup$
Fix epsilon. Let delta(x) be the maximum delta used in the definition of continuity at x. Show delta(x) has a nonzero limit given the conditions of the problem.
$endgroup$
– Alephnull
Nov 7 '16 at 20:35
add a comment |
$begingroup$
Let $f : [a, +infty) rightarrow mathbb{R}$ be continuous, such that
$lim_{x rightarrow +infty} f(x) = l in mathbb{R}$. Show that f is
uniformly continuous.
I want to split the domain - one in which we have continuity, and the other in which the values of f are approaching $l$. This means there are theree possibilities for our $x$ and $y$ using the uniformly continuous definition: x and y are in the first part, x and y are in the second, x is in the first and y in the second.
How would I do this proof?
real-analysis limits continuity uniform-continuity
$endgroup$
Let $f : [a, +infty) rightarrow mathbb{R}$ be continuous, such that
$lim_{x rightarrow +infty} f(x) = l in mathbb{R}$. Show that f is
uniformly continuous.
I want to split the domain - one in which we have continuity, and the other in which the values of f are approaching $l$. This means there are theree possibilities for our $x$ and $y$ using the uniformly continuous definition: x and y are in the first part, x and y are in the second, x is in the first and y in the second.
How would I do this proof?
real-analysis limits continuity uniform-continuity
real-analysis limits continuity uniform-continuity
edited Nov 7 '16 at 20:16
Did
248k23224462
248k23224462
asked Nov 7 '16 at 19:01
user381164user381164
724
724
2
$begingroup$
To avoid splitting into three cases, you could allow the pieces to overlap and make sure to choose $delta$ less than the width of the overlap. This avoids the case where $x$ is in one piece and $y$ is in the other.
$endgroup$
– J. Loreaux
Nov 7 '16 at 19:06
$begingroup$
@GregordeCillia A uniformly continuous function can have unbounded derivative
$endgroup$
– zhw.
Nov 7 '16 at 19:12
$begingroup$
Yes. That's why I deleted my comment after a few mjnutes. I was thinking anout lipschitz continuouity and wanted to give an osciallator-like counterexample
$endgroup$
– Gregor de Cillia
Nov 7 '16 at 19:21
$begingroup$
Fix epsilon. Let delta(x) be the maximum delta used in the definition of continuity at x. Show delta(x) has a nonzero limit given the conditions of the problem.
$endgroup$
– Alephnull
Nov 7 '16 at 20:35
add a comment |
2
$begingroup$
To avoid splitting into three cases, you could allow the pieces to overlap and make sure to choose $delta$ less than the width of the overlap. This avoids the case where $x$ is in one piece and $y$ is in the other.
$endgroup$
– J. Loreaux
Nov 7 '16 at 19:06
$begingroup$
@GregordeCillia A uniformly continuous function can have unbounded derivative
$endgroup$
– zhw.
Nov 7 '16 at 19:12
$begingroup$
Yes. That's why I deleted my comment after a few mjnutes. I was thinking anout lipschitz continuouity and wanted to give an osciallator-like counterexample
$endgroup$
– Gregor de Cillia
Nov 7 '16 at 19:21
$begingroup$
Fix epsilon. Let delta(x) be the maximum delta used in the definition of continuity at x. Show delta(x) has a nonzero limit given the conditions of the problem.
$endgroup$
– Alephnull
Nov 7 '16 at 20:35
2
2
$begingroup$
To avoid splitting into three cases, you could allow the pieces to overlap and make sure to choose $delta$ less than the width of the overlap. This avoids the case where $x$ is in one piece and $y$ is in the other.
$endgroup$
– J. Loreaux
Nov 7 '16 at 19:06
$begingroup$
To avoid splitting into three cases, you could allow the pieces to overlap and make sure to choose $delta$ less than the width of the overlap. This avoids the case where $x$ is in one piece and $y$ is in the other.
$endgroup$
– J. Loreaux
Nov 7 '16 at 19:06
$begingroup$
@GregordeCillia A uniformly continuous function can have unbounded derivative
$endgroup$
– zhw.
Nov 7 '16 at 19:12
$begingroup$
@GregordeCillia A uniformly continuous function can have unbounded derivative
$endgroup$
– zhw.
Nov 7 '16 at 19:12
$begingroup$
Yes. That's why I deleted my comment after a few mjnutes. I was thinking anout lipschitz continuouity and wanted to give an osciallator-like counterexample
$endgroup$
– Gregor de Cillia
Nov 7 '16 at 19:21
$begingroup$
Yes. That's why I deleted my comment after a few mjnutes. I was thinking anout lipschitz continuouity and wanted to give an osciallator-like counterexample
$endgroup$
– Gregor de Cillia
Nov 7 '16 at 19:21
$begingroup$
Fix epsilon. Let delta(x) be the maximum delta used in the definition of continuity at x. Show delta(x) has a nonzero limit given the conditions of the problem.
$endgroup$
– Alephnull
Nov 7 '16 at 20:35
$begingroup$
Fix epsilon. Let delta(x) be the maximum delta used in the definition of continuity at x. Show delta(x) has a nonzero limit given the conditions of the problem.
$endgroup$
– Alephnull
Nov 7 '16 at 20:35
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
It suffices you do the following. Given $epsilon>0$, take $N$ large so that, for $x>N$,
$$|f(x)- l|<varepsilon/2$$
It follows that if $x,y>N$, then $|f(x)-f(y)|<varepsilon$. Now consider the interval $[a,N+1]$, which is compact. Here $f$ is uniformly continuous, so there is some $delta >0$ such that if $|x-y|<delta$ then $|f(x)-f(y)|<varepsilon$. We can assume that $delta<1$.
Consider now arbitrary $x,ygeqslant a$ that are at most $delta$ units apart. If both $x,yleqslant N+1$, then you're done. Our choice of $delta$ is such that if $x> N+1$ then also $y>N$, and you're also done.
$endgroup$
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%2f2003989%2fif-f-is-continuous-and-with-a-limit-at-infinity-then-f-is-uniformly-continuo%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
It suffices you do the following. Given $epsilon>0$, take $N$ large so that, for $x>N$,
$$|f(x)- l|<varepsilon/2$$
It follows that if $x,y>N$, then $|f(x)-f(y)|<varepsilon$. Now consider the interval $[a,N+1]$, which is compact. Here $f$ is uniformly continuous, so there is some $delta >0$ such that if $|x-y|<delta$ then $|f(x)-f(y)|<varepsilon$. We can assume that $delta<1$.
Consider now arbitrary $x,ygeqslant a$ that are at most $delta$ units apart. If both $x,yleqslant N+1$, then you're done. Our choice of $delta$ is such that if $x> N+1$ then also $y>N$, and you're also done.
$endgroup$
add a comment |
$begingroup$
It suffices you do the following. Given $epsilon>0$, take $N$ large so that, for $x>N$,
$$|f(x)- l|<varepsilon/2$$
It follows that if $x,y>N$, then $|f(x)-f(y)|<varepsilon$. Now consider the interval $[a,N+1]$, which is compact. Here $f$ is uniformly continuous, so there is some $delta >0$ such that if $|x-y|<delta$ then $|f(x)-f(y)|<varepsilon$. We can assume that $delta<1$.
Consider now arbitrary $x,ygeqslant a$ that are at most $delta$ units apart. If both $x,yleqslant N+1$, then you're done. Our choice of $delta$ is such that if $x> N+1$ then also $y>N$, and you're also done.
$endgroup$
add a comment |
$begingroup$
It suffices you do the following. Given $epsilon>0$, take $N$ large so that, for $x>N$,
$$|f(x)- l|<varepsilon/2$$
It follows that if $x,y>N$, then $|f(x)-f(y)|<varepsilon$. Now consider the interval $[a,N+1]$, which is compact. Here $f$ is uniformly continuous, so there is some $delta >0$ such that if $|x-y|<delta$ then $|f(x)-f(y)|<varepsilon$. We can assume that $delta<1$.
Consider now arbitrary $x,ygeqslant a$ that are at most $delta$ units apart. If both $x,yleqslant N+1$, then you're done. Our choice of $delta$ is such that if $x> N+1$ then also $y>N$, and you're also done.
$endgroup$
It suffices you do the following. Given $epsilon>0$, take $N$ large so that, for $x>N$,
$$|f(x)- l|<varepsilon/2$$
It follows that if $x,y>N$, then $|f(x)-f(y)|<varepsilon$. Now consider the interval $[a,N+1]$, which is compact. Here $f$ is uniformly continuous, so there is some $delta >0$ such that if $|x-y|<delta$ then $|f(x)-f(y)|<varepsilon$. We can assume that $delta<1$.
Consider now arbitrary $x,ygeqslant a$ that are at most $delta$ units apart. If both $x,yleqslant N+1$, then you're done. Our choice of $delta$ is such that if $x> N+1$ then also $y>N$, and you're also done.
answered Nov 7 '16 at 19:13
Pedro Tamaroff♦Pedro Tamaroff
96.9k10153297
96.9k10153297
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.
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%2f2003989%2fif-f-is-continuous-and-with-a-limit-at-infinity-then-f-is-uniformly-continuo%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
2
$begingroup$
To avoid splitting into three cases, you could allow the pieces to overlap and make sure to choose $delta$ less than the width of the overlap. This avoids the case where $x$ is in one piece and $y$ is in the other.
$endgroup$
– J. Loreaux
Nov 7 '16 at 19:06
$begingroup$
@GregordeCillia A uniformly continuous function can have unbounded derivative
$endgroup$
– zhw.
Nov 7 '16 at 19:12
$begingroup$
Yes. That's why I deleted my comment after a few mjnutes. I was thinking anout lipschitz continuouity and wanted to give an osciallator-like counterexample
$endgroup$
– Gregor de Cillia
Nov 7 '16 at 19:21
$begingroup$
Fix epsilon. Let delta(x) be the maximum delta used in the definition of continuity at x. Show delta(x) has a nonzero limit given the conditions of the problem.
$endgroup$
– Alephnull
Nov 7 '16 at 20:35