Prob. 12, Sec. 5.2, in Bartle & Sherbert's INTRO TO REAL ANALYSIS: Continuity of additive functions

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












Here is Prob. 12, Sec. 5.2, in the book Introduction To Real Analysis by Robert G. Bartle & Donald R. Sherbert, 4th edition:




A function $f colon mathbbR to mathbbR$ is said to be additive if $f(x+y)= f(x) + f(y)$ for all $x, y$ in $mathbbR$. Prove that if $f$ is continuous at some point $x_0$, then it is continuous at every point of $mathbbR$.




My Attempt:




Let $c$ be an arbitrary real number.



First suppose that $x_0 = 0$. As $f$ is continuous at the point $0$, so given any real number $varepsilon > 0$ we can find a real number $delta > 0$ such that
$$lvert f(x) rvert = lvert f(x) - 0 rvert = lvert f(x) - f(0) rvert < varepsilon $$
for all $x in mathbbR$ for which
$$ lvert x rvert = lvert x-0 rvert < delta. $$
Then
$$ lvert f(x) - f(c) rvert = lvert f( x - c ) rvert < varepsilon $$
for all $x in mathbbR$ such that
$$ lvert x-c rvert < delta. $$
Thus it follows that $f$ is continuous at every point $c in mathbbR$.




Am I right?




Now let us suppose that $x_0 neq 0$. As $f$ is continuous at $x_0$, so, for every real number $varepsilon > 0$ we can find a real number $delta > 0$ such that
$$ leftlvert f left(x - x_0 right) rightrvert = leftlvert f(x) - f left( x_0 right) rightrvert <
varepsilon $$
for all real numbers $x$ which satisfy
$$ leftlvert x- x_0 rightrvert < delta. $$



Now if we could show from here that $f$ is continuous at $0$, then as before we will have managed to show that $f$ is continuous at every real number $c$.




What next? How to proceed from here to show that our function $f$ is continuous at $0$? Or, is there any other route?







share|cite|improve this question


















  • 1




    Would you agree that a systematic call to check your work is associated much more closely with "seeking personal advice" rather than just asking mathematical questions?
    – uniquesolution
    Aug 14 at 12:20










  • @uniquesolution I'm sorry but do you disapprove of my asking questions in the manner I do? What if I arrive at a wrong conclusion during the steps of my proof? Hence my asking "Am I right?"!
    – Saaqib Mahmood
    Aug 14 at 13:05










  • I appreciate your keen efforts to study mathematics. I do think however that it takes some non-trivial presumptuousness to bombard this site with requests to practically tutor your self-study. I think that this site is not the place for that, and that's why I think such posts as yours ought to be closed on the grounds that they seek personal advice.
    – uniquesolution
    Aug 14 at 14:08






  • 1




    @uniquesolution asking to check one’s work does not come under “seeking personal advice”. There is even a tag called proof-verification for the same.
    – Brahadeesh
    Aug 14 at 19:42






  • 1




    @uniquesolution that is pretty clearly not the intended use of the seeking personal advice close button.
    – spaceisdarkgreen
    Aug 14 at 19:44














up vote
1
down vote

favorite












Here is Prob. 12, Sec. 5.2, in the book Introduction To Real Analysis by Robert G. Bartle & Donald R. Sherbert, 4th edition:




A function $f colon mathbbR to mathbbR$ is said to be additive if $f(x+y)= f(x) + f(y)$ for all $x, y$ in $mathbbR$. Prove that if $f$ is continuous at some point $x_0$, then it is continuous at every point of $mathbbR$.




My Attempt:




Let $c$ be an arbitrary real number.



First suppose that $x_0 = 0$. As $f$ is continuous at the point $0$, so given any real number $varepsilon > 0$ we can find a real number $delta > 0$ such that
$$lvert f(x) rvert = lvert f(x) - 0 rvert = lvert f(x) - f(0) rvert < varepsilon $$
for all $x in mathbbR$ for which
$$ lvert x rvert = lvert x-0 rvert < delta. $$
Then
$$ lvert f(x) - f(c) rvert = lvert f( x - c ) rvert < varepsilon $$
for all $x in mathbbR$ such that
$$ lvert x-c rvert < delta. $$
Thus it follows that $f$ is continuous at every point $c in mathbbR$.




Am I right?




Now let us suppose that $x_0 neq 0$. As $f$ is continuous at $x_0$, so, for every real number $varepsilon > 0$ we can find a real number $delta > 0$ such that
$$ leftlvert f left(x - x_0 right) rightrvert = leftlvert f(x) - f left( x_0 right) rightrvert <
varepsilon $$
for all real numbers $x$ which satisfy
$$ leftlvert x- x_0 rightrvert < delta. $$



Now if we could show from here that $f$ is continuous at $0$, then as before we will have managed to show that $f$ is continuous at every real number $c$.




What next? How to proceed from here to show that our function $f$ is continuous at $0$? Or, is there any other route?







share|cite|improve this question


















  • 1




    Would you agree that a systematic call to check your work is associated much more closely with "seeking personal advice" rather than just asking mathematical questions?
    – uniquesolution
    Aug 14 at 12:20










  • @uniquesolution I'm sorry but do you disapprove of my asking questions in the manner I do? What if I arrive at a wrong conclusion during the steps of my proof? Hence my asking "Am I right?"!
    – Saaqib Mahmood
    Aug 14 at 13:05










  • I appreciate your keen efforts to study mathematics. I do think however that it takes some non-trivial presumptuousness to bombard this site with requests to practically tutor your self-study. I think that this site is not the place for that, and that's why I think such posts as yours ought to be closed on the grounds that they seek personal advice.
    – uniquesolution
    Aug 14 at 14:08






  • 1




    @uniquesolution asking to check one’s work does not come under “seeking personal advice”. There is even a tag called proof-verification for the same.
    – Brahadeesh
    Aug 14 at 19:42






  • 1




    @uniquesolution that is pretty clearly not the intended use of the seeking personal advice close button.
    – spaceisdarkgreen
    Aug 14 at 19:44












up vote
1
down vote

favorite









up vote
1
down vote

favorite











Here is Prob. 12, Sec. 5.2, in the book Introduction To Real Analysis by Robert G. Bartle & Donald R. Sherbert, 4th edition:




A function $f colon mathbbR to mathbbR$ is said to be additive if $f(x+y)= f(x) + f(y)$ for all $x, y$ in $mathbbR$. Prove that if $f$ is continuous at some point $x_0$, then it is continuous at every point of $mathbbR$.




My Attempt:




Let $c$ be an arbitrary real number.



First suppose that $x_0 = 0$. As $f$ is continuous at the point $0$, so given any real number $varepsilon > 0$ we can find a real number $delta > 0$ such that
$$lvert f(x) rvert = lvert f(x) - 0 rvert = lvert f(x) - f(0) rvert < varepsilon $$
for all $x in mathbbR$ for which
$$ lvert x rvert = lvert x-0 rvert < delta. $$
Then
$$ lvert f(x) - f(c) rvert = lvert f( x - c ) rvert < varepsilon $$
for all $x in mathbbR$ such that
$$ lvert x-c rvert < delta. $$
Thus it follows that $f$ is continuous at every point $c in mathbbR$.




Am I right?




Now let us suppose that $x_0 neq 0$. As $f$ is continuous at $x_0$, so, for every real number $varepsilon > 0$ we can find a real number $delta > 0$ such that
$$ leftlvert f left(x - x_0 right) rightrvert = leftlvert f(x) - f left( x_0 right) rightrvert <
varepsilon $$
for all real numbers $x$ which satisfy
$$ leftlvert x- x_0 rightrvert < delta. $$



Now if we could show from here that $f$ is continuous at $0$, then as before we will have managed to show that $f$ is continuous at every real number $c$.




What next? How to proceed from here to show that our function $f$ is continuous at $0$? Or, is there any other route?







share|cite|improve this question














Here is Prob. 12, Sec. 5.2, in the book Introduction To Real Analysis by Robert G. Bartle & Donald R. Sherbert, 4th edition:




A function $f colon mathbbR to mathbbR$ is said to be additive if $f(x+y)= f(x) + f(y)$ for all $x, y$ in $mathbbR$. Prove that if $f$ is continuous at some point $x_0$, then it is continuous at every point of $mathbbR$.




My Attempt:




Let $c$ be an arbitrary real number.



First suppose that $x_0 = 0$. As $f$ is continuous at the point $0$, so given any real number $varepsilon > 0$ we can find a real number $delta > 0$ such that
$$lvert f(x) rvert = lvert f(x) - 0 rvert = lvert f(x) - f(0) rvert < varepsilon $$
for all $x in mathbbR$ for which
$$ lvert x rvert = lvert x-0 rvert < delta. $$
Then
$$ lvert f(x) - f(c) rvert = lvert f( x - c ) rvert < varepsilon $$
for all $x in mathbbR$ such that
$$ lvert x-c rvert < delta. $$
Thus it follows that $f$ is continuous at every point $c in mathbbR$.




Am I right?




Now let us suppose that $x_0 neq 0$. As $f$ is continuous at $x_0$, so, for every real number $varepsilon > 0$ we can find a real number $delta > 0$ such that
$$ leftlvert f left(x - x_0 right) rightrvert = leftlvert f(x) - f left( x_0 right) rightrvert <
varepsilon $$
for all real numbers $x$ which satisfy
$$ leftlvert x- x_0 rightrvert < delta. $$



Now if we could show from here that $f$ is continuous at $0$, then as before we will have managed to show that $f$ is continuous at every real number $c$.




What next? How to proceed from here to show that our function $f$ is continuous at $0$? Or, is there any other route?









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 14 at 18:22









John Ma

37.5k93669




37.5k93669










asked Aug 14 at 11:55









Saaqib Mahmood

7,18542169




7,18542169







  • 1




    Would you agree that a systematic call to check your work is associated much more closely with "seeking personal advice" rather than just asking mathematical questions?
    – uniquesolution
    Aug 14 at 12:20










  • @uniquesolution I'm sorry but do you disapprove of my asking questions in the manner I do? What if I arrive at a wrong conclusion during the steps of my proof? Hence my asking "Am I right?"!
    – Saaqib Mahmood
    Aug 14 at 13:05










  • I appreciate your keen efforts to study mathematics. I do think however that it takes some non-trivial presumptuousness to bombard this site with requests to practically tutor your self-study. I think that this site is not the place for that, and that's why I think such posts as yours ought to be closed on the grounds that they seek personal advice.
    – uniquesolution
    Aug 14 at 14:08






  • 1




    @uniquesolution asking to check one’s work does not come under “seeking personal advice”. There is even a tag called proof-verification for the same.
    – Brahadeesh
    Aug 14 at 19:42






  • 1




    @uniquesolution that is pretty clearly not the intended use of the seeking personal advice close button.
    – spaceisdarkgreen
    Aug 14 at 19:44












  • 1




    Would you agree that a systematic call to check your work is associated much more closely with "seeking personal advice" rather than just asking mathematical questions?
    – uniquesolution
    Aug 14 at 12:20










  • @uniquesolution I'm sorry but do you disapprove of my asking questions in the manner I do? What if I arrive at a wrong conclusion during the steps of my proof? Hence my asking "Am I right?"!
    – Saaqib Mahmood
    Aug 14 at 13:05










  • I appreciate your keen efforts to study mathematics. I do think however that it takes some non-trivial presumptuousness to bombard this site with requests to practically tutor your self-study. I think that this site is not the place for that, and that's why I think such posts as yours ought to be closed on the grounds that they seek personal advice.
    – uniquesolution
    Aug 14 at 14:08






  • 1




    @uniquesolution asking to check one’s work does not come under “seeking personal advice”. There is even a tag called proof-verification for the same.
    – Brahadeesh
    Aug 14 at 19:42






  • 1




    @uniquesolution that is pretty clearly not the intended use of the seeking personal advice close button.
    – spaceisdarkgreen
    Aug 14 at 19:44







1




1




Would you agree that a systematic call to check your work is associated much more closely with "seeking personal advice" rather than just asking mathematical questions?
– uniquesolution
Aug 14 at 12:20




Would you agree that a systematic call to check your work is associated much more closely with "seeking personal advice" rather than just asking mathematical questions?
– uniquesolution
Aug 14 at 12:20












@uniquesolution I'm sorry but do you disapprove of my asking questions in the manner I do? What if I arrive at a wrong conclusion during the steps of my proof? Hence my asking "Am I right?"!
– Saaqib Mahmood
Aug 14 at 13:05




@uniquesolution I'm sorry but do you disapprove of my asking questions in the manner I do? What if I arrive at a wrong conclusion during the steps of my proof? Hence my asking "Am I right?"!
– Saaqib Mahmood
Aug 14 at 13:05












I appreciate your keen efforts to study mathematics. I do think however that it takes some non-trivial presumptuousness to bombard this site with requests to practically tutor your self-study. I think that this site is not the place for that, and that's why I think such posts as yours ought to be closed on the grounds that they seek personal advice.
– uniquesolution
Aug 14 at 14:08




I appreciate your keen efforts to study mathematics. I do think however that it takes some non-trivial presumptuousness to bombard this site with requests to practically tutor your self-study. I think that this site is not the place for that, and that's why I think such posts as yours ought to be closed on the grounds that they seek personal advice.
– uniquesolution
Aug 14 at 14:08




1




1




@uniquesolution asking to check one’s work does not come under “seeking personal advice”. There is even a tag called proof-verification for the same.
– Brahadeesh
Aug 14 at 19:42




@uniquesolution asking to check one’s work does not come under “seeking personal advice”. There is even a tag called proof-verification for the same.
– Brahadeesh
Aug 14 at 19:42




1




1




@uniquesolution that is pretty clearly not the intended use of the seeking personal advice close button.
– spaceisdarkgreen
Aug 14 at 19:44




@uniquesolution that is pretty clearly not the intended use of the seeking personal advice close button.
– spaceisdarkgreen
Aug 14 at 19:44










1 Answer
1






active

oldest

votes

















up vote
0
down vote



accepted










You are almost there. Let $| t-0 | = |t| < delta$, where $delta$ is the one you have in the second box. Then $t + x_0 = xin mathbbR$, so $|t| = |x - x_0| < delta$.



Thus, $|f(t) - f(0)| = |f(t)| = |f(x-x_0)| = |f(x) - f(x_0)| < epsilon$ for $|t| < delta$.



So $f$ is continuous at $0$.






share|cite|improve this answer




















    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',
    convertImagesToLinks: true,
    noModals: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );








     

    draft saved


    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2882366%2fprob-12-sec-5-2-in-bartle-sherberts-intro-to-real-analysis-continuity-of%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    0
    down vote



    accepted










    You are almost there. Let $| t-0 | = |t| < delta$, where $delta$ is the one you have in the second box. Then $t + x_0 = xin mathbbR$, so $|t| = |x - x_0| < delta$.



    Thus, $|f(t) - f(0)| = |f(t)| = |f(x-x_0)| = |f(x) - f(x_0)| < epsilon$ for $|t| < delta$.



    So $f$ is continuous at $0$.






    share|cite|improve this answer
























      up vote
      0
      down vote



      accepted










      You are almost there. Let $| t-0 | = |t| < delta$, where $delta$ is the one you have in the second box. Then $t + x_0 = xin mathbbR$, so $|t| = |x - x_0| < delta$.



      Thus, $|f(t) - f(0)| = |f(t)| = |f(x-x_0)| = |f(x) - f(x_0)| < epsilon$ for $|t| < delta$.



      So $f$ is continuous at $0$.






      share|cite|improve this answer






















        up vote
        0
        down vote



        accepted







        up vote
        0
        down vote



        accepted






        You are almost there. Let $| t-0 | = |t| < delta$, where $delta$ is the one you have in the second box. Then $t + x_0 = xin mathbbR$, so $|t| = |x - x_0| < delta$.



        Thus, $|f(t) - f(0)| = |f(t)| = |f(x-x_0)| = |f(x) - f(x_0)| < epsilon$ for $|t| < delta$.



        So $f$ is continuous at $0$.






        share|cite|improve this answer












        You are almost there. Let $| t-0 | = |t| < delta$, where $delta$ is the one you have in the second box. Then $t + x_0 = xin mathbbR$, so $|t| = |x - x_0| < delta$.



        Thus, $|f(t) - f(0)| = |f(t)| = |f(x-x_0)| = |f(x) - f(x_0)| < epsilon$ for $|t| < delta$.



        So $f$ is continuous at $0$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Aug 14 at 19:09









        CptQ

        812




        812






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2882366%2fprob-12-sec-5-2-in-bartle-sherberts-intro-to-real-analysis-continuity-of%23new-answer', 'question_page');

            );

            Post as a guest













































































            這個網誌中的熱門文章

            How to combine Bézier curves to a surface?

            Mutual Information Always Non-negative

            Why am i infinitely getting the same tweet with the Twitter Search API?