5
$\begingroup$

Let $C$ be a compact convex subset of a finite-dimensional real vector space $V$ with non-empty interior (where $V$ is equipped with the unique Hausdorff linear topology, i.e. with the standard topology on $\mathbb{R}^n \cong V$). Is the boundary of $C$ given by the union of all proper faces of $C$?

Recall that a convex subset $F$ of $C$ is a face of $C$ if $\lambda x + (1-\lambda) y \in F$ for some $x, y \in C$ and for some $0 < \lambda < 1$ implies $x, y \in F$. A face $F$ of $C$ is a proper face if $F \neq C$.

If the above is true, I'd like to know how to prove it. Moreover, I wonder whether the statement is still true if the set is only closed and what one can say about the more general case of any (not necessarily finite-dimensional) locally convex space $V$.

  • 0
    How do you define proper face?2012-04-15
  • 0
    I have edited the question, now the definition of a proper face is included.2012-04-15
  • 0
    Let $C$ a convex subset of such a space $V$. For each $x,y\in V$ define $S(x,y)=\{\lambda x + (1-\lambda) y \in F:\lambda\in[0,1]\}$ the segment that join $x$ with $y$. So, given $x,y\in C$ any $S(x,y)$ satisfies your definition of Proper Face, however $\bigcup_{x,y\in C} S(x,y)=C$ and $C$ might be different of what one have in mind by union of Proper Faces. For example consider a closed cube $C$ in $\mathbb{R}^3$. One think that the union of proper faces of $C$ must be a "box" $B$, but with that definition, it is all $C$2012-04-15
  • 0
    @leo: No, $S(x,y)$ is not a face of $C$ in general.2012-04-15
  • 0
    @leo It confused me too, but I think the OP means a *single* $\lambda$, not *all* $\lambda \in (0,1)$.2012-04-15
  • 0
    @WimC how do you characterize the set $F$?2012-04-15
  • 0
    Yes, in the definition of a face, the implication is supposed to hold for some $0 < \lambda < 1$, not for all of them. I've edited the definition to make this clear.2012-04-15
  • 1
    @leo For all $x, y \in C$ and all $\lambda \in (0, 1)$: If $\lambda x + (1-\lambda) y \in F$ then $x, y \in F$.2012-04-15

1 Answers 1

3

A convex set $C$ in ${\mathbb R}^n$ has a supporting hyperplane at each boundary point, and the intersection of a supporting hyperplane with $C$ is a proper face of $C$.

  • 0
    Yeah, that's an easy and sufficient argument, thanks!2012-04-15