Let a (Dedekind) cut $r=\{p \in \mathbb{Q} :p^2<2 \text{ or } p<0\}$ and a cut $2^*=\{t\in \mathbb{Q} : t<2\}$. I want to prove $r^2=2^*$. I could show that $r^2 \subset 2^*$ easily, but I couldn't show that $2^* \subset r^2$. How to show that there is $p$, $p' \in r$ such that $t \leq pp' <2$ or $t \leq p^2<2$?
How to prove $r^2=2$ ? (Dedekind's cut)
4
$\begingroup$
real-analysis
analysis
for cuts a ,b >0, ab={p:p<=rs, for some r $\in$ a and s $\in$ b, r>0, s>0} – 2012-11-13