小平邦彦《微积分解析入门》第五页怎么等于1? 第1页
1
inversioner 网友的相关建议:
我们来搞一堆定义。
首先，一个有理数Cauchy列 是指一列有理数，使得对任意 存在 使得 。两个有理数Cauchy列 等价是指对任意 存在 使得 。
容易证明有理数Cauchy列的等价关系满足反身性，对称性，传递性。这样可以把所有的有理数Cauchy列中互相等价的数列归为一类。这些“类”的集合 称为实数集合，每一个类都叫做实数。类(实数)中的任意一个数列称为这个实数的代表元。这就是实数的定义。
下面我们来看看原来的问题。
按照惯例，应该定义为一个实数，它的一个代表元是 。而实数 的代表元是 。所以要证明 只需要证明 等价。
我们发现 。所以对任意 ，取使得 的最小正整数 ，则 时 。所以这两个数列等价，证毕。
貌似没有比这更严谨的证明了（
1
相关话题
哪些数学命题可以用复数优雅地证明？小平邦彦《微积分解析入门》第五页怎么等于1?
有哪些神奇的级数求和？
Γ(x+1)在x=0处如何泰勒展开？
各位大佬怎么求这道题的极限?
如何解决此道数学分析不等式？
这个类似卷积的函数极限怎么证明？
对于给定的椭圆，如何求椭圆上各点到中心的平均距离？
物理或化学方程为什么往往是偏微分方程？
这个用什么方法呢？
下一个讨论
男孩比女孩更擅长数学是真的吗？
相关的话题
怎么证明方程 x^4＋4x^3－3x^2－x＝0 有 4 个实根？如何证明求导是线性变换?
数学的泛函分析应该怎么学？
函数可导，则其导函数可积？
3³+4³+5³=6³，只是个巧合吗?
这个极限怎么凑成积分?
这个极限结果怎么算出来的？
平面有界凸集上的点到其重心的最大距离是其直径的比例的上界是多少呢？
这个极限怎么求?？，，，，，，，？
阿贝尔变换强大在哪里？
这个极限为什么不能先用洛必达法则，再代入1求值呢？
阿贝尔变换强大在哪里？
这个极限怎么做呢？
如何求解（似乎是开放问题）级数（如下）？
如何用级数证明三角函数的和差角公式？
请问这道高数题怎么做？是琴生不等式吗？
这道函数问题怎么解决？
如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式？
微积分学教程是否适合工科学生提高数学水平？
根号素数的有限组合是否一定是无理数?
这个级数应该如何求和，关于数项级数求和证明的问题？
如何构造 [0,1] * [0,1] 到 [0,1] 的双射 ?
为什么条件收敛的级数重排后，即使收敛，也不一定收敛于原来的级数和？
如何用定义证明x趋向于无穷大时sinx极限不存在？
xf(x)的无穷积分收敛怎么证明f(x)的无穷积分收敛呢？
一道极值点偏移如何证明?
两幂级数柯西乘积收敛半径大于等于较小者 怎么证明呢？
如何求函数 f(x) = sinx + sin2x + sin3x 的值域？
如何求下面周期函数的极限？
数列连续两项之差在满足什么样的情况下可推出数列有界？