Direct sum/Linear mapping/Fact

Let be a -vector space together with a direct sum decomposition

Let be another -vector space and let

and

denote linear mappings.

Then we get, by setting

where is the direct decomposition, a linear mapping