Suppose v1,,vnv_1,\dots,v_n is a basis of VV. Prove that the map T:VFn,1T : V \to \mathbf F^{n,1} defined by

Tv=M(v)Tv = \mathcal M(v)

is an isomorphism of VV onto Fn,1\mathbf F^{n,1}; here M(v)\mathcal M(v) is the matrix of vVv \in V with respect to the basis v1,,vnv_1,\dots,v_n.


TODO