Jump to content

Linear mapping/To finite-dimensional/Representation with linear forms/Fact/Proof

From Wikiversity
Proof

Let be a basis of and the corresponding dual basis. We set

Then, for every vector , we have

where the last equation rests on fact.