A projeção sobre as matrizes simétricas

Para \(\Mat{n}{n} = \Simet\oplus\mathcal{A}\), a projeção sobre \(\Simet\) é \(T(A) = \tfrac12(A+A^t)\). A Proposição 2.33 dá, sem conta, \(\Ima(T) = \Simet\), \(\Nuc(T) = \mathcal{A}\) e \(T^2 = T\).