What is the intuition behind mathematical definition of convexity?











up vote
2
down vote

favorite












$$f[lambda x_1+(1-lambda)x_2]leqlambda f(x_1)+(1-lambda)f(x_2)quadforall space 0 < lambda < 1$$



How do the coefficients $lambda$ and $1- lambda$ satisfy the convexity of $f$?










share|cite|improve this question









New contributor




backprop7 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • It's not $lambda$ that satisfies convexity, it's $f$ !
    – Yves Daoust
    20 mins ago















up vote
2
down vote

favorite












$$f[lambda x_1+(1-lambda)x_2]leqlambda f(x_1)+(1-lambda)f(x_2)quadforall space 0 < lambda < 1$$



How do the coefficients $lambda$ and $1- lambda$ satisfy the convexity of $f$?










share|cite|improve this question









New contributor




backprop7 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • It's not $lambda$ that satisfies convexity, it's $f$ !
    – Yves Daoust
    20 mins ago













up vote
2
down vote

favorite









up vote
2
down vote

favorite











$$f[lambda x_1+(1-lambda)x_2]leqlambda f(x_1)+(1-lambda)f(x_2)quadforall space 0 < lambda < 1$$



How do the coefficients $lambda$ and $1- lambda$ satisfy the convexity of $f$?










share|cite|improve this question









New contributor




backprop7 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











$$f[lambda x_1+(1-lambda)x_2]leqlambda f(x_1)+(1-lambda)f(x_2)quadforall space 0 < lambda < 1$$



How do the coefficients $lambda$ and $1- lambda$ satisfy the convexity of $f$?







convex-analysis






share|cite|improve this question









New contributor




backprop7 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question









New contributor




backprop7 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question








edited 15 mins ago





















New contributor




backprop7 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked 38 mins ago









backprop7

133




133




New contributor




backprop7 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





backprop7 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






backprop7 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












  • It's not $lambda$ that satisfies convexity, it's $f$ !
    – Yves Daoust
    20 mins ago


















  • It's not $lambda$ that satisfies convexity, it's $f$ !
    – Yves Daoust
    20 mins ago
















It's not $lambda$ that satisfies convexity, it's $f$ !
– Yves Daoust
20 mins ago




It's not $lambda$ that satisfies convexity, it's $f$ !
– Yves Daoust
20 mins ago










4 Answers
4






active

oldest

votes

















up vote
4
down vote













The right hand side is a parameterisation of the straight line between $f(x_1)$ and $f(x_2)$. The left hand side is the point on the function with the same $x$-value as the point on the straight line on the right hand side. So this says that the straight line between any two points lies entirely above the function. Equivalently, it says that ${(x,y)|y geq f(x)}$ is a convex set, in the usual sense.






share|cite|improve this answer




























    up vote
    3
    down vote













    The idea is that the value of $f$ at a point between $x_1$ and $x_2$ is less that the value at the same point for the line segment between $f(x_1)$ and $f(x_2)$.



    enter image description here



    (credit Wikipedia)



    The expression $lambda x_1+(1-lambda)x_2$ is just a parametrization for all the points between $x_1$ and $x_2$ and $lambda f(x_1)+(1-lambda)f(x_2)$ is the parametrization for the line segment between $f(x_1)$ and $f(x_2)$.



    The concept can be generalized for more points by Jensen's inequality.






    share|cite|improve this answer






























      up vote
      2
      down vote













      You can see a convex curve as "always turning left", so that it cannot meet a straight line more than twice.



      Your equation describes the curve and a chord between two points, and expresses that they do not intersect.






      share|cite|improve this answer




























        up vote
        0
        down vote













        The intuition is that when a function is "really" convex, for each two points $(x_,f(x))$ and $(y,f(y))$ the corresponding connecting line segment falls upper than the function between those two points which is a direct intuition of convexity . $0<lambda<1$ means in fact the middle of the two points.






        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: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          });


          }
          });






          backprop7 is a new contributor. Be nice, and check out our Code of Conduct.










           

          draft saved


          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3010856%2fwhat-is-the-intuition-behind-mathematical-definition-of-convexity%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          4 Answers
          4






          active

          oldest

          votes








          4 Answers
          4






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          4
          down vote













          The right hand side is a parameterisation of the straight line between $f(x_1)$ and $f(x_2)$. The left hand side is the point on the function with the same $x$-value as the point on the straight line on the right hand side. So this says that the straight line between any two points lies entirely above the function. Equivalently, it says that ${(x,y)|y geq f(x)}$ is a convex set, in the usual sense.






          share|cite|improve this answer

























            up vote
            4
            down vote













            The right hand side is a parameterisation of the straight line between $f(x_1)$ and $f(x_2)$. The left hand side is the point on the function with the same $x$-value as the point on the straight line on the right hand side. So this says that the straight line between any two points lies entirely above the function. Equivalently, it says that ${(x,y)|y geq f(x)}$ is a convex set, in the usual sense.






            share|cite|improve this answer























              up vote
              4
              down vote










              up vote
              4
              down vote









              The right hand side is a parameterisation of the straight line between $f(x_1)$ and $f(x_2)$. The left hand side is the point on the function with the same $x$-value as the point on the straight line on the right hand side. So this says that the straight line between any two points lies entirely above the function. Equivalently, it says that ${(x,y)|y geq f(x)}$ is a convex set, in the usual sense.






              share|cite|improve this answer












              The right hand side is a parameterisation of the straight line between $f(x_1)$ and $f(x_2)$. The left hand side is the point on the function with the same $x$-value as the point on the straight line on the right hand side. So this says that the straight line between any two points lies entirely above the function. Equivalently, it says that ${(x,y)|y geq f(x)}$ is a convex set, in the usual sense.







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              answered 35 mins ago









              user3482749

              1,288411




              1,288411






















                  up vote
                  3
                  down vote













                  The idea is that the value of $f$ at a point between $x_1$ and $x_2$ is less that the value at the same point for the line segment between $f(x_1)$ and $f(x_2)$.



                  enter image description here



                  (credit Wikipedia)



                  The expression $lambda x_1+(1-lambda)x_2$ is just a parametrization for all the points between $x_1$ and $x_2$ and $lambda f(x_1)+(1-lambda)f(x_2)$ is the parametrization for the line segment between $f(x_1)$ and $f(x_2)$.



                  The concept can be generalized for more points by Jensen's inequality.






                  share|cite|improve this answer



























                    up vote
                    3
                    down vote













                    The idea is that the value of $f$ at a point between $x_1$ and $x_2$ is less that the value at the same point for the line segment between $f(x_1)$ and $f(x_2)$.



                    enter image description here



                    (credit Wikipedia)



                    The expression $lambda x_1+(1-lambda)x_2$ is just a parametrization for all the points between $x_1$ and $x_2$ and $lambda f(x_1)+(1-lambda)f(x_2)$ is the parametrization for the line segment between $f(x_1)$ and $f(x_2)$.



                    The concept can be generalized for more points by Jensen's inequality.






                    share|cite|improve this answer

























                      up vote
                      3
                      down vote










                      up vote
                      3
                      down vote









                      The idea is that the value of $f$ at a point between $x_1$ and $x_2$ is less that the value at the same point for the line segment between $f(x_1)$ and $f(x_2)$.



                      enter image description here



                      (credit Wikipedia)



                      The expression $lambda x_1+(1-lambda)x_2$ is just a parametrization for all the points between $x_1$ and $x_2$ and $lambda f(x_1)+(1-lambda)f(x_2)$ is the parametrization for the line segment between $f(x_1)$ and $f(x_2)$.



                      The concept can be generalized for more points by Jensen's inequality.






                      share|cite|improve this answer














                      The idea is that the value of $f$ at a point between $x_1$ and $x_2$ is less that the value at the same point for the line segment between $f(x_1)$ and $f(x_2)$.



                      enter image description here



                      (credit Wikipedia)



                      The expression $lambda x_1+(1-lambda)x_2$ is just a parametrization for all the points between $x_1$ and $x_2$ and $lambda f(x_1)+(1-lambda)f(x_2)$ is the parametrization for the line segment between $f(x_1)$ and $f(x_2)$.



                      The concept can be generalized for more points by Jensen's inequality.







                      share|cite|improve this answer














                      share|cite|improve this answer



                      share|cite|improve this answer








                      edited 4 mins ago









                      backprop7

                      133




                      133










                      answered 34 mins ago









                      gimusi

                      86.5k74392




                      86.5k74392






















                          up vote
                          2
                          down vote













                          You can see a convex curve as "always turning left", so that it cannot meet a straight line more than twice.



                          Your equation describes the curve and a chord between two points, and expresses that they do not intersect.






                          share|cite|improve this answer

























                            up vote
                            2
                            down vote













                            You can see a convex curve as "always turning left", so that it cannot meet a straight line more than twice.



                            Your equation describes the curve and a chord between two points, and expresses that they do not intersect.






                            share|cite|improve this answer























                              up vote
                              2
                              down vote










                              up vote
                              2
                              down vote









                              You can see a convex curve as "always turning left", so that it cannot meet a straight line more than twice.



                              Your equation describes the curve and a chord between two points, and expresses that they do not intersect.






                              share|cite|improve this answer












                              You can see a convex curve as "always turning left", so that it cannot meet a straight line more than twice.



                              Your equation describes the curve and a chord between two points, and expresses that they do not intersect.







                              share|cite|improve this answer












                              share|cite|improve this answer



                              share|cite|improve this answer










                              answered 18 mins ago









                              Yves Daoust

                              121k668216




                              121k668216






















                                  up vote
                                  0
                                  down vote













                                  The intuition is that when a function is "really" convex, for each two points $(x_,f(x))$ and $(y,f(y))$ the corresponding connecting line segment falls upper than the function between those two points which is a direct intuition of convexity . $0<lambda<1$ means in fact the middle of the two points.






                                  share|cite|improve this answer

























                                    up vote
                                    0
                                    down vote













                                    The intuition is that when a function is "really" convex, for each two points $(x_,f(x))$ and $(y,f(y))$ the corresponding connecting line segment falls upper than the function between those two points which is a direct intuition of convexity . $0<lambda<1$ means in fact the middle of the two points.






                                    share|cite|improve this answer























                                      up vote
                                      0
                                      down vote










                                      up vote
                                      0
                                      down vote









                                      The intuition is that when a function is "really" convex, for each two points $(x_,f(x))$ and $(y,f(y))$ the corresponding connecting line segment falls upper than the function between those two points which is a direct intuition of convexity . $0<lambda<1$ means in fact the middle of the two points.






                                      share|cite|improve this answer












                                      The intuition is that when a function is "really" convex, for each two points $(x_,f(x))$ and $(y,f(y))$ the corresponding connecting line segment falls upper than the function between those two points which is a direct intuition of convexity . $0<lambda<1$ means in fact the middle of the two points.







                                      share|cite|improve this answer












                                      share|cite|improve this answer



                                      share|cite|improve this answer










                                      answered 27 mins ago









                                      Mostafa Ayaz

                                      12k3733




                                      12k3733






















                                          backprop7 is a new contributor. Be nice, and check out our Code of Conduct.










                                           

                                          draft saved


                                          draft discarded


















                                          backprop7 is a new contributor. Be nice, and check out our Code of Conduct.













                                          backprop7 is a new contributor. Be nice, and check out our Code of Conduct.












                                          backprop7 is a new contributor. Be nice, and check out our Code of Conduct.















                                           


                                          draft saved


                                          draft discarded














                                          StackExchange.ready(
                                          function () {
                                          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3010856%2fwhat-is-the-intuition-behind-mathematical-definition-of-convexity%23new-answer', 'question_page');
                                          }
                                          );

                                          Post as a guest















                                          Required, but never shown





















































                                          Required, but never shown














                                          Required, but never shown












                                          Required, but never shown







                                          Required, but never shown

































                                          Required, but never shown














                                          Required, but never shown












                                          Required, but never shown







                                          Required, but never shown







                                          Popular posts from this blog

                                          Catalogne

                                          Violoncelliste

                                          Héron pourpré