0
$\begingroup$

EDIT: Let $K$ be a closed convex cone in a Euclidean space of finite dimension. Assume it is non-zero and not the whole space.

Does there exist a non-zero point $x\in K$ such that $$(x,y)\geq 0 \mbox{ for all } y\in K?$$

An equivalent reformulation of the problem: Given a convex compact subset $L\subset S^{n-1}$ of the unit Euclidean sphere. Does there exist a spherical ball of radius at most $\pi/2$ containing L?

Remark. In dimension 2 the answer is positive.

Improve this question
$\endgroup$
3
  • $\begingroup$ Don't you mean "$L\subseteq B^n$"? $\endgroup$
    – Matemáticos Chibchas
    Commented Jul 5, 2019 at 15:01
  • 4
    $\begingroup$ Could $K$ be all of Euclidean space? $\endgroup$
    – Ben McKay
    Commented Jul 5, 2019 at 15:03
  • $\begingroup$ @BenMcKay Thanks, corrected. $\endgroup$
    – asv
    Commented Jul 5, 2019 at 15:36

1 Answer 1

Reset to default
4
$\begingroup$

Follows from the hyperplane separation theorem (https://en.wikipedia.org/wiki/Hyperplane_separation_theorem).

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .