If $g(.)$ is a monotonically increasing function and $a <b$, is $a<g(a)<g(b)<b$?

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











up vote
0
down vote

favorite












My question is in relation to a problem I am trying to solve here. If $g(.)$ is a monotonically increasing function and $a <b$, is it always true that $a<g(a)<g(b)<b$? Why or why not?







share|cite|improve this question

























    up vote
    0
    down vote

    favorite












    My question is in relation to a problem I am trying to solve here. If $g(.)$ is a monotonically increasing function and $a <b$, is it always true that $a<g(a)<g(b)<b$? Why or why not?







    share|cite|improve this question























      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite











      My question is in relation to a problem I am trying to solve here. If $g(.)$ is a monotonically increasing function and $a <b$, is it always true that $a<g(a)<g(b)<b$? Why or why not?







      share|cite|improve this question













      My question is in relation to a problem I am trying to solve here. If $g(.)$ is a monotonically increasing function and $a <b$, is it always true that $a<g(a)<g(b)<b$? Why or why not?









      share|cite|improve this question












      share|cite|improve this question




      share|cite|improve this question








      edited Jul 31 at 16:29









      John Ma

      37.5k93669




      37.5k93669









      asked Jul 31 at 13:34









      Lod

      286




      286




















          4 Answers
          4






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted










          In fact, it is impossible to have any function $g : mathbbR to mathbbR$ which satisfies that inequality for all pairs $a<b$. To see this, suppose we have a triple $a < b < c$. Then from $a < b$ we conclude
          $$a < g(a) < g(b) < b$$
          whereas from $b < c$ we conclude
          $$ b < g(b) < g(c) < c. $$
          Now, combining $b < g(b)$ from the second and $g(b) < b$ from the first, this implies $b < b$, which is a contradiction.



          (In fact, essentially the same argument works if the domain of $g$ is any linear order with at least three elements.)






          share|cite|improve this answer




























            up vote
            1
            down vote













            You can't say $a < g(a)$ and also $g(b)$. But you can say $g(a) < g(b)$ as it is monotinocally increasing.



            As a counterexample, you can suppose $g(x) = fracx2$.






            share|cite|improve this answer




























              up vote
              1
              down vote













              This is not true. For instance, the exponential function satisfy the inequalities $$2<3<e^2<e^3$$



              More easily, the function $g(x)=2x$. Then you have



              $$2<3<g(2)=4<g(3)=6$$






              share|cite|improve this answer




























                up vote
                1
                down vote













                Why would it be true? Let $g(x) = 10^5634789 + x$. The $g'(x) = 1 > 0$ so it is monotonically increasing. Let $0 < 1$. Does it follow that $0 < 10^5634789 < 10^5634789 + 1 < 1$?



                ... In fact, it's hard for me to imagine a function were this is always true.



                You are essentially saying that for any $a < b$ then $a < g(a)$ but $b < g(b)$. Well then what about $a < b < c$? If it's true that $a < g(a) < g(b) < b$ then it can not be true that $b < g(b) < g(c) < c$ because $g(b) < b$.



                Not only does this not need to be true, it can't be true.






                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%2f2868047%2fif-g-is-a-monotonically-increasing-function-and-a-b-is-agagbb%23new-answer', 'question_page');

                  );

                  Post as a guest






























                  4 Answers
                  4






                  active

                  oldest

                  votes








                  4 Answers
                  4






                  active

                  oldest

                  votes









                  active

                  oldest

                  votes






                  active

                  oldest

                  votes








                  up vote
                  1
                  down vote



                  accepted










                  In fact, it is impossible to have any function $g : mathbbR to mathbbR$ which satisfies that inequality for all pairs $a<b$. To see this, suppose we have a triple $a < b < c$. Then from $a < b$ we conclude
                  $$a < g(a) < g(b) < b$$
                  whereas from $b < c$ we conclude
                  $$ b < g(b) < g(c) < c. $$
                  Now, combining $b < g(b)$ from the second and $g(b) < b$ from the first, this implies $b < b$, which is a contradiction.



                  (In fact, essentially the same argument works if the domain of $g$ is any linear order with at least three elements.)






                  share|cite|improve this answer

























                    up vote
                    1
                    down vote



                    accepted










                    In fact, it is impossible to have any function $g : mathbbR to mathbbR$ which satisfies that inequality for all pairs $a<b$. To see this, suppose we have a triple $a < b < c$. Then from $a < b$ we conclude
                    $$a < g(a) < g(b) < b$$
                    whereas from $b < c$ we conclude
                    $$ b < g(b) < g(c) < c. $$
                    Now, combining $b < g(b)$ from the second and $g(b) < b$ from the first, this implies $b < b$, which is a contradiction.



                    (In fact, essentially the same argument works if the domain of $g$ is any linear order with at least three elements.)






                    share|cite|improve this answer























                      up vote
                      1
                      down vote



                      accepted







                      up vote
                      1
                      down vote



                      accepted






                      In fact, it is impossible to have any function $g : mathbbR to mathbbR$ which satisfies that inequality for all pairs $a<b$. To see this, suppose we have a triple $a < b < c$. Then from $a < b$ we conclude
                      $$a < g(a) < g(b) < b$$
                      whereas from $b < c$ we conclude
                      $$ b < g(b) < g(c) < c. $$
                      Now, combining $b < g(b)$ from the second and $g(b) < b$ from the first, this implies $b < b$, which is a contradiction.



                      (In fact, essentially the same argument works if the domain of $g$ is any linear order with at least three elements.)






                      share|cite|improve this answer













                      In fact, it is impossible to have any function $g : mathbbR to mathbbR$ which satisfies that inequality for all pairs $a<b$. To see this, suppose we have a triple $a < b < c$. Then from $a < b$ we conclude
                      $$a < g(a) < g(b) < b$$
                      whereas from $b < c$ we conclude
                      $$ b < g(b) < g(c) < c. $$
                      Now, combining $b < g(b)$ from the second and $g(b) < b$ from the first, this implies $b < b$, which is a contradiction.



                      (In fact, essentially the same argument works if the domain of $g$ is any linear order with at least three elements.)







                      share|cite|improve this answer













                      share|cite|improve this answer



                      share|cite|improve this answer











                      answered Jul 31 at 17:35









                      Daniel Schepler

                      6,6681513




                      6,6681513




















                          up vote
                          1
                          down vote













                          You can't say $a < g(a)$ and also $g(b)$. But you can say $g(a) < g(b)$ as it is monotinocally increasing.



                          As a counterexample, you can suppose $g(x) = fracx2$.






                          share|cite|improve this answer

























                            up vote
                            1
                            down vote













                            You can't say $a < g(a)$ and also $g(b)$. But you can say $g(a) < g(b)$ as it is monotinocally increasing.



                            As a counterexample, you can suppose $g(x) = fracx2$.






                            share|cite|improve this answer























                              up vote
                              1
                              down vote










                              up vote
                              1
                              down vote









                              You can't say $a < g(a)$ and also $g(b)$. But you can say $g(a) < g(b)$ as it is monotinocally increasing.



                              As a counterexample, you can suppose $g(x) = fracx2$.






                              share|cite|improve this answer













                              You can't say $a < g(a)$ and also $g(b)$. But you can say $g(a) < g(b)$ as it is monotinocally increasing.



                              As a counterexample, you can suppose $g(x) = fracx2$.







                              share|cite|improve this answer













                              share|cite|improve this answer



                              share|cite|improve this answer











                              answered Jul 31 at 13:36









                              OmG

                              1,740617




                              1,740617




















                                  up vote
                                  1
                                  down vote













                                  This is not true. For instance, the exponential function satisfy the inequalities $$2<3<e^2<e^3$$



                                  More easily, the function $g(x)=2x$. Then you have



                                  $$2<3<g(2)=4<g(3)=6$$






                                  share|cite|improve this answer

























                                    up vote
                                    1
                                    down vote













                                    This is not true. For instance, the exponential function satisfy the inequalities $$2<3<e^2<e^3$$



                                    More easily, the function $g(x)=2x$. Then you have



                                    $$2<3<g(2)=4<g(3)=6$$






                                    share|cite|improve this answer























                                      up vote
                                      1
                                      down vote










                                      up vote
                                      1
                                      down vote









                                      This is not true. For instance, the exponential function satisfy the inequalities $$2<3<e^2<e^3$$



                                      More easily, the function $g(x)=2x$. Then you have



                                      $$2<3<g(2)=4<g(3)=6$$






                                      share|cite|improve this answer













                                      This is not true. For instance, the exponential function satisfy the inequalities $$2<3<e^2<e^3$$



                                      More easily, the function $g(x)=2x$. Then you have



                                      $$2<3<g(2)=4<g(3)=6$$







                                      share|cite|improve this answer













                                      share|cite|improve this answer



                                      share|cite|improve this answer











                                      answered Jul 31 at 13:37









                                      Suzet

                                      2,183427




                                      2,183427




















                                          up vote
                                          1
                                          down vote













                                          Why would it be true? Let $g(x) = 10^5634789 + x$. The $g'(x) = 1 > 0$ so it is monotonically increasing. Let $0 < 1$. Does it follow that $0 < 10^5634789 < 10^5634789 + 1 < 1$?



                                          ... In fact, it's hard for me to imagine a function were this is always true.



                                          You are essentially saying that for any $a < b$ then $a < g(a)$ but $b < g(b)$. Well then what about $a < b < c$? If it's true that $a < g(a) < g(b) < b$ then it can not be true that $b < g(b) < g(c) < c$ because $g(b) < b$.



                                          Not only does this not need to be true, it can't be true.






                                          share|cite|improve this answer

























                                            up vote
                                            1
                                            down vote













                                            Why would it be true? Let $g(x) = 10^5634789 + x$. The $g'(x) = 1 > 0$ so it is monotonically increasing. Let $0 < 1$. Does it follow that $0 < 10^5634789 < 10^5634789 + 1 < 1$?



                                            ... In fact, it's hard for me to imagine a function were this is always true.



                                            You are essentially saying that for any $a < b$ then $a < g(a)$ but $b < g(b)$. Well then what about $a < b < c$? If it's true that $a < g(a) < g(b) < b$ then it can not be true that $b < g(b) < g(c) < c$ because $g(b) < b$.



                                            Not only does this not need to be true, it can't be true.






                                            share|cite|improve this answer























                                              up vote
                                              1
                                              down vote










                                              up vote
                                              1
                                              down vote









                                              Why would it be true? Let $g(x) = 10^5634789 + x$. The $g'(x) = 1 > 0$ so it is monotonically increasing. Let $0 < 1$. Does it follow that $0 < 10^5634789 < 10^5634789 + 1 < 1$?



                                              ... In fact, it's hard for me to imagine a function were this is always true.



                                              You are essentially saying that for any $a < b$ then $a < g(a)$ but $b < g(b)$. Well then what about $a < b < c$? If it's true that $a < g(a) < g(b) < b$ then it can not be true that $b < g(b) < g(c) < c$ because $g(b) < b$.



                                              Not only does this not need to be true, it can't be true.






                                              share|cite|improve this answer













                                              Why would it be true? Let $g(x) = 10^5634789 + x$. The $g'(x) = 1 > 0$ so it is monotonically increasing. Let $0 < 1$. Does it follow that $0 < 10^5634789 < 10^5634789 + 1 < 1$?



                                              ... In fact, it's hard for me to imagine a function were this is always true.



                                              You are essentially saying that for any $a < b$ then $a < g(a)$ but $b < g(b)$. Well then what about $a < b < c$? If it's true that $a < g(a) < g(b) < b$ then it can not be true that $b < g(b) < g(c) < c$ because $g(b) < b$.



                                              Not only does this not need to be true, it can't be true.







                                              share|cite|improve this answer













                                              share|cite|improve this answer



                                              share|cite|improve this answer











                                              answered Jul 31 at 18:03









                                              fleablood

                                              60.2k22575




                                              60.2k22575






















                                                   

                                                  draft saved


                                                  draft discarded


























                                                   


                                                  draft saved


                                                  draft discarded














                                                  StackExchange.ready(
                                                  function ()
                                                  StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2868047%2fif-g-is-a-monotonically-increasing-function-and-a-b-is-agagbb%23new-answer', 'question_page');

                                                  );

                                                  Post as a guest













































































                                                  Comments

                                                  Popular posts from this blog

                                                  Relationship between determinant of matrix and determinant of adjoint?

                                                  Color the edges and diagonals of a regular polygon

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