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
Let be a
-vector space
together with a
direct sum decomposition
Let be another
-vector space and let
and
denote linear mappings.
where
is the direct decomposition, a linear mapping