I have been looking at intro to real analysis. I am using the text book "Principals of Mathematical Analysis, third edition" by Walter Rudin. I have some questions about things I found confusing and wanted to clarify.
1) The chapter begins with the discussion of the equation $p^2=2$, and the proof of how $p$ is not rational. I can follow this proof, but then it says, Let $A$ be the set of all positive rationals p such that $P^2<2$ and let $B$ consist of all positive rationals such that $p^2>2$. " We shall now show that A Contains no largest number and $B$ contains no smallest.
More explicitly for every $p$ in $A$ we can find a rational $q\in A$ such that $p<q$ for every $p\in B$ we can find a rational $q\in B$ such that $q<p$ This is where I get confused. Now it says to do this we associate with each rational $p>0$ the number $$q=p-( p^2-2/{2}{p+2})=\frac{2p+2}{p+2}\tag 3$$ Then $$q^2-2=\frac2{p^2-2}{p+2}^2\tag 4$$
If $p\in A$ then $p^2-2<0$ and $(3)$ shows that $q>p$ and $(4)$ shows that $q^2<2$. Thus $q\in A$.
If $p\in B$ then $p^2-2>0$ and $(3)$ shows that $0<q<p$ and $(4)$ shows that $q^2>2$ thus $q\in B$.
Can anyone help explain this last part? How and why do we associate $p$ with that different mix of numbers..
My second question is in regard to the Archiemedian Property. I also follow the proof right up until the end.. a) If $x\in\mathbb R$, $y\in\mathbb R$ and $x>0$, then there is a positive integer $n$ such that $nx>y$.
proof; Let A be the set of all $nx$, where $n$ runs through the positive integers if (a) were false then y would be an upper bound of A. But then A has least upper bound in R. Put $\alpha=\sup A$ since $x>0$, $\alpha x< \alpha$ and $\alpha-x$ is not an upper bound of $A$. Hence $\alpha-x < mx$ for some positive integer $m$. But then $\color{red}{ \alpha< (m+l)x \in A}$ which is impossible since $\alpha$ is an upper bound of $A$.
I can follow along right about until " But then $\color{red}{\alpha< (m+1) x \in A}$ which is impossible since it is an upper bound. What I am confused about is as follows: yes $\alpha$ is the least upper bound, so how does this mean it cant be smaller than anything in the set? I thought by least upper bound it would actually have to be smaller then anything in the set because it is the least upper bound.
Thanks so much for any help.