Prove no isomorphism from rationals to reals

  • Thread starter Thread starter issisoccer10
  • Start date Start date
  • Tags Tags
    Isomorphism
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
4 replies · 5K views
issisoccer10
Messages
35
Reaction score
0

Homework Statement


Prove that there is no isomorphism, [tex]\phi[/tex], from Q under addition to R under addition


Homework Equations


An isomorphism [tex]\phi[/tex]:Q to R is a bijection such that [tex]\phi[/tex](x + y) = [tex]\phi[/tex](x) + [tex]\phi[/tex](y), where x,y are elements of Q

[tex]\phi[/tex](0) = 0.

[tex]\phi[/tex](-x) = -[tex]\phi[/tex](x)


The Attempt at a Solution


My inclination is to attempt to attempt to show a contradiction from two equal rationals p/q and p'/q' occurs when,

[tex]\phi[/tex](p/q - p'/q') = [tex]\phi[/tex](0) = 0, for p,q integers.

So, [tex]\phi[/tex](p/q) - [tex]\phi[/tex](p'/q') = 0,

However, I cannot arrive at an algebraic contradiction.

Is there a better way to go about this proof, relying only on group theory?
 
Physics news on Phys.org
The rationals have the property that for every nonzero x and y there are integers n and m such that n*x+m*y=0 where n and m are nonzero integers. Can you prove that? phi(n*x)=n*phi(x), right? Now find two reals that don't have that property.
 
Last edited:
Hi Dick,

Thank you very much for your help. I feel that I can prove the property of rationals that your described.

However, while I know that there are reals that don't have that property, such as [tex]\pi[/tex] and the sqrt(1), I do not know how to prove that those two numbers do not have that property.

Thanks in advance,
Doug
 
No, because that would imply [tex]\sqrt{2}[/tex] = -n/m, i.e. that [tex]\sqrt{2}[/tex] is rational..

Thanks a lot, I really appreciate it.