1
$\begingroup$

This question just popped on my mind.

Let $A, B$ two disjoint, nonempty convex sets in the vector space $X$, can they be separated via a nonzero linear function in $X' = \{ f : X \to R ~ | \quad \text{f is linear} \} ?$ i.e., does there exist $f \in X' \setminus \{ 0\}$ such that

$$ f(a) \leq f(b) \quad \forall a\in A, ~ \forall b \in B $$

If not under what minimal condition one can separate them.

My Thought : Since $A \cap B = \emptyset $ using Zorn Lemma we can find two disjoint maximal convex sets, say $U, ~ V$ such that $ A \subseteq U, ~ B \subseteq V $ and through maximality of $U, V$ we can deduce that $U \cup V = X$ in other words $U,~ V$ make a convex partition of the space. Now from this, can we say that $U, ~V$ are two sides of a hyperplane ? i.e., $$ U \subseteq \{ x \in X ~ | \quad f(x) \leq \alpha \} , ~ V \subseteq \{ x \in X ~ | \quad f(x) \geq \alpha \} $$

for some $f \in X'$ and $\alpha \in \Bbb R$

Question #2: What if we assume $A, B$ are pointed cones with $A \cap B = \{0\}$

EDIT: I realized the answer of question # 1 is No generally see below link

https://math.stackexchange.com/q/929690/219176

But Still any answer regarding minimal conditions that guarantees separation is my main interest, and an answer for question #2.

Thank for your help.

$\endgroup$
2
  • $\begingroup$ Very nice answer to question number one was given by fedja many years ago mathoverflow.net/questions/37551/… $\endgroup$ Jul 10, 2017 at 17:44
  • $\begingroup$ @Paata Ivanisvili, thank you very much, I already knew a counter example for part 1 but not part two, that was nice, and I think a similar idea maybe leads to a counter example for part two. $\endgroup$
    – Red shoes
    Jul 10, 2017 at 19:00

2 Answers 2

2
$\begingroup$

I do not know a definitive "weakest" condition and I doubt there is one. Many results in the realm of Hahn-Banach do the trick, i.e. there is the general result for $A,B$ convex and $A$ open (both open giving strict separation) and there is also Eidelheit's theorem saying that you can separate a point from a closed convex set (or a compact convex from a closed convex one). The latter one also holds for convex $A,B$ such that the interior of $A$ is non-empty and does not intersect $B$.

$\endgroup$
6
  • $\begingroup$ or a compact from a closed one]---> didn't you mean [or a convex compact from a closed one] ? $\endgroup$ Jul 10, 2017 at 7:49
  • $\begingroup$ First Thanks for your answer. But My question is not that trivial, that can be answered by referring Hahn-Banach Separation theorems! I never assumed topology on $X$ so being open and closed doesn't make any sense here. $\endgroup$
    – Red shoes
    Jul 10, 2017 at 7:51
  • $\begingroup$ @DuchampGérardH.E. Sure, I thought of convex as a standing assumption, but added convexity now. $\endgroup$
    – Dirk
    Jul 10, 2017 at 10:26
  • $\begingroup$ So without topology you also consider arbitrary linear functionals (no convexity assumption?). Are you sure that you do not have any topology (implicitly)? For example, do you really consider all linear functionals (i.e. the algebraic dual)? I can't imagine a situation where one really deals with this… (but this may be just me…). $\endgroup$
    – Dirk
    Jul 10, 2017 at 10:28
  • 1
    $\begingroup$ @Ashkan [ And topology has nothing to do with convexity]--->I wouldn't be so affirmative. If you consider the finest locally convex topology (Bourbaki TVS Ch II § 4), algebraic and continuous dual coincide. $\endgroup$ Jul 10, 2017 at 21:04
1
$\begingroup$

You can always consider $X$ as a locally convex space, provided with the finest such topology, i.e., as the inductive limit of its finite dimensional subspaces, and then apply the Hahn-Banach spaces. Thus you can separate when $A$ is compact (a very strong constraint) and $B$ is open (very weak) for this structure. Not sure if these are the weakest conditions (or even what that means in this situation) but this might be of interest to you.

$\endgroup$
1
  • $\begingroup$ Thanks , I knew that. Actually If only B has interior then it's fine, they can be separated. But I I am really interested the case where there's no other assumptions on A and B, except they are convex and pointed cone.... $\endgroup$
    – Red shoes
    Jul 10, 2017 at 14:30

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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