Riemann integrable or not?

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











up vote
0
down vote

favorite












Let $(a_n)_1^infty$ be an increasing sequence in $(0,1)$ with limit $1$ and define $f:[0,1]tomathbbR$ such that $f(x)=1$ if $x=a_n$ for some $ninmathbbN$ and $f(x)=0$ otherwise. Is $f$ Riemann integrable on $[0,1]$?



I think it is Riemann integrable since $f$ is bounded and has a countable number of discontinuities, namely the $a_n$'s. But I don't know how to rigorously show it.







share|cite|improve this question























    up vote
    0
    down vote

    favorite












    Let $(a_n)_1^infty$ be an increasing sequence in $(0,1)$ with limit $1$ and define $f:[0,1]tomathbbR$ such that $f(x)=1$ if $x=a_n$ for some $ninmathbbN$ and $f(x)=0$ otherwise. Is $f$ Riemann integrable on $[0,1]$?



    I think it is Riemann integrable since $f$ is bounded and has a countable number of discontinuities, namely the $a_n$'s. But I don't know how to rigorously show it.







    share|cite|improve this question





















      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite











      Let $(a_n)_1^infty$ be an increasing sequence in $(0,1)$ with limit $1$ and define $f:[0,1]tomathbbR$ such that $f(x)=1$ if $x=a_n$ for some $ninmathbbN$ and $f(x)=0$ otherwise. Is $f$ Riemann integrable on $[0,1]$?



      I think it is Riemann integrable since $f$ is bounded and has a countable number of discontinuities, namely the $a_n$'s. But I don't know how to rigorously show it.







      share|cite|improve this question











      Let $(a_n)_1^infty$ be an increasing sequence in $(0,1)$ with limit $1$ and define $f:[0,1]tomathbbR$ such that $f(x)=1$ if $x=a_n$ for some $ninmathbbN$ and $f(x)=0$ otherwise. Is $f$ Riemann integrable on $[0,1]$?



      I think it is Riemann integrable since $f$ is bounded and has a countable number of discontinuities, namely the $a_n$'s. But I don't know how to rigorously show it.









      share|cite|improve this question










      share|cite|improve this question




      share|cite|improve this question









      asked yesterday









      Habagat Maliksi

      10211




      10211




















          3 Answers
          3






          active

          oldest

          votes

















          up vote
          0
          down vote













          Yes, it is integrable and its integral on $[0,1]$is $0$



          There are only a countable set of discontinuity at your function which makes it integrable.






          share|cite|improve this answer





















          • so am i right sir?
            – Habagat Maliksi
            yesterday










          • Yes, of course. The function is integrable as you have indicated.
            – Mohammad Riazi-Kermani
            yesterday

















          up vote
          0
          down vote













          You are right about the Lebesgue criterion. Here is a proof of discontinuity.



          Rigorous proof.
          $blacktriangleleft$ Suppose $a_n$'s are mutually distinct [otherwise we could discard those terms with repeated values]. In other words $(a_n)$ is increasing strictly. Take $varepsilon_0 = 1/2$, then for each $a_n in [0,1]$, for all $delta colon 0< delta <mina_n+1-a_n, a_n - a_n-1$, there is $x = a_n+delta/2 in (a_n -delta, a_n+ delta)$ s.t. $$|f(x)-f(a_n)| =|0-1|=1 >1/2 =varepsilon _0.$$Hence $f$ is not continuous at $a_n blacktriangleright$.






          share|cite|improve this answer




























            up vote
            0
            down vote













            Since the set
            $$a_n $$
            is countable, it is of measure zero, and it is clear that this set is also the set of discontinuities of $f$ (see @xbh's answer), hence by Lebesgue criterion, $f$ is Riemann integrable on [0,1].






            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%2f2872553%2friemann-integrable-or-not%23new-answer', 'question_page');

              );

              Post as a guest






























              3 Answers
              3






              active

              oldest

              votes








              3 Answers
              3






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes








              up vote
              0
              down vote













              Yes, it is integrable and its integral on $[0,1]$is $0$



              There are only a countable set of discontinuity at your function which makes it integrable.






              share|cite|improve this answer





















              • so am i right sir?
                – Habagat Maliksi
                yesterday










              • Yes, of course. The function is integrable as you have indicated.
                – Mohammad Riazi-Kermani
                yesterday














              up vote
              0
              down vote













              Yes, it is integrable and its integral on $[0,1]$is $0$



              There are only a countable set of discontinuity at your function which makes it integrable.






              share|cite|improve this answer





















              • so am i right sir?
                – Habagat Maliksi
                yesterday










              • Yes, of course. The function is integrable as you have indicated.
                – Mohammad Riazi-Kermani
                yesterday












              up vote
              0
              down vote










              up vote
              0
              down vote









              Yes, it is integrable and its integral on $[0,1]$is $0$



              There are only a countable set of discontinuity at your function which makes it integrable.






              share|cite|improve this answer













              Yes, it is integrable and its integral on $[0,1]$is $0$



              There are only a countable set of discontinuity at your function which makes it integrable.







              share|cite|improve this answer













              share|cite|improve this answer



              share|cite|improve this answer











              answered yesterday









              Mohammad Riazi-Kermani

              26.9k41849




              26.9k41849











              • so am i right sir?
                – Habagat Maliksi
                yesterday










              • Yes, of course. The function is integrable as you have indicated.
                – Mohammad Riazi-Kermani
                yesterday
















              • so am i right sir?
                – Habagat Maliksi
                yesterday










              • Yes, of course. The function is integrable as you have indicated.
                – Mohammad Riazi-Kermani
                yesterday















              so am i right sir?
              – Habagat Maliksi
              yesterday




              so am i right sir?
              – Habagat Maliksi
              yesterday












              Yes, of course. The function is integrable as you have indicated.
              – Mohammad Riazi-Kermani
              yesterday




              Yes, of course. The function is integrable as you have indicated.
              – Mohammad Riazi-Kermani
              yesterday










              up vote
              0
              down vote













              You are right about the Lebesgue criterion. Here is a proof of discontinuity.



              Rigorous proof.
              $blacktriangleleft$ Suppose $a_n$'s are mutually distinct [otherwise we could discard those terms with repeated values]. In other words $(a_n)$ is increasing strictly. Take $varepsilon_0 = 1/2$, then for each $a_n in [0,1]$, for all $delta colon 0< delta <mina_n+1-a_n, a_n - a_n-1$, there is $x = a_n+delta/2 in (a_n -delta, a_n+ delta)$ s.t. $$|f(x)-f(a_n)| =|0-1|=1 >1/2 =varepsilon _0.$$Hence $f$ is not continuous at $a_n blacktriangleright$.






              share|cite|improve this answer

























                up vote
                0
                down vote













                You are right about the Lebesgue criterion. Here is a proof of discontinuity.



                Rigorous proof.
                $blacktriangleleft$ Suppose $a_n$'s are mutually distinct [otherwise we could discard those terms with repeated values]. In other words $(a_n)$ is increasing strictly. Take $varepsilon_0 = 1/2$, then for each $a_n in [0,1]$, for all $delta colon 0< delta <mina_n+1-a_n, a_n - a_n-1$, there is $x = a_n+delta/2 in (a_n -delta, a_n+ delta)$ s.t. $$|f(x)-f(a_n)| =|0-1|=1 >1/2 =varepsilon _0.$$Hence $f$ is not continuous at $a_n blacktriangleright$.






                share|cite|improve this answer























                  up vote
                  0
                  down vote










                  up vote
                  0
                  down vote









                  You are right about the Lebesgue criterion. Here is a proof of discontinuity.



                  Rigorous proof.
                  $blacktriangleleft$ Suppose $a_n$'s are mutually distinct [otherwise we could discard those terms with repeated values]. In other words $(a_n)$ is increasing strictly. Take $varepsilon_0 = 1/2$, then for each $a_n in [0,1]$, for all $delta colon 0< delta <mina_n+1-a_n, a_n - a_n-1$, there is $x = a_n+delta/2 in (a_n -delta, a_n+ delta)$ s.t. $$|f(x)-f(a_n)| =|0-1|=1 >1/2 =varepsilon _0.$$Hence $f$ is not continuous at $a_n blacktriangleright$.






                  share|cite|improve this answer













                  You are right about the Lebesgue criterion. Here is a proof of discontinuity.



                  Rigorous proof.
                  $blacktriangleleft$ Suppose $a_n$'s are mutually distinct [otherwise we could discard those terms with repeated values]. In other words $(a_n)$ is increasing strictly. Take $varepsilon_0 = 1/2$, then for each $a_n in [0,1]$, for all $delta colon 0< delta <mina_n+1-a_n, a_n - a_n-1$, there is $x = a_n+delta/2 in (a_n -delta, a_n+ delta)$ s.t. $$|f(x)-f(a_n)| =|0-1|=1 >1/2 =varepsilon _0.$$Hence $f$ is not continuous at $a_n blacktriangleright$.







                  share|cite|improve this answer













                  share|cite|improve this answer



                  share|cite|improve this answer











                  answered yesterday









                  xbh

                  8906




                  8906




















                      up vote
                      0
                      down vote













                      Since the set
                      $$a_n $$
                      is countable, it is of measure zero, and it is clear that this set is also the set of discontinuities of $f$ (see @xbh's answer), hence by Lebesgue criterion, $f$ is Riemann integrable on [0,1].






                      share|cite|improve this answer

























                        up vote
                        0
                        down vote













                        Since the set
                        $$a_n $$
                        is countable, it is of measure zero, and it is clear that this set is also the set of discontinuities of $f$ (see @xbh's answer), hence by Lebesgue criterion, $f$ is Riemann integrable on [0,1].






                        share|cite|improve this answer























                          up vote
                          0
                          down vote










                          up vote
                          0
                          down vote









                          Since the set
                          $$a_n $$
                          is countable, it is of measure zero, and it is clear that this set is also the set of discontinuities of $f$ (see @xbh's answer), hence by Lebesgue criterion, $f$ is Riemann integrable on [0,1].






                          share|cite|improve this answer













                          Since the set
                          $$a_n $$
                          is countable, it is of measure zero, and it is clear that this set is also the set of discontinuities of $f$ (see @xbh's answer), hence by Lebesgue criterion, $f$ is Riemann integrable on [0,1].







                          share|cite|improve this answer













                          share|cite|improve this answer



                          share|cite|improve this answer











                          answered yesterday









                          onurcanbektas

                          2,8991730




                          2,8991730






















                               

                              draft saved


                              draft discarded


























                               


                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function ()
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2872553%2friemann-integrable-or-not%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?