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