Thomae function is Riemann integrable [duplicate]











up vote
0
down vote

favorite













This question already has an answer here:




  • Is Thomae's function Riemann integrable?

    3 answers




Let $f:[0,1]to mathbb{R}$, $f(x)=0$ if $xnotin mathbb{Q}$ and $f(x)=frac{1}{q}$ if $x=frac{p}{q}$, $p,q$ coprime. $p$ integer, $q$ natural.



I want prove that $f$ is Riemann integrable.



I have a doubt.
Let $P=left{frac{1}{n},frac{2}{n},ldots, frac{n-1}{n},1right}$
a partition.



Now, $U(f,P)=frac{1}{n}sum_{i=1}^n M_i=frac{1}{n} sum_{i=1}^nsupleft{f(x): xin [frac{i-1}{n},frac{i}{n}]right}=frac{1}{n} sum_{i=1}^{n} frac{1}{n}=frac{1}{n} nfrac{1}{n}=frac{1}{n}leq epsilon$ with $nto infty$.
Therefore $inf_{P} U(f,P)=0.$



It is correct?...










share|cite|improve this question













marked as duplicate by Parcly Taxel, Lord Shark the Unknown, Kelvin Lois, max_zorn, Brahadeesh Nov 18 at 11:40


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.



















    up vote
    0
    down vote

    favorite













    This question already has an answer here:




    • Is Thomae's function Riemann integrable?

      3 answers




    Let $f:[0,1]to mathbb{R}$, $f(x)=0$ if $xnotin mathbb{Q}$ and $f(x)=frac{1}{q}$ if $x=frac{p}{q}$, $p,q$ coprime. $p$ integer, $q$ natural.



    I want prove that $f$ is Riemann integrable.



    I have a doubt.
    Let $P=left{frac{1}{n},frac{2}{n},ldots, frac{n-1}{n},1right}$
    a partition.



    Now, $U(f,P)=frac{1}{n}sum_{i=1}^n M_i=frac{1}{n} sum_{i=1}^nsupleft{f(x): xin [frac{i-1}{n},frac{i}{n}]right}=frac{1}{n} sum_{i=1}^{n} frac{1}{n}=frac{1}{n} nfrac{1}{n}=frac{1}{n}leq epsilon$ with $nto infty$.
    Therefore $inf_{P} U(f,P)=0.$



    It is correct?...










    share|cite|improve this question













    marked as duplicate by Parcly Taxel, Lord Shark the Unknown, Kelvin Lois, max_zorn, Brahadeesh Nov 18 at 11:40


    This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

















      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite












      This question already has an answer here:




      • Is Thomae's function Riemann integrable?

        3 answers




      Let $f:[0,1]to mathbb{R}$, $f(x)=0$ if $xnotin mathbb{Q}$ and $f(x)=frac{1}{q}$ if $x=frac{p}{q}$, $p,q$ coprime. $p$ integer, $q$ natural.



      I want prove that $f$ is Riemann integrable.



      I have a doubt.
      Let $P=left{frac{1}{n},frac{2}{n},ldots, frac{n-1}{n},1right}$
      a partition.



      Now, $U(f,P)=frac{1}{n}sum_{i=1}^n M_i=frac{1}{n} sum_{i=1}^nsupleft{f(x): xin [frac{i-1}{n},frac{i}{n}]right}=frac{1}{n} sum_{i=1}^{n} frac{1}{n}=frac{1}{n} nfrac{1}{n}=frac{1}{n}leq epsilon$ with $nto infty$.
      Therefore $inf_{P} U(f,P)=0.$



      It is correct?...










      share|cite|improve this question














      This question already has an answer here:




      • Is Thomae's function Riemann integrable?

        3 answers




      Let $f:[0,1]to mathbb{R}$, $f(x)=0$ if $xnotin mathbb{Q}$ and $f(x)=frac{1}{q}$ if $x=frac{p}{q}$, $p,q$ coprime. $p$ integer, $q$ natural.



      I want prove that $f$ is Riemann integrable.



      I have a doubt.
      Let $P=left{frac{1}{n},frac{2}{n},ldots, frac{n-1}{n},1right}$
      a partition.



      Now, $U(f,P)=frac{1}{n}sum_{i=1}^n M_i=frac{1}{n} sum_{i=1}^nsupleft{f(x): xin [frac{i-1}{n},frac{i}{n}]right}=frac{1}{n} sum_{i=1}^{n} frac{1}{n}=frac{1}{n} nfrac{1}{n}=frac{1}{n}leq epsilon$ with $nto infty$.
      Therefore $inf_{P} U(f,P)=0.$



      It is correct?...





      This question already has an answer here:




      • Is Thomae's function Riemann integrable?

        3 answers








      real-analysis riemann-integration






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Nov 17 at 22:41









      eraldcoil

      26119




      26119




      marked as duplicate by Parcly Taxel, Lord Shark the Unknown, Kelvin Lois, max_zorn, Brahadeesh Nov 18 at 11:40


      This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.






      marked as duplicate by Parcly Taxel, Lord Shark the Unknown, Kelvin Lois, max_zorn, Brahadeesh Nov 18 at 11:40


      This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
























          2 Answers
          2






          active

          oldest

          votes

















          up vote
          3
          down vote













          If $xnotin mathbb{Q}$ and $x_n =frac{p_n }{q_n}to x$ $(p_n ,q_n)in mathbb{Z}timesmathbb{Z}$ then of course we have $q_n to infty$ and therefore $f(x_n) =q_n^{-1}to 0$ thus $f$ is continuous at $x.$ Thus the set of points of discontinuity of $f$ has Lebesgue measure zero and therefore $f$ is Riemann integrable.






          share|cite|improve this answer




























            up vote
            1
            down vote













            No, it is not correct. You are assming that$$supleft{f(x),middle|,xinleft[frac{i-1}n,frac inright]right}=frac1n.$$This is false. Take, for instance, $n=3$ and $i=2$. Then $dfrac1n=dfrac13$, but$$supleft{f(x),middle|,xinleft[frac13,frac23right]right}=fleft(frac12right)=frac12.$$






            share|cite|improve this answer




























              2 Answers
              2






              active

              oldest

              votes








              2 Answers
              2






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes








              up vote
              3
              down vote













              If $xnotin mathbb{Q}$ and $x_n =frac{p_n }{q_n}to x$ $(p_n ,q_n)in mathbb{Z}timesmathbb{Z}$ then of course we have $q_n to infty$ and therefore $f(x_n) =q_n^{-1}to 0$ thus $f$ is continuous at $x.$ Thus the set of points of discontinuity of $f$ has Lebesgue measure zero and therefore $f$ is Riemann integrable.






              share|cite|improve this answer

























                up vote
                3
                down vote













                If $xnotin mathbb{Q}$ and $x_n =frac{p_n }{q_n}to x$ $(p_n ,q_n)in mathbb{Z}timesmathbb{Z}$ then of course we have $q_n to infty$ and therefore $f(x_n) =q_n^{-1}to 0$ thus $f$ is continuous at $x.$ Thus the set of points of discontinuity of $f$ has Lebesgue measure zero and therefore $f$ is Riemann integrable.






                share|cite|improve this answer























                  up vote
                  3
                  down vote










                  up vote
                  3
                  down vote









                  If $xnotin mathbb{Q}$ and $x_n =frac{p_n }{q_n}to x$ $(p_n ,q_n)in mathbb{Z}timesmathbb{Z}$ then of course we have $q_n to infty$ and therefore $f(x_n) =q_n^{-1}to 0$ thus $f$ is continuous at $x.$ Thus the set of points of discontinuity of $f$ has Lebesgue measure zero and therefore $f$ is Riemann integrable.






                  share|cite|improve this answer












                  If $xnotin mathbb{Q}$ and $x_n =frac{p_n }{q_n}to x$ $(p_n ,q_n)in mathbb{Z}timesmathbb{Z}$ then of course we have $q_n to infty$ and therefore $f(x_n) =q_n^{-1}to 0$ thus $f$ is continuous at $x.$ Thus the set of points of discontinuity of $f$ has Lebesgue measure zero and therefore $f$ is Riemann integrable.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Nov 17 at 22:49









                  MotylaNogaTomkaMazura

                  6,424917




                  6,424917






















                      up vote
                      1
                      down vote













                      No, it is not correct. You are assming that$$supleft{f(x),middle|,xinleft[frac{i-1}n,frac inright]right}=frac1n.$$This is false. Take, for instance, $n=3$ and $i=2$. Then $dfrac1n=dfrac13$, but$$supleft{f(x),middle|,xinleft[frac13,frac23right]right}=fleft(frac12right)=frac12.$$






                      share|cite|improve this answer

























                        up vote
                        1
                        down vote













                        No, it is not correct. You are assming that$$supleft{f(x),middle|,xinleft[frac{i-1}n,frac inright]right}=frac1n.$$This is false. Take, for instance, $n=3$ and $i=2$. Then $dfrac1n=dfrac13$, but$$supleft{f(x),middle|,xinleft[frac13,frac23right]right}=fleft(frac12right)=frac12.$$






                        share|cite|improve this answer























                          up vote
                          1
                          down vote










                          up vote
                          1
                          down vote









                          No, it is not correct. You are assming that$$supleft{f(x),middle|,xinleft[frac{i-1}n,frac inright]right}=frac1n.$$This is false. Take, for instance, $n=3$ and $i=2$. Then $dfrac1n=dfrac13$, but$$supleft{f(x),middle|,xinleft[frac13,frac23right]right}=fleft(frac12right)=frac12.$$






                          share|cite|improve this answer












                          No, it is not correct. You are assming that$$supleft{f(x),middle|,xinleft[frac{i-1}n,frac inright]right}=frac1n.$$This is false. Take, for instance, $n=3$ and $i=2$. Then $dfrac1n=dfrac13$, but$$supleft{f(x),middle|,xinleft[frac13,frac23right]right}=fleft(frac12right)=frac12.$$







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Nov 17 at 22:48









                          José Carlos Santos

                          143k20112208




                          143k20112208















                              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)