小楼一夜听春雨
发布时间：2014-03-31 18:20:13
证明：由推论5.4.13(阿基米德性)可知对于任何正实数x>0和1都有Nx>1>0，即有x>1/N>0......【阅读全文】
发布时间：2014-03-31 17:54:45
证明：由题易知下列不等式成立m/n-m'/n>1/nm'/n-m/n>1/n即有|m/n-m'/n|......【阅读全文】
发布时间：2014-03-31 14:19:28
以前学过华东师大的实分析教材，里面对于确界原理的证明是通过十进制数进行的。最近看到了《陶哲轩实分析>，该书通过cauchy列来构造实数集，然后直接证明所构造的实数集满足确界原理，感觉比较有意思。对于确界原理中的唯一性证明，命题5.5.8已经很好地证明了。但对于存在，定理5.5.9只给出了证明框架，其中证明过程用到了.........【阅读全文】
