grandes-ecoles 2025 Q16

grandes-ecoles · France · x-ens-maths-d__mp Proof Proof of Set Membership, Containment, or Structural Property
Let $V \subset \mathbb{R}^n$ be a non-empty finite set. We assume that $\operatorname{Conv}(V)$ is not contained in a hyperplane of $\mathbb{R}^n$ and contains 0 in its interior. Show that the set $Q$ defined by $$Q = \left\{\ell \in \mathbb{R}^n : \langle \ell, x \rangle \leq 1 \quad \forall x \in V\right\}$$ is a polytope of $\mathbb{R}^n$.
Let $V \subset \mathbb{R}^n$ be a non-empty finite set. We assume that $\operatorname{Conv}(V)$ is not contained in a hyperplane of $\mathbb{R}^n$ and contains 0 in its interior. Show that the set $Q$ defined by
$$Q = \left\{\ell \in \mathbb{R}^n : \langle \ell, x \rangle \leq 1 \quad \forall x \in V\right\}$$
is a polytope of $\mathbb{R}^n$.