grandes-ecoles 2022 Q10

grandes-ecoles · France · x-ens-maths__psi_cpge Proof Proof of Set Membership, Containment, or Structural Property
Let $E$ be a subset of $\mathbb{R}^d$. Recall that $$\operatorname{co}(E) := \left\{\sum_{i=1}^I \lambda_i x_i, I \in \mathbb{N}^*, \lambda_i \geq 0, \sum_{i=1}^I \lambda_i = 1, (x_1, \ldots, x_I) \in E^I\right\}.$$ Show that $\operatorname{co}(E)$ is the smallest convex set containing $E$ and that $\operatorname{Ext}(\operatorname{co}(E)) \subset E$.
Let $E$ be a subset of $\mathbb{R}^d$. Recall that
$$\operatorname{co}(E) := \left\{\sum_{i=1}^I \lambda_i x_i, I \in \mathbb{N}^*, \lambda_i \geq 0, \sum_{i=1}^I \lambda_i = 1, (x_1, \ldots, x_I) \in E^I\right\}.$$
Show that $\operatorname{co}(E)$ is the smallest convex set containing $E$ and that $\operatorname{Ext}(\operatorname{co}(E)) \subset E$.