grandes-ecoles 2013 QIV.B.3
Matrix Decomposition and Factorization
View
Let $f$ be a linear form on $\mathcal{M}_n(\mathbb{R})$, and let $A$ be the unique matrix in $\mathcal{M}_n(\mathbb{R})$ such that $\forall M \in \mathcal{M}_n(\mathbb{R}), f(M) = \operatorname{Tr}(AM)$. Let $\mu_1, \ldots, \mu_n$ be the $n$ positive eigenvalues of ${}^t A A$ counted with multiplicities.
Show that $M_n = \sup(\{\operatorname{Tr}(D\Omega), \Omega \in \mathrm{O}(n)\})$, where $D$ is the diagonal matrix whose diagonal elements are $\sqrt{\mu_1}, \ldots, \sqrt{\mu_n}$.