Difference between continuous over a set and continue in every point of that set
$begingroup$
In one of the first chapters in my class about mathematical analysis we learned about continuity, but when we talked about continuity in sets i found something that is in my opinion kinda weird.
Suppose that $f$ is a function with domain $mathcal{D}$, then $f$ is continuous in (or over) a set $A subseteq mathcal{D}$ if the restriction $f/A$ is continuous in every point:
begin{equation}
limlimits_{tto x,tin A} f(t) = f(x), hspace{1cm} forall xin A
end{equation}
or also if:
begin{equation}
(forall x in A)(forall varepsilon > 0)(existsdelta >0)(forall t in A)(|t-x|<delta Longrightarrow |f(t)-f(x)|< varepsilon)
end{equation}
And this is all well and good but under the definition in a note they say:
This formula doesn't express that $f$ is continuous in every point of $A$ because the formula for that is:
begin{equation}
(forall x in A)(forall varepsilon > 0)(existsdelta >0)(forall t in mathcal{D})(|t-x|<delta Longrightarrow |f(t)-f(x)|< varepsilon)
end{equation}
And also analogous, '$f$ is continuous in $A$' isn't equal to:
begin{equation}
limlimits_{tto x} f(t) = f(x), hspace{1cm} forall xin A
end{equation}
The difference between both formula is that in the $4^{th}$ pair of brackets the set $A$ is replaced with the domain $mathcal{D}$. But i can't quite wrap my head around that. I don't quite get what the difference actually is and how this difference expresses itself.
Would someone be able to explain it, maybe even with an example?
real-analysis continuity epsilon-delta
$endgroup$
add a comment |
$begingroup$
In one of the first chapters in my class about mathematical analysis we learned about continuity, but when we talked about continuity in sets i found something that is in my opinion kinda weird.
Suppose that $f$ is a function with domain $mathcal{D}$, then $f$ is continuous in (or over) a set $A subseteq mathcal{D}$ if the restriction $f/A$ is continuous in every point:
begin{equation}
limlimits_{tto x,tin A} f(t) = f(x), hspace{1cm} forall xin A
end{equation}
or also if:
begin{equation}
(forall x in A)(forall varepsilon > 0)(existsdelta >0)(forall t in A)(|t-x|<delta Longrightarrow |f(t)-f(x)|< varepsilon)
end{equation}
And this is all well and good but under the definition in a note they say:
This formula doesn't express that $f$ is continuous in every point of $A$ because the formula for that is:
begin{equation}
(forall x in A)(forall varepsilon > 0)(existsdelta >0)(forall t in mathcal{D})(|t-x|<delta Longrightarrow |f(t)-f(x)|< varepsilon)
end{equation}
And also analogous, '$f$ is continuous in $A$' isn't equal to:
begin{equation}
limlimits_{tto x} f(t) = f(x), hspace{1cm} forall xin A
end{equation}
The difference between both formula is that in the $4^{th}$ pair of brackets the set $A$ is replaced with the domain $mathcal{D}$. But i can't quite wrap my head around that. I don't quite get what the difference actually is and how this difference expresses itself.
Would someone be able to explain it, maybe even with an example?
real-analysis continuity epsilon-delta
$endgroup$
add a comment |
$begingroup$
In one of the first chapters in my class about mathematical analysis we learned about continuity, but when we talked about continuity in sets i found something that is in my opinion kinda weird.
Suppose that $f$ is a function with domain $mathcal{D}$, then $f$ is continuous in (or over) a set $A subseteq mathcal{D}$ if the restriction $f/A$ is continuous in every point:
begin{equation}
limlimits_{tto x,tin A} f(t) = f(x), hspace{1cm} forall xin A
end{equation}
or also if:
begin{equation}
(forall x in A)(forall varepsilon > 0)(existsdelta >0)(forall t in A)(|t-x|<delta Longrightarrow |f(t)-f(x)|< varepsilon)
end{equation}
And this is all well and good but under the definition in a note they say:
This formula doesn't express that $f$ is continuous in every point of $A$ because the formula for that is:
begin{equation}
(forall x in A)(forall varepsilon > 0)(existsdelta >0)(forall t in mathcal{D})(|t-x|<delta Longrightarrow |f(t)-f(x)|< varepsilon)
end{equation}
And also analogous, '$f$ is continuous in $A$' isn't equal to:
begin{equation}
limlimits_{tto x} f(t) = f(x), hspace{1cm} forall xin A
end{equation}
The difference between both formula is that in the $4^{th}$ pair of brackets the set $A$ is replaced with the domain $mathcal{D}$. But i can't quite wrap my head around that. I don't quite get what the difference actually is and how this difference expresses itself.
Would someone be able to explain it, maybe even with an example?
real-analysis continuity epsilon-delta
$endgroup$
In one of the first chapters in my class about mathematical analysis we learned about continuity, but when we talked about continuity in sets i found something that is in my opinion kinda weird.
Suppose that $f$ is a function with domain $mathcal{D}$, then $f$ is continuous in (or over) a set $A subseteq mathcal{D}$ if the restriction $f/A$ is continuous in every point:
begin{equation}
limlimits_{tto x,tin A} f(t) = f(x), hspace{1cm} forall xin A
end{equation}
or also if:
begin{equation}
(forall x in A)(forall varepsilon > 0)(existsdelta >0)(forall t in A)(|t-x|<delta Longrightarrow |f(t)-f(x)|< varepsilon)
end{equation}
And this is all well and good but under the definition in a note they say:
This formula doesn't express that $f$ is continuous in every point of $A$ because the formula for that is:
begin{equation}
(forall x in A)(forall varepsilon > 0)(existsdelta >0)(forall t in mathcal{D})(|t-x|<delta Longrightarrow |f(t)-f(x)|< varepsilon)
end{equation}
And also analogous, '$f$ is continuous in $A$' isn't equal to:
begin{equation}
limlimits_{tto x} f(t) = f(x), hspace{1cm} forall xin A
end{equation}
The difference between both formula is that in the $4^{th}$ pair of brackets the set $A$ is replaced with the domain $mathcal{D}$. But i can't quite wrap my head around that. I don't quite get what the difference actually is and how this difference expresses itself.
Would someone be able to explain it, maybe even with an example?
real-analysis continuity epsilon-delta
real-analysis continuity epsilon-delta
edited Dec 25 '18 at 19:21
José Carlos Santos
167k22132235
167k22132235
asked Dec 25 '18 at 19:12
ViktorViktor
1389
1389
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Here's an example: consider the map$$begin{array}{rccc}fcolon&mathbb R&longrightarrow&mathbb R\&x&mapsto&begin{cases}1&text{ if }xinmathbb Q\0&text{ otherwise.}end{cases}end{array}$$Then $f$ is discontinuous at every point of its domain. However, $f|_{mathbb Q}$ is continuous.
$endgroup$
$begingroup$
Thanks for answering, I think I understand now, but just a quick question. Wouldn't $f$ be continuous between 2 consecutive points in $mathbb{Q}$ since there are infinitely many points in $mathbb{R}$ between those points in $mathbb{Q}$, or am i missing something here?
$endgroup$
– Viktor
Dec 25 '18 at 20:07
1
$begingroup$
You are missing the fact that there is no such thing as “consecutive points in $mathbb Q$”, since for each two distinct rational numbers there are infinitely many other rational numbers between them.
$endgroup$
– José Carlos Santos
Dec 25 '18 at 20:09
$begingroup$
To the proposer: Constant functions are continuous. The function $f|_{Bbb Q}$ is constant on its domain, $Bbb Q.$
$endgroup$
– DanielWainfleet
Dec 26 '18 at 1:16
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%2f3052361%2fdifference-between-continuous-over-a-set-and-continue-in-every-point-of-that-set%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$
Here's an example: consider the map$$begin{array}{rccc}fcolon&mathbb R&longrightarrow&mathbb R\&x&mapsto&begin{cases}1&text{ if }xinmathbb Q\0&text{ otherwise.}end{cases}end{array}$$Then $f$ is discontinuous at every point of its domain. However, $f|_{mathbb Q}$ is continuous.
$endgroup$
$begingroup$
Thanks for answering, I think I understand now, but just a quick question. Wouldn't $f$ be continuous between 2 consecutive points in $mathbb{Q}$ since there are infinitely many points in $mathbb{R}$ between those points in $mathbb{Q}$, or am i missing something here?
$endgroup$
– Viktor
Dec 25 '18 at 20:07
1
$begingroup$
You are missing the fact that there is no such thing as “consecutive points in $mathbb Q$”, since for each two distinct rational numbers there are infinitely many other rational numbers between them.
$endgroup$
– José Carlos Santos
Dec 25 '18 at 20:09
$begingroup$
To the proposer: Constant functions are continuous. The function $f|_{Bbb Q}$ is constant on its domain, $Bbb Q.$
$endgroup$
– DanielWainfleet
Dec 26 '18 at 1:16
add a comment |
$begingroup$
Here's an example: consider the map$$begin{array}{rccc}fcolon&mathbb R&longrightarrow&mathbb R\&x&mapsto&begin{cases}1&text{ if }xinmathbb Q\0&text{ otherwise.}end{cases}end{array}$$Then $f$ is discontinuous at every point of its domain. However, $f|_{mathbb Q}$ is continuous.
$endgroup$
$begingroup$
Thanks for answering, I think I understand now, but just a quick question. Wouldn't $f$ be continuous between 2 consecutive points in $mathbb{Q}$ since there are infinitely many points in $mathbb{R}$ between those points in $mathbb{Q}$, or am i missing something here?
$endgroup$
– Viktor
Dec 25 '18 at 20:07
1
$begingroup$
You are missing the fact that there is no such thing as “consecutive points in $mathbb Q$”, since for each two distinct rational numbers there are infinitely many other rational numbers between them.
$endgroup$
– José Carlos Santos
Dec 25 '18 at 20:09
$begingroup$
To the proposer: Constant functions are continuous. The function $f|_{Bbb Q}$ is constant on its domain, $Bbb Q.$
$endgroup$
– DanielWainfleet
Dec 26 '18 at 1:16
add a comment |
$begingroup$
Here's an example: consider the map$$begin{array}{rccc}fcolon&mathbb R&longrightarrow&mathbb R\&x&mapsto&begin{cases}1&text{ if }xinmathbb Q\0&text{ otherwise.}end{cases}end{array}$$Then $f$ is discontinuous at every point of its domain. However, $f|_{mathbb Q}$ is continuous.
$endgroup$
Here's an example: consider the map$$begin{array}{rccc}fcolon&mathbb R&longrightarrow&mathbb R\&x&mapsto&begin{cases}1&text{ if }xinmathbb Q\0&text{ otherwise.}end{cases}end{array}$$Then $f$ is discontinuous at every point of its domain. However, $f|_{mathbb Q}$ is continuous.
answered Dec 25 '18 at 19:18
José Carlos SantosJosé Carlos Santos
167k22132235
167k22132235
$begingroup$
Thanks for answering, I think I understand now, but just a quick question. Wouldn't $f$ be continuous between 2 consecutive points in $mathbb{Q}$ since there are infinitely many points in $mathbb{R}$ between those points in $mathbb{Q}$, or am i missing something here?
$endgroup$
– Viktor
Dec 25 '18 at 20:07
1
$begingroup$
You are missing the fact that there is no such thing as “consecutive points in $mathbb Q$”, since for each two distinct rational numbers there are infinitely many other rational numbers between them.
$endgroup$
– José Carlos Santos
Dec 25 '18 at 20:09
$begingroup$
To the proposer: Constant functions are continuous. The function $f|_{Bbb Q}$ is constant on its domain, $Bbb Q.$
$endgroup$
– DanielWainfleet
Dec 26 '18 at 1:16
add a comment |
$begingroup$
Thanks for answering, I think I understand now, but just a quick question. Wouldn't $f$ be continuous between 2 consecutive points in $mathbb{Q}$ since there are infinitely many points in $mathbb{R}$ between those points in $mathbb{Q}$, or am i missing something here?
$endgroup$
– Viktor
Dec 25 '18 at 20:07
1
$begingroup$
You are missing the fact that there is no such thing as “consecutive points in $mathbb Q$”, since for each two distinct rational numbers there are infinitely many other rational numbers between them.
$endgroup$
– José Carlos Santos
Dec 25 '18 at 20:09
$begingroup$
To the proposer: Constant functions are continuous. The function $f|_{Bbb Q}$ is constant on its domain, $Bbb Q.$
$endgroup$
– DanielWainfleet
Dec 26 '18 at 1:16
$begingroup$
Thanks for answering, I think I understand now, but just a quick question. Wouldn't $f$ be continuous between 2 consecutive points in $mathbb{Q}$ since there are infinitely many points in $mathbb{R}$ between those points in $mathbb{Q}$, or am i missing something here?
$endgroup$
– Viktor
Dec 25 '18 at 20:07
$begingroup$
Thanks for answering, I think I understand now, but just a quick question. Wouldn't $f$ be continuous between 2 consecutive points in $mathbb{Q}$ since there are infinitely many points in $mathbb{R}$ between those points in $mathbb{Q}$, or am i missing something here?
$endgroup$
– Viktor
Dec 25 '18 at 20:07
1
1
$begingroup$
You are missing the fact that there is no such thing as “consecutive points in $mathbb Q$”, since for each two distinct rational numbers there are infinitely many other rational numbers between them.
$endgroup$
– José Carlos Santos
Dec 25 '18 at 20:09
$begingroup$
You are missing the fact that there is no such thing as “consecutive points in $mathbb Q$”, since for each two distinct rational numbers there are infinitely many other rational numbers between them.
$endgroup$
– José Carlos Santos
Dec 25 '18 at 20:09
$begingroup$
To the proposer: Constant functions are continuous. The function $f|_{Bbb Q}$ is constant on its domain, $Bbb Q.$
$endgroup$
– DanielWainfleet
Dec 26 '18 at 1:16
$begingroup$
To the proposer: Constant functions are continuous. The function $f|_{Bbb Q}$ is constant on its domain, $Bbb Q.$
$endgroup$
– DanielWainfleet
Dec 26 '18 at 1:16
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%2f3052361%2fdifference-between-continuous-over-a-set-and-continue-in-every-point-of-that-set%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