Difference between continuity and uniform continuity
$begingroup$
I understand the geometric differences between continuity and uniform continuity, but I don't quite see how the differences between those two are apparent from their definitions. For example, my book defines continuity as:
Definition 4.3.1. A function $f:A to mathbb R$ is continuous at a point $c in A$ if, for all $epsilon > 0$, there exists a $delta > 0$ such that whenever $|x-c| < delta$ (and $x in A$) it follows that $|f(x)-f(c)| < epsilon$.
Uniform continuity is defined as:
Definition 4.4.5. A function $f:A to mathbb R$ is uniformly continuous on $A$ if for every $epsilon > 0$ there exists a $delta > 0$ such that $|x-y| < delta$ implies $|f(x)-f(y)| < epsilon$.
I know that in Definition 4.3.1, $delta$ can depend on $c$, while in definition 4.4.5, $delta$ cannot depend on $x$ or $y$, but how is this apparent from the definition? From what appears to me, it just seems like the only difference between Definition 4.3.1 and Definition 4.4.5 is that the letter $c$ was changed to a $y$.
My guess is that the first definition treats $c$ as a fixed point and it is only $x$ that varies, so in this case, $delta$ can depend on $c$ since $c$ doesn't change. Whereas for the second definition, neither $x$ or $y$ are fixed, rather they can take on values across the whole domain, $A$. In this case, if we set a $delta$ such that it depended on $y$, then when we pick a different $y$, the same $delta$ may not work anymore. Is this somewhat a correct interpretation?
Anymore clarifications, examples, would be appreciated.
real-analysis self-learning
$endgroup$
add a comment |
$begingroup$
I understand the geometric differences between continuity and uniform continuity, but I don't quite see how the differences between those two are apparent from their definitions. For example, my book defines continuity as:
Definition 4.3.1. A function $f:A to mathbb R$ is continuous at a point $c in A$ if, for all $epsilon > 0$, there exists a $delta > 0$ such that whenever $|x-c| < delta$ (and $x in A$) it follows that $|f(x)-f(c)| < epsilon$.
Uniform continuity is defined as:
Definition 4.4.5. A function $f:A to mathbb R$ is uniformly continuous on $A$ if for every $epsilon > 0$ there exists a $delta > 0$ such that $|x-y| < delta$ implies $|f(x)-f(y)| < epsilon$.
I know that in Definition 4.3.1, $delta$ can depend on $c$, while in definition 4.4.5, $delta$ cannot depend on $x$ or $y$, but how is this apparent from the definition? From what appears to me, it just seems like the only difference between Definition 4.3.1 and Definition 4.4.5 is that the letter $c$ was changed to a $y$.
My guess is that the first definition treats $c$ as a fixed point and it is only $x$ that varies, so in this case, $delta$ can depend on $c$ since $c$ doesn't change. Whereas for the second definition, neither $x$ or $y$ are fixed, rather they can take on values across the whole domain, $A$. In this case, if we set a $delta$ such that it depended on $y$, then when we pick a different $y$, the same $delta$ may not work anymore. Is this somewhat a correct interpretation?
Anymore clarifications, examples, would be appreciated.
real-analysis self-learning
$endgroup$
add a comment |
$begingroup$
I understand the geometric differences between continuity and uniform continuity, but I don't quite see how the differences between those two are apparent from their definitions. For example, my book defines continuity as:
Definition 4.3.1. A function $f:A to mathbb R$ is continuous at a point $c in A$ if, for all $epsilon > 0$, there exists a $delta > 0$ such that whenever $|x-c| < delta$ (and $x in A$) it follows that $|f(x)-f(c)| < epsilon$.
Uniform continuity is defined as:
Definition 4.4.5. A function $f:A to mathbb R$ is uniformly continuous on $A$ if for every $epsilon > 0$ there exists a $delta > 0$ such that $|x-y| < delta$ implies $|f(x)-f(y)| < epsilon$.
I know that in Definition 4.3.1, $delta$ can depend on $c$, while in definition 4.4.5, $delta$ cannot depend on $x$ or $y$, but how is this apparent from the definition? From what appears to me, it just seems like the only difference between Definition 4.3.1 and Definition 4.4.5 is that the letter $c$ was changed to a $y$.
My guess is that the first definition treats $c$ as a fixed point and it is only $x$ that varies, so in this case, $delta$ can depend on $c$ since $c$ doesn't change. Whereas for the second definition, neither $x$ or $y$ are fixed, rather they can take on values across the whole domain, $A$. In this case, if we set a $delta$ such that it depended on $y$, then when we pick a different $y$, the same $delta$ may not work anymore. Is this somewhat a correct interpretation?
Anymore clarifications, examples, would be appreciated.
real-analysis self-learning
$endgroup$
I understand the geometric differences between continuity and uniform continuity, but I don't quite see how the differences between those two are apparent from their definitions. For example, my book defines continuity as:
Definition 4.3.1. A function $f:A to mathbb R$ is continuous at a point $c in A$ if, for all $epsilon > 0$, there exists a $delta > 0$ such that whenever $|x-c| < delta$ (and $x in A$) it follows that $|f(x)-f(c)| < epsilon$.
Uniform continuity is defined as:
Definition 4.4.5. A function $f:A to mathbb R$ is uniformly continuous on $A$ if for every $epsilon > 0$ there exists a $delta > 0$ such that $|x-y| < delta$ implies $|f(x)-f(y)| < epsilon$.
I know that in Definition 4.3.1, $delta$ can depend on $c$, while in definition 4.4.5, $delta$ cannot depend on $x$ or $y$, but how is this apparent from the definition? From what appears to me, it just seems like the only difference between Definition 4.3.1 and Definition 4.4.5 is that the letter $c$ was changed to a $y$.
My guess is that the first definition treats $c$ as a fixed point and it is only $x$ that varies, so in this case, $delta$ can depend on $c$ since $c$ doesn't change. Whereas for the second definition, neither $x$ or $y$ are fixed, rather they can take on values across the whole domain, $A$. In this case, if we set a $delta$ such that it depended on $y$, then when we pick a different $y$, the same $delta$ may not work anymore. Is this somewhat a correct interpretation?
Anymore clarifications, examples, would be appreciated.
real-analysis self-learning
real-analysis self-learning
edited Apr 14 '17 at 15:12
Ephraim
12014
12014
asked Jan 27 '14 at 10:03
user124005user124005
213144
213144
add a comment |
add a comment |
7 Answers
7
active
oldest
votes
$begingroup$
First of all, continuity is defined at a point $c$, whereas uniform continuity is defined on a set $A$. That makes a big difference.
But your interpretation is rather correct: the point $c$ is part of the data, and is kept fixed as, for instance, $f$ itself. Roughly speaking, uniform continuity requires the existence of a single $delta>0$ that works for the whole set $A$, and not near the single point $c$.
$endgroup$
add a comment |
$begingroup$
The difference is in the ordering of the quantifiers.
- Continuity:
For all $x$, for all $varepsilon$, there exist such a $delta$ that something something.
- Uniform continuity:
For all $varepsilon$, there exists such a $delta$ that for all $x$ something something.
For something to be continuous, you can check "one $x$ at a time", so for each $x$, you pick a $varepsilon$ and then find some $delta$ that depends on both $x$ and $varepsilon$ so that $|f(x)-f(y)|<varepsilon$ if $|x-y|<delta$. As you can see if you try it on $f(x)=1/x$ on $(0,1)$, you can find such a $delta$ for every $x$ and $varepsilon$. However, if you fix $varepsilon$, the values for $delta$ that you need become arbitrarily small as $x$ approaches $0$.
If you want uniform continuity, you need to pick a $varepsilon$, then find a $delta$ which is good for ALL the $x$ values you might have. As you see, for $f(x)=1/x$, such a $delta$ does not exist.
$endgroup$
$begingroup$
The language you use, and therefore the order you use the language is not found in the definitions provided from the OP's textbook, and therefore isn't very helpful. Can you please reword your answer to fit the question: "I know that in Definition 4.3.1, δ can depend on c, while in definition 4.4.5, δ cannot depend on x or y, but how is this apparent from the definition?" I ask, because I have the same question and the same textbook definition. I know that your answer is correct but why is it apparent from the GIVEN definition?
$endgroup$
– rocksNwaves
Apr 30 '18 at 23:56
add a comment |
$begingroup$
The subtle difference between these two definitions became more clear to me when I read their equivalent sequence definitions. First take the definition of a continuous function.
Definition A function $f: Dtomathbb{R}$ is said to be continuous at the point $x_0$ in $D$ provided that for every sequence ${x_n}$ in $D$ that converges to $x_0$, the image sequence ${f(x_n)}$ converges to $f(x_0)$.
Now compare this to a uniformly continuous function.
Definition A function $f: Dtomathbb{R}$ is said to be uniformly continuous provided that for any two sequences ${y_n}$ and ${x_n}$ in $D$ have the property
$$lim_{ntoinfty}(y_n-x_n)=0,$$
then
$$lim_{ntoinfty}(f(y_n)-f(x_n))=0$$
Notice how the second definition mentions no convergence to a point, but that two sequences are tending toward the same value and at the same rate. These sequences can both be divergent sequences when alone, but their terms can become arbitrarily close to each other.
The classic example is $f:mathbb{R}tomathbb{R}, f(x)=x^2$ is continuous but not uniformly continuous. Take the two sequences ${y_n}={sqrt{n^2+1}}$ and ${x_n}={n}$. (Note, both sequences diverge). Take the $lim_{ntoinfty}{y_n-x_n}$, and solve by multiplying numerator and denominator by its conjugate.
$$lim_{ntoinfty}(sqrt{n^2+1}-n)=lim_{ntoinfty}frac{n^2 +1-n^2 }{sqrt{n^2+1}+n}=lim_{ntoinfty}frac{1}{sqrt{n^2+1}+n}=0.$$
Now, looking at $lim_{ntoinfty}{f(y_n)-f(x_n)}$ we get the following
$$lim_{ntoinfty}{(sqrt{n^2+1})^2-n^2}=lim_{ntoinfty}{n^2+1-n^2}=1$$
So this goes against the definition of uniform continuity. We need the difference of function values to also go to $0$, as well, in order for it to be uniformly continuous.
$endgroup$
add a comment |
$begingroup$
Let me focus on this part of the question:
"I know that in Definition 4.3.1, $delta$ can depend on $c$, while in definition 4.4.5, $delta$ cannot depend on $x$ or $y$, but how is this apparent from the definition?"
This is apparent from the order of the quantifiers. When we write out these two statements into "Prenex normal form", we have that:
$$ forall c in A,forall epsilon >0, exists delta, forall x in A :( |x-c|<delta implies |f(x)-f(c)|<epsilon) $$
$$forall epsilon >0, exists delta, forall x,cin A : (|x-c|<delta implies |f(x)-f(c)|<epsilon) $$
In the first statement, note that the universal ($forall$) quantifier $forall c$ precedes the existential ($exists$) quantifier $exists delta$, and the universal quantifier $forall x$ follows the existential quantifier $exists delta$.
Note that in the second definition, the universal quantifier $forall c$ now also follows the existential quantifier $exists delta$.
To see the significance of the quantifier order, consider the following, where C is the set of cars, P is the set of people, and R is a relation such that cRp means c is owned by p.
$$ forall cin C, exists p in P: cRp $$
$$ exists pin P, forall c in C: cRp $$
Observe that in the first statement of the example, the universal quantifier precedes the existential quantifier. This statement means each car $c$ has an owner $p$. Observe that the person p depends on the car. In the second statement, the universal quantifier follows the existential quantifier. This statement means there is some person $p$ who owns EVERY car. Thus this person doesn't depend on the car (since he has all of them, or in other words; given every car, he has it).
To conclude, for any variables $x,y$, $y$ can depend on $x$ if and only if the universal quantifier for $forall x$ precedes the existential quantifier for $exists y$.
Applying this theorem to your definitions, we see that in the definition of continuity, the universal quantifiers $forall xinmathbb{R}$
and $forallepsilon$
precede $existsdelta$
. Thus here $delta$
may depend on both $x,epsilon$
. However, in the definition of uniform continuity, the only universal quantifier that precedes $delta$
is $forallepsilon$
. Thus delta may only depend on $epsilon$
and not $x$
.
In the definition of uniform continuity, $exists delta $ precedes neither $x$ nor $c$, therefore it can depend on neither of them, but only on $epsilon$.
$endgroup$
add a comment |
$begingroup$
To understand the difference between continuity and uniform continuity, it is useful to think of a particular example of a function that's continuous on $mathbb R$ but not uniformly continuous on $mathbb R$. An example of such a function is $f(x)=x^2$. Here to understand the failure of uniform continuity of the function, it is particularly useful to exploit the hyperreals. Note that if $H$ is an infinite number and we choose an infinitesimal $epsilon=frac{1}{H}$, then the values of $f$ at the infinitely close points $H$ and $H+epsilon$ are themselves not infinitely close. This violation of the property of microcontinuity of $f$ at $H$ captures the essence of the failure of uniform continuity of $f$ on $mathbb R$.
$endgroup$
add a comment |
$begingroup$
This intuitive GIF image from Wikepedia helped me most.
$f(x)=frac{1}{x}$ as shown in the image is continuous but not uniformly continuous, because obviously if, for instance when $x_1=0.1$ we can see that $|f(x_1)-f(x_1+0.2)| gt 0.5$; while $g(x)=sqrt x$ is both continuous and uniformly continuous since we can find a number, for instance 0.5 bellow, such that $|f(x_1)-f(x_1+0.2)| lt 0.5$ for every $x_1$. Here 0.2 and 0.5 should be numbers in R which just exist for the given function.
Hope this will be of any help to you.
$endgroup$
add a comment |
$begingroup$
I find it interesting that each answer here throws in something different to the understanding of uniform continuity. And I have something different to add.
As observed by Siminore, continuity can be expressed at a point and on a set whereas uniform continuity can only be expressed on a set. Reflecting on the definition of continuity on a set, one should observe that continuity on a set is merely defined as the veracity of continuity at several distinct points. In other words, continuity on a set is the "union" of continuity at several distinct points. Reformulated one last time, continuity on a set is the "union" of several local points of view.
Uniform continuity, in contrast, takes a global view---and only a global view (there is no uniform continuity at a point)---of the metric space in question.
These different points of view determine what kind of information that one can use to determine continuity and uniform continuity. To verify continuity, one can look at a single point $x$ and use local information about $x$ (in particular, $x$ itself) and local information about how $f$ behaves near $x$. For example, if you know that $f$ is bounded on a neighborhood of $x$, that is fair game to use in your recovery of $delta$. Also, any inequality that $x$ or $f(x)$ satisfies on a tiny neighborhood near $x$ is fair game to use as well. You can even use $f(x)$ to define $delta$.
However to verify uniform continuity, you can't zoom in on any particular point. You can only use global information about the metric space and global information about the function $f$; i.e. a priori pieces of information independent of any particular point in the metric space. For example, any inequality that every point of $X$ satisfies is fair game to use to recover $delta$. If $f$ is Lipschitz, any Lipschitz constant is fair to use in your recovery of $delta$.
There are two propositions which I think exemplify the difference between continuity and uniform continuity:
Let $X$ and $Y$ denote two metric spaces, and let $f$ map $X$ to $Y$.
$f$ is continuous on $X$ if and only if for every $x$ in $X$ and for every $epsilon>0$ there is a $delta>0$ such that
$$text{diam}, f(B_{delta/2}(x))<epsilon,.$$
$f$ is uniformly continuous on $X$ if and only if for every $epsilon>0$ there is a $delta>0$ such that
$$text{diam},f(E)<epsilon$$
for every subset $E$ of $X$ that satisfies $text{diam},E<delta$.
Thus continuity in a certain sense only worries about the diameter of a set around a given point. Whereas uniform continuity worries about the diameters of all subsets of a metric space simultaneously.
$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%2f653100%2fdifference-between-continuity-and-uniform-continuity%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
7 Answers
7
active
oldest
votes
7 Answers
7
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
First of all, continuity is defined at a point $c$, whereas uniform continuity is defined on a set $A$. That makes a big difference.
But your interpretation is rather correct: the point $c$ is part of the data, and is kept fixed as, for instance, $f$ itself. Roughly speaking, uniform continuity requires the existence of a single $delta>0$ that works for the whole set $A$, and not near the single point $c$.
$endgroup$
add a comment |
$begingroup$
First of all, continuity is defined at a point $c$, whereas uniform continuity is defined on a set $A$. That makes a big difference.
But your interpretation is rather correct: the point $c$ is part of the data, and is kept fixed as, for instance, $f$ itself. Roughly speaking, uniform continuity requires the existence of a single $delta>0$ that works for the whole set $A$, and not near the single point $c$.
$endgroup$
add a comment |
$begingroup$
First of all, continuity is defined at a point $c$, whereas uniform continuity is defined on a set $A$. That makes a big difference.
But your interpretation is rather correct: the point $c$ is part of the data, and is kept fixed as, for instance, $f$ itself. Roughly speaking, uniform continuity requires the existence of a single $delta>0$ that works for the whole set $A$, and not near the single point $c$.
$endgroup$
First of all, continuity is defined at a point $c$, whereas uniform continuity is defined on a set $A$. That makes a big difference.
But your interpretation is rather correct: the point $c$ is part of the data, and is kept fixed as, for instance, $f$ itself. Roughly speaking, uniform continuity requires the existence of a single $delta>0$ that works for the whole set $A$, and not near the single point $c$.
answered Jan 27 '14 at 10:12
SiminoreSiminore
30.5k33469
30.5k33469
add a comment |
add a comment |
$begingroup$
The difference is in the ordering of the quantifiers.
- Continuity:
For all $x$, for all $varepsilon$, there exist such a $delta$ that something something.
- Uniform continuity:
For all $varepsilon$, there exists such a $delta$ that for all $x$ something something.
For something to be continuous, you can check "one $x$ at a time", so for each $x$, you pick a $varepsilon$ and then find some $delta$ that depends on both $x$ and $varepsilon$ so that $|f(x)-f(y)|<varepsilon$ if $|x-y|<delta$. As you can see if you try it on $f(x)=1/x$ on $(0,1)$, you can find such a $delta$ for every $x$ and $varepsilon$. However, if you fix $varepsilon$, the values for $delta$ that you need become arbitrarily small as $x$ approaches $0$.
If you want uniform continuity, you need to pick a $varepsilon$, then find a $delta$ which is good for ALL the $x$ values you might have. As you see, for $f(x)=1/x$, such a $delta$ does not exist.
$endgroup$
$begingroup$
The language you use, and therefore the order you use the language is not found in the definitions provided from the OP's textbook, and therefore isn't very helpful. Can you please reword your answer to fit the question: "I know that in Definition 4.3.1, δ can depend on c, while in definition 4.4.5, δ cannot depend on x or y, but how is this apparent from the definition?" I ask, because I have the same question and the same textbook definition. I know that your answer is correct but why is it apparent from the GIVEN definition?
$endgroup$
– rocksNwaves
Apr 30 '18 at 23:56
add a comment |
$begingroup$
The difference is in the ordering of the quantifiers.
- Continuity:
For all $x$, for all $varepsilon$, there exist such a $delta$ that something something.
- Uniform continuity:
For all $varepsilon$, there exists such a $delta$ that for all $x$ something something.
For something to be continuous, you can check "one $x$ at a time", so for each $x$, you pick a $varepsilon$ and then find some $delta$ that depends on both $x$ and $varepsilon$ so that $|f(x)-f(y)|<varepsilon$ if $|x-y|<delta$. As you can see if you try it on $f(x)=1/x$ on $(0,1)$, you can find such a $delta$ for every $x$ and $varepsilon$. However, if you fix $varepsilon$, the values for $delta$ that you need become arbitrarily small as $x$ approaches $0$.
If you want uniform continuity, you need to pick a $varepsilon$, then find a $delta$ which is good for ALL the $x$ values you might have. As you see, for $f(x)=1/x$, such a $delta$ does not exist.
$endgroup$
$begingroup$
The language you use, and therefore the order you use the language is not found in the definitions provided from the OP's textbook, and therefore isn't very helpful. Can you please reword your answer to fit the question: "I know that in Definition 4.3.1, δ can depend on c, while in definition 4.4.5, δ cannot depend on x or y, but how is this apparent from the definition?" I ask, because I have the same question and the same textbook definition. I know that your answer is correct but why is it apparent from the GIVEN definition?
$endgroup$
– rocksNwaves
Apr 30 '18 at 23:56
add a comment |
$begingroup$
The difference is in the ordering of the quantifiers.
- Continuity:
For all $x$, for all $varepsilon$, there exist such a $delta$ that something something.
- Uniform continuity:
For all $varepsilon$, there exists such a $delta$ that for all $x$ something something.
For something to be continuous, you can check "one $x$ at a time", so for each $x$, you pick a $varepsilon$ and then find some $delta$ that depends on both $x$ and $varepsilon$ so that $|f(x)-f(y)|<varepsilon$ if $|x-y|<delta$. As you can see if you try it on $f(x)=1/x$ on $(0,1)$, you can find such a $delta$ for every $x$ and $varepsilon$. However, if you fix $varepsilon$, the values for $delta$ that you need become arbitrarily small as $x$ approaches $0$.
If you want uniform continuity, you need to pick a $varepsilon$, then find a $delta$ which is good for ALL the $x$ values you might have. As you see, for $f(x)=1/x$, such a $delta$ does not exist.
$endgroup$
The difference is in the ordering of the quantifiers.
- Continuity:
For all $x$, for all $varepsilon$, there exist such a $delta$ that something something.
- Uniform continuity:
For all $varepsilon$, there exists such a $delta$ that for all $x$ something something.
For something to be continuous, you can check "one $x$ at a time", so for each $x$, you pick a $varepsilon$ and then find some $delta$ that depends on both $x$ and $varepsilon$ so that $|f(x)-f(y)|<varepsilon$ if $|x-y|<delta$. As you can see if you try it on $f(x)=1/x$ on $(0,1)$, you can find such a $delta$ for every $x$ and $varepsilon$. However, if you fix $varepsilon$, the values for $delta$ that you need become arbitrarily small as $x$ approaches $0$.
If you want uniform continuity, you need to pick a $varepsilon$, then find a $delta$ which is good for ALL the $x$ values you might have. As you see, for $f(x)=1/x$, such a $delta$ does not exist.
edited Jan 27 '14 at 10:18
answered Jan 27 '14 at 10:09
5xum5xum
91.4k394161
91.4k394161
$begingroup$
The language you use, and therefore the order you use the language is not found in the definitions provided from the OP's textbook, and therefore isn't very helpful. Can you please reword your answer to fit the question: "I know that in Definition 4.3.1, δ can depend on c, while in definition 4.4.5, δ cannot depend on x or y, but how is this apparent from the definition?" I ask, because I have the same question and the same textbook definition. I know that your answer is correct but why is it apparent from the GIVEN definition?
$endgroup$
– rocksNwaves
Apr 30 '18 at 23:56
add a comment |
$begingroup$
The language you use, and therefore the order you use the language is not found in the definitions provided from the OP's textbook, and therefore isn't very helpful. Can you please reword your answer to fit the question: "I know that in Definition 4.3.1, δ can depend on c, while in definition 4.4.5, δ cannot depend on x or y, but how is this apparent from the definition?" I ask, because I have the same question and the same textbook definition. I know that your answer is correct but why is it apparent from the GIVEN definition?
$endgroup$
– rocksNwaves
Apr 30 '18 at 23:56
$begingroup$
The language you use, and therefore the order you use the language is not found in the definitions provided from the OP's textbook, and therefore isn't very helpful. Can you please reword your answer to fit the question: "I know that in Definition 4.3.1, δ can depend on c, while in definition 4.4.5, δ cannot depend on x or y, but how is this apparent from the definition?" I ask, because I have the same question and the same textbook definition. I know that your answer is correct but why is it apparent from the GIVEN definition?
$endgroup$
– rocksNwaves
Apr 30 '18 at 23:56
$begingroup$
The language you use, and therefore the order you use the language is not found in the definitions provided from the OP's textbook, and therefore isn't very helpful. Can you please reword your answer to fit the question: "I know that in Definition 4.3.1, δ can depend on c, while in definition 4.4.5, δ cannot depend on x or y, but how is this apparent from the definition?" I ask, because I have the same question and the same textbook definition. I know that your answer is correct but why is it apparent from the GIVEN definition?
$endgroup$
– rocksNwaves
Apr 30 '18 at 23:56
add a comment |
$begingroup$
The subtle difference between these two definitions became more clear to me when I read their equivalent sequence definitions. First take the definition of a continuous function.
Definition A function $f: Dtomathbb{R}$ is said to be continuous at the point $x_0$ in $D$ provided that for every sequence ${x_n}$ in $D$ that converges to $x_0$, the image sequence ${f(x_n)}$ converges to $f(x_0)$.
Now compare this to a uniformly continuous function.
Definition A function $f: Dtomathbb{R}$ is said to be uniformly continuous provided that for any two sequences ${y_n}$ and ${x_n}$ in $D$ have the property
$$lim_{ntoinfty}(y_n-x_n)=0,$$
then
$$lim_{ntoinfty}(f(y_n)-f(x_n))=0$$
Notice how the second definition mentions no convergence to a point, but that two sequences are tending toward the same value and at the same rate. These sequences can both be divergent sequences when alone, but their terms can become arbitrarily close to each other.
The classic example is $f:mathbb{R}tomathbb{R}, f(x)=x^2$ is continuous but not uniformly continuous. Take the two sequences ${y_n}={sqrt{n^2+1}}$ and ${x_n}={n}$. (Note, both sequences diverge). Take the $lim_{ntoinfty}{y_n-x_n}$, and solve by multiplying numerator and denominator by its conjugate.
$$lim_{ntoinfty}(sqrt{n^2+1}-n)=lim_{ntoinfty}frac{n^2 +1-n^2 }{sqrt{n^2+1}+n}=lim_{ntoinfty}frac{1}{sqrt{n^2+1}+n}=0.$$
Now, looking at $lim_{ntoinfty}{f(y_n)-f(x_n)}$ we get the following
$$lim_{ntoinfty}{(sqrt{n^2+1})^2-n^2}=lim_{ntoinfty}{n^2+1-n^2}=1$$
So this goes against the definition of uniform continuity. We need the difference of function values to also go to $0$, as well, in order for it to be uniformly continuous.
$endgroup$
add a comment |
$begingroup$
The subtle difference between these two definitions became more clear to me when I read their equivalent sequence definitions. First take the definition of a continuous function.
Definition A function $f: Dtomathbb{R}$ is said to be continuous at the point $x_0$ in $D$ provided that for every sequence ${x_n}$ in $D$ that converges to $x_0$, the image sequence ${f(x_n)}$ converges to $f(x_0)$.
Now compare this to a uniformly continuous function.
Definition A function $f: Dtomathbb{R}$ is said to be uniformly continuous provided that for any two sequences ${y_n}$ and ${x_n}$ in $D$ have the property
$$lim_{ntoinfty}(y_n-x_n)=0,$$
then
$$lim_{ntoinfty}(f(y_n)-f(x_n))=0$$
Notice how the second definition mentions no convergence to a point, but that two sequences are tending toward the same value and at the same rate. These sequences can both be divergent sequences when alone, but their terms can become arbitrarily close to each other.
The classic example is $f:mathbb{R}tomathbb{R}, f(x)=x^2$ is continuous but not uniformly continuous. Take the two sequences ${y_n}={sqrt{n^2+1}}$ and ${x_n}={n}$. (Note, both sequences diverge). Take the $lim_{ntoinfty}{y_n-x_n}$, and solve by multiplying numerator and denominator by its conjugate.
$$lim_{ntoinfty}(sqrt{n^2+1}-n)=lim_{ntoinfty}frac{n^2 +1-n^2 }{sqrt{n^2+1}+n}=lim_{ntoinfty}frac{1}{sqrt{n^2+1}+n}=0.$$
Now, looking at $lim_{ntoinfty}{f(y_n)-f(x_n)}$ we get the following
$$lim_{ntoinfty}{(sqrt{n^2+1})^2-n^2}=lim_{ntoinfty}{n^2+1-n^2}=1$$
So this goes against the definition of uniform continuity. We need the difference of function values to also go to $0$, as well, in order for it to be uniformly continuous.
$endgroup$
add a comment |
$begingroup$
The subtle difference between these two definitions became more clear to me when I read their equivalent sequence definitions. First take the definition of a continuous function.
Definition A function $f: Dtomathbb{R}$ is said to be continuous at the point $x_0$ in $D$ provided that for every sequence ${x_n}$ in $D$ that converges to $x_0$, the image sequence ${f(x_n)}$ converges to $f(x_0)$.
Now compare this to a uniformly continuous function.
Definition A function $f: Dtomathbb{R}$ is said to be uniformly continuous provided that for any two sequences ${y_n}$ and ${x_n}$ in $D$ have the property
$$lim_{ntoinfty}(y_n-x_n)=0,$$
then
$$lim_{ntoinfty}(f(y_n)-f(x_n))=0$$
Notice how the second definition mentions no convergence to a point, but that two sequences are tending toward the same value and at the same rate. These sequences can both be divergent sequences when alone, but their terms can become arbitrarily close to each other.
The classic example is $f:mathbb{R}tomathbb{R}, f(x)=x^2$ is continuous but not uniformly continuous. Take the two sequences ${y_n}={sqrt{n^2+1}}$ and ${x_n}={n}$. (Note, both sequences diverge). Take the $lim_{ntoinfty}{y_n-x_n}$, and solve by multiplying numerator and denominator by its conjugate.
$$lim_{ntoinfty}(sqrt{n^2+1}-n)=lim_{ntoinfty}frac{n^2 +1-n^2 }{sqrt{n^2+1}+n}=lim_{ntoinfty}frac{1}{sqrt{n^2+1}+n}=0.$$
Now, looking at $lim_{ntoinfty}{f(y_n)-f(x_n)}$ we get the following
$$lim_{ntoinfty}{(sqrt{n^2+1})^2-n^2}=lim_{ntoinfty}{n^2+1-n^2}=1$$
So this goes against the definition of uniform continuity. We need the difference of function values to also go to $0$, as well, in order for it to be uniformly continuous.
$endgroup$
The subtle difference between these two definitions became more clear to me when I read their equivalent sequence definitions. First take the definition of a continuous function.
Definition A function $f: Dtomathbb{R}$ is said to be continuous at the point $x_0$ in $D$ provided that for every sequence ${x_n}$ in $D$ that converges to $x_0$, the image sequence ${f(x_n)}$ converges to $f(x_0)$.
Now compare this to a uniformly continuous function.
Definition A function $f: Dtomathbb{R}$ is said to be uniformly continuous provided that for any two sequences ${y_n}$ and ${x_n}$ in $D$ have the property
$$lim_{ntoinfty}(y_n-x_n)=0,$$
then
$$lim_{ntoinfty}(f(y_n)-f(x_n))=0$$
Notice how the second definition mentions no convergence to a point, but that two sequences are tending toward the same value and at the same rate. These sequences can both be divergent sequences when alone, but their terms can become arbitrarily close to each other.
The classic example is $f:mathbb{R}tomathbb{R}, f(x)=x^2$ is continuous but not uniformly continuous. Take the two sequences ${y_n}={sqrt{n^2+1}}$ and ${x_n}={n}$. (Note, both sequences diverge). Take the $lim_{ntoinfty}{y_n-x_n}$, and solve by multiplying numerator and denominator by its conjugate.
$$lim_{ntoinfty}(sqrt{n^2+1}-n)=lim_{ntoinfty}frac{n^2 +1-n^2 }{sqrt{n^2+1}+n}=lim_{ntoinfty}frac{1}{sqrt{n^2+1}+n}=0.$$
Now, looking at $lim_{ntoinfty}{f(y_n)-f(x_n)}$ we get the following
$$lim_{ntoinfty}{(sqrt{n^2+1})^2-n^2}=lim_{ntoinfty}{n^2+1-n^2}=1$$
So this goes against the definition of uniform continuity. We need the difference of function values to also go to $0$, as well, in order for it to be uniformly continuous.
edited Feb 22 at 7:33
Vinay Varahabhotla
537
537
answered Sep 18 '17 at 4:45
Clint ChelakClint Chelak
9614
9614
add a comment |
add a comment |
$begingroup$
Let me focus on this part of the question:
"I know that in Definition 4.3.1, $delta$ can depend on $c$, while in definition 4.4.5, $delta$ cannot depend on $x$ or $y$, but how is this apparent from the definition?"
This is apparent from the order of the quantifiers. When we write out these two statements into "Prenex normal form", we have that:
$$ forall c in A,forall epsilon >0, exists delta, forall x in A :( |x-c|<delta implies |f(x)-f(c)|<epsilon) $$
$$forall epsilon >0, exists delta, forall x,cin A : (|x-c|<delta implies |f(x)-f(c)|<epsilon) $$
In the first statement, note that the universal ($forall$) quantifier $forall c$ precedes the existential ($exists$) quantifier $exists delta$, and the universal quantifier $forall x$ follows the existential quantifier $exists delta$.
Note that in the second definition, the universal quantifier $forall c$ now also follows the existential quantifier $exists delta$.
To see the significance of the quantifier order, consider the following, where C is the set of cars, P is the set of people, and R is a relation such that cRp means c is owned by p.
$$ forall cin C, exists p in P: cRp $$
$$ exists pin P, forall c in C: cRp $$
Observe that in the first statement of the example, the universal quantifier precedes the existential quantifier. This statement means each car $c$ has an owner $p$. Observe that the person p depends on the car. In the second statement, the universal quantifier follows the existential quantifier. This statement means there is some person $p$ who owns EVERY car. Thus this person doesn't depend on the car (since he has all of them, or in other words; given every car, he has it).
To conclude, for any variables $x,y$, $y$ can depend on $x$ if and only if the universal quantifier for $forall x$ precedes the existential quantifier for $exists y$.
Applying this theorem to your definitions, we see that in the definition of continuity, the universal quantifiers $forall xinmathbb{R}$
and $forallepsilon$
precede $existsdelta$
. Thus here $delta$
may depend on both $x,epsilon$
. However, in the definition of uniform continuity, the only universal quantifier that precedes $delta$
is $forallepsilon$
. Thus delta may only depend on $epsilon$
and not $x$
.
In the definition of uniform continuity, $exists delta $ precedes neither $x$ nor $c$, therefore it can depend on neither of them, but only on $epsilon$.
$endgroup$
add a comment |
$begingroup$
Let me focus on this part of the question:
"I know that in Definition 4.3.1, $delta$ can depend on $c$, while in definition 4.4.5, $delta$ cannot depend on $x$ or $y$, but how is this apparent from the definition?"
This is apparent from the order of the quantifiers. When we write out these two statements into "Prenex normal form", we have that:
$$ forall c in A,forall epsilon >0, exists delta, forall x in A :( |x-c|<delta implies |f(x)-f(c)|<epsilon) $$
$$forall epsilon >0, exists delta, forall x,cin A : (|x-c|<delta implies |f(x)-f(c)|<epsilon) $$
In the first statement, note that the universal ($forall$) quantifier $forall c$ precedes the existential ($exists$) quantifier $exists delta$, and the universal quantifier $forall x$ follows the existential quantifier $exists delta$.
Note that in the second definition, the universal quantifier $forall c$ now also follows the existential quantifier $exists delta$.
To see the significance of the quantifier order, consider the following, where C is the set of cars, P is the set of people, and R is a relation such that cRp means c is owned by p.
$$ forall cin C, exists p in P: cRp $$
$$ exists pin P, forall c in C: cRp $$
Observe that in the first statement of the example, the universal quantifier precedes the existential quantifier. This statement means each car $c$ has an owner $p$. Observe that the person p depends on the car. In the second statement, the universal quantifier follows the existential quantifier. This statement means there is some person $p$ who owns EVERY car. Thus this person doesn't depend on the car (since he has all of them, or in other words; given every car, he has it).
To conclude, for any variables $x,y$, $y$ can depend on $x$ if and only if the universal quantifier for $forall x$ precedes the existential quantifier for $exists y$.
Applying this theorem to your definitions, we see that in the definition of continuity, the universal quantifiers $forall xinmathbb{R}$
and $forallepsilon$
precede $existsdelta$
. Thus here $delta$
may depend on both $x,epsilon$
. However, in the definition of uniform continuity, the only universal quantifier that precedes $delta$
is $forallepsilon$
. Thus delta may only depend on $epsilon$
and not $x$
.
In the definition of uniform continuity, $exists delta $ precedes neither $x$ nor $c$, therefore it can depend on neither of them, but only on $epsilon$.
$endgroup$
add a comment |
$begingroup$
Let me focus on this part of the question:
"I know that in Definition 4.3.1, $delta$ can depend on $c$, while in definition 4.4.5, $delta$ cannot depend on $x$ or $y$, but how is this apparent from the definition?"
This is apparent from the order of the quantifiers. When we write out these two statements into "Prenex normal form", we have that:
$$ forall c in A,forall epsilon >0, exists delta, forall x in A :( |x-c|<delta implies |f(x)-f(c)|<epsilon) $$
$$forall epsilon >0, exists delta, forall x,cin A : (|x-c|<delta implies |f(x)-f(c)|<epsilon) $$
In the first statement, note that the universal ($forall$) quantifier $forall c$ precedes the existential ($exists$) quantifier $exists delta$, and the universal quantifier $forall x$ follows the existential quantifier $exists delta$.
Note that in the second definition, the universal quantifier $forall c$ now also follows the existential quantifier $exists delta$.
To see the significance of the quantifier order, consider the following, where C is the set of cars, P is the set of people, and R is a relation such that cRp means c is owned by p.
$$ forall cin C, exists p in P: cRp $$
$$ exists pin P, forall c in C: cRp $$
Observe that in the first statement of the example, the universal quantifier precedes the existential quantifier. This statement means each car $c$ has an owner $p$. Observe that the person p depends on the car. In the second statement, the universal quantifier follows the existential quantifier. This statement means there is some person $p$ who owns EVERY car. Thus this person doesn't depend on the car (since he has all of them, or in other words; given every car, he has it).
To conclude, for any variables $x,y$, $y$ can depend on $x$ if and only if the universal quantifier for $forall x$ precedes the existential quantifier for $exists y$.
Applying this theorem to your definitions, we see that in the definition of continuity, the universal quantifiers $forall xinmathbb{R}$
and $forallepsilon$
precede $existsdelta$
. Thus here $delta$
may depend on both $x,epsilon$
. However, in the definition of uniform continuity, the only universal quantifier that precedes $delta$
is $forallepsilon$
. Thus delta may only depend on $epsilon$
and not $x$
.
In the definition of uniform continuity, $exists delta $ precedes neither $x$ nor $c$, therefore it can depend on neither of them, but only on $epsilon$.
$endgroup$
Let me focus on this part of the question:
"I know that in Definition 4.3.1, $delta$ can depend on $c$, while in definition 4.4.5, $delta$ cannot depend on $x$ or $y$, but how is this apparent from the definition?"
This is apparent from the order of the quantifiers. When we write out these two statements into "Prenex normal form", we have that:
$$ forall c in A,forall epsilon >0, exists delta, forall x in A :( |x-c|<delta implies |f(x)-f(c)|<epsilon) $$
$$forall epsilon >0, exists delta, forall x,cin A : (|x-c|<delta implies |f(x)-f(c)|<epsilon) $$
In the first statement, note that the universal ($forall$) quantifier $forall c$ precedes the existential ($exists$) quantifier $exists delta$, and the universal quantifier $forall x$ follows the existential quantifier $exists delta$.
Note that in the second definition, the universal quantifier $forall c$ now also follows the existential quantifier $exists delta$.
To see the significance of the quantifier order, consider the following, where C is the set of cars, P is the set of people, and R is a relation such that cRp means c is owned by p.
$$ forall cin C, exists p in P: cRp $$
$$ exists pin P, forall c in C: cRp $$
Observe that in the first statement of the example, the universal quantifier precedes the existential quantifier. This statement means each car $c$ has an owner $p$. Observe that the person p depends on the car. In the second statement, the universal quantifier follows the existential quantifier. This statement means there is some person $p$ who owns EVERY car. Thus this person doesn't depend on the car (since he has all of them, or in other words; given every car, he has it).
To conclude, for any variables $x,y$, $y$ can depend on $x$ if and only if the universal quantifier for $forall x$ precedes the existential quantifier for $exists y$.
Applying this theorem to your definitions, we see that in the definition of continuity, the universal quantifiers $forall xinmathbb{R}$
and $forallepsilon$
precede $existsdelta$
. Thus here $delta$
may depend on both $x,epsilon$
. However, in the definition of uniform continuity, the only universal quantifier that precedes $delta$
is $forallepsilon$
. Thus delta may only depend on $epsilon$
and not $x$
.
In the definition of uniform continuity, $exists delta $ precedes neither $x$ nor $c$, therefore it can depend on neither of them, but only on $epsilon$.
edited Mar 20 '18 at 11:06
answered Apr 20 '17 at 23:15
Evan RosicaEvan Rosica
586412
586412
add a comment |
add a comment |
$begingroup$
To understand the difference between continuity and uniform continuity, it is useful to think of a particular example of a function that's continuous on $mathbb R$ but not uniformly continuous on $mathbb R$. An example of such a function is $f(x)=x^2$. Here to understand the failure of uniform continuity of the function, it is particularly useful to exploit the hyperreals. Note that if $H$ is an infinite number and we choose an infinitesimal $epsilon=frac{1}{H}$, then the values of $f$ at the infinitely close points $H$ and $H+epsilon$ are themselves not infinitely close. This violation of the property of microcontinuity of $f$ at $H$ captures the essence of the failure of uniform continuity of $f$ on $mathbb R$.
$endgroup$
add a comment |
$begingroup$
To understand the difference between continuity and uniform continuity, it is useful to think of a particular example of a function that's continuous on $mathbb R$ but not uniformly continuous on $mathbb R$. An example of such a function is $f(x)=x^2$. Here to understand the failure of uniform continuity of the function, it is particularly useful to exploit the hyperreals. Note that if $H$ is an infinite number and we choose an infinitesimal $epsilon=frac{1}{H}$, then the values of $f$ at the infinitely close points $H$ and $H+epsilon$ are themselves not infinitely close. This violation of the property of microcontinuity of $f$ at $H$ captures the essence of the failure of uniform continuity of $f$ on $mathbb R$.
$endgroup$
add a comment |
$begingroup$
To understand the difference between continuity and uniform continuity, it is useful to think of a particular example of a function that's continuous on $mathbb R$ but not uniformly continuous on $mathbb R$. An example of such a function is $f(x)=x^2$. Here to understand the failure of uniform continuity of the function, it is particularly useful to exploit the hyperreals. Note that if $H$ is an infinite number and we choose an infinitesimal $epsilon=frac{1}{H}$, then the values of $f$ at the infinitely close points $H$ and $H+epsilon$ are themselves not infinitely close. This violation of the property of microcontinuity of $f$ at $H$ captures the essence of the failure of uniform continuity of $f$ on $mathbb R$.
$endgroup$
To understand the difference between continuity and uniform continuity, it is useful to think of a particular example of a function that's continuous on $mathbb R$ but not uniformly continuous on $mathbb R$. An example of such a function is $f(x)=x^2$. Here to understand the failure of uniform continuity of the function, it is particularly useful to exploit the hyperreals. Note that if $H$ is an infinite number and we choose an infinitesimal $epsilon=frac{1}{H}$, then the values of $f$ at the infinitely close points $H$ and $H+epsilon$ are themselves not infinitely close. This violation of the property of microcontinuity of $f$ at $H$ captures the essence of the failure of uniform continuity of $f$ on $mathbb R$.
answered Dec 22 '14 at 12:54
Mikhail KatzMikhail Katz
30.7k14399
30.7k14399
add a comment |
add a comment |
$begingroup$
This intuitive GIF image from Wikepedia helped me most.
$f(x)=frac{1}{x}$ as shown in the image is continuous but not uniformly continuous, because obviously if, for instance when $x_1=0.1$ we can see that $|f(x_1)-f(x_1+0.2)| gt 0.5$; while $g(x)=sqrt x$ is both continuous and uniformly continuous since we can find a number, for instance 0.5 bellow, such that $|f(x_1)-f(x_1+0.2)| lt 0.5$ for every $x_1$. Here 0.2 and 0.5 should be numbers in R which just exist for the given function.
Hope this will be of any help to you.
$endgroup$
add a comment |
$begingroup$
This intuitive GIF image from Wikepedia helped me most.
$f(x)=frac{1}{x}$ as shown in the image is continuous but not uniformly continuous, because obviously if, for instance when $x_1=0.1$ we can see that $|f(x_1)-f(x_1+0.2)| gt 0.5$; while $g(x)=sqrt x$ is both continuous and uniformly continuous since we can find a number, for instance 0.5 bellow, such that $|f(x_1)-f(x_1+0.2)| lt 0.5$ for every $x_1$. Here 0.2 and 0.5 should be numbers in R which just exist for the given function.
Hope this will be of any help to you.
$endgroup$
add a comment |
$begingroup$
This intuitive GIF image from Wikepedia helped me most.
$f(x)=frac{1}{x}$ as shown in the image is continuous but not uniformly continuous, because obviously if, for instance when $x_1=0.1$ we can see that $|f(x_1)-f(x_1+0.2)| gt 0.5$; while $g(x)=sqrt x$ is both continuous and uniformly continuous since we can find a number, for instance 0.5 bellow, such that $|f(x_1)-f(x_1+0.2)| lt 0.5$ for every $x_1$. Here 0.2 and 0.5 should be numbers in R which just exist for the given function.
Hope this will be of any help to you.
$endgroup$
This intuitive GIF image from Wikepedia helped me most.
$f(x)=frac{1}{x}$ as shown in the image is continuous but not uniformly continuous, because obviously if, for instance when $x_1=0.1$ we can see that $|f(x_1)-f(x_1+0.2)| gt 0.5$; while $g(x)=sqrt x$ is both continuous and uniformly continuous since we can find a number, for instance 0.5 bellow, such that $|f(x_1)-f(x_1+0.2)| lt 0.5$ for every $x_1$. Here 0.2 and 0.5 should be numbers in R which just exist for the given function.
Hope this will be of any help to you.
answered Jul 19 '18 at 7:04
Lerner ZhangLerner Zhang
314217
314217
add a comment |
add a comment |
$begingroup$
I find it interesting that each answer here throws in something different to the understanding of uniform continuity. And I have something different to add.
As observed by Siminore, continuity can be expressed at a point and on a set whereas uniform continuity can only be expressed on a set. Reflecting on the definition of continuity on a set, one should observe that continuity on a set is merely defined as the veracity of continuity at several distinct points. In other words, continuity on a set is the "union" of continuity at several distinct points. Reformulated one last time, continuity on a set is the "union" of several local points of view.
Uniform continuity, in contrast, takes a global view---and only a global view (there is no uniform continuity at a point)---of the metric space in question.
These different points of view determine what kind of information that one can use to determine continuity and uniform continuity. To verify continuity, one can look at a single point $x$ and use local information about $x$ (in particular, $x$ itself) and local information about how $f$ behaves near $x$. For example, if you know that $f$ is bounded on a neighborhood of $x$, that is fair game to use in your recovery of $delta$. Also, any inequality that $x$ or $f(x)$ satisfies on a tiny neighborhood near $x$ is fair game to use as well. You can even use $f(x)$ to define $delta$.
However to verify uniform continuity, you can't zoom in on any particular point. You can only use global information about the metric space and global information about the function $f$; i.e. a priori pieces of information independent of any particular point in the metric space. For example, any inequality that every point of $X$ satisfies is fair game to use to recover $delta$. If $f$ is Lipschitz, any Lipschitz constant is fair to use in your recovery of $delta$.
There are two propositions which I think exemplify the difference between continuity and uniform continuity:
Let $X$ and $Y$ denote two metric spaces, and let $f$ map $X$ to $Y$.
$f$ is continuous on $X$ if and only if for every $x$ in $X$ and for every $epsilon>0$ there is a $delta>0$ such that
$$text{diam}, f(B_{delta/2}(x))<epsilon,.$$
$f$ is uniformly continuous on $X$ if and only if for every $epsilon>0$ there is a $delta>0$ such that
$$text{diam},f(E)<epsilon$$
for every subset $E$ of $X$ that satisfies $text{diam},E<delta$.
Thus continuity in a certain sense only worries about the diameter of a set around a given point. Whereas uniform continuity worries about the diameters of all subsets of a metric space simultaneously.
$endgroup$
add a comment |
$begingroup$
I find it interesting that each answer here throws in something different to the understanding of uniform continuity. And I have something different to add.
As observed by Siminore, continuity can be expressed at a point and on a set whereas uniform continuity can only be expressed on a set. Reflecting on the definition of continuity on a set, one should observe that continuity on a set is merely defined as the veracity of continuity at several distinct points. In other words, continuity on a set is the "union" of continuity at several distinct points. Reformulated one last time, continuity on a set is the "union" of several local points of view.
Uniform continuity, in contrast, takes a global view---and only a global view (there is no uniform continuity at a point)---of the metric space in question.
These different points of view determine what kind of information that one can use to determine continuity and uniform continuity. To verify continuity, one can look at a single point $x$ and use local information about $x$ (in particular, $x$ itself) and local information about how $f$ behaves near $x$. For example, if you know that $f$ is bounded on a neighborhood of $x$, that is fair game to use in your recovery of $delta$. Also, any inequality that $x$ or $f(x)$ satisfies on a tiny neighborhood near $x$ is fair game to use as well. You can even use $f(x)$ to define $delta$.
However to verify uniform continuity, you can't zoom in on any particular point. You can only use global information about the metric space and global information about the function $f$; i.e. a priori pieces of information independent of any particular point in the metric space. For example, any inequality that every point of $X$ satisfies is fair game to use to recover $delta$. If $f$ is Lipschitz, any Lipschitz constant is fair to use in your recovery of $delta$.
There are two propositions which I think exemplify the difference between continuity and uniform continuity:
Let $X$ and $Y$ denote two metric spaces, and let $f$ map $X$ to $Y$.
$f$ is continuous on $X$ if and only if for every $x$ in $X$ and for every $epsilon>0$ there is a $delta>0$ such that
$$text{diam}, f(B_{delta/2}(x))<epsilon,.$$
$f$ is uniformly continuous on $X$ if and only if for every $epsilon>0$ there is a $delta>0$ such that
$$text{diam},f(E)<epsilon$$
for every subset $E$ of $X$ that satisfies $text{diam},E<delta$.
Thus continuity in a certain sense only worries about the diameter of a set around a given point. Whereas uniform continuity worries about the diameters of all subsets of a metric space simultaneously.
$endgroup$
add a comment |
$begingroup$
I find it interesting that each answer here throws in something different to the understanding of uniform continuity. And I have something different to add.
As observed by Siminore, continuity can be expressed at a point and on a set whereas uniform continuity can only be expressed on a set. Reflecting on the definition of continuity on a set, one should observe that continuity on a set is merely defined as the veracity of continuity at several distinct points. In other words, continuity on a set is the "union" of continuity at several distinct points. Reformulated one last time, continuity on a set is the "union" of several local points of view.
Uniform continuity, in contrast, takes a global view---and only a global view (there is no uniform continuity at a point)---of the metric space in question.
These different points of view determine what kind of information that one can use to determine continuity and uniform continuity. To verify continuity, one can look at a single point $x$ and use local information about $x$ (in particular, $x$ itself) and local information about how $f$ behaves near $x$. For example, if you know that $f$ is bounded on a neighborhood of $x$, that is fair game to use in your recovery of $delta$. Also, any inequality that $x$ or $f(x)$ satisfies on a tiny neighborhood near $x$ is fair game to use as well. You can even use $f(x)$ to define $delta$.
However to verify uniform continuity, you can't zoom in on any particular point. You can only use global information about the metric space and global information about the function $f$; i.e. a priori pieces of information independent of any particular point in the metric space. For example, any inequality that every point of $X$ satisfies is fair game to use to recover $delta$. If $f$ is Lipschitz, any Lipschitz constant is fair to use in your recovery of $delta$.
There are two propositions which I think exemplify the difference between continuity and uniform continuity:
Let $X$ and $Y$ denote two metric spaces, and let $f$ map $X$ to $Y$.
$f$ is continuous on $X$ if and only if for every $x$ in $X$ and for every $epsilon>0$ there is a $delta>0$ such that
$$text{diam}, f(B_{delta/2}(x))<epsilon,.$$
$f$ is uniformly continuous on $X$ if and only if for every $epsilon>0$ there is a $delta>0$ such that
$$text{diam},f(E)<epsilon$$
for every subset $E$ of $X$ that satisfies $text{diam},E<delta$.
Thus continuity in a certain sense only worries about the diameter of a set around a given point. Whereas uniform continuity worries about the diameters of all subsets of a metric space simultaneously.
$endgroup$
I find it interesting that each answer here throws in something different to the understanding of uniform continuity. And I have something different to add.
As observed by Siminore, continuity can be expressed at a point and on a set whereas uniform continuity can only be expressed on a set. Reflecting on the definition of continuity on a set, one should observe that continuity on a set is merely defined as the veracity of continuity at several distinct points. In other words, continuity on a set is the "union" of continuity at several distinct points. Reformulated one last time, continuity on a set is the "union" of several local points of view.
Uniform continuity, in contrast, takes a global view---and only a global view (there is no uniform continuity at a point)---of the metric space in question.
These different points of view determine what kind of information that one can use to determine continuity and uniform continuity. To verify continuity, one can look at a single point $x$ and use local information about $x$ (in particular, $x$ itself) and local information about how $f$ behaves near $x$. For example, if you know that $f$ is bounded on a neighborhood of $x$, that is fair game to use in your recovery of $delta$. Also, any inequality that $x$ or $f(x)$ satisfies on a tiny neighborhood near $x$ is fair game to use as well. You can even use $f(x)$ to define $delta$.
However to verify uniform continuity, you can't zoom in on any particular point. You can only use global information about the metric space and global information about the function $f$; i.e. a priori pieces of information independent of any particular point in the metric space. For example, any inequality that every point of $X$ satisfies is fair game to use to recover $delta$. If $f$ is Lipschitz, any Lipschitz constant is fair to use in your recovery of $delta$.
There are two propositions which I think exemplify the difference between continuity and uniform continuity:
Let $X$ and $Y$ denote two metric spaces, and let $f$ map $X$ to $Y$.
$f$ is continuous on $X$ if and only if for every $x$ in $X$ and for every $epsilon>0$ there is a $delta>0$ such that
$$text{diam}, f(B_{delta/2}(x))<epsilon,.$$
$f$ is uniformly continuous on $X$ if and only if for every $epsilon>0$ there is a $delta>0$ such that
$$text{diam},f(E)<epsilon$$
for every subset $E$ of $X$ that satisfies $text{diam},E<delta$.
Thus continuity in a certain sense only worries about the diameter of a set around a given point. Whereas uniform continuity worries about the diameters of all subsets of a metric space simultaneously.
edited Aug 16 '18 at 5:18
answered Aug 16 '18 at 4:24
Robert WolfeRobert Wolfe
5,98422763
5,98422763
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%2f653100%2fdifference-between-continuity-and-uniform-continuity%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