prove if $f$ is bounded in [a,b] and integrable in every [a+$epsilon$ , b] for every $epsilon$ > 0 then...











up vote
1
down vote

favorite












I've started with showing that the improper integral in [a,b] is the limit when t goes to a+ (I've said that t=a+ $epsilon$ )
but now to say that the improper integral is defined I need to show that the limit exist and final.










share|cite|improve this question
























  • Use upper and lower sums
    – rubikscube09
    Nov 17 at 20:29










  • $f$ is bounded, $m >= f >= M$ so the limit is bounded by $(b-a)M$ and $(b-a)m$ is that enough?
    – Dor
    Nov 17 at 20:33












  • Almost. When you have epsilon really small, the integral over the epsilon region is going to be small too because the function is bounded. Hence if the a b - e integral converges, you add only a small amount of mass (say M*epsilon ) by integrating over the rest of the region.
    – rubikscube09
    Nov 17 at 20:40















up vote
1
down vote

favorite












I've started with showing that the improper integral in [a,b] is the limit when t goes to a+ (I've said that t=a+ $epsilon$ )
but now to say that the improper integral is defined I need to show that the limit exist and final.










share|cite|improve this question
























  • Use upper and lower sums
    – rubikscube09
    Nov 17 at 20:29










  • $f$ is bounded, $m >= f >= M$ so the limit is bounded by $(b-a)M$ and $(b-a)m$ is that enough?
    – Dor
    Nov 17 at 20:33












  • Almost. When you have epsilon really small, the integral over the epsilon region is going to be small too because the function is bounded. Hence if the a b - e integral converges, you add only a small amount of mass (say M*epsilon ) by integrating over the rest of the region.
    – rubikscube09
    Nov 17 at 20:40













up vote
1
down vote

favorite









up vote
1
down vote

favorite











I've started with showing that the improper integral in [a,b] is the limit when t goes to a+ (I've said that t=a+ $epsilon$ )
but now to say that the improper integral is defined I need to show that the limit exist and final.










share|cite|improve this question















I've started with showing that the improper integral in [a,b] is the limit when t goes to a+ (I've said that t=a+ $epsilon$ )
but now to say that the improper integral is defined I need to show that the limit exist and final.







integration improper-integrals






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 17 at 20:30

























asked Nov 17 at 20:28









Dor

83




83












  • Use upper and lower sums
    – rubikscube09
    Nov 17 at 20:29










  • $f$ is bounded, $m >= f >= M$ so the limit is bounded by $(b-a)M$ and $(b-a)m$ is that enough?
    – Dor
    Nov 17 at 20:33












  • Almost. When you have epsilon really small, the integral over the epsilon region is going to be small too because the function is bounded. Hence if the a b - e integral converges, you add only a small amount of mass (say M*epsilon ) by integrating over the rest of the region.
    – rubikscube09
    Nov 17 at 20:40


















  • Use upper and lower sums
    – rubikscube09
    Nov 17 at 20:29










  • $f$ is bounded, $m >= f >= M$ so the limit is bounded by $(b-a)M$ and $(b-a)m$ is that enough?
    – Dor
    Nov 17 at 20:33












  • Almost. When you have epsilon really small, the integral over the epsilon region is going to be small too because the function is bounded. Hence if the a b - e integral converges, you add only a small amount of mass (say M*epsilon ) by integrating over the rest of the region.
    – rubikscube09
    Nov 17 at 20:40
















Use upper and lower sums
– rubikscube09
Nov 17 at 20:29




Use upper and lower sums
– rubikscube09
Nov 17 at 20:29












$f$ is bounded, $m >= f >= M$ so the limit is bounded by $(b-a)M$ and $(b-a)m$ is that enough?
– Dor
Nov 17 at 20:33






$f$ is bounded, $m >= f >= M$ so the limit is bounded by $(b-a)M$ and $(b-a)m$ is that enough?
– Dor
Nov 17 at 20:33














Almost. When you have epsilon really small, the integral over the epsilon region is going to be small too because the function is bounded. Hence if the a b - e integral converges, you add only a small amount of mass (say M*epsilon ) by integrating over the rest of the region.
– rubikscube09
Nov 17 at 20:40




Almost. When you have epsilon really small, the integral over the epsilon region is going to be small too because the function is bounded. Hence if the a b - e integral converges, you add only a small amount of mass (say M*epsilon ) by integrating over the rest of the region.
– rubikscube09
Nov 17 at 20:40










1 Answer
1






active

oldest

votes

















up vote
0
down vote



accepted










Let $M=sup_{[a,b]}| f|$.



We can assume $M>0$.



Given $epsilon>0$ small enough.



$f$ is integrable at $[a+frac{epsilon}{4M},b]$ thus by Cauchy criterion,



there exist a partition $sigma$ of $[a+frac{epsilon}{4M},b]$ such that



$$U(f,sigma)-L(f,sigma)<frac{epsilon}{2}$$



Put $$Sigma=sigma cup{a}$$



then



$$U(f,Sigma)-L(f,Sigma)le$$
$$2Mfrac{epsilon}{4M}+U(f,sigma)-L(f,sigma)$$
$$<epsilon$$



done.






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: 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
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3002772%2fprove-if-f-is-bounded-in-a-b-and-integrable-in-every-a-epsilon-b-for%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








    up vote
    0
    down vote



    accepted










    Let $M=sup_{[a,b]}| f|$.



    We can assume $M>0$.



    Given $epsilon>0$ small enough.



    $f$ is integrable at $[a+frac{epsilon}{4M},b]$ thus by Cauchy criterion,



    there exist a partition $sigma$ of $[a+frac{epsilon}{4M},b]$ such that



    $$U(f,sigma)-L(f,sigma)<frac{epsilon}{2}$$



    Put $$Sigma=sigma cup{a}$$



    then



    $$U(f,Sigma)-L(f,Sigma)le$$
    $$2Mfrac{epsilon}{4M}+U(f,sigma)-L(f,sigma)$$
    $$<epsilon$$



    done.






    share|cite|improve this answer



























      up vote
      0
      down vote



      accepted










      Let $M=sup_{[a,b]}| f|$.



      We can assume $M>0$.



      Given $epsilon>0$ small enough.



      $f$ is integrable at $[a+frac{epsilon}{4M},b]$ thus by Cauchy criterion,



      there exist a partition $sigma$ of $[a+frac{epsilon}{4M},b]$ such that



      $$U(f,sigma)-L(f,sigma)<frac{epsilon}{2}$$



      Put $$Sigma=sigma cup{a}$$



      then



      $$U(f,Sigma)-L(f,Sigma)le$$
      $$2Mfrac{epsilon}{4M}+U(f,sigma)-L(f,sigma)$$
      $$<epsilon$$



      done.






      share|cite|improve this answer

























        up vote
        0
        down vote



        accepted







        up vote
        0
        down vote



        accepted






        Let $M=sup_{[a,b]}| f|$.



        We can assume $M>0$.



        Given $epsilon>0$ small enough.



        $f$ is integrable at $[a+frac{epsilon}{4M},b]$ thus by Cauchy criterion,



        there exist a partition $sigma$ of $[a+frac{epsilon}{4M},b]$ such that



        $$U(f,sigma)-L(f,sigma)<frac{epsilon}{2}$$



        Put $$Sigma=sigma cup{a}$$



        then



        $$U(f,Sigma)-L(f,Sigma)le$$
        $$2Mfrac{epsilon}{4M}+U(f,sigma)-L(f,sigma)$$
        $$<epsilon$$



        done.






        share|cite|improve this answer














        Let $M=sup_{[a,b]}| f|$.



        We can assume $M>0$.



        Given $epsilon>0$ small enough.



        $f$ is integrable at $[a+frac{epsilon}{4M},b]$ thus by Cauchy criterion,



        there exist a partition $sigma$ of $[a+frac{epsilon}{4M},b]$ such that



        $$U(f,sigma)-L(f,sigma)<frac{epsilon}{2}$$



        Put $$Sigma=sigma cup{a}$$



        then



        $$U(f,Sigma)-L(f,Sigma)le$$
        $$2Mfrac{epsilon}{4M}+U(f,sigma)-L(f,sigma)$$
        $$<epsilon$$



        done.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Nov 17 at 20:44

























        answered Nov 17 at 20:38









        hamam_Abdallah

        37k21534




        37k21534






























            draft saved

            draft discarded




















































            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.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3002772%2fprove-if-f-is-bounded-in-a-b-and-integrable-in-every-a-epsilon-b-for%23new-answer', 'question_page');
            }
            );

            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







            Popular posts from this blog

            QoS: MAC-Priority for clients behind a repeater

            Ивакино (Тотемский район)

            Can't locate Autom4te/ChannelDefs.pm in @INC (when it definitely is there)