This is my definition for Dedekind cuts:
A subset α of Q is said to be a cut if:
- $α$ is not empty,$α\neq \mathbb{Q}$
- If $p \in α,q\in\mathbb{Q}$,and $q<p$,then $q\inα$.
- If $p\in α$,then $p<r$ for some $r\inα$.
I've seen a specific example of Dedekind cut produced by $\sqrt{2}$:
$α={\{p∈Q:p<0\}}∪{\{p∈Q:p≥0 \:\text{ and }\: p^2 <2\}}.$
To prove this subset is a cut, it needs to be shown it satisfies 1.2.3. For the proof of 3., the author constructed $r=\frac{2(p+1)}{p+2}$.
Now I'm working on a more general subset here: $a' = {\{x\mid x\geq 0 , x^2\leq p\}} \cup {\{x\mid x<0\}}$. $p$ is a positive integer but not a square of integer. I don't know how to prove 2. and 3. and construct such an $r$ here.