|
发表于 2013-1-9 22:19:04
|
显示全部楼层
其实 在实数完备公理中 并未定义无穷小数 如果你把无穷小数看成级数 那么 0.9循环 确实是收敛到1的 而级数的基础就是柯西极限概念
- Z0 H, v1 o2 C2 D8 Q& F
' G0 Y5 B0 x/ y6 z& i; R6 `所以我才说 按照柯西极限观点 0.9循环确实等于1, P6 b s$ B% H$ ~$ `
/ @- }. q9 g; x I$ Z, Q如果你不承认无穷小数,那0.9循环就是个麻烦的东西了
+ K, m' m% O: |. M: \0 \
; [3 q+ S, x/ X: E6 p$ |确实可以不承认无穷小数,按实数公理,无穷小数没有定义,至于什么无穷不循环小数是无理数,这个是一直以来的误解。无理数的正确定义是,不能表示成2个整数之比的实数。" X9 y' |$ T7 m9 I5 A: G
$ b' H7 }( P/ g% Q" T- o1 R( r最后说一下实数的精确定义:符合4条实数公理的任意集合称为实数集,实数集中的元素称为实数2 \5 m8 E9 x: M3 P. m# s5 t
1.加法公理 实数可以进行加法运算 且满足交换结合率 且有唯一0元0 \, I& K% {5 x; [# q( D
2.乘法公理 实数可以进行乘法运算 且满足交换结合率 有唯一幺元(就是1啦)/ u. U9 `2 P6 a! q+ x q
多说一句 满足加法公理和乘法公理的集合连同加法乘法运算,称为可交换群,即实数是可交换代数
3 e W2 f) b) P7 @& v3.有序公理 任意2个不相等的实数均可比较大小
" W6 S: Y: O/ B5 v& u: d' ]! Z4.稠密公理 任意2个不相等的实数均存在大小介于2者之间的实数 |
|