陶哲轩实分析：极限定律的本质

本文是笔者对陶哲轩实分析6.1节的分析
本文主要指出，极限定律组仅仅是实数理论下的定义而已，他不是定理。就像有理数集满足的代数定律在本质上应该当做是有理数理论搭建过程中形式化有理数a//b下的加减乘除定义而已，最多你可以把诸如加法交换律的东西看成是加法定义的推论。但是6.1节给出的极限定律的内容甚至比加法交换律还少！他除了是一个定义以外，没有任何更多的东西了！真是令人惊叹！我建议陶哲轩在极限定律组里加入诸如极限加法交换律的东西让这组定律看起来不仅仅是定义而已。
本文编写于2019.7.11 14日精读掌握《陶哲轩实分析》day5

陶哲轩实分析：极限定律的本质相关推荐

陶哲轩实分析:微积分基本定理剖析
本文致力于深入探讨微积分基本原理的本质我们基于严格的实数理论.序列极限理论.级数理论.函数理论.导数理论建立起来了黎曼积分体系.我们苦苦追寻思考,最终发现了黎曼积分的最终控制函数.正是因为我们发现了 ...
陶哲轩实分析：三大序列分析和归纳
本文是我对陶哲轩6.4节的抽象或归纳.本文指出,上下极限.极限.极限点的定义的根源是数学家们为了描述三种不同序列的特征而引入的定义.关于上下极限.极限.极限点的相关定理都完全由这三种不同序列的定义直接 ...
陶哲轩实分析定理17.3.8（三）
本文继承了这篇博文. 为了证明$f$在$x_0$处可微,我们只用证明,存在线性映射$T$,使得 \begin{equation} \lim_{x'\to x_0;x'\neq x_0}\frac{f( ...
陶哲轩实分析命题10.1.7
设$X$是$\mathbf{R}$的子集合,$x_0$是$X$的极限点,设$f:X\to\mathbf{R}$是函数,并设$L$是实数,则下述命题在逻辑上等价: (a):$f$在$x_0$处在$X$上 ...
陶哲轩实分析定理 8.2.2 (无限和的富比尼定理) 证明
设$f:\mathbb{N}\times\mathbb{N}\to\mathbb{R}$是函数.使得$$\sum_{(n,m)\in\mathbb{N}\times\mathbb{N}}f(n,m)$ ...
陶哲轩实分析习题17.1.2
陶哲轩实分析习题17.1.2 转载于:https://www.cnblogs.com/yeluqing/archive/2012/09/10/3828300.html
《陶哲轩实分析》部分勘误
我在读<陶哲轩实分析>,作者是陶哲轩,译者王昆扬.2008年11月第一版,第一次印刷.我在此添加一部分中译本印刷错误,若网友发现了另外的错误,请在评论里补充,由我代为添加.若有不当之处,敬 ...
陶哲轩实分析习题9.1.1
设$X$是实直线的子集合,并设$Y$是集合,使得$X\subseteq Y\subseteq \overline{X}$,证明$\overline{Y}=\overline{X}$. 证明:因为$X\ ...
陶哲轩实分析命题 8.2.6 证明
设$X$是任意的集合(可以是不可数的),并设$f:X\to \mathbb{R}$和$g:X\to\mathbb{R}$是函数.使得$\sum_{x\in X}f(x)$和$\sum_{x\in X} ...
陶哲轩实分析引理8.2.7 注
容易证明下面的结论(怎么证?): 陶哲轩实分析引理 8.2.7:设$(a_n)_{n=0}^{\infty}$是实数级数.它是条件收敛的,不是绝对收敛的.定义 $$A_+=\{n\in\mathbb ...

陶哲轩实分析：极限定律的本质

陶哲轩实分析：极限定律的本质相关推荐

最新文章

热门文章