Exists Rational Cut Between two Cuts

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\alpha$ and $\beta$ be cuts.

Let $\alpha < \beta$, where $<$ denotes the strict ordering on cuts.


Then there exists a rational cut $r^*$ associated with the rational number $r$ such that:

$\alpha < r^* < \beta$


Proof

Let $\alpha < \beta$.

Then there exists a rational number $p$ such that $p \in \beta$ and $p \notin \alpha$.

Let $r \in \Q$ such that $r > p$ and $r \in \beta$.

Because $r \in \beta$ and $r \notin r^*$, we have that $r^* < \beta$.

Because $p \in r^*$ and $p \notin \alpha$, we have that $\alpha < r^*$.

$\blacksquare$


Sources