Rudin's Books establishes
Multiplication is a little more bothersome than addition in the present context , since products of negative rationals are positive. For this reason we confine ourselves first to $R^+$, the set of all $\alpha\in R$ with $a>0^*$.
If $\alpha\in R^+$ and $\beta\in R^+$ , we define $\alpha\beta$ to be the set of all $p$ such that $p \leq rs$ for some choice of $r\in\alpha$, $s\in\beta$, $r>0$, $s>0$. We define $1^*$ to be the set of all $q<1$.
Then the axioms (M) and (D) of Definition 1.12 hold, with $R^+$ in place of $F$, and with $1^*$ in the role of $1$.
I have proven that $\alpha\beta$ satisfies (M1), (M2), (M3), (M4) but I'm stuck in (M5). I found how construct $1/\alpha$ however I have some questions: Query regarding proof of Existence Theorem (1.19, pg-17, Baby Rudin). It define $1/\alpha$ as:
Fix $\alpha\in R^+$. Let $\beta^+$ be the set of all $p$ with the following property: There exists $r>1$ such that $\frac{1}{pr}\notin\alpha$. Furthermore let $\beta=\beta^+ \cup 0^*\cup 0$ be $1/\alpha$.
Then they prove that $\beta$ is a cut such that $\beta\in R^+$. They also proof that $\alpha\beta=1^*$:
If $r\in\alpha$ and $s\in\beta$, $r>0$, $s>0$, then $1/s\notin\alpha$, $r<1/s$, hence $rs<1$. Thus $\alpha\beta\subset 1^∗$. To prove the opposite inclusion, pick $u\in 1^*$, $u>0$, put $v=\left[(1+u)/2\right]^2$, $w=2/(1+u)$. Then $u<v$, $w>1$, and there is an integer $n$ such that $w^n\in\alpha$ but $w^{n+1}\notin\alpha$. Put $p=1/w^{n+2}$. Then $p\in\beta$, since $(1/p)(1/w)=w^{n+1}\notin\alpha$ and $v=1/w^2=w^np\in\alpha\beta$, so that $u\in\alpha\beta$. Thus $1^∗\subset\alpha\beta$. We conclude that $\alpha\beta=1^*$.
Questions
- I want to know what is the intuitive or general idea behinde the election of $v$ and $w$ because I think that we could take some different $v$ and $w$.
- Furthermore why $u<v$?.
- Why there's some intenger $n$ such that $w^n\in\alpha$ and $w^{n+1}\notin\alpha$.
- ¿Is there some construction of $1/\alpha$ such that it's different of defined $\beta$ here?