Deje $M_{k,n}$ ser el conjunto de todos los $k\times n$ matrices, $S_k$ ser el conjunto de todos los simétrica $k\times k$ matrices, y $I_k$ la identidad de $k\times k$ matriz. Supongamos $A\in M_{k,n}$ es tal que $AA^t=I_k$. Deje $f:M_{k,n}\rightarrow S_k$ ser el mapa de $f(B)=BA^t+AB^t$. Demostrar que $f$ a (surjective). (Nota: todas las matrices tienen entradas en $\mathbb{R}$.)
Claramente la matriz $BA^t+AB^t$ es simétrica, ya que $$(BA^t+AB^t)^t=(BA^t)^t+(AB^t)^t=AB^t+BA^t.$$
Queremos mostrar que para cada $C\in S_k$ existe $B\in M_{k,n}$ tal que $$C=BA^t+AB^t.$$
¿Cómo podemos hacer eso?