(搬帖子）从零不是自然数谈起

code_abc

) k. M9 c' u9 C, a
9 N4 V9 u+ T6 a5 `  Q5 O    最近意外发现国内教材把零纳入自然数范畴。在我印象中零并不是“自然”出现的，我隐约记得小学时老师说自然数就是自然界存在的数，因为没有不存在的东西，所以零不算自然数。事实上在数学史中“零”比无理数出现还要晚。查了一下资料，发现一些有趣的事情和大家分享一下：
9 ^$ r& I' x$ _* t+ l; }: _    首先谈谈“零”的来历。
# h) N% _/ f$ c# {    如果我们按字面意思，把自然数理解为自然界存在的数的话，那么我们可以扯上毕达哥拉斯，早在公元前500年左右他就基于一个朴素的原子论的观点提出了万物皆数的思想，他们认为万物都是由一个个微小不可分割的原子组成，这些原子是可数的，也就是万物都可以用数字描述。当时没有用于表示数码的符号，所以他们用小点直接点出数值。很明显这时的“自然”是不存在“零”这个数值的。而在其后的数学发展史中几何几乎就是数学的全部，这里甚至不存在“零”的概念。当无理数都被发现了的时候，对于表示不存在的“零”，数学家们一直视而不见。再往后由于数学应用的需求，人们发展出代数学，作为一种运算技术“零”才开始进入人们的视野。把“零”引入数学作为一个数值参与运算应该是公元9世纪的印度人完成的。可见“零”是一个很特殊的数值。它事实上是一个思维的产物，而不能算一个自然的东西。因此传统上“零”不算自然数。
    再来看看零又是什么时候被列入自然数的。
7 s3 X" p. _& T$ G0 J    这个问题和19世纪逐渐发展起来的集合论有关。简单地说，集合论用集合的语言来重新定义自然数。因此自然数从此有了一个清晰、明确的数学定义，这样我们就不再需要纠缠于自然语言中什么叫“自然”的麻烦。而在定义中出于方便（与空集对应的需要）把“零”作为第一个自然数，纳入了自然数的范畴。选择哪个数值作为第一个自然数从定义来说没有什么区别，但这样就需要用非零数值和空集对应，这样就很不“自然”了。和集合论密切关联的逻辑也是如此，另外，现代计算机科学中也倾向于零作为自然数使用，对于ＣＰＵ来说０才是打交道最多的数，没有之一。
: D- N$ S) Z: B1 `( S0 \    数学本来就是思维的产物，不严格地说这是一门规定出来的学科（不是科学）。这些规定并不是一成不变的。所以教材上改变自然数的定义并不是什么大问题。我觉得考试按教材的规定作答，但是能够了解事情的来龙去脉远比一时的对错更重要，不是吗？
. `0 K' Y, k' Q/ G1 P

同文

坐沙发　+　欢迎新人。

橡树村

自然数至今也没有统一定义。传统上自然数指的是正整数，也有的定义把零也包括在内，看教材采用的是哪套系统了。无所谓对错。

南非的教材里面采用的概念，仍然是自然数是正整数，加上零的集合叫做whole number，后者也是一个没有统一定义的概念。
3 h5 C2 r0 N& z5 c2 G$ h( ^7 L

/ c! c4 T' p9 g8 b

机器猫

我怎么觉得小时候学的是0不是自然数啊？

老兵帅客

嗯，好好学习一下数学

老兵帅客

橡树村 发表于 2012-3-16 14:37
: a& E8 b" N/ I/ D; g1 h自然数至今也没有统一定义。传统上自然数指的是正整数，也有的定义把零也包括在内，看教材采用的是哪套系统 ...

4 ^# v# [6 F6 N- m% i  @2 H; @虽然当年学过，具体细节早忘了

code_abc

机器猫 发表于 2012-3-17 04:30
9 |* I* ?. H: F1 R我怎么觉得小时候学的是0不是自然数啊？

* p7 l4 h/ h' L( }# ?: b/ E( H我读小学的时候也是这样，据说已经改了十年了。前段时间听一个同学谈她孩子的功课才知道的。

code_abc

橡树村 发表于 2012-3-17 03:37
自然数至今也没有统一定义。传统上自然数指的是正整数，也有的定义把零也包括在内，看教材采用的是哪套系统 ...

  Y  u' b7 }4 E$ y  q/ C* a; E的确是没统一。不过我从高中起就不怎么喜欢自然数这个词，一般用非负整数取而代之。看来是有先见之明的。

gordon

% ^/ ]  I7 g: h0 ]; V0 a" [柯西和当时的其他数学家在阐明极限概念的过程中遇到了一些困难时，实数才成了认真考虑的对象。

2 ~- R3 F$ }$ d3 g0 x. M当时大家都认识到，实数理论实际上可以用不同方式通过对分数的归纳来建立，反之，分数又可以归纳为自然数。
* l7 z4 l6 G5 R% d2 V3 o3 g
在自然数领域中，自然数的所有性质都可以归纳为少数几条十分显然的基本事实，即皮亚诺公理。

* S) m. L, g6 B对自然数的这种归纳，为实数和复数理论提供了依据，也为整个实数和复数的解析理论，乃至几何学提供了依据。
2 A" t- p- T) J  h
% G! k  t$ `6 _' n知道这个东西是公理化的需要就行了，要想深入研究找《实分析》看就行了。

gordon

人民教育出版社的回答是这样的：
9 B- O" Z. N6 ?0 V; n
1 x3 Q9 {7 `  ^4 ]/ X, o4 v$ y随着义务教材（试用修订版）的使用，现在许多教师和同学询问关于0是不是自然数的问题。现予以解答如下：
; @  L! h% m6 ~+ z. ~1 j从历史上看，国内和国外对于0是不是自然数历来有两种规定：一种规定0是自然数，另一种规定0不是自然数。建国以来，我们国家的中小学教材一直规定自然数集合不包括0。
; h# _) `% ?; B1 |/ j0 m( q! \, q现在，国外的数学界，大部分都是规定0是自然数，为了国际交流的方便，《国家标准》中规定，自然数集包括0。因此，在我们新出版的教材中，按照《国家标准》进行了这样的处理，原来的自然数集合现在称为正整数集。同时，我们也按照国家标准的规定规范使用了一些数学符号的表示方法。
从使用上看，规定自然数集合是否包括0并无太大影响。作为序数，从0开始和从1开始是一样的；以前我们所说的n∈N，现在只要说n是正整数就可以了。

, n3 \$ S1 u! a. Z" r2 Z可参考国家技术监督局发布的《中华人民共和国国家标准——量和单位》（GB3100-3102-93，1993/12/27发布，1994/07/01实施）

+ q- k1 l1 \2 I1 ~% O由于教材修改要逐步完成，所以现在造成有的课本0是自然数，有的不是的情况。这个问题也不可能马上解决，考试时这个问题是可以回避的，用正整数之类的换一下就行了
; {+ f# @- t4 M5 w

komicjack

gordon 发表于 2012-4-2 19:28
- [1 b0 }$ T+ R4 m' K柯西和当时的其他数学家在阐明极限概念的过程中遇到了一些困难时，实数才成了认真考虑的对象。

& R& e* P6 @8 a9 L+ {: I. q当时大家都 ...

嗯，实分析中逼近法是非常重要的方法，一个证明中经常是先对正整数讨论，让后推广到全体整数，在推广到分数，最后用极限的概念推广到全体实数。记得当年上大学时做过很多这种题

晨池

gordon 发表于 2012-4-2 20:53
: q& R/ E3 Y& B" z8 V: g: n人民教育出版社的回答是这样的：
0 _% u; o8 N0 L4 d
随着义务教材（试用修订版）的使用，现在许多教师和同学询问关于0是不是 ...

" g0 s3 s8 Q2 f) i) ~4 c( s$ u作为序数，那是必须从0开始的阿，哈哈