Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

While studying for my linear algebra test I came across the following problem:

Let $f: \mathbb{V} \to \mathbb{W}$ be a linear transformation and let $S$ and $T$ subspaces of $\mathbb{V}$ such that $S \cap T = \text{Ker}(f)$. Show that

$$ \dim(S+T) = \dim(\text{Ker}(f)) + \dim(f(S)) + \dim(f(T)). $$

I don't really know how to approach this. There's a good change I have to use that $\dim(S+T) = \dim(S) + \dim(T) - \dim(S \cap T)$, but all I can do with that is transform this into $\dim(f(S)) + \dim(f(T)) = \dim(S) + \dim(T)$. I think the problem here is that I don't know anything about $f(S)$ or $f(T)$. How would one go about proving this?

share|improve this question
    
Do you mean $S\cap T\subset ker(f)$? –  Shahab Sep 30 '12 at 14:23
    
@Shahab: fixed it. –  Javier Badia Sep 30 '12 at 14:26
    
The other relation you need is that the dimensions of kernel and image add up to the dimension of the domain. –  celtschk Sep 30 '12 at 14:41
add comment

1 Answer 1

up vote 2 down vote accepted

Let $f_T$ be the restriction of $f$ on $T$. Likewise for $f_S$. Using the rank-nullity theorem:

\begin{align*} \newcommand{ker}{\operatorname{ker}} \newcommand{dim}{\operatorname{dim}} \dim T &= \dim \ker(f_T) + \dim f_T(T) \\ \dim S &= \dim \ker(f_S) + \dim f_S(S) \end{align*}

It's clear that: $$ f_T(T) = f(T) \\ f_S(S) = f(S) $$

Since $\ker(f) = T \cap S$, $\ker(f) \subset T$ and $\ker(f) \subset S$. Therefore: \begin{align*} \ker(f_T) = \ker(f) \\ \ker(f_S) = \ker(f) \end{align*}

Hence: \begin{align*} \dim T &= \dim \ker(f) + \dim f(T) \\ \dim S &= \dim \ker(f) + \dim f(S) \end{align*}

Adding side by side, we get: $$ \dim T + \dim S = 2 \dim \ker(f) + \dim f(T) + \dim f(S) $$

By rearranging, we get: $$ \dim T + \dim S - \dim \ker(f) = \dim \ker(f) + \dim f(T) + \dim f(S) $$

Since $\ker(f) = T \cap S$, we conclude: $$ \dim (S + T) = \dim \ker(f) + \dim f(T) + \dim f(S) $$

share|improve this answer
    
You mean $\dim S+T$. $S\cup T$ will in general not be a subspace. –  celtschk Sep 30 '12 at 14:43
    
@celtschk You're right. Fixed. –  Ayman Hourieh Sep 30 '12 at 14:44
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.