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