小平邦彦《微积分解析入门》第五页怎么等于1? 第1页
1
inversioner 网友的相关建议:
我们来搞一堆定义。
首先，一个有理数Cauchy列 是指一列有理数，使得对任意 存在 使得 。两个有理数Cauchy列 等价是指对任意 存在 使得 。
容易证明有理数Cauchy列的等价关系满足反身性，对称性，传递性。这样可以把所有的有理数Cauchy列中互相等价的数列归为一类。这些“类”的集合 称为实数集合，每一个类都叫做实数。类(实数)中的任意一个数列称为这个实数的代表元。这就是实数的定义。
下面我们来看看原来的问题。
按照惯例，应该定义为一个实数，它的一个代表元是 。而实数 的代表元是 。所以要证明 只需要证明 等价。
我们发现 。所以对任意 ，取使得 的最小正整数 ，则 时 。所以这两个数列等价，证毕。
貌似没有比这更严谨的证明了（
1
相关话题
有哪些比较好的数学分析和高等代数的公开课（数学系）？如何判别一个方程所表征的曲线是否封闭？
非常硬核的数学题，大家能否解出？
如何证明一个同时以1和π为周期的函数无最小正周期？
微积分的哲学基础是什么？
如何证明 e^π＞23？
为何医学生要学数学？
这个对数积分该如何计算？
请问各位大神，这个第十题怎么做?
如何解决这道函数题？
下一个讨论
男孩比女孩更擅长数学是真的吗？
相关的话题
请问如何求下面这个连分数收敛到的值？如何只通过计算证明“两点之间，线段最短”？
用微积分怎么证明勾股定理？
抛物线为何属于圆锥曲线？
在微积分教材一开始直接引入 epsilon-delta 语言是否有利？
用积分中值定理，中值的极限怎么证明？
请问这个积分怎么做？
三阶魔方公式的最大周期是多少？对应的公式是什么？
为什么对于任意的α，∫(1,+∞)x^α*e^-xdx都收敛？
如何使用函数极限？
∫（1+2cosθ）/（5+4cosθ）dθ这个积分怎么求？
如何判断下面这个级数的敛散性？
大一新生如何自学高等数学？
关于这个极限怎么计算？
实变函数鲁津定理的疑问？
能否绝对地区分出虚数 i 与 -i？
这个积分问题怎么做？
这道题如何用柯西审敛准则证明收敛?
如何确定该双变量函数的所有间断点？
全体自然数的发散级数和等于负十二分之一代表了什么？隐藏了一个天大的秘密吗？
无穷大的平面是圆形还是正方形？
什么是半微分（semi-differential）？有什么几何意义吗？
如何判断任意无理数的无理数次方是否为有理数或是无理数？
可微函数在几何上有何特征？
为什么用外积可以证明dydz=–z'(x)dxdy，dxdy=rdrdθ？
有哪些玩游戏时能使用的高等数学知识？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
拉氏乘数法中为什么认为最值一定是极值呢？
这个东西怎么证明?
“可分度量空间”的名字是怎么来的？