Thursday, October 13, 2016

analysis - A discontinuous linear function over the rationals








It is an interesting exercise to show that Gal(R :Q) is trivial. The only solution I know hinges on the fact that the automorphism is order-preserving, which in turn depends on the fact that θ(xy)=θ(x)θ(y) for θAutR.



Now, a function L:RR with just the property that L(x+y)=L(x)+L(y) can be shown to preserve multiplication on the rationals. And, I have been unsuccessful in trying to extend this fact to the reals. This could be because such a function could be discontinuous, an example of which I also have failed to construct (it's a bad day).



My question:




Can you give me an example of a discontinuous function L:RR with the property that L(x+y)=L(x)+L(y) and L|Q=identity?





An idea: Perhaps we could consider a function that preserves order on rationals but reverses it on irrationals.

No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...