Why are linearly ordered R and R/{0} not isomophic?

  • Level: Undergrad 
  • Thread starter Thread starter QuasarBoy543298
  • Start date Start date
  • Tags Tags
    Isomorphism Linearly
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
1 reply · 1K views
QuasarBoy543298
Messages
32
Reaction score
2
i saw a proof that said “in R/{0} , the set [-1,0) has an upper bound ,but no least upper bound. no such set exists in linearly ordered R” ,but i could not understand it.
 
Physics news on Phys.org
so ##[-1,0]## is compact and using the identity function has a maximum at zero. If you delete the zero you lose compactness and there is no longer a maximum.
- - --

edit:
I think I misread this. The issue is that the Real Line with zero deleted doesn't have a smallest positive number for the same reason it doesn't have biggest (i.e. smallest magnitude) negative number. Any non-negative number is an upper bound of ##[-1,0)## but the issue is that if you have ##0## removed from the real line, you must use positive numbers and there isn't a smallest positive number hence no tight upper bound on negative numbers.

The point, I suppose is that ##\mathbb R## and ##\mathbb R /{0}## are both open sets but the former is connected while the latter is not
 
Last edited: