|
发表于 2013-1-9 22:19:04
|
显示全部楼层
其实 在实数完备公理中 并未定义无穷小数 如果你把无穷小数看成级数 那么 0.9循环 确实是收敛到1的 而级数的基础就是柯西极限概念
; L% z1 C# J& e/ f" r/ o
+ H u- u; L) Q所以我才说 按照柯西极限观点 0.9循环确实等于1
1 y1 ]2 ~1 a* B' C( b9 e3 K: x, v- {7 [7 w$ [5 {
如果你不承认无穷小数,那0.9循环就是个麻烦的东西了) `1 z8 f; k7 ]+ {1 g" h
3 u% s8 h Q* L4 [; D5 E+ `% c; Z
确实可以不承认无穷小数,按实数公理,无穷小数没有定义,至于什么无穷不循环小数是无理数,这个是一直以来的误解。无理数的正确定义是,不能表示成2个整数之比的实数。
+ q) ]7 ]' v* S+ v h8 D
# R: P- g6 i* ~2 S: p% G0 ? U最后说一下实数的精确定义:符合4条实数公理的任意集合称为实数集,实数集中的元素称为实数
" I# t. q& e' @" N1.加法公理 实数可以进行加法运算 且满足交换结合率 且有唯一0元
* F5 J; ]$ P2 E6 Z0 i2.乘法公理 实数可以进行乘法运算 且满足交换结合率 有唯一幺元(就是1啦)* @0 B, [* o4 p* d4 Y
多说一句 满足加法公理和乘法公理的集合连同加法乘法运算,称为可交换群,即实数是可交换代数
2 F% o% H1 ]5 o3 B. r3.有序公理 任意2个不相等的实数均可比较大小
7 i* B5 B4 X- j/ k7 |+ A4.稠密公理 任意2个不相等的实数均存在大小介于2者之间的实数 |
|