Linear continuum

cosmos 26th September 2017 at 6:50pm
Connected space

Definition: An ordered set XX is a linear continuum if the following 2 conditions hold:

  • XX has the Least upper bound property
  • x,yX\forall x,y \in X, if x<yx < y, there exists zXz \in X such that x<z<yx < z < y.

Example: the Real numbers, the Ordered square

Theorem: If XX is a linear continiuum with the Order topology (induced by its order), then XX is connected, and also every interval and ray is connected. Proof