陶哲轩实分析 定义 7.2.1(形式无限级数) 的一点注记
2012-11-02 01:26
232 查看
注:陶哲轩在这里用公理化方法引进了一个新对象“形式无限级数”.这种手段之前陶也干过,在定义整数的时候,陶哲轩是引入自然数的形式减法,实际上也是用公理化方法引入新对象.在定义有理数的时候,陶哲轩是引入整数的形式除法,在定义实数的时候,陶哲轩是引入了新对象“形式极限$\hbox{LIM}a_n$”.而现在,陶哲轩只是故技重施,引入了新对象“形式级数”.至于给某些特殊的形式级数赋予意义,则是以后的事情.
相关文章推荐
- 陶哲轩实分析 定义 7.2.1(形式无限级数) 的一点注记
- 陶哲轩实分析定义8.5.5的一个注记
- 陶哲轩实分析定义8.5.5的一个注记
- 陶哲轩实分析 定义7.11(有限级数) 注
- 陶哲轩实分析 定义7.11(有限级数) 注
- 实现 一个类,使得该类任何形式的 派生类 无论怎么定义和实现,都无法产生任何对象 实例 (原创)
- PHP中的字符串定义——Heredoc结构形式
- java 匿名类(不能被忽略 (new+接口)是定义匿名类的一个形式)
- js中定义对象的几种形式
- 关于exe形式编程的一点心得,希望对大家有所帮助
- javascript中在定义函数的几种形式
- C++类的声明和对象的定义——形式1
- 给年份year,定义一个宏,以判别该年份是否闰年。提示:宏名可以定义为LEAP_YEAR,形参为y,既定义宏的形式为 #define LEAP_YEAR(y) (读者设计的字符串)
- 陶哲轩实分析-第8章-无限集合
- XML文档定义有几种形式?它们之间有何本质区别?解析XML文档有哪几种方式?
- 实体定义:每一层都不相同,对于层间实体之间映射的一点思考
- PAT_A1001(将数字XXXXX写成XX,XXX的形式)的一点思考
- DLL中__declspec(dllexport)和.def(模块定义文件)定义导出函数的一点区别
- 关于周期信号傅利叶级数系数的一点思考
- 关于exe形式编程的一点心得,希望对大家有所帮助