grandes-ecoles 2017 QI.B.1

grandes-ecoles · France · centrale-maths1__official Matrices Projection and Orthogonality
If $M \in \mathcal{M}_{n}(\mathbb{R})$ and $X, Y \in \mathcal{M}_{n,1}(\mathbb{R})$, the matrix $X^{\top} M Y$ belongs to $\mathcal{M}_{1}(\mathbb{R})$ and we agree to identify it with the real number equal to its unique entry.
With this convention, show that $A_{s} \in \mathcal{S}_{n}^{+}(\mathbb{R})$ if and only if $\forall X \in \mathcal{M}_{n,1}(\mathbb{R}), X^{\top} A_{s} X \geqslant 0$ and that $A_{s} \in \mathcal{S}_{n}^{++}(\mathbb{R})$ if and only if $\forall X \in \mathcal{M}_{n,1}(\mathbb{R}) \backslash \{0\}, X^{\top} A_{s} X > 0$.
If $M \in \mathcal{M}_{n}(\mathbb{R})$ and $X, Y \in \mathcal{M}_{n,1}(\mathbb{R})$, the matrix $X^{\top} M Y$ belongs to $\mathcal{M}_{1}(\mathbb{R})$ and we agree to identify it with the real number equal to its unique entry.

With this convention, show that $A_{s} \in \mathcal{S}_{n}^{+}(\mathbb{R})$ if and only if $\forall X \in \mathcal{M}_{n,1}(\mathbb{R}), X^{\top} A_{s} X \geqslant 0$ and that $A_{s} \in \mathcal{S}_{n}^{++}(\mathbb{R})$ if and only if $\forall X \in \mathcal{M}_{n,1}(\mathbb{R}) \backslash \{0\}, X^{\top} A_{s} X > 0$.