Is $f:[0,10]tomathbb Rmid f(x)=x-[x]$ Riemann-Integrable?

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











up vote
0
down vote

favorite












True or false?



The function $$f:[0,10]tomathbb Rmid f(x)=x-[x]$$ is Riemann-Integrable.




Here $[x]$ is the floor function, and I think $x-[x]$ is the mantissa function:



Mantissa function



I think the statement is true, but I don't know how to prove in a easy way. Maybe proving that if $f$ is bounded (it's true) then $$underlinedisplaystyleint_a^bf(x);text dxquad=quadoverlinedisplaystyleint_a^bf(x);text dx,,tag 1$$ but this could be a little tedious?



What are the hypothesis, and my thesis is true? We need to check $(1)$?



Any ideas?



Thank you!







share|cite|improve this question

















  • 4




    See math.stackexchange.com/questions/102844/…?
    – Robert Z
    Aug 1 at 9:15










  • Thanks! I am very new with this type of integrals. I will take a look.
    – manooooh
    Aug 1 at 9:21






  • 1




    The function considered is a bounded, piecewise continuous function on the interval of integration. The details of the particular function are not necessary to prove its integrability.
    – Dan Fox
    Aug 1 at 9:22










  • @DanFox what do you mean by "particular function"?
    – manooooh
    Aug 1 at 9:27






  • 2




    @manooooh: I mean it does not matter that you consider $f(x) = x - [x]$. To prove the Riemann integrability, it is enough that the function considered is piecewise continuous and bounded on the interval of integration. In the case of the particular function you consider, it has to be Riemann integrable because just by looking one can calculate the area under its graph ...
    – Dan Fox
    Aug 1 at 9:29














up vote
0
down vote

favorite












True or false?



The function $$f:[0,10]tomathbb Rmid f(x)=x-[x]$$ is Riemann-Integrable.




Here $[x]$ is the floor function, and I think $x-[x]$ is the mantissa function:



Mantissa function



I think the statement is true, but I don't know how to prove in a easy way. Maybe proving that if $f$ is bounded (it's true) then $$underlinedisplaystyleint_a^bf(x);text dxquad=quadoverlinedisplaystyleint_a^bf(x);text dx,,tag 1$$ but this could be a little tedious?



What are the hypothesis, and my thesis is true? We need to check $(1)$?



Any ideas?



Thank you!







share|cite|improve this question

















  • 4




    See math.stackexchange.com/questions/102844/…?
    – Robert Z
    Aug 1 at 9:15










  • Thanks! I am very new with this type of integrals. I will take a look.
    – manooooh
    Aug 1 at 9:21






  • 1




    The function considered is a bounded, piecewise continuous function on the interval of integration. The details of the particular function are not necessary to prove its integrability.
    – Dan Fox
    Aug 1 at 9:22










  • @DanFox what do you mean by "particular function"?
    – manooooh
    Aug 1 at 9:27






  • 2




    @manooooh: I mean it does not matter that you consider $f(x) = x - [x]$. To prove the Riemann integrability, it is enough that the function considered is piecewise continuous and bounded on the interval of integration. In the case of the particular function you consider, it has to be Riemann integrable because just by looking one can calculate the area under its graph ...
    – Dan Fox
    Aug 1 at 9:29












up vote
0
down vote

favorite









up vote
0
down vote

favorite











True or false?



The function $$f:[0,10]tomathbb Rmid f(x)=x-[x]$$ is Riemann-Integrable.




Here $[x]$ is the floor function, and I think $x-[x]$ is the mantissa function:



Mantissa function



I think the statement is true, but I don't know how to prove in a easy way. Maybe proving that if $f$ is bounded (it's true) then $$underlinedisplaystyleint_a^bf(x);text dxquad=quadoverlinedisplaystyleint_a^bf(x);text dx,,tag 1$$ but this could be a little tedious?



What are the hypothesis, and my thesis is true? We need to check $(1)$?



Any ideas?



Thank you!







share|cite|improve this question













True or false?



The function $$f:[0,10]tomathbb Rmid f(x)=x-[x]$$ is Riemann-Integrable.




Here $[x]$ is the floor function, and I think $x-[x]$ is the mantissa function:



Mantissa function



I think the statement is true, but I don't know how to prove in a easy way. Maybe proving that if $f$ is bounded (it's true) then $$underlinedisplaystyleint_a^bf(x);text dxquad=quadoverlinedisplaystyleint_a^bf(x);text dx,,tag 1$$ but this could be a little tedious?



What are the hypothesis, and my thesis is true? We need to check $(1)$?



Any ideas?



Thank you!









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Aug 1 at 9:18
























asked Aug 1 at 9:10









manooooh

422211




422211







  • 4




    See math.stackexchange.com/questions/102844/…?
    – Robert Z
    Aug 1 at 9:15










  • Thanks! I am very new with this type of integrals. I will take a look.
    – manooooh
    Aug 1 at 9:21






  • 1




    The function considered is a bounded, piecewise continuous function on the interval of integration. The details of the particular function are not necessary to prove its integrability.
    – Dan Fox
    Aug 1 at 9:22










  • @DanFox what do you mean by "particular function"?
    – manooooh
    Aug 1 at 9:27






  • 2




    @manooooh: I mean it does not matter that you consider $f(x) = x - [x]$. To prove the Riemann integrability, it is enough that the function considered is piecewise continuous and bounded on the interval of integration. In the case of the particular function you consider, it has to be Riemann integrable because just by looking one can calculate the area under its graph ...
    – Dan Fox
    Aug 1 at 9:29












  • 4




    See math.stackexchange.com/questions/102844/…?
    – Robert Z
    Aug 1 at 9:15










  • Thanks! I am very new with this type of integrals. I will take a look.
    – manooooh
    Aug 1 at 9:21






  • 1




    The function considered is a bounded, piecewise continuous function on the interval of integration. The details of the particular function are not necessary to prove its integrability.
    – Dan Fox
    Aug 1 at 9:22










  • @DanFox what do you mean by "particular function"?
    – manooooh
    Aug 1 at 9:27






  • 2




    @manooooh: I mean it does not matter that you consider $f(x) = x - [x]$. To prove the Riemann integrability, it is enough that the function considered is piecewise continuous and bounded on the interval of integration. In the case of the particular function you consider, it has to be Riemann integrable because just by looking one can calculate the area under its graph ...
    – Dan Fox
    Aug 1 at 9:29







4




4




See math.stackexchange.com/questions/102844/…?
– Robert Z
Aug 1 at 9:15




See math.stackexchange.com/questions/102844/…?
– Robert Z
Aug 1 at 9:15












Thanks! I am very new with this type of integrals. I will take a look.
– manooooh
Aug 1 at 9:21




Thanks! I am very new with this type of integrals. I will take a look.
– manooooh
Aug 1 at 9:21




1




1




The function considered is a bounded, piecewise continuous function on the interval of integration. The details of the particular function are not necessary to prove its integrability.
– Dan Fox
Aug 1 at 9:22




The function considered is a bounded, piecewise continuous function on the interval of integration. The details of the particular function are not necessary to prove its integrability.
– Dan Fox
Aug 1 at 9:22












@DanFox what do you mean by "particular function"?
– manooooh
Aug 1 at 9:27




@DanFox what do you mean by "particular function"?
– manooooh
Aug 1 at 9:27




2




2




@manooooh: I mean it does not matter that you consider $f(x) = x - [x]$. To prove the Riemann integrability, it is enough that the function considered is piecewise continuous and bounded on the interval of integration. In the case of the particular function you consider, it has to be Riemann integrable because just by looking one can calculate the area under its graph ...
– Dan Fox
Aug 1 at 9:29




@manooooh: I mean it does not matter that you consider $f(x) = x - [x]$. To prove the Riemann integrability, it is enough that the function considered is piecewise continuous and bounded on the interval of integration. In the case of the particular function you consider, it has to be Riemann integrable because just by looking one can calculate the area under its graph ...
– Dan Fox
Aug 1 at 9:29










1 Answer
1






active

oldest

votes

















up vote
1
down vote



accepted










If you want to prove this by way of
$$
underlinedisplaystyleint_a^bf(x);text dxquad=quadoverlinedisplaystyleint_a^bf(x);text dx,,tag 1
$$
then it can be done. Take any $epsilon>0$. We want to make a partition $P = (x_0, x_1, ldots,x_n)$ of $[0,10]$ (with $x_0 = 0, x_n = 10$, and $x_i<x_i+1$) such that
$$
U(f, P) - L(f, P)<epsilon
$$
where $U(f, P)$ is the upper sum of $f$ with respect to the partition $P$ and $L(f, P)$ is the lower. It's not too hard to show that any partition where $x_i+1-x_i < epsilon/20$ will work.






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%2f2868874%2fis-f0-10-to-mathbb-r-mid-fx-x-x-riemann-integrable%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
    1
    down vote



    accepted










    If you want to prove this by way of
    $$
    underlinedisplaystyleint_a^bf(x);text dxquad=quadoverlinedisplaystyleint_a^bf(x);text dx,,tag 1
    $$
    then it can be done. Take any $epsilon>0$. We want to make a partition $P = (x_0, x_1, ldots,x_n)$ of $[0,10]$ (with $x_0 = 0, x_n = 10$, and $x_i<x_i+1$) such that
    $$
    U(f, P) - L(f, P)<epsilon
    $$
    where $U(f, P)$ is the upper sum of $f$ with respect to the partition $P$ and $L(f, P)$ is the lower. It's not too hard to show that any partition where $x_i+1-x_i < epsilon/20$ will work.






    share|cite|improve this answer

























      up vote
      1
      down vote



      accepted










      If you want to prove this by way of
      $$
      underlinedisplaystyleint_a^bf(x);text dxquad=quadoverlinedisplaystyleint_a^bf(x);text dx,,tag 1
      $$
      then it can be done. Take any $epsilon>0$. We want to make a partition $P = (x_0, x_1, ldots,x_n)$ of $[0,10]$ (with $x_0 = 0, x_n = 10$, and $x_i<x_i+1$) such that
      $$
      U(f, P) - L(f, P)<epsilon
      $$
      where $U(f, P)$ is the upper sum of $f$ with respect to the partition $P$ and $L(f, P)$ is the lower. It's not too hard to show that any partition where $x_i+1-x_i < epsilon/20$ will work.






      share|cite|improve this answer























        up vote
        1
        down vote



        accepted







        up vote
        1
        down vote



        accepted






        If you want to prove this by way of
        $$
        underlinedisplaystyleint_a^bf(x);text dxquad=quadoverlinedisplaystyleint_a^bf(x);text dx,,tag 1
        $$
        then it can be done. Take any $epsilon>0$. We want to make a partition $P = (x_0, x_1, ldots,x_n)$ of $[0,10]$ (with $x_0 = 0, x_n = 10$, and $x_i<x_i+1$) such that
        $$
        U(f, P) - L(f, P)<epsilon
        $$
        where $U(f, P)$ is the upper sum of $f$ with respect to the partition $P$ and $L(f, P)$ is the lower. It's not too hard to show that any partition where $x_i+1-x_i < epsilon/20$ will work.






        share|cite|improve this answer













        If you want to prove this by way of
        $$
        underlinedisplaystyleint_a^bf(x);text dxquad=quadoverlinedisplaystyleint_a^bf(x);text dx,,tag 1
        $$
        then it can be done. Take any $epsilon>0$. We want to make a partition $P = (x_0, x_1, ldots,x_n)$ of $[0,10]$ (with $x_0 = 0, x_n = 10$, and $x_i<x_i+1$) such that
        $$
        U(f, P) - L(f, P)<epsilon
        $$
        where $U(f, P)$ is the upper sum of $f$ with respect to the partition $P$ and $L(f, P)$ is the lower. It's not too hard to show that any partition where $x_i+1-x_i < epsilon/20$ will work.







        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered Aug 1 at 10:12









        Arthur

        98.3k793174




        98.3k793174






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2868874%2fis-f0-10-to-mathbb-r-mid-fx-x-x-riemann-integrable%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            What is the equation of a 3D cone with generalised tilt?

            Color the edges and diagonals of a regular polygon

            Relationship between determinant of matrix and determinant of adjoint?