How do I prove that if $f$ is continuous, then $F_{0}'(x) = f(x)$?
up vote
1
down vote
favorite
If $f$ is continuous on the interval $I = [a,b]$, then $f$ has an antiderivative on $I$.
Define a function $F_0(x) = int_a^x f$ for $a le x le b$
If $x$ and $x+h$ both lie in $I$, then
$F_{0}(x+h) -F_{0}(x) = int_a^{x+h} f - int_a^x f$
= $int_x^{x+h} f = f(bar{x})h$
where we use the mean value theorem for integrals and $bar{x}$ lies between $x$ and $x+h$. divide by $h$, and let $h$ approach $0$; since $bar{x}$ must then approach $x$, and since $f$ is continuous, we find $F'_{0}(x) = f(x)$, and $F_{0}$ is an antiderivative of $f$. (When $x$ is an endpoint of $I$, the argument shows the appropriate one-sided derivative of $F_{0}$ has the correct value.)
Looking at the part that says that "since $f$ is continuous, we find $F'_{0}(x) = f(x)$." I wanted to know if there's a way to show more precisely that if $f$ is continuous, then $F_{0}'(x) = f(x)$?
calculus real-analysis
asked Nov 28 at 20:43
K.M
651312
add a comment |
up vote
1
down vote
favorite
If $f$ is continuous on the interval $I = [a,b]$, then $f$ has an antiderivative on $I$.
Define a function $F_0(x) = int_a^x f$ for $a le x le b$
If $x$ and $x+h$ both lie in $I$, then
$F_{0}(x+h) -F_{0}(x) = int_a^{x+h} f - int_a^x f$
= $int_x^{x+h} f = f(bar{x})h$
where we use the mean value theorem for integrals and $bar{x}$ lies between $x$ and $x+h$. divide by $h$, and let $h$ approach $0$; since $bar{x}$ must then approach $x$, and since $f$ is continuous, we find $F'_{0}(x) = f(x)$, and $F_{0}$ is an antiderivative of $f$. (When $x$ is an endpoint of $I$, the argument shows the appropriate one-sided derivative of $F_{0}$ has the correct value.)
Looking at the part that says that "since $f$ is continuous, we find $F'_{0}(x) = f(x)$." I wanted to know if there's a way to show more precisely that if $f$ is continuous, then $F_{0}'(x) = f(x)$?
calculus real-analysis
asked Nov 28 at 20:43
K.M
651312
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
If $f$ is continuous on the interval $I = [a,b]$, then $f$ has an antiderivative on $I$.
Define a function $F_0(x) = int_a^x f$ for $a le x le b$
If $x$ and $x+h$ both lie in $I$, then
$F_{0}(x+h) -F_{0}(x) = int_a^{x+h} f - int_a^x f$
= $int_x^{x+h} f = f(bar{x})h$
where we use the mean value theorem for integrals and $bar{x}$ lies between $x$ and $x+h$. divide by $h$, and let $h$ approach $0$; since $bar{x}$ must then approach $x$, and since $f$ is continuous, we find $F'_{0}(x) = f(x)$, and $F_{0}$ is an antiderivative of $f$. (When $x$ is an endpoint of $I$, the argument shows the appropriate one-sided derivative of $F_{0}$ has the correct value.)
Looking at the part that says that "since $f$ is continuous, we find $F'_{0}(x) = f(x)$." I wanted to know if there's a way to show more precisely that if $f$ is continuous, then $F_{0}'(x) = f(x)$?
calculus real-analysis
asked Nov 28 at 20:43
K.M
651312
If $f$ is continuous on the interval $I = [a,b]$, then $f$ has an antiderivative on $I$.
Define a function $F_0(x) = int_a^x f$ for $a le x le b$
If $x$ and $x+h$ both lie in $I$, then
$F_{0}(x+h) -F_{0}(x) = int_a^{x+h} f - int_a^x f$
= $int_x^{x+h} f = f(bar{x})h$
where we use the mean value theorem for integrals and $bar{x}$ lies between $x$ and $x+h$. divide by $h$, and let $h$ approach $0$; since $bar{x}$ must then approach $x$, and since $f$ is continuous, we find $F'_{0}(x) = f(x)$, and $F_{0}$ is an antiderivative of $f$. (When $x$ is an endpoint of $I$, the argument shows the appropriate one-sided derivative of $F_{0}$ has the correct value.)
Looking at the part that says that "since $f$ is continuous, we find $F'_{0}(x) = f(x)$." I wanted to know if there's a way to show more precisely that if $f$ is continuous, then $F_{0}'(x) = f(x)$?
calculus real-analysis
calculus real-analysis
asked Nov 28 at 20:43
K.M
651312
asked Nov 28 at 20:43
K.M
651312
asked Nov 28 at 20:43
K.M
651312
asked Nov 28 at 20:43
K.M
651312
asked Nov 28 at 20:43
K.M
651312
651312
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
up vote
2
down vote
accepted
Following your argument, you have that $$frac{F_0(x_0+h)-F_0(x_0)}{h}=f(bar x),$$ but the mean value theorem aserts that $bar xin[x_0,x_0+h]$ (or viceversa if $h<0$). So, in fact, $bar x$ depends on $h$.
So if $hto0$, then the interval $[x_0,x_0+h]$ goes to the singleton ${x_0}$, and $bar xto x_0$ as $hto 0$. So, if you put all together, you'll have $$F_0'(x_0)=lim_{hto0}frac{F_0(x_0+h)-F_0(x_0)}{h}=lim_{hto0}f(bar x)= f(x_0),$$ where the last equality holds because of the continuity of $f$.
answered Nov 28 at 20:53
Tito Eliatron
1,307622
add a comment |
up vote
1
down vote
If $f$ is continuous at $x$ then, for any $varepsilon > 0$ there is an $1 geq r > 0$ such that the relation $|h| < r$ implies $|f(x+h)-f(x)|<varepsilon.$ By noticing, $F_0(x+h)-F_0(x)=intlimits_x^{x+h}(f-f(x))+f(x)h$ we reach at once $left| dfrac{F_0(x+h)-F_0(x) - f(x)}{h}right| leq varepsilon |h| leq varepsilon.$ (The same proof applies whatever the normed space $F$ and $f$ were defined.) Q.E.D
answered Nov 28 at 20:58
Will M.
2,352314
where does the $(f -f(x)) + f(x)h$ come from?
– K.M
Nov 28 at 21:06
Addition of numbers: $f(t) = f(t) - f(x) + f(x).$
– Will M.
Nov 28 at 21:09
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%2f3017685%2fhow-do-i-prove-that-if-f-is-continuous-then-f-0x-fx%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
accepted
Following your argument, you have that $$frac{F_0(x_0+h)-F_0(x_0)}{h}=f(bar x),$$ but the mean value theorem aserts that $bar xin[x_0,x_0+h]$ (or viceversa if $h<0$). So, in fact, $bar x$ depends on $h$.
So if $hto0$, then the interval $[x_0,x_0+h]$ goes to the singleton ${x_0}$, and $bar xto x_0$ as $hto 0$. So, if you put all together, you'll have $$F_0'(x_0)=lim_{hto0}frac{F_0(x_0+h)-F_0(x_0)}{h}=lim_{hto0}f(bar x)= f(x_0),$$ where the last equality holds because of the continuity of $f$.
answered Nov 28 at 20:53
Tito Eliatron
1,307622
add a comment |
up vote
2
down vote
accepted
Following your argument, you have that $$frac{F_0(x_0+h)-F_0(x_0)}{h}=f(bar x),$$ but the mean value theorem aserts that $bar xin[x_0,x_0+h]$ (or viceversa if $h<0$). So, in fact, $bar x$ depends on $h$.
So if $hto0$, then the interval $[x_0,x_0+h]$ goes to the singleton ${x_0}$, and $bar xto x_0$ as $hto 0$. So, if you put all together, you'll have $$F_0'(x_0)=lim_{hto0}frac{F_0(x_0+h)-F_0(x_0)}{h}=lim_{hto0}f(bar x)= f(x_0),$$ where the last equality holds because of the continuity of $f$.
answered Nov 28 at 20:53
Tito Eliatron
1,307622
add a comment |
up vote
2
down vote
accepted
up vote
2
down vote
accepted
Following your argument, you have that $$frac{F_0(x_0+h)-F_0(x_0)}{h}=f(bar x),$$ but the mean value theorem aserts that $bar xin[x_0,x_0+h]$ (or viceversa if $h<0$). So, in fact, $bar x$ depends on $h$.
So if $hto0$, then the interval $[x_0,x_0+h]$ goes to the singleton ${x_0}$, and $bar xto x_0$ as $hto 0$. So, if you put all together, you'll have $$F_0'(x_0)=lim_{hto0}frac{F_0(x_0+h)-F_0(x_0)}{h}=lim_{hto0}f(bar x)= f(x_0),$$ where the last equality holds because of the continuity of $f$.
answered Nov 28 at 20:53
Tito Eliatron
1,307622
Following your argument, you have that $$frac{F_0(x_0+h)-F_0(x_0)}{h}=f(bar x),$$ but the mean value theorem aserts that $bar xin[x_0,x_0+h]$ (or viceversa if $h<0$). So, in fact, $bar x$ depends on $h$.
So if $hto0$, then the interval $[x_0,x_0+h]$ goes to the singleton ${x_0}$, and $bar xto x_0$ as $hto 0$. So, if you put all together, you'll have $$F_0'(x_0)=lim_{hto0}frac{F_0(x_0+h)-F_0(x_0)}{h}=lim_{hto0}f(bar x)= f(x_0),$$ where the last equality holds because of the continuity of $f$.
answered Nov 28 at 20:53
Tito Eliatron
1,307622
answered Nov 28 at 20:53
Tito Eliatron
1,307622
answered Nov 28 at 20:53
Tito Eliatron
1,307622
answered Nov 28 at 20:53
Tito Eliatron
1,307622
1,307622
add a comment |
add a comment |
up vote
1
down vote
If $f$ is continuous at $x$ then, for any $varepsilon > 0$ there is an $1 geq r > 0$ such that the relation $|h| < r$ implies $|f(x+h)-f(x)|<varepsilon.$ By noticing, $F_0(x+h)-F_0(x)=intlimits_x^{x+h}(f-f(x))+f(x)h$ we reach at once $left| dfrac{F_0(x+h)-F_0(x) - f(x)}{h}right| leq varepsilon |h| leq varepsilon.$ (The same proof applies whatever the normed space $F$ and $f$ were defined.) Q.E.D
answered Nov 28 at 20:58
Will M.
2,352314
where does the $(f -f(x)) + f(x)h$ come from?
– K.M
Nov 28 at 21:06
Addition of numbers: $f(t) = f(t) - f(x) + f(x).$
– Will M.
Nov 28 at 21:09
add a comment |
up vote
1
down vote
If $f$ is continuous at $x$ then, for any $varepsilon > 0$ there is an $1 geq r > 0$ such that the relation $|h| < r$ implies $|f(x+h)-f(x)|<varepsilon.$ By noticing, $F_0(x+h)-F_0(x)=intlimits_x^{x+h}(f-f(x))+f(x)h$ we reach at once $left| dfrac{F_0(x+h)-F_0(x) - f(x)}{h}right| leq varepsilon |h| leq varepsilon.$ (The same proof applies whatever the normed space $F$ and $f$ were defined.) Q.E.D
answered Nov 28 at 20:58
Will M.
2,352314
where does the $(f -f(x)) + f(x)h$ come from?
– K.M
Nov 28 at 21:06
Addition of numbers: $f(t) = f(t) - f(x) + f(x).$
– Will M.
Nov 28 at 21:09
add a comment |
up vote
1
down vote
up vote
1
down vote
If $f$ is continuous at $x$ then, for any $varepsilon > 0$ there is an $1 geq r > 0$ such that the relation $|h| < r$ implies $|f(x+h)-f(x)|<varepsilon.$ By noticing, $F_0(x+h)-F_0(x)=intlimits_x^{x+h}(f-f(x))+f(x)h$ we reach at once $left| dfrac{F_0(x+h)-F_0(x) - f(x)}{h}right| leq varepsilon |h| leq varepsilon.$ (The same proof applies whatever the normed space $F$ and $f$ were defined.) Q.E.D
answered Nov 28 at 20:58
Will M.
2,352314
If $f$ is continuous at $x$ then, for any $varepsilon > 0$ there is an $1 geq r > 0$ such that the relation $|h| < r$ implies $|f(x+h)-f(x)|<varepsilon.$ By noticing, $F_0(x+h)-F_0(x)=intlimits_x^{x+h}(f-f(x))+f(x)h$ we reach at once $left| dfrac{F_0(x+h)-F_0(x) - f(x)}{h}right| leq varepsilon |h| leq varepsilon.$ (The same proof applies whatever the normed space $F$ and $f$ were defined.) Q.E.D
answered Nov 28 at 20:58
Will M.
2,352314
edited Nov 28 at 21:09
answered Nov 28 at 20:58
Will M.
2,352314
answered Nov 28 at 20:58
Will M.
2,352314
answered Nov 28 at 20:58
Will M.
2,352314
2,352314
where does the $(f -f(x)) + f(x)h$ come from?
– K.M
Nov 28 at 21:06
Addition of numbers: $f(t) = f(t) - f(x) + f(x).$
– Will M.
Nov 28 at 21:09
add a comment |
where does the $(f -f(x)) + f(x)h$ come from?
– K.M
Nov 28 at 21:06
Addition of numbers: $f(t) = f(t) - f(x) + f(x).$
– Will M.
Nov 28 at 21:09
where does the $(f -f(x)) + f(x)h$ come from?
– K.M
Nov 28 at 21:06
where does the $(f -f(x)) + f(x)h$ come from?
– K.M
Nov 28 at 21:06
Addition of numbers: $f(t) = f(t) - f(x) + f(x).$
– Will M.
Nov 28 at 21:09
Addition of numbers: $f(t) = f(t) - f(x) + f(x).$
– Will M.
Nov 28 at 21:09
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3017685%2fhow-do-i-prove-that-if-f-is-continuous-then-f-0x-fx%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
