0
$\begingroup$

Let $X$ be a finite dimensional vector space and let $X = X_1 \oplus \cdots \oplus X_r$ where $X_i$ is a subspace of $X$. Let $K$ be some subspace of $X$. What can we say about the structure of $K$ in terms of the subspaces $X_i$?

  • 0
    Fortunately, this is easy to prove despite it's appearance. First you need to recall that two subspaces are direct sums if they add to the original space and are (vector space) disjoint - so {0} is the only common vector of both. You then want to prove Hom(X,X) and Hom(X,Y) are the direct sum of Hom(X,V) - by symmetry this also deals with Hom(Y,X) and Hom(Y,Y), which is the direct sum of Hom(Y,V). In turn they sum to Hom(V,V) then prove their intersection equals {0}. I added my reply here so I can describe the reult with little clutter as an answer.2012-01-02

1 Answers 1

1

Basically you are composing projections with restrictions.

Let f be in Hom(V,V).

My TEXing is weak but this is the idea;

f = (projection of X composed with the restriction of f to X) $ \oplus$ (projection of X composed with the restriction to X) $\oplus$ (projection of X composed with the restriction of Y) $\oplus $(projection of Y composed with the restriction of f to Y).