Does the following condition characterise convexity of a set?

Conjecture: A set $X \subseteq \mathbb{R}^n$ is convex if and only if the following holds.

For any $x \in X$ and any vector $v \in \mathbb{R}^n$ such that $x+v \notin X$, it holds that for any scalar $a$ with $1 \leq a$ we have that $x+av \notin X$.

-

5
Try to restate your condition in contrapositive way, and see what it says. – user53153 Jan 1 at 22:26
Well the contrapositive basically says $\forall x,v,a (x \in X, v \in R^n, 1 \leq a, x+av \in X \rightarrow x+v \in X)$. I don't know how to manipulate it any further.... – user18921 Jan 1 at 22:49
Introduce a letter $y=x+av$ and write the vector $x+v$ in terms of $x$ and $y$. – user53153 Jan 1 at 22:50
Draw a picture. – copper.hat Jan 1 at 23:11
@copper.hat: can I borrow your $n$-dimensional graph paper? – robjohn♦ Jan 1 at 23:40
show 1 more comment

1 Answer

Suppose X convex. Then if $x\in X$ and $x+v\notin X$, then $x+av\notin X$ for $a\geq1$ because X is convex and the contrary will imply that $x+v\in X$. On the other hand, suppose your condition. Take two points $x$ and $y$ in X. Then if $y+t(x-y)\notin X$ for some $t_{0}$ between $(0,1)$, we have $y+t(x-y)\notin X$ for all $t\geq t_{0}$. Then, we will must have $x\notin X$. Contradiction!

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 26, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.914584219455719, "perplexity_flag": "head"}