Show $sup_{xin[0,1]} | x -f(x)|geq frac{1}{2}$ for any $f$ with $f(0)=0$ and $int^1_0 f(t)dt=0$. [closed]












4












$begingroup$


Let $f:[0,1]to mathbb R$ be a continuous function with $f(0)=0$ and $int^1_0 f(t)dt=0$.

I need to show that $$sup_{xin[0,1]} | x -f(x)|geq frac{1}{2}$$

I'm not sure how to approach this problem. Any tips are greatly appreciated!










share|cite|improve this question











$endgroup$



closed as off-topic by greedoid, Alexander Gruber Dec 4 '18 at 4:26


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – greedoid, Alexander Gruber

If this question can be reworded to fit the rules in the help center, please edit the question.


















    4












    $begingroup$


    Let $f:[0,1]to mathbb R$ be a continuous function with $f(0)=0$ and $int^1_0 f(t)dt=0$.

    I need to show that $$sup_{xin[0,1]} | x -f(x)|geq frac{1}{2}$$

    I'm not sure how to approach this problem. Any tips are greatly appreciated!










    share|cite|improve this question











    $endgroup$



    closed as off-topic by greedoid, Alexander Gruber Dec 4 '18 at 4:26


    This question appears to be off-topic. The users who voted to close gave this specific reason:


    • "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – greedoid, Alexander Gruber

    If this question can be reworded to fit the rules in the help center, please edit the question.
















      4












      4








      4


      2



      $begingroup$


      Let $f:[0,1]to mathbb R$ be a continuous function with $f(0)=0$ and $int^1_0 f(t)dt=0$.

      I need to show that $$sup_{xin[0,1]} | x -f(x)|geq frac{1}{2}$$

      I'm not sure how to approach this problem. Any tips are greatly appreciated!










      share|cite|improve this question











      $endgroup$




      Let $f:[0,1]to mathbb R$ be a continuous function with $f(0)=0$ and $int^1_0 f(t)dt=0$.

      I need to show that $$sup_{xin[0,1]} | x -f(x)|geq frac{1}{2}$$

      I'm not sure how to approach this problem. Any tips are greatly appreciated!







      real-analysis inequality






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Dec 3 '18 at 18:18









      José Carlos Santos

      155k22124227




      155k22124227










      asked Dec 3 '18 at 18:12









      user3342072user3342072

      395213




      395213




      closed as off-topic by greedoid, Alexander Gruber Dec 4 '18 at 4:26


      This question appears to be off-topic. The users who voted to close gave this specific reason:


      • "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – greedoid, Alexander Gruber

      If this question can be reworded to fit the rules in the help center, please edit the question.




      closed as off-topic by greedoid, Alexander Gruber Dec 4 '18 at 4:26


      This question appears to be off-topic. The users who voted to close gave this specific reason:


      • "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – greedoid, Alexander Gruber

      If this question can be reworded to fit the rules in the help center, please edit the question.






















          2 Answers
          2






          active

          oldest

          votes


















          7












          $begingroup$

          Hint: $displaystyleint_0^1x-f(x),mathrm dx=frac12$






          share|cite|improve this answer









          $endgroup$





















            3












            $begingroup$

            Suppose instead that $lvert x - f(x) rvert < 1/2$ for all $x in [0,1]$. Then we see that $$frac 1 2 = left lvert int^1_0 (x-f(x)) dxright rvert le int^1_0 lvert x - f(x)rvert dx < int^1_0 frac 1 2 dx = frac 1 2,$$ a contradiction. Thus we must have $lvert x - f(x) rvert ge 1/2$ for some $x in [0,1]$ and the conclusion follows.



            Unless I've made a mistake, it seems the assumption that $f(0) = 0$ is unnecessary.






            share|cite|improve this answer









            $endgroup$




















              2 Answers
              2






              active

              oldest

              votes








              2 Answers
              2






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes









              7












              $begingroup$

              Hint: $displaystyleint_0^1x-f(x),mathrm dx=frac12$






              share|cite|improve this answer









              $endgroup$


















                7












                $begingroup$

                Hint: $displaystyleint_0^1x-f(x),mathrm dx=frac12$






                share|cite|improve this answer









                $endgroup$
















                  7












                  7








                  7





                  $begingroup$

                  Hint: $displaystyleint_0^1x-f(x),mathrm dx=frac12$






                  share|cite|improve this answer









                  $endgroup$



                  Hint: $displaystyleint_0^1x-f(x),mathrm dx=frac12$







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Dec 3 '18 at 18:16









                  José Carlos SantosJosé Carlos Santos

                  155k22124227




                  155k22124227























                      3












                      $begingroup$

                      Suppose instead that $lvert x - f(x) rvert < 1/2$ for all $x in [0,1]$. Then we see that $$frac 1 2 = left lvert int^1_0 (x-f(x)) dxright rvert le int^1_0 lvert x - f(x)rvert dx < int^1_0 frac 1 2 dx = frac 1 2,$$ a contradiction. Thus we must have $lvert x - f(x) rvert ge 1/2$ for some $x in [0,1]$ and the conclusion follows.



                      Unless I've made a mistake, it seems the assumption that $f(0) = 0$ is unnecessary.






                      share|cite|improve this answer









                      $endgroup$


















                        3












                        $begingroup$

                        Suppose instead that $lvert x - f(x) rvert < 1/2$ for all $x in [0,1]$. Then we see that $$frac 1 2 = left lvert int^1_0 (x-f(x)) dxright rvert le int^1_0 lvert x - f(x)rvert dx < int^1_0 frac 1 2 dx = frac 1 2,$$ a contradiction. Thus we must have $lvert x - f(x) rvert ge 1/2$ for some $x in [0,1]$ and the conclusion follows.



                        Unless I've made a mistake, it seems the assumption that $f(0) = 0$ is unnecessary.






                        share|cite|improve this answer









                        $endgroup$
















                          3












                          3








                          3





                          $begingroup$

                          Suppose instead that $lvert x - f(x) rvert < 1/2$ for all $x in [0,1]$. Then we see that $$frac 1 2 = left lvert int^1_0 (x-f(x)) dxright rvert le int^1_0 lvert x - f(x)rvert dx < int^1_0 frac 1 2 dx = frac 1 2,$$ a contradiction. Thus we must have $lvert x - f(x) rvert ge 1/2$ for some $x in [0,1]$ and the conclusion follows.



                          Unless I've made a mistake, it seems the assumption that $f(0) = 0$ is unnecessary.






                          share|cite|improve this answer









                          $endgroup$



                          Suppose instead that $lvert x - f(x) rvert < 1/2$ for all $x in [0,1]$. Then we see that $$frac 1 2 = left lvert int^1_0 (x-f(x)) dxright rvert le int^1_0 lvert x - f(x)rvert dx < int^1_0 frac 1 2 dx = frac 1 2,$$ a contradiction. Thus we must have $lvert x - f(x) rvert ge 1/2$ for some $x in [0,1]$ and the conclusion follows.



                          Unless I've made a mistake, it seems the assumption that $f(0) = 0$ is unnecessary.







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Dec 3 '18 at 18:16









                          User8128User8128

                          10.7k1522




                          10.7k1522















                              Popular posts from this blog

                              Quarter-circle Tiles

                              build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

                              Mont Emei