1
$\begingroup$

Say V is a finite dimensional vector space, and $T_1: V \to\ V$ and $T_2: V \to\ V$ are linear transformations. Assume that $T_1$ is one to one and $T_2$ is onto.

I am uncertain if my proof that $T_1T_2$ is an isomorphism is valid.

If you don't want to look at the picture - Is it necessary to show that $T_1$ and $T_2$ are each isomorphisms themselves by Rank-Nullity?

Here is an image of my work: Math proof

  • 0
    (In case anyone is wondering, this is optional, extra review for a class. The proof is definitely not formal.)2012-12-15
  • 1
    The kernal of $T_1$ is $\{{\bf 0}\}$. So if $T_1(T_2(v))=\bf0$, you can deduce $T_2(v)=\bf 0$. But how do you surmise $v=\bf 0$? I think the best approach would be to show both $T_1$ and $T_2$ are isomorphisms. Then show the composition is.2012-12-15
  • 0
    I see how $T_2(v) = 0$ if the composition = 0, but I don't follow the "then show the composition is [an isomorphism]"...2012-12-16
  • 0
    Sorry, the last two sentences in my previous comment were a different topic... I meant to suggest that you just redo the whole proof (what you have in the image doesn't seem complete to me). First show that both $T_1$ and $T_2$ are isomorphisms (you just need to show $T_1$ is onto and $T_2$ is one-to-one). Then show $T_1T_2$ is an isomorphism.2012-12-16
  • 0
    I understand how to show $T_1$ is onto and $T_2$ is one-to-one, but afterward, I don't see how I would use that to show $T_1T_2$ is an isomorphism (that's where I get stuck).2012-12-16
  • 0
    One-to-one: Assume $T_1T_2v=0$. Then since $T_1$ is one-to-one, we must have $T_2v=0$. But $T_2$ is one-to-one; so, $v=0$. It follows that the kernal of $T_1T_2=\{0\}$.$$ $$Onto: use Rank-Nullity (or you can argue directly using the fact that both $T_1$ and $T_2$ are onto).2012-12-16
  • 0
    let us [continue this discussion in chat](http://chat.stackexchange.com/rooms/6750/discussion-between-dmonopoly-and-david-mitra)2012-12-16

2 Answers 2