Characterization of the convex hull in terms of dot product

Multi tool use
Multi tool use

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











up vote
1
down vote

favorite
1












I am doing some work with Newton Polytopes and I need something of this style:




Given $v_1,dots,v_nin mathbbR^n$ we have



$$textconv(v_1,dots v_n)=vin mathbbR^nmid min_i=1,dots nxcdot v_ileq xcdot v ;;forall , xin mathbbR^n$$




As the condition defining the set in the left is true for the $v_i$ and is closed under convex combinations then $subseteq$ is easy. My problem is to show that




$$min_i=1,dots nxcdot v_ileq xcdot v ;;forall , xin mathbbR^nimplies vin textconv(v_1,dots v_n)$$




This is trivial for $n=1$ but I can't see it for all $n$.



Any help is appreciated.







share|cite|improve this question

















  • 1




    If v wasn't in the convex hull, you could construct an affine function f so that f(v) < 0, while $f(v_i) geq 0$. (Hyperplane separation theorem.)
    – Lorenzo
    Aug 7 at 18:05










  • It was really easy thinking in that way. Thanks! You can put the hint as an answer if you want.
    – Walter Simon
    Aug 7 at 18:12














up vote
1
down vote

favorite
1












I am doing some work with Newton Polytopes and I need something of this style:




Given $v_1,dots,v_nin mathbbR^n$ we have



$$textconv(v_1,dots v_n)=vin mathbbR^nmid min_i=1,dots nxcdot v_ileq xcdot v ;;forall , xin mathbbR^n$$




As the condition defining the set in the left is true for the $v_i$ and is closed under convex combinations then $subseteq$ is easy. My problem is to show that




$$min_i=1,dots nxcdot v_ileq xcdot v ;;forall , xin mathbbR^nimplies vin textconv(v_1,dots v_n)$$




This is trivial for $n=1$ but I can't see it for all $n$.



Any help is appreciated.







share|cite|improve this question

















  • 1




    If v wasn't in the convex hull, you could construct an affine function f so that f(v) < 0, while $f(v_i) geq 0$. (Hyperplane separation theorem.)
    – Lorenzo
    Aug 7 at 18:05










  • It was really easy thinking in that way. Thanks! You can put the hint as an answer if you want.
    – Walter Simon
    Aug 7 at 18:12












up vote
1
down vote

favorite
1









up vote
1
down vote

favorite
1






1





I am doing some work with Newton Polytopes and I need something of this style:




Given $v_1,dots,v_nin mathbbR^n$ we have



$$textconv(v_1,dots v_n)=vin mathbbR^nmid min_i=1,dots nxcdot v_ileq xcdot v ;;forall , xin mathbbR^n$$




As the condition defining the set in the left is true for the $v_i$ and is closed under convex combinations then $subseteq$ is easy. My problem is to show that




$$min_i=1,dots nxcdot v_ileq xcdot v ;;forall , xin mathbbR^nimplies vin textconv(v_1,dots v_n)$$




This is trivial for $n=1$ but I can't see it for all $n$.



Any help is appreciated.







share|cite|improve this question













I am doing some work with Newton Polytopes and I need something of this style:




Given $v_1,dots,v_nin mathbbR^n$ we have



$$textconv(v_1,dots v_n)=vin mathbbR^nmid min_i=1,dots nxcdot v_ileq xcdot v ;;forall , xin mathbbR^n$$




As the condition defining the set in the left is true for the $v_i$ and is closed under convex combinations then $subseteq$ is easy. My problem is to show that




$$min_i=1,dots nxcdot v_ileq xcdot v ;;forall , xin mathbbR^nimplies vin textconv(v_1,dots v_n)$$




This is trivial for $n=1$ but I can't see it for all $n$.



Any help is appreciated.









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Aug 7 at 18:15









Rodrigo de Azevedo

12.6k41751




12.6k41751









asked Aug 7 at 17:59









Walter Simon

749




749







  • 1




    If v wasn't in the convex hull, you could construct an affine function f so that f(v) < 0, while $f(v_i) geq 0$. (Hyperplane separation theorem.)
    – Lorenzo
    Aug 7 at 18:05










  • It was really easy thinking in that way. Thanks! You can put the hint as an answer if you want.
    – Walter Simon
    Aug 7 at 18:12












  • 1




    If v wasn't in the convex hull, you could construct an affine function f so that f(v) < 0, while $f(v_i) geq 0$. (Hyperplane separation theorem.)
    – Lorenzo
    Aug 7 at 18:05










  • It was really easy thinking in that way. Thanks! You can put the hint as an answer if you want.
    – Walter Simon
    Aug 7 at 18:12







1




1




If v wasn't in the convex hull, you could construct an affine function f so that f(v) < 0, while $f(v_i) geq 0$. (Hyperplane separation theorem.)
– Lorenzo
Aug 7 at 18:05




If v wasn't in the convex hull, you could construct an affine function f so that f(v) < 0, while $f(v_i) geq 0$. (Hyperplane separation theorem.)
– Lorenzo
Aug 7 at 18:05












It was really easy thinking in that way. Thanks! You can put the hint as an answer if you want.
– Walter Simon
Aug 7 at 18:12




It was really easy thinking in that way. Thanks! You can put the hint as an answer if you want.
– Walter Simon
Aug 7 at 18:12















active

oldest

votes











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%2f2875213%2fcharacterization-of-the-convex-hull-in-terms-of-dot-product%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2875213%2fcharacterization-of-the-convex-hull-in-terms-of-dot-product%23new-answer', 'question_page');

);

Post as a guest













































































PelXixECcfuFDMHvhcGHfvQUYIQezHQ6Wk63
KYJ,CAC0 zoDr,MdzIw0jDg

這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Propositional logic and tautologies

Distribution of Stopped Wiener Process with Stochastic Volatility