\(F:\; A\mapsto A^T\) ist linear; denn
1. Offenbar gilt \((A+B)^T=A^T+B^T\).
2. Für \(c\in K\) gilt \((cA)^T=c(A^T)\).
Der Kern dieser Abbildung besteht nur aus der Nullmatrix,
da offensichtlich \(A=0\iff A^T=0\) gilt.
Eine injektive lineare Abbildung zwischen
zwei endlich-dimensionalen Vektorräumen
gleicher Dimension ist "automatisch" auch surjektiv,
d.h. ein Isomorphismus.