数学分析原理-第1章 实数系和复数系

导引

1.1Example后面证明A没有最大值，B没有最小值是这样构建的

$$q=p-\frac{p^2-2}{p+2}=2\frac{p+1}{p+2}$$ 巧妙的构造

有序集

1.10中least-upper-bound property的定义考虑实数集是满足的，有理数集则不满足
1.11Theorem的证明比较难理解，首先证明$\alpha$存在，然后由于$\alpha \in L$（$\alpha$为下界）并且$\beta \notin L$如果$\beta>\alpha$（$\alpha$为下确界），证明完成

实数域

1.20定理：每两个实数之间必然有一个有理数
对于x,y，存在n满足$n(y-x)>1$
存在m满足$m-1<=nx<m$
所以$nx<m<=1+nx<ny$
得出$x<m/n<y$
1.21定理证明过程中为了得出$y^n<x$不成立，需要找到h>0，使得$(y+h)^n<x$，h的选择可以逆向得出:

$$(y+h)^n-y^n<x-y^n$$ $$(y+h)^n-y^n<hn(y+h)^{n-1}$$ 对于 yn