Extension Theorem
Let
be a vector space and be the set of basis vectors of . Let be a vector spaces and be a linear mapping. where
is called the image of the basis vector . Conversely, this formula always defines a linear mapping
for any choice of . Thus, it is enough to know the images of the basis vectors to characterise a linear mapping .