1. ## Convex set proof

Hello,

I'm trying to write a proof which is, in my point of view, easy to figure geometrically but not so easy to write it. I hope you can help me.

Let $E$ be a vector space and $u,v \in E$. The line segment that starts from $u$ and ends in $v$ is the set $[u,v] = \{(1-t)u+tv; 0\leq t \leq 1\}$. A set $X\subset E$ is called convex whenever $u,v\in X \Rightarrow [u,v]\subset X$.

Prove that the intersection $X_1\cap\ldots\cap X_m$ of convex sets $X_1,\ldots,X_m \subset X$ is a convex set.

First, I supposed that if we have $X_a \subset X_b \subset \ldots \subset X_m$, the intersection will be $X_a\cap\ldots\cap X_m = X_a$ for any a, b in the naturals. As $X_a$ is convex, the intersection will be too.

Second, I supposed that if $X_1\cap\ldots\cap X_m = \{v\}$ then by definition $[v,v] = \{v\} \subset X_1\cap\ldots\cap X_m$. Is this correct?

Then I don't know exactly what I do from know: Should I suppose the intersection a set with {u,v}, and so on ({u,v,w}, ...)? I don't know if I'm going through the right direction.
I appreciate if you can help me or give me an advice about how to get confident in this kind of problem.

2. Originally Posted by bondesan
Hello,

I'm trying to write a proof which is, in my point of view, easy to figure geometrically but not so easy to write it. I hope you can help me.

Let $E$ be a vector space and $u,v \in E$. The line segment that starts from $u$ and ends in $v$ is the set $[u,v] = \{(1-t)u+tv; 0\leq t \leq 1\}$. A set $X\subset E$ is called convex whenever $u,v\in X \Rightarrow [u,v]\subset X$.

Prove that the intersection $X_1\cap\ldots\cap X_m$ of convex sets $X_1,\ldots,X_m \subset X$ is a convex set.

First, I supposed that if we have $X_a \subset X_b \subset \ldots \subset X_m$, the intersection will be $X_a\cap\ldots\cap X_m = X_a$ for any a, b in the naturals. As $X_a$ is convex, the intersection will be too.

Second, I supposed that if $X_1\cap\ldots\cap X_m = \{v\}$ then by definition $[v,v] = \{v\} \subset X_1\cap\ldots\cap X_m$. Is this correct?

Then I don't know exactly what I do from know: Should I suppose the intersection a set with {u,v}, and so on ({u,v,w}, ...)? I don't know if I'm going through the right direction.
I appreciate if you can help me or give me an advice about how to get confident in this kind of problem.

I think it's way easier: let $u,v \in X_1\cap\ldots\cap X_n\Longrightarrow [u,v]\in X_1\cap\ldots\cap X_n$ since $[u,v]\in X_i\,,\,\,\forall\,\,i=1,2,...,n$ .

Tonio