自然数

维基百科,自由的百科全书
跳转至: 导航搜索
各种各样的
基本

\mathbb{N}\subseteq\mathbb{Z}\subseteq\mathbb{Q}\subseteq\mathbb{R}\subseteq\mathbb{C}

正數 \begin{smallmatrix} \mathbb{R}^+ \end{smallmatrix}
自然数 \begin{smallmatrix} \mathbb{N} \end{smallmatrix}
正整數 \begin{smallmatrix} \mathbb{Z}^+ \end{smallmatrix}
小数
有限小数
无限小数
循环小数
有理数 \begin{smallmatrix} \mathbb{Q} \end{smallmatrix}
代數數 \begin{smallmatrix} \mathbb{A} \end{smallmatrix}
实数 \begin{smallmatrix} \mathbb{R} \end{smallmatrix}
複數 \begin{smallmatrix} \mathbb{C} \end{smallmatrix}
高斯整數 \begin{smallmatrix} \mathbb{Z}[i] \end{smallmatrix}

负数 \begin{smallmatrix} \mathbb{R}^- \end{smallmatrix}
整数 \begin{smallmatrix} \mathbb{Z} \end{smallmatrix}
负整數 \begin{smallmatrix} \mathbb{Z}^- \end{smallmatrix}
分數
單位分數
二进分数
規矩數
無理數
超越數
虚数
二次无理数
艾森斯坦整数 \begin{smallmatrix} \mathbb{Z}[\omega] \end{smallmatrix}

延伸

雙複數
四元數 \begin{smallmatrix} \mathbb{H} \end{smallmatrix}
共四元數
八元數 \begin{smallmatrix} \mathbb{O} \end{smallmatrix}
超數
上超實數

超复数
十六元數 \begin{smallmatrix} \mathbb{S} \end{smallmatrix}
複四元數
大實數
超實數 \begin{smallmatrix} {}^\star\mathbb{R} \end{smallmatrix}
超現實數

其他

对偶数
雙曲複數
序数
質數
同餘
可計算數
阿列夫数

公稱值
超限数
基數
P進數
規矩數
整數數列
數學常數

圓周率 \begin{smallmatrix} \pi \end{smallmatrix}
 = 3.141592653…
自然對數的底 \begin{smallmatrix} e \end{smallmatrix}
 = 2.718281828…
虛數單位 \begin{smallmatrix} i \end{smallmatrix}
 = \begin{smallmatrix} +\sqrt{-1} \end{smallmatrix}
無窮大 \begin{smallmatrix} \infty \end{smallmatrix}

自然数,可以是指正整数(1, 2, 3, 4...),亦可以是非负整数(0, 1, 2, 3, 4...)。在数论通常用前者,而集合论计算机科学则多數使用後者。認為自然數不包含的其中一個理由是因為人們(尤其是小孩)在開始學習數字的時候是由「一、二、三...」開始,而不是由「零、一、二、三...」開始, 因為這樣是很不自然的。

自然数通常有两个作用:

  • 可以被用来计数(如“有三个苹果”),參閱基數
  • 也可用于排序(如“这是国内第三大城市”),參閱序數

自然数有关整除性的特性,例如素数的分布,属于数论研究范围的课题。有关计数的问题,比如Ramsey理论在组合学中研究。

数学家一般以\mathbb{N}代表以自然数组成的集合。這是一個可數的,無上界無窮集合

历史与0的定性[编辑]

自然数由数数目而起。古希臘人最早研究其抽象特性,当中毕达哥拉斯学派更视之为宇宙之基本。其它古文明也对其研究作出极大贡献,尤其以印度对0的接受,为人称道。

零早于公元前400年被巴比伦人用作数码使用。玛雅人于公元200年将零视为数字,但未与其它文明有所交流。现代的观念由印度学者婆罗摩笈多于公元628年提出,经阿拉伯人传至欧洲。欧洲人开始时仍对零作为数字感到抗拒,认为零不是一个“自然”数。

19世纪末,集合论者给自然数一个较严谨的定义。据此定义,把零(对应于空集)包括于自然数内更为方便。逻辑论者及计算机科学家,接受集合论者的定义。而其他一些数学家,主要是数论学家,则依从传统把零拒之于自然数之外。

在全球范围内,目前针对0是否属于自然数的争论依旧存在。

在中国大陆,2000年左右之前的中小学教材一般将0列入自然数之内,或称其属于“扩大的自然数列”[1]。在2000年左右之后的新版中小学教材中,普遍将0列入自然数。[2][3]

国际标准ISO 31-11:1992《量和单位 第十一部分:物理科学和技术中使用的数学标志与符号》(已被ISO/IEC 80000-2取代)中,从集合论角度规定:符号 \mathbb{N} 所表示的自然数集是包括正整数和0。

中国于1993年制定的强制性国家标准《物理科学和技术中使用的数学符号》(GB 3102.11-93)参照国际标准ISO 31-11:1992规定:\mathbb{N}表示“非负整数集;自然数集”,\mathbb{N}={0,1,2,3,...}。

符号[编辑]

数学家们使用 N\mathbb{N} 来表示所有自然数的集合。当指正整数时,为了明确的表示不包含0,自然数集合可如下表示:

当指非负整数时,为了明确的表示包含0,自然数集合可如下表示:

  • N0\mathbb{N}^{0}

定义[编辑]

爲了给出自然数的严格定义,皮亚诺采用序数理论提出自然数的5条公理,被稱爲皮亚诺公理。这五条公理用非形式化的方法叙述如下:

  1. 1是自然数;
  2. 每一个确定的自然数n都有一个确定的后继者,记作n+n+1n+1也是自然数;
  3. 如果mn都是自然数,并且m+1 = n+1的后继数,那么m = n
  4. 1不是任何自然数的后继者;
  5. 如果一些自然数的集合S具有性质:
 (1)1在S中;(2)若nS中,则n+1也在S中。

那么S = N。(这条公理保证了数学归纳法的正确性,从而被称为归纳法原理)

若将0也视作自然数,则公理中的1要换成0。

基数理论中,集合论的一般作法是把一自然数看作是所有比它少的自然数组成的集合,即 0 = { },1 = {0},2 = {0,1},3 = {0,1,2} ……若有人把自然数看作集合,通常就是如上。

在此定义下,在集合 n 内就有 n 个元素;而若 n 小于 m,则 n 会是 m子集

性质[编辑]

自然数加法可经a+0=aa+(b+1)=(a+b)+1递归定义而成。因而得出交换幺半群(N,+),是由1生出的自由幺半群,其中幺元0。此幺半群服从消去律,可嵌入一内:最小的是整数群。

同理,自然数乘法\times 可经a \times 0=0a \times (b+1)=ab+a 得出。而(N, \times)亦是交换幺半群;\times+符合分配律

a \times (b+c)=ab+ac

我们说a \le b当且仅当有自然数c使得a+c=b(N, \le)是一个良序集,即每个非空子集都有一个最小的自然数。此序也和加法及乘法兼容,即若abc都是自然数且a \le b,则a+c \le b+cac \le bc

给出两个自然数abb \ne 0,可找到唯一两个自然数qr使得

a=bq+r

q称为“商数”而r称为“余数”。 若r=0a可被b 除尽,记为b|a

相关概念有可除性辗转相除质数及其它数论慨念。

推广[编辑]

自然数有两种推广:序数用作排列,而基数用于判定集合的大小。

对于有限序列或有限集合,序数及基数皆与自然数同。

参考文献[编辑]

  1. ^ 王好民,《谈谈中学数学中的“0”》。曲阜师院学报(自然科学版),1979年03期。
  2. ^ (沧州市第一中学)李元星,潘峰,《关于0是自然数的探讨》。教育实践与研究,2004年01期。
  3. ^ (江苏省连云港市墟沟实验小学)傅海洋,《“0是自然数”引发的教学问题》。现代中小学教育,2007年08期。
  4. ^ 大陆高中课本亦有用“N*”表示正整数集。人民教育出版社 课程教材研究所。中国数学课程教材研究开发中心. 普通高中标准课程实验教科书 数学1 必修 A版. 人民教育出版社. 2004年5月. ISBN 9787107177057 (简体中文). "N*N+ 正整数集"