1
$\begingroup$

Let $V$ and $W$ be finite dimensional vector spaces and let $A$ be a given subspace of $V$:

Also, we have a linear transformation $T: V\rightarrow W$ such that $T$ is injective on the subspace $A$. Then can we conclude that $\dim(A) = \dim T(A)$?

I think it should hold true. I need little help to prove this. Thanks

  • 0
    @BrianM.Scott No sir, i am just interested in subspace $A$ and its image.2012-05-21
  • 1
    Are you sure that you’ve stated this correctly? You have $A$ a subspace of both $V$ and $W$. If you mean that $T$ maps $A$ injectively onto $T[A]$, a subspace of $W$, then the answer to your question is *yes*.2012-05-21
  • 0
    @BrianM.Scott Sir, i have edited now $A$ is a subspace of $V$ only.2012-05-21
  • 0
    I think that you need one more small change: ‘is injective onto the subspace $T[A]$’. Then DonAntonio’s answer points you in the right direction.2012-05-21
  • 0
    @BrianM.Scott I mean $T$ maps injectively onto $T(A)$, a subspace of $W$.2012-05-21
  • 0
    @BrianM.Scott I mean $T$ is injective on subspace $A$ of $V$ i.e if we have $T(x_1) = T(x_2)$ this will imply $x_1 = x_2$, where $x_1$, $x_2$ are elements of $A$.2012-05-21
  • 1
    @srijan: The correct way to say it is that $T$ is injective **when restricted** to $A$, not that it is "injective onto $A$" or "injective on $A$".2012-05-21

3 Answers 3

1

If $T\colon V\to W$ is a linear transformation, and $N$ is the nullspace of $T$, then for every subspace $A$ of $V$ we have $$\dim(T(A))+\dim(A\cap N) = \dim (A).$$ This is a simple consequence of the Rank-Nullity theorem.

In particular, since the restriction of $T$ to $A$ is one-to-one if and only if $A\cap N = \{\mathbf{0}\}$, it follows that $\dim(T(A))=\dim(A)$ if and only if the restriction of $T$ to $A$ is one-to-one, if and only if $A\cap N=\{\mathbf{0}\}$.

(This is actually a special case of the homomorphism theorems, applied to linear algebra; the image of $A$ is the same as the image of $A+N$, which is isomorphic to $(A+N)/N \cong A/(A\cap N)$.

  • 0
    Sincere thanks to you sir. Got new result.2012-05-21
2

Yes. You may want first show that an injective lin. transformation maps linearly independent sets to lin. ind. sets.

BTW, you don't need the finite dimensional thing here.

2

You are talking about the restriction: $T|_A : A \rightarrow T[A]$ is injective and surjective, hence an isomorphism. So $A$ and $T[A]$ have the same dimension.