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$?
convex-analysis
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.
add a comment |
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$?
convex-analysis
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
add a comment |
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$?
convex-analysis
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
convex-analysis
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.
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
add a comment |
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
add a comment |
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.
add a comment |
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)$.

(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.
add a comment |
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.
add a comment |
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.
add a comment |
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.
add a comment |
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.
add a comment |
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.
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.
answered 35 mins ago
user3482749
1,288411
1,288411
add a comment |
add a comment |
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)$.

(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.
add a comment |
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)$.

(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.
add a comment |
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)$.

(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.
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)$.

(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.
edited 4 mins ago
backprop7
133
133
answered 34 mins ago
gimusi
86.5k74392
86.5k74392
add a comment |
add a comment |
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.
add a comment |
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.
add a comment |
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.
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.
answered 18 mins ago
Yves Daoust
121k668216
121k668216
add a comment |
add a comment |
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.
add a comment |
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.
add a comment |
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.
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.
answered 27 mins ago
Mostafa Ayaz
12k3733
12k3733
add a comment |
add a comment |
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.
backprop7 is a new contributor. Be nice, and check out our Code of Conduct.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
It's not $lambda$ that satisfies convexity, it's $f$ !
– Yves Daoust
20 mins ago