Thursday, 18 December 2014

An additive map that is not a linear transformation over mathbbR, when mathbbR is considered as a mathbbQ-vector space











I am looking for an example of an additive map that is not a linear transformation over R, when R is considered as a Q-vector space. I mean, I want to find an example of a map T:RR such that T(u+v)=T(u)+T(v) for all u,vR, but T(αv)=αT(u) is not true for all αR.



Thanks for your kindly help.


Answer




Let {rα} be a Hamel basis of R over Q. Let ϕ map x to cα1++cαk, where the (unique) basis representation of x is cα1rα1++cαkrαk. Then ϕ(x+y)=ϕ(x)+ϕ(y), but takes on only rational values.



If ϕ(αv)=αϕ(v) for all α, v in R, then ϕ would be onto.
As this isn't the case, ϕ is not R-linear.



It is Q-linear, though. In fact, any additive map would automatically be Q-linear.



As far as I know, you need the axiom of choice to construct a function of this type (?).


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...