6
$\begingroup$

Let $X$ be a Banach space $\{C_n\colon n\in\mathbb N\}$ a collection ofconvex sets in $X$. Is the set $C=\bigcap_{n\in\mathbb N}C_n$ convex?

  • 0
    They don't even have to be countable. I'm tempted to say even a proper class, as opposed to a set, of convex sets would have a convex intersection. But I don't know where you'd find any such class that's not a set.2012-07-14

2 Answers 2

4

Suppose $x,y\in C$ then $x,y\in C_n$ for all $n\in\mathbb{N}$. Now as $C_n$ is convex hence for all $0\leq\lambda\leq 1$ we have $\lambda x+(1-\lambda)y\in C_n$ for each $n$. So $\lambda x+(1-\lambda)y\in C$. So $C$ is convex

2

In fact, any intersection of convex sets in this setting is convex. Suppose that $\mathcal{E}$ is a Banach space and that $\mathcal{K}$ is any family of convex sets. If $\bigcap\mathcal{K}$ is void, it is vacuously convex. Otherwise, take $x,y\in\bigcap\mathcal{K}$, $\lambda\in[0,1]$ and $K\in \mathcal{K}$. Since $K$ is convex, we have $(1-\lambda)x + \lambda y\in K.$ But this holds for any $K\in \mathcal{K}$, so $(1-\lambda)x + \lambda y\in \bigcap \mathcal{K}.$

There is no induction or sequential property here. In fact, the argument generalizes to any real vector space.