1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Same Dim. and Isomorphism

  1. Feb 2, 2012 #1
    1. The problem statement, all variables and given/known data
    A theorem in my book states: If V, W are finite dimensional vector spaces that are isomorphic, then V, W have the same dimension. I wrote a proof but it is different from the proof given in my book, and I'd like to know if it's right.



    3. The attempt at a solution
    Let [itex]\left\{A_1, ...,A_n\right\}[/itex] be a basis for V. Because V,W are isomorphic, we know [itex]ImT = W[/itex], which implies that [itex]dim(ImT) = dim(W)[/itex]. We also know [itex]KerT = \left\{ 0 \right\}[/itex] and hence [itex]dim(KerT) = 0[/itex] We know [itex]dim(V) = n = dim(ImT) + dim(KerT)= dim(ImT) + 0 = dim(ImT)[/itex]. Thus, [itex]dim(ImT) = n = dim(W)[/itex]

    Is that right?
     
  2. jcsd
  3. Feb 2, 2012 #2
    This is the proof in my book
     
  4. Feb 2, 2012 #3
    This is the massive proof in my text. It's seems so unintuitive to me.

    http://desmond.imageshack.us/Himg696/scaled.php?server=696&filename=screenshot20120202at557.png&res=medium [Broken]
    http://desmond.imageshack.us/Himg832/scaled.php?server=832&filename=screenshot20120202at558.png&res=medium [Broken]
    http://desmond.imageshack.us/Himg215/scaled.php?server=215&filename=screenshot20120202at558.png&res=medium [Broken]

    I mean, seriously.
     
    Last edited by a moderator: May 5, 2017
  5. Feb 2, 2012 #4
    My book is written by a physicist, for non-mathematicians, (explicitly stated in the book title)
     
    Last edited by a moderator: May 5, 2017
  6. Feb 2, 2012 #5

    jbunniii

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    What aspect of it do you find unintuitive? It seems straightforward and a natural way to proceed if you don't want to appeal to the rank-nullity theorem (which itself requires a non-trivial proof) as you did in your solution. Maybe the book hadn't proved the latter theorem yet?

    Also, your text's proof gives some additional information. Instead of merely verifying that the two spaces have the same dimension, it shows you how to construct a basis for the target space.
     
  7. Feb 2, 2012 #6
    I'm just working some practice problems here and I'd like to get my work checked. In particular: http://desmond.imageshack.us/Himg638/scaled.php?server=638&filename=screenshot20120202at613.png&res=medium [Broken]

    Let [itex]X = (x_1,x_2,x_3), Y = (y_1,y_2,y_3) \in R^3[/itex]. Let [itex]a,b \in R[/itex]. [itex]T(aX + bY) = T(ax_1 + by_1,ax_2 + by_2,ax_3 + by_3) = (ax_2 + by_2,0,ax_3 + by_3) = (ax_2,0,ax_3) + (by_2,0,by_3) = a(x_2,0,x_3) + b(y_2,0,y_3) = aT(X) + bT(Y)[/itex]. Which shows that T is linear.

    Vertors in [itex]KerT[/itex] have the form [itex](x,0,0)[/itex] where [itex]x \in R[/itex]. Thus, the standard basis will do for all vectors in the kernel. Namely [itex]\left\{(1,0,0)\right\}[/itex], which has dimension 1.

    Vectors in [itex]ImT[/itex] have the form [itex](y,0,z)[/itex] where [itex]y,z \in R[/itex]. Again the standard basis will do for all vectors in kernel. Namely, [itex] \left\{(1,0,0),(0,0,1) \right\}[/itex], which has dimension 2.

    Vectors in T(U) have the form [itex](0,0,z)[/itex] where [itex]z \in R[/itex]. This is just the z-axis and we can use [itex] \left\{ (0,0,1) \right\}[/itex] as a basis (which is dimension 1).
     
    Last edited by a moderator: May 5, 2017
  8. Feb 2, 2012 #7
    Maybe unintuitive was the wrong word. Personally, I'm not a fan of that proof. Partly because it's long, partly because I didn't think of it, and partly because it uses the fundamental definition for a basis (namely, that it spans and is linearly independent). I like my proof more because it is short and relies on the simple equation dimV = dimKerT + dimImT.
     
  9. Feb 2, 2012 #8

    jbunniii

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Fair enough, but the equation dimV = dimKerT + dimImT requires a similar, even longer proof, so you have simply hidden the details by using that theorem. Nothing logically wrong with that, as long as "dimV = dimKerT + dimImT" has already been proved at this point.
     
  10. Feb 2, 2012 #9

    jbunniii

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    This all looks correct to me.
     
    Last edited by a moderator: May 5, 2017
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Same Dim. and Isomorphism
  1. An Isomorphism (Replies: 3)

  2. What is the dim(N(T))? (Replies: 3)

Loading...