导引
1.1Example后面证明A没有最大值,B没有最小值是这样构建的
q=p−p2−2p+2=2p+1p+2
巧妙的构造
有序集
1.10中least-upper-bound property的定义考虑实数集是满足的,有理数集则不满足
1.11Theorem的证明比较难理解,首先证明α存在,然后由于α∈L(α为下界)并且β∉L如果β>α(α为下确界),证明完成
实数域
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定理证明过程中为了得出yn<x不成立,需要找到h>0,使得(y+h)n<x,h的选择可以逆向得出:
(y+h)n−yn<x−yn
(y+h)n−yn<hn(y+h)n−1
对于
yn>

这篇博客介绍了数学分析中的实数系和复数系,涵盖了导引、有序集、实数域、广义实数域和复数域的基本概念。讨论了实数域内的性质,如每两个实数间存在有理数,以及如何利用这些性质证明相关定理。同时,解释了复数域的定义,并探讨了其与有理数集的区别。在最后,博主还提供了若干练习题来帮助读者巩固理解。

820

被折叠的 条评论
为什么被折叠?



