# Linear algebra - Kernal and Range

sweetiepi

## Homework Statement

Let V be a finite-dimensional vector space and let T: V -> V be a linear transformation. Prove that there exists a natural number n so that

Ker(T^n) (intersection) Range(T^n) = {0}

Here, T^n represents the n-fold composition of T o T o ... o T

## The Attempt at a Solution

I can prove that Ker(T) (intersection) Range(T) = {0} by showing that if an element is in the intersection of the two spaces, it must be zero since would produce a linear combination of one basis equal to the other, and subtracting so they are on both sides gives a linear combination of both bases. But the sum of the spans of the two bases are linearly independent, so the coefficients must all be zero, and thus they can have only the zero vector in common. Now I'm unsure of how to relate this to T^n.

Homework Helper
Your proof of ker(T) (intersect) range(T)={0} can't possibly be correct. Let T:R^2->R^2 be given by the matrix whose first row is [0,1] and whose second row is [0,0]. Then the column vector v=[1,0] is in ker(T) since T(v)=0 and v is in range(T) since T(u)=v, where u is the column vector [0,1]. Put that into your proof. Do you see what's wrong?

sweetiepi
Sorry, in the problem where I showed that Range(T) (intersection) Ker(T) = {0} we were also given that Range(T) + Ker(T) = V. Does that make my explanation make more sense? I was trying not to have to replicate the whole proof but can see where that would have caused confusion. The proof has already been looked at by my professor so I am comfortable with it. The problem I am trying to prove now uses T^n and I don't know how to make that work.

Homework Helper
If Range(T)+Ker(T)=V, then your proof probably makes perfect sense. But that's not generally true for any T. I just gave you an example where it's not true. But it's still true that Ker(T^n) (intersection) Range(T^n) = {0} for some n for ANY T, if V is finite dimensional. Range(T)+Ker(T)=V is just a special case. That's the n=1 case, I gave you an example of the n=2 case. Don't confuse that with dim(range(T))+dim(ker(T))=dim(V) which is always true.

Last edited: