Isomorphism of Vector Spaces

Algebra Level 2

Let V V and W W be two vector spaces over Q \mathbb Q and there is a bijection T : V W T:V\rightarrow W which preserves addition, that is, for all vectors u u and v v in V V ,

T ( u + v ) = T ( u ) + T ( v ) . T(u+v)=T(u)+T(v).

Must V V and W W be isomorphic?


Bonus: What if Q \mathbb Q is replaced by R \mathbb R ?

No Yes

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.

1 solution

Brian Lie
Oct 5, 2018

It suffices to prove that T T preserves scalar multiplication. T ( 0 ) = T ( 0 + 0 ) = T ( 0 ) + T ( 0 ) T ( 0 ) = 0 T(0)=T(0+0)=T(0)+T(0)\implies T(0)=0 T ( v ) + T ( v ) = T ( v + ( v ) ) = T ( 0 ) = 0 T ( v ) = T ( v ) T(v)+T(-v)=T(v+(-v))=T(0)=0\implies T(-v)=-T(v) where 0 0 denotes zero vector and v -v denotes additive inverse of v v .

Using mathematical induction, we have T ( n v ) = n T ( v ) , for all n Z , v V . T(nv)=nT(v), \text{for all }n\in\mathbb Z,v\in V. For all r Q r\in\mathbb Q , there exist two integers p p and q q such that r = p q . r=\frac pq. According to q T ( p q v ) = T ( p v ) = p T ( v ) , qT(\frac pq v)=T(pv)=pT(v), we get T ( r v ) = r T ( v ) , for all r Q , v V . T(rv)=rT(v), \text{for all }r\in\mathbb Q,v\in V. Therefore, V V and W W are isomorphic.


For the Bonus question: See the comment below or the discussion .

The answer to the bonus is "no".

Here's the post I put in the discussion on this topic:

Using the axiom of choice, we can see that R \mathbb{R} and R 2 \mathbb{R}^2 are isomorphic as Q \mathbb{Q} -vector spaces, but obviously they are not isomorphic as R \mathbb{R} -vector spaces.

That is, here's a counterexample: set V = R , W = R 2 V = \mathbb{R}, W = \mathbb{R}^2 and set T : V W T : V\to W equal to some isomorphism of Q \mathbb{Q} -vector spaces.

Brian Moehring - 2 years, 8 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...