text: # Given any linear map between two finite dimensional vector spaces with same dimension, if it's injective it's also surjective?
  
  I know that for any endomorphism on a finite dimensional vector space, if it's injective then it's surjective, and vice versa. But how about any injective linear map between two finite dimensional vector spaces with same dimension? Since any two finite dimensional vector spaces with same dimension should be isomorphic, that should also true, correct?
  
  • Let $T$ be the injective map between two linear spaces of same dimension and If $x_1,x_2,\cdots,x_n$ is basis of domain, Is $T(x_1),T(x_2),\cdots,T(x_n)$ a basis of co-domain. Apr 4, 2015 at 3:55
  • @Suhail: you could flesh this out a bit and post it as an answer. It avoids the Rank-Nullity theorem. I don't know which order things are proved. Apr 4, 2015 at 4:25
  
  Let $T:V\rightarrow W$ be an injective linear map between finite dimensional linear spaces $V$ and $W$ of dimension $n.$ Let $v_1,v_2,\cdots,v_n$ be the basis of $V.$ Let $\alpha_1T(v_1)+\alpha_2T(v_2)+\cdots+\alpha_nT(V_n)=0$ equivalently $T(\alpha_1v_1+\alpha_2v_2+\cdots+\alpha_nv_n)=0$ as $T$ is injective, therefore $\alpha_1v_1+\alpha_2v_2+\cdots+\alpha_nv_n=0$ $\Rightarrow$ $\alpha_j=0,\,j=1,2,\cdots,n.$ Hence $T(v_1),T(v_2),\cdots,T(v_n)$ forms basis of $W.$ Let $w\in W$ then there exist scalers $\beta_j,\,j=1,2,\cdots,n$ such that $\beta_1T(v_1)+\beta_2T(v_2)+\cdots+\beta_nT(V_n)=w\qquad$ or $T(\beta_1v_1+\beta_2v_2+\cdots+\beta_nv_n)=w.$ Hence $T$ is surjective.
  By the Rank-Nullity Theorem, for a linear map $T: V \to W$,
  $$\textrm{dim(im(}T)) + \textrm{dim(ker(}T)) = \textrm{dim(}V)$$
  and so if $V,W$ are of the same dimension and $T$ is injective,
  $$\textrm{dim(im(}T)) = \textrm{dim(}W).$$
metadata: {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}