grandes-ecoles 2015 Q4a

grandes-ecoles · France · x-ens-maths__pc Proof Deduction or Consequence from Prior Results
Let $\ell$ and $m$ be two $n$-tuples of real numbers. We write $$\ell \preccurlyeq m \quad \text{if and only if, for every integer } j,\, 1 \leqslant j \leqslant n, \quad \ell_{j} \leqslant m_{j}.$$ Let $L, M \in \mathcal{S}_{n}(\mathbb{R})$ such that $(0, \ldots, 0) \preccurlyeq s^{\downarrow}(M - L)$. Show that $s^{\downarrow}(L) \preccurlyeq s^{\downarrow}(M)$.
Let $\ell$ and $m$ be two $n$-tuples of real numbers. We write
$$\ell \preccurlyeq m \quad \text{if and only if, for every integer } j,\, 1 \leqslant j \leqslant n, \quad \ell_{j} \leqslant m_{j}.$$
Let $L, M \in \mathcal{S}_{n}(\mathbb{R})$ such that $(0, \ldots, 0) \preccurlyeq s^{\downarrow}(M - L)$. Show that $s^{\downarrow}(L) \preccurlyeq s^{\downarrow}(M)$.