8
$\begingroup$

Let $C$ be a non-empty compact convex subset of ${\mathbb R}^d$ such that every extreme point of $C$ is an exposed point of $C$. Does it follow from this that every face of $C$ is an exposed face?

$\endgroup$
2
  • 3
    $\begingroup$ Glossary: face= subset $F$ of $C$ such that every segment $S$ in $C$ whose interior meets $F$ is contained in $F$. (Singletons that are faces are extremal points). Exposed face= subset of $C$ that occurs as intersection of a closed halfspace with $C$ (this is necessarily a face). Exposed point = singleton that is an exposed face. (If $C$ is considered as face one should exclude exclude it in the question to avoid trivialities, since it's not exposed as soon as $C$ has nonempty interior.) $\endgroup$
    – YCor
    Commented Nov 30, 2020 at 11:01
  • $\begingroup$ @YCor, "with C" or "with the boundary of C"? $\endgroup$
    – Wlod AA
    Commented Nov 30, 2020 at 15:46

3 Answers 3

8
$\begingroup$

I don't think so. In dimension 3, first let $S$ be a "stadium" in the plane xy, namely: the segment joining $(1,1,0)$ to $(-1,1,0)$, the half-circle centered at $(1,0,0)$, radius $1$, with middle point $(2,0)$, and its opposite. Also consider the cube with vertices $(\pm 1,\pm 1,\pm 1)$. Consider the convex hull $K$ of this whole set of points.

cube and stadium

The extremal points then are: the 8 vertices of the cube, and the points in the open half circles. They are all exposed. (Notably, the boundary points $(\pm 1,\pm 1,0)$ of half circles, which are extremal and non-exposed within the stadium, are not extremal in $K$ as they're not vertices in the cube.) For instance, the vertex $(1,1,1)$ is exposed, using the halfspace $\{x+y+z\le 3\}$. For points in open half circles, vertical halfspaces do the job.

The vertical edges of the cube, say the one joining $(1,1,1)$ and $(1,1,-1)$, are faces. But are not exposed: indeed, looking around $(1,1,0)$, the only closed halfspace containing $K$ with $(1,1,0)$ as boundary point is the halfspace $\{y\le 1\}$. But its intersection with $K$ is a whole 2-dimensional cube face.

$\endgroup$
2
  • $\begingroup$ Thank you for your answer! It is very nice and simple. $\endgroup$ Commented Nov 30, 2020 at 12:19
  • $\begingroup$ I am still thinking about conditions which ensure that every face is an exposed face. Are there some results related to this problem? Thinking about given counterexamples I wonder if the following is true. Let $C$ be as in the question. If, for every affine subspace $A\subseteq {\mathbb R}^n$, all extreme points of $A\cap C$ are exposed (or $A\cap C=\emptyset$), then every face of $C$ is exposed. $\endgroup$ Commented Dec 1, 2020 at 7:06
2
$\begingroup$

I believe I found a counterexample.

We first set $d=3$ and $$ C_1:=B_1(0)\cup [0,1]\times [-1,1]\subset \mathbb R^2 \\ C_2:=C_1\times [-1,1]\subset \mathbb R^3, $$ where $B_1(0)$ denotes the closed unit ball in $\mathbb R^2$.

Now, the set $$ F_1 := \{0\}\times \{1\}\times [-1,1] \subset C_2 $$ is a face of $C_2$ which is not an exposed face.

However, the points $(0,\pm 1,\pm 1)$ are extreme points of $C_2$ which are not exposed points, and thus $C_2$ is not a counterexample. This can be solved by defining $$ C:= \{(x,y,z)\in C_2 \mid x+z \geq -1,\, x-z \geq -1\}. $$ With this modification, the points $(0,\pm 1,\pm 1)$ are still extreme points of $C$ are also exposed points. It can also be checked that all other extreme points are exposed points.

However, the face $F_1$ is still a face of $C$ which is not an exposed face, so $C$ constitutes a counterexample.

$\endgroup$
1
  • $\begingroup$ Thank you for the answer! It is very nice. It is interesting that you and YCor have built your examples from the "stadium". $\endgroup$ Commented Nov 30, 2020 at 12:23
1
$\begingroup$

It is also possible to construct counterexamples from the idea that every extreme point of the convex hull of any subset of the unit sphere $S^2$ is an exposed point. Placing a convex set $C$ inside the disk of radius $\frac{1}{2}$ in the $x$-$y$-plane, one may intersect the cylinder $\{(x,y,z)\colon (x,y)\in C, z\in\mathbb{R}\}$ with the unit ball (the convex hull of $S^2$). The resulting convex set $D$ is of the above type, hence $D$ no nonexposed points. However, every nonexposed point $p$ of $C$ gives rise to a nonexposed segment of $D$, which is the intersection of the line through $p$ that is parallel to the $z$-axis with the unit ball.

$\endgroup$
1
  • $\begingroup$ Thanks! A nice construction. $\endgroup$ Commented Apr 10 at 7:10

You must log in to answer this question.

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