Skip to main content
added 256 characters in body
Source Link

The real line $\langle\mathbb{R},\lt\rangle$ is (up to isomorphism) the unique nonempty, separable, complete, dense, endless total order.

(All conditions are needed: Without separable we have for example $[0,1]\times\Bbb R$ with lexicographic order, without complete we have $\Bbb Q$, without dense we have $\Bbb Z$, without endless we have $[0,1]$, all with standard order)

The real line $\langle\mathbb{R},\lt\rangle$ is (up to isomorphism) the unique nonempty, separable, complete, endless total order.

The real line $\langle\mathbb{R},\lt\rangle$ is (up to isomorphism) the unique nonempty, separable, complete, dense, endless total order.

(All conditions are needed: Without separable we have for example $[0,1]\times\Bbb R$ with lexicographic order, without complete we have $\Bbb Q$, without dense we have $\Bbb Z$, without endless we have $[0,1]$, all with standard order)

Post Made Community Wiki
Source Link
Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k

The real line $\langle\mathbb{R},\lt\rangle$ is (up to isomorphism) the unique nonempty, separable, complete, endless total order.