陶哲轩实分析：有理数和整数理论体系统一

本文是对陶哲轩实分析中4.1节和4.2节的分析。
为了建立更加优美的有理数—整数严格理论体系，hj建议删除关于倒数和负整数的定义，转而引入hj强定义体系。
hj整数强定义：
定义：n——0 = n
定义：0——n = -n
hj有理数强定义：
定义：a//1 = a,a为整数
定义：1//a = a^(-1) ,a为整数
定义：a//b= a*b^(-1),a和b为整数
本文的理论体系具有很大的歧义，很有可能是完全错误的，也可能是完全对的。

该定义体系已经蕴含了倒数的定义，至此有理数和整数的理论体系已经被hj统一了。并且这样的体系中舍去了负整数、倒数的定义。比陶哲轩的体系更加优美！
另外从物理的直观角度去看，hj强定义更加具象【这样的定义更像是一种标尺，而陶哲轩的定义是冒牌标尺】。因为只有完整的定义才是具象的定义。

下面附上笔记。请大家自行解读。我省略了有理数部分的分析。

陶哲轩实分析：有理数和整数理论体系统一相关推荐

陶哲轩实分析 5.5 节习题试解
陶哲轩实分析 5.5 节习题试解 5.5.1 设 E \mathrm{E} 是 R \mathbb R 的一个非空子集, E \mathrm{E} 有最小上界 M M,它是个实数,即 M=sup(E) ...
陶哲轩实分析:微积分基本定理剖析
本文致力于深入探讨微积分基本原理的本质我们基于严格的实数理论.序列极限理论.级数理论.函数理论.导数理论建立起来了黎曼积分体系.我们苦苦追寻思考,最终发现了黎曼积分的最终控制函数.正是因为我们发现了 ...
陶哲轩实分析 5.1 节习题试解
陶哲轩实分析 5.1 节习题试解这一节只有一道习题.证明有理数 Cauchy 序列是有界的. 证明: 设 (an)∞n=0(a_n)_{n=0}^{\infty} 是个 Cauchy 序列. 那么根 ...
陶哲轩实分析定理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\ ...

陶哲轩实分析：有理数和整数理论体系统一

陶哲轩实分析：有理数和整数理论体系统一相关推荐

最新文章

热门文章