小平邦彦《微积分解析入门》第五页怎么等于1? 第1页
1
inversioner 网友的相关建议:
我们来搞一堆定义。
首先，一个有理数Cauchy列 是指一列有理数，使得对任意 存在 使得 。两个有理数Cauchy列 等价是指对任意 存在 使得 。
容易证明有理数Cauchy列的等价关系满足反身性，对称性，传递性。这样可以把所有的有理数Cauchy列中互相等价的数列归为一类。这些“类”的集合 称为实数集合，每一个类都叫做实数。类(实数)中的任意一个数列称为这个实数的代表元。这就是实数的定义。
下面我们来看看原来的问题。
按照惯例，应该定义为一个实数，它的一个代表元是 。而实数 的代表元是 。所以要证明 只需要证明 等价。
我们发现 。所以对任意 ，取使得 的最小正整数 ，则 时 。所以这两个数列等价，证毕。
貌似没有比这更严谨的证明了（
1
相关话题
此极限应该怎么计算?关于Gamma函数的极限？
如何用定义证明x趋向于无穷大时sinx极限不存在？
是否存在一个「无法判定为有理数或无理数」的实数？
为什么没有开区间上的 R 正常定积分的定义；开区间勒贝格可积，再加什么特殊条件，可得到开区间黎曼可积？
高数真的好难，就是不会 打死我也不会…也不是没有数学天赋。当今世界中国大学生不会数学有错吗？
波恩哈德·黎曼这个人有多强？
请问如何求下面这个连分数收敛到的值？
请教如何计算这个反常积分？
定积分?怎么解？
下一个讨论
男孩比女孩更擅长数学是真的吗？
相关的话题
这两个级数该怎么解答？有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
e^(-x)|sinx|在(0,+∞)与x轴围成的面积怎么算？
怎么形象地理解对偶空间（Dual Vector Space）？
为什么对于任意的α，∫(1,+∞)x^α*e^-xdx都收敛？
请问一道难度很大定积分，有什么好的解法吗，如下？
如何用级数证明三角函数的和差角公式？
三角函数到底是怎么发展来的？
抛物线为何属于圆锥曲线？
这个极限怎么做呢？
如何计算函数 f(x)=log(x)/x 的 n 阶导数？
如何评价上海交通大学数学系数学分析证明题都考原题?
请问数学上有哪些令人赞叹的，简洁的名言或者结论？
这个定积分怎么求,详细步骤？
虚数 i 是真实存在的吗？还是被人们创造出的数学工具？
两幂级数柯西乘积收敛半径大于等于较小者 怎么证明呢？
要怎么处理这个反常积分？
如何看待哈佛大学数学教授姚鸿泽认为分析，几何和拓扑当初学不应当过于纠结细节，而应当快速进入核心内容？
如何判断一个人适不适合学数学？
这道求极限的题怎么做？
一个数列是柯西列也是整数列，如何证明其收敛于整数?
9.99循环这个数存不存在，如果存在，那么它是整数还是无限循环小数？
如何证明以下式子？
如何证明一下等式?
如何构造一个初值，使得这个数列是发散的?
如何求下面周期函数的极限？
为什么会有 i 这一虚数？可以求出 i 的值吗？
如何评价张景中《不用极限的微积分》？
如何证明 √2 + √3 + √5 是无理数？
这个不等式怎么做？