alee0001的博客

转载 陶哲轩实分析Chap5-命题5.4.14

命题5.4.14 给定任意两个实数\(x< y\)，我们能够找到一个有理数\(q\)使得\(x<q<y\)。证明：设\(x=LIM_{n \to \infty}a_n，y=LIM_{n \to \infty}b_n\)\(\because x<y\)，由定义5.4.6(实数的排序)、定义5.4.3(实数的正负)得\(y-x=LIM_{n \to \inft...