MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In an article I am reading, they state a theorem from Victor Klee's "On Certain Intersection Properties of Convex Sets" and I am having trouble picturing this. The statement is:

Let $C$ and $C_1, ..., C_n$ be closed convex sets in a Euclidean space satisfying: (i) $C \cap \bigcap_{i \neq j}^n C_i \neq \emptyset$ for $j=1,...,n$, and (ii) $C \cap \bigcap_{i=1}^n C_i = \emptyset$. Then $C \nsubseteq \bigcup_{i=1}^n C_i$.

I want to say (i) $C$ and $C_i𝑖$ taken separately share at least some point. (ii) But, when we take the intersection of $C_i$, there are not points shared among any sets. Then, this means that $C$ is not a subset of the union of all $𝐢_𝑖$.

share|cite|improve this question
What is the question? – Mariano Suárez-Alvarez Feb 15 '13 at 6:11
I do not know whether or not my interpretation is correct. For part (i), is this the intersection of the sets taken separately? For part (i) If the intersection of the C_i's is taken first, then it is empty? – dirtymike Feb 15 '13 at 16:14
For part (ii)* If the intersection.... – dirtymike Feb 15 '13 at 16:16
dirtymike. Perhaps it would help to say that statement (i) is actually n statements, a separate statement for each $j$. For each j, one takes the intersection of the other $C_i$, that is, for $i\neq j$. – Joel David Hamkins Feb 15 '13 at 17:52
up vote 0 down vote accepted

Your question is ambiguous, but if you mean that you can't picture a nontrivial situation satisfying the assumptions, here's a quick example.

Four convex subsets of the plane giving an example to the assumptions. $C$ is the big square and $C_1,\ldots,C_3$ are the triangles. Picture.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.