|
发表于 2013-1-9 22:19:04
|
显示全部楼层
其实 在实数完备公理中 并未定义无穷小数 如果你把无穷小数看成级数 那么 0.9循环 确实是收敛到1的 而级数的基础就是柯西极限概念3 L3 f7 t) r: @; n# D2 ^
/ z$ S8 ]" T8 \/ \1 M; _" y" q
所以我才说 按照柯西极限观点 0.9循环确实等于1
' g$ Z1 k( w2 \6 a9 Y. j7 F) D5 Y- a- g; H N9 I
如果你不承认无穷小数,那0.9循环就是个麻烦的东西了# V2 `% ?1 E. }4 ?" ^) P
( ?4 J( o& E9 {
确实可以不承认无穷小数,按实数公理,无穷小数没有定义,至于什么无穷不循环小数是无理数,这个是一直以来的误解。无理数的正确定义是,不能表示成2个整数之比的实数。, F! B7 v3 E9 f0 E1 h" N4 j
! C' P7 [" k* o/ \
最后说一下实数的精确定义:符合4条实数公理的任意集合称为实数集,实数集中的元素称为实数
- ^5 l0 V" _. M1 c! a% `1.加法公理 实数可以进行加法运算 且满足交换结合率 且有唯一0元: N2 Y0 ~8 L9 z# E
2.乘法公理 实数可以进行乘法运算 且满足交换结合率 有唯一幺元(就是1啦), N& B6 a2 g5 _. t) ]8 E7 M
多说一句 满足加法公理和乘法公理的集合连同加法乘法运算,称为可交换群,即实数是可交换代数
5 T9 b8 s+ |1 U3.有序公理 任意2个不相等的实数均可比较大小
6 T; f, Q7 f2 A* o$ }4.稠密公理 任意2个不相等的实数均存在大小介于2者之间的实数 |
|