grandes-ecoles 2013 QI.D.4

grandes-ecoles · France · centrale-maths2__mp Matrices Matrix Decomposition and Factorization
Let $A \in \mathcal{M}_n(\mathbb{R})$. Show that there exists a pair $(O, S) \in \mathrm{O}(n) \times \mathcal{S}_n^+(\mathbb{R})$ such that $A = OS$. Is such a pair unique?
Let $A \in \mathcal{M}_n(\mathbb{R})$. Show that there exists a pair $(O, S) \in \mathrm{O}(n) \times \mathcal{S}_n^+(\mathbb{R})$ such that $A = OS$. Is such a pair unique?