# Convex sets as intersection of half spaces

I want to prove that any closed convex sets can be written as an intersection of half spaces using only the separation theorem as a pre-requisite. I'm getting a feel that I need to show two sets are subsets of each other, but not being able to understand how exactly to go about it.

Let $C\subseteq \mathbb{R}^n$ be a closed, convex set. Let $\mathcal{H}$ be the collection of closed, half-spaces that contain $C$. You would like to show that $$C = \bigcap_{H\in \mathcal{H}}H.$$
First we can show $C \subseteq \bigcap_{H\in \mathcal{H}}H.$ Let $x\in C$. By the definition of $\mathcal{H}$, any $H\in \mathcal{H}$ satisfies $C\subseteq H$. Hence $x\in H$ for any $H\in \mathcal{H}$ and therefore $x\in \bigcap_{H\in \mathcal{H}}H.$ This gives us the desired inclusion.
It is left to show that $C \supseteq \bigcap_{H\in \mathcal{H}}H.$ We prove this using the contrapositive, that is we will show that if $x\not\in C$ then $x\not\in \bigcap_{H\in \mathcal{H}}H.$ So choose $x$ such that $x\not\in C$. Since $C$ is closed and convex, there is a hyperplane that strictly separates $x$ from $C$. This hyperplane defines a half space $H$ containing $C$. Hence $x\not\in H$ implying that $x\not\in \bigcap_{H\in \mathcal{H}}H$. This proves the desired inclusion.
• When you show the first direction, i.e. $C$ is contained in $H$, you use the premise that $H$ is the collection of closed half-spaces that contain $C$. that premise is not part of the premise OPs question. He just says "can be written as an intersection of half spaces " but does not say that $C$ is contained in $H$. so how can you use that? – makansij Oct 1 '18 at 22:13
• The proof assumes there is at least one half space that contains $C$. A counterexample is $C=\mathbb{R}^n$. – Michael Jul 6 '20 at 10:05
• Of course some people define $\cap_{H \in \phi}H=\mathbb{R}^n$. This assumes we somehow know we are working in $\mathbb{R}^n$ (the color green is a point that is “in each one” of the sets in the collection of no sets). – Michael Jul 6 '20 at 10:09