# Thread: Prove that By is a convex set

1. ## Prove that By is a convex set

Hello.
Definition: A is convex if and only if $\forall{x_1,x_2\in{A}}$ the segment which unite them $(\lambda x_1 + (1-\lambda)x_2 ) \in{A}; 0\leq{\lambda\leq{1}}$.
So, let consider the set of vectors $By$ where B is a n x m matrix and $y = (y_1,y_2,...,y_m): y_i\geq{0}$ is an m-vector : $y_1+y_2+...+y_m=1$, prove that By is a convex set.

Thanks a lot.

2. ## Re: Prove that By is a convex set

What did you try?

3. ## Re: Prove that By is a convex set

Originally Posted by girdav
What did you try?
Ok,the main problem is that considering $x_1,x_2\in{By}$, I don't know how $x_1,x_2$ are. I don't know if you understand me.

4. ## Re: Prove that By is a convex set

Let $v_1$ and $v_2$ in this set. We can write $v_1=Bx$ and $v_2=By$, where $x=(x_1,\ldots,x_m)$ and $y=(y_1,\ldots,y_n)$ are such that $x_j,y_j\geq 0$ for all $j$ and $\sum_{j=1}^mx_j=\sum_{j=1}^mx_j=1$. Take $\alpha\in\left[0,1\right]$. Then $\alpha v_1+(1-\alpha)v_2=\alpha Bx+(1-\alpha)By=B(\alpha x+(1-\alpha)y)$. What about $\alpha x+(1-\alpha)y$?

5. ## Re: Prove that By is a convex set

wow! $\alpha x+(1-\alpha)y$ = $\alpha\sum_{j=1}^mx_j + (1-\alpha)\sum_{j=1}^yx_j= \alpha + 1 - \alpha = 1$ which implies that $\alpha x+(1-\alpha)y$ is in By.

Thank you!!!!
{"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 22, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://mathhelpforum.com/differential-geometry/190710-prove-convex-set.html", "fetch_time": 1505940606000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2017-39/segments/1505818687447.54/warc/CC-MAIN-20170920194628-20170920214628-00461.warc.gz", "warc_record_offset": 221540258, "warc_record_length": 10686, "token_count": 517, "char_count": 1317, "score": 4.125, "int_score": 4, "crawl": "CC-MAIN-2017-39", "snapshot_type": "longest", "language": "en", "language_score": 0.8322134613990784, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00062-of-00064.parquet"}