Let and be two vector spaces over and there is a bijection which preserves addition, that is, for all vectors and in ,
Must and be isomorphic?
Bonus: What if is replaced by ?
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
It suffices to prove that T preserves scalar multiplication. T ( 0 ) = T ( 0 + 0 ) = T ( 0 ) + T ( 0 ) ⟹ T ( 0 ) = 0 T ( v ) + T ( − v ) = T ( v + ( − v ) ) = T ( 0 ) = 0 ⟹ T ( − v ) = − T ( v ) where 0 denotes zero vector and − v denotes additive inverse of v .
Using mathematical induction, we have T ( n v ) = n T ( v ) , for all n ∈ Z , v ∈ V . For all r ∈ Q , there exist two integers p and q such that r = q p . According to q T ( q p v ) = T ( p v ) = p T ( v ) , we get T ( r v ) = r T ( v ) , for all r ∈ Q , v ∈ V . Therefore, V and W are isomorphic.
For the Bonus question: See the comment below or the discussion .