Homomorphism space/Bases/Matrices/Fact/Proof

Proof

The bijectivity was shown in fact. The additivity follows from

where the index denotes the -th component with respect to the basis .