2
$\begingroup$

Given vector spaces $V$ and $W$ over a field $\mathbb{F}$. We'll call two transformations $T,S\in Hom_{\mathbb{F}}(V,W)$ equivalent if there exist invertible transformations $A,B$ in $Hom(W,W)$ and $Hom(V,V)$ respectively such that $S=ATB$ I want to show the following:

$S\sim T$ iff all three of the following hold:

$\bullet$ dim ker$S$=dim ker$T$

$\bullet$ dim im$S$=dim im$T$

$\bullet$ dim coker$S$=dim coker$T$

So I'm making use of the natural exact sequences $0\longrightarrow Ker(T) \longrightarrow V\longrightarrow W\longrightarrow coker(T)\longrightarrow 0$$0\longrightarrow Ker(S) \longrightarrow V\longrightarrow W\longrightarrow coker(S)\longrightarrow 0$

For the forward implication (I'm not quite sure how to drop the $A$ and $B$ arrows down in TeX...), I've managed to chase my way (I think) to the first two bullets. Starting with a basis for $ker(T)$ extending it, and so on. Then again for $Ker(S)$. I'm a little stuck on showing that the dimensions of the cokernels are the same, however. Naturally, in the finite case things are pretty straightforward once I have that the images have the same dimension, but I can't seem to see what further information I have at my disposal in the event that these vector spaces are infinite dimensional. Any help here would be much appreciated.

For the converse, I want to show that there exist such $A$ and $B$ given that all three bullets hold. So here I'm having trouble making the argument precise, and am also failing to see how the third bullet fits into the picture. Certainly there's easy isomorphisms from the kernels and cokernels. Is it as simple as extending the bases of the Kernels and chasing a little? If so, how can I show what I'm doing is well-defined? Again, apologies for the imprecision in the question...

1 Answers 1

3

You're working too hard. Your notion of equivalence is equivalent to being able to freely choose bases in both $V$ and $W$. So:

Choose a basis of $\text{Ker}(T)$. Extend it to a basis of $V$. Use the image of this basis under $T$ to get a basis of $\text{Im}(T)$. Extend it to a basis of $W$. What does $T$ look like with respect to these bases?

  • 0
    @AsinglePANCAKE: yes.2012-10-23