小平邦彦《微积分解析入门》第五页怎么等于1? 第1页
1
inversioner 网友的相关建议:
我们来搞一堆定义。
首先，一个有理数Cauchy列 是指一列有理数，使得对任意 存在 使得 。两个有理数Cauchy列 等价是指对任意 存在 使得 。
容易证明有理数Cauchy列的等价关系满足反身性，对称性，传递性。这样可以把所有的有理数Cauchy列中互相等价的数列归为一类。这些“类”的集合 称为实数集合，每一个类都叫做实数。类(实数)中的任意一个数列称为这个实数的代表元。这就是实数的定义。
下面我们来看看原来的问题。
按照惯例，应该定义为一个实数，它的一个代表元是 。而实数 的代表元是 。所以要证明 只需要证明 等价。
我们发现 。所以对任意 ，取使得 的最小正整数 ，则 时 。所以这两个数列等价，证毕。
貌似没有比这更严谨的证明了（
1
相关话题
有哪些有趣的或者是反常识的数学问题？实变函数鲁津定理的疑问？
梯子沿着垂直的墙下滑，扫过的区域的边界是怎样的？
n整除Phi(p^n-1)，怎么证明？
如何解决这个函数极限的证明问题？
如何推导如下积分列极限?
拓扑学上的紧致性怎样理解？有何运用？
为什么数列可以用不动点法，到底表示什么意思啊？
遇到电动力学积分的问题？
为什么在数学中，一些运算的逆运算比原运算难很多？
下一个讨论
男孩比女孩更擅长数学是真的吗？
相关的话题
有没有这样的函数，其一阶导等于1，二阶导等于2，三阶导等于3，n阶导等于n，n一直趋于无穷大？f（x,y)->(x,y),是2维实数空间的 一一映射函数，f连续，f的反函数是否也连续，why？
求瑕积分∫0^1根号下（x/1-x）dx？
三阶魔方公式的最大周期是多少？对应的公式是什么？
如何证明 1＋1/2^p＋1/3^p＋…＋1/n^p（1＜p＜2，p 为实数）收敛？
不代入数值怎么证明π<sqrt(2)+sqrt(3)?
如何理解洛朗级数？
下面这个数列极限如何求出来呢？
这个极限怎么证？
关于这个极限怎么计算？
这个含正弦函数的和式极限怎么求?
目前数学界有多少种运算方式?
这两道题请问怎么做呢?
如何判断一个人适不适合学数学？
如何确定该双变量函数的所有间断点？
什么是上极限？
f(x+1/x)=x^2+1/x^2 求f'(x+1/x)是多少?
如何反对同学这样解释无理数和有理数一样多？
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？
这个求极限的积分咋做？
如何计算下面无穷级数的值？
如何用定义证明x趋向于无穷大时sinx极限不存在？
如何求解下面的极限函数？
有没有一个函数求导后幂会变高？
关于这个函数项级数，有没有一些研究成果？
请问为什么无穷个无穷小量的乘积不一定是无穷小量？
你遇到过的最难的积分题目是什么？
二重积分中值定理怎么证明？
使用容斥原理的时候发现这个恒等式，如何证明？
请问这个级数的和怎么求？跟Wallis有联系吗？