非负整数包括什么

非负整数
编辑

自然数（natural number），是非负（目前课本中将0列为自然数）/正整数（1, 2, 3, 4……）。认为自然数不包含零的其中一个理由是因为人们在开始学习数字的时候是由“一、二、三...”开始，而不是由“零、一、二、三...”开始, 因为这样是非常不自然的。
自然数通常有两个作用：可以被用来计数（如“有七个苹果”），参阅基数；也可用于排序（如“这是国内第三大城市”），参阅序数。
自然数组成的集合是一个可数的，无上界的无穷集合。数学家一般以N来表示它。（以N*表示除0之外的自然数）自然数集上有加法和乘法运算，两个自然数相加或相乘的结果仍为自然数。也可以作减法或除法，但相减和相除的结果未必都是自然数，所以减法和除法运算在自然数集中并不是总能成立的。
自然数是人们认识的数系中最基本的一类。为了使数的系统有严密的逻辑基础，19世纪的数学家建立了关于自然数的两种理论：自然数的序数理论和基数理论，使自然数的概念、运算和有关性质得到严格的论述。自然数的加法、乘法运算可以在序数或基数理论中给出定义，并且两种理论下的运算是一致的。
在全球范围内，目前针对0是否属于自然数的争论依旧存在。在中国大陆，2000年左右之前的中小学教材一般不将0列入自然数之内，或称其属于“扩大的自然数列”。在2000年左右之后的新版中小学教材中，普遍将0列入自然数。
中文名
非负/整数
外文名
nonnegative integer
分 类
奇偶性、因数个数
性 质
运算、带余除法等
别 称
自然数
目录
1 定义
2 符号
3 分类
▪ 奇偶性
▪ 因数个数
4 性质
▪ 运算
▪ 带余除法
▪ 序
▪ 无限性
5 自然数列
6 历史
7 争论

定义
编辑
为了给出自然数的严格定义，皮亚诺采用序数理论提出自然数的5条公理，被称为皮亚诺公理。这五条公理用非形式化的方法叙述如下：
1是自然数；
每一个确定的自然数n都有一个确定的后继者，记作n+1。n+1也是自然数；
如果m、n都是自然数，并且m+1 = n+1，那么m = n；
1不是任何自然数的后继者；
如果某个集合S具有性质：
1在S中；
若n在S中，则n+1也在S中。
那么S=N。（公理5保证了数学归纳法的正确性，从而被称为归纳法原理）
若将0也视作自然数，则公理中的1要换成0，并且删除第4条。
第五条是归纳公理，它确保了在自然数集中数学归纳法的成立，也是对自然数集形态的一种限定。因为即使是有限集，也存在环形映射满足第二条（自单射）。而只有自然数集才能满足所有这五条的限定。
戴德金-皮亚诺结构
一个戴德金-皮亚诺结构为一满足下列条件的三元组（X,x,f）：
X是一集合，x为X中一元素，f是X到自身的映射。
x不在f的值域内。（对应上面"定义"一节的公理4）
f为一单射。（对应上面的公理3）
若A为X的子集并满足：
x属于A；
若a属于A，则f（a）亦属于A
则A=X。
不符合归纳假设的例子
集合论形式的构造
一个标准的构造方法如下：
定义

，

代表空集。
然后对于任何集合a，设

。S(a)称为a的后继，S相当于后继函数。
根据无穷性公理，自然数集存在。考虑所有包含0且在S之下封闭的集合，然后取它们的交集就得到了自然数集。可以验证这些集合是符合皮亚诺公理的。
如此，每个自然数都等同于由所有更小的自然数所组成的集合，即

在此定义下，在集合n内就有n个元素；而若n小于m，则n会是m的子集。

符号
编辑
数学家们使用 N 或

来表示所有自然数的集合。为了明确的表示不包含0，正整数集合一般如下表示：
N+ 或 N* 或

Z+ 或

而非负整数集合一般如下表示：
N0 或

或

集合论者也通常把包括0的自然数集记作希腊字母的ω（小写的欧米伽），因为第一个无穷序数便是ω。

分类
编辑

奇偶性
可分为奇数和偶数。
1、奇数：不能被2整除的数叫奇数。
2、偶数：能被2整除的数叫偶数。
也就是说，一个自然数要麽是奇数，要麽就是偶数。
注：0是偶数。

因数个数
可分为质数、合数、1和0。
1、质数：只有1和它本身这两个因数的自然数叫做质数。也称作素数。
2、合数：除了1和它本身还有其它的因数的自然数叫做合数。
3、1：只有1个因数，就是它自身。它既不是质数也不是合数。
4、0和1一样，既不是质数也不是合数。

性质
编辑

运算
对自然数可以递归定义加法和乘法。其中，加法运算“+”定义为：
a + 0 = a；
a + S(x) = S(a+x)， 其中，S(x)表示x的后继者。
如果我们将S(0)定义为符号“1”，那么b + 1 = b + S(0) = S( b + 0 ) = S(b)，即，“+1”运算可求得任意自然数的后继者。
如此，便可得出交换幺半群(N,+)，是由1生出的自由幺半群，其中幺元为0。此幺半群服从消去律，可嵌入一群内：最小的是整数群。
同理，乘法运算“×”定义为：
a × 0 = 0；
a × S(b) = a × b + a
(N,×)亦是交换幺半群；
×和+符合分配律：

自然数的减法和除法可以由类似加法和乘法的逆的方式定义。

带余除法
对于两个自然数a,b，不一定有自然数c使得

。所以若用乘法的逆来定义除法，这个除法不能成为一个二元运算（即不符合封闭性，即使不允许除以0）。但我们可以用带余除法作为替代。
现设a,b为自然数，

，则有自然数q和r使得a=bq+r且r<b。这里的q称为a除以b的商，r称为a除以b的余数。数对(q,r)是被a,b所唯一决定的。
一个例子是

，也就是

。这里a=62，b=7，q=8，r=6。
带余除法在数论中有不少用途，比如说辗转相除法的基本步骤就是带余除法。

序
我们说

当且仅当有自然数使得

。当

而a不等于b时，记作a<b。
二元关系

在自然数集上符合：
自反性：若a是自然数，则

；
反对称性：设a,b是自然数。若

且

，则a=b；
传递性：设a,b,c都是自然数。若

且

，则

；
完全性：对于任意两个自然数a,b，有且只有下列两种关系之一：

或

。
（或者等价的三分性：a<b，a=b，或a>b）
因为符合以上的四种性质，所以

是一全序。
事实上，

是一个良序集，即每个非空子集都有一个最小的自然数。此亦是最小数原理的陈述。
此序也和加法及乘法兼容，即若a,b,c都是自然数且

，则

及

。

无限性
自然数集是一个无穷集合，自然数列可以无止境地写下去。
对于无限集合来说，“元素个数”的概念已经不适用，用数个数的方法比较集合元素的多少只适用于有限集合。为了比较两个无限集合的元素的多少，集合论的创立者德国数学家康托尔引入了一一对应的方法。这一方法对于有限集合显然是适用的，现推广到无限集合，即如果两个无限集合之间能建立一个一一对应，我们就认为这两个集合的元素是同样多的。对于无限集合，我们不再说它们的元素个数相同，而说这两个集合等势，或者说，这两个集合的基数相同。自然数集的基数是阿列夫零，记作

。
与有限集对比，无限集有一些特殊的性质，其一是它可能与自身的真子集有一一对应的关系，例如:
0 1 2 3 4 … （自然数集）
↕ ↕ ↕ ↕ ↕
1 3 5 7 9 …（奇数组成的集合）
这就是说，这两个集合有同样多的元素，或者说，它们是等势的。大数学家希尔伯特曾用一个有趣的例子来说明自然数的无限性：如果一个旅馆只有有限个房间，当它的房间都住满了时，再来一个旅客，经理就无法让他入住了。但如果这个旅馆有无数个房间，也都住满了，经理却仍可以安排这位旅客：他把1号房间的旅客换到2号房间，把2号房间的旅客换到3号房间，……如此继续下去，就把1号房间腾出来了。
和自然数集等势的集合有：
由自然数的有限序列组成的集合
整数集
有理数集
代数数集
可数个可数集合的并集
自然数集的势严格小於实数集的势，即两者间不能建立一一对应（详见对角论证法）。事实上，实数集的势是

，即自然数集的幂集的势。

自然数列
编辑
数列0,1,2,3,4,5,…n,... 称为自然数列（OEIS中的数列A000027）。
自然数列的通项公式an=n。
自然数列的前n项和Sn=n(n+1)/2。 Sn=na1+n(n-1)/2
自然数列本质上是一个等差数列，首项a1=1，公差d=1。

历史
编辑
自然数由数数而起。自然数最初的表示法是用一个符号代表每个物体，
古巴比伦数字
比如