grandes-ecoles 2024 Q13
Matrix Algebra and Product Properties
View
We denote by $\mathbf{e}$ the matrix of $\mathcal{M}_{n,1}(\mathbb{R})$ whose coefficients are all equal to 1, $P = I_n - \frac{1}{n}\mathbf{e}\cdot\mathbf{e}^T$, $\Delta_n$ the set of EDM of order $n$, and $\Omega_n$ the set of symmetric positive matrices of order $n$ such that $M \cdot \mathbf{e} = 0$. The application $T: \Delta_n \to \mathcal{M}_n(\mathbb{R})$ associates to $D$ the matrix $T(D) = -\frac{1}{2}PDP$, and the application $K: \Omega_n \to \mathcal{M}_n(\mathbb{R})$ associates to $A$ the matrix $K(A) = \mathbf{e}\cdot\mathbf{a}^T + \mathbf{a}\cdot\mathbf{e}^T - 2A$ where $\mathbf{a}$ is the column of diagonal coefficients of $A$.
Show that the applications $T: \Delta_n \rightarrow \Omega_n$ and $K: \Omega_n \rightarrow \Delta_n$ satisfy: $$T \circ K = \operatorname{Id}_{\Omega_n}.$$