Toda matriz cuadrada puede expresarse de manera única como la suma de una matriz cuadrada simétrica y una matriz cuadrada hemisimétrica

Proposición

Pruébese que siendo $Q$ cualquier matriz cuadrada de orden $n$, no nula. Entonces, es posible escribir $Q=S+H$ de manera única, donde $S$ es una matriz (no nula) simétrica ($S=S^\top$); y $H$ es una matriz (no nula) hemisimétrica ($H=-H^\top$), ambas de orden $n$.

Demostración

Al ser $S$ una matriz simétrica, podemos escribirla de la forma $S=\dfrac{1}{2}\,(Q+Q^\top) \quad (1)$, donde $Q$ es una matriz cualquiera. En efecto, al trasponer $S$, se tiene que $S^\top= \dfrac{1}{2}\,(Q+Q^\top)=\dfrac{1}{2}\,(Q^\top+Q)=S$, como debe ser.

Y al ser $H$ una matriz hemisimétrica, podemos escribirla de la forma $H=\dfrac{1}{2}\,(Q-Q^\top) \quad (2)$, donde, igual que antes, $Q$ es una matriz cualquiera. En efecto, al trasponer $H$, se tiene que $H^\top= \dfrac{1}{2}\,(Q-Q^\top)=\dfrac{1}{2}\,(Q^\top-Q)=-\dfrac{1}{2}\,(Q-Q^\top)=-H$, como debe ser.

De lo arriba dicho se sigue que, sumando miembro a miembro, las igualdades (1) y (2), se tiene que $S+H=\dfrac{1}{2}\,(Q+Q^\top)+\dfrac{1}{2}\,(Q-Q^\top)=\dfrac{1}{2}\,(Q+Q+Q^\top-Q^\top)=\dfrac{1}{2}\cdot 2\,Q=Q$.

Veamos ahora que dicha descomposición $Q=S+H$ es única. Empecemos suponiendo lo contrario, entonces existe una matriz simétrica $S'\neq S$ y una matriz hemisimétrica $H'\neq H$ tales que $Q$ también puede expresarse como $Q=S'+H'$, entonces $Q=S+H=S'+H'$, y, por tanto, $(S+H)^\top=(S'+H')^\top$, esto es, $S^\top+H^\top=S'^\top+H'^\top$, y de ahí se sigue que $S-H=S'-H'$, luego $S-S'=H-H' \Leftrightarrow S-S'=H-H'=O$ (matriz nula), con lo cual $S=S'$ y $H=H'$, en contra de la hipótesis de partida.$\square$

Ejemplo

Cálculos efectuados con GNU Octave (la notación prima como instrucción indica la traspuesta de una matriz)

>> Q=[1,2,3;-1,0,2;2,1,1]
Q =

   1   2   3
  -1   0   2
   2   1   1

>> S=(Q+Q')/2
S =

   1.0000   0.5000   2.5000
   0.5000        0   1.5000
   2.5000   1.5000   1.0000

>> H=(Q-Q')/2
H =

        0   1.5000   0.5000
  -1.5000        0   0.5000
  -0.5000  -0.5000        0

>> S+H
ans =

   1   2   3
  -1   0   2
   2   1   1

$\diamond$