万维百科

自然数

各种各样的
基本

NumberSetinC.svg

正数
自然数
正整数
小数
有限小数
无限小数
循环小数
有理数
代数数
实数
复数
高斯整数

负数
整数
负整数
分数
单位分数
二进分数
规矩数
无理数
超越数
虚数
二次无理数
艾森斯坦整数

延伸

二元数
四元数
八元数
十六元数
超实数
大实数
上超实数

双曲复数
双复数
复四元数
共四元数英语Dual quaternion
超复数
超数
超现实数

其他

质数
可计算数
基数
阿列夫数
同余
整数数列
公称值

规矩数
可定义数
序数
超限数
p进数
数学常数

圆周率
自然对数的底
虚数单位
无穷大

自然数(参考ISO 80000-2和ISO 2382中所采用的定义)指非负整数 [1][2],为免歧义有时也直接以非负整数代替自然数使用。数学中,一般以代表以自然数组成的集合。自然数集是一个可数的,无上界无穷集合。非零自然数即指正整数

自然数可用于计数(如:桌子上有“三”个苹果)和定序(如:国内“第三”大城市)。

符号

常用双线的大写 N 符号来表示自然数集合。

数学家们使用来表示所有自然数的集合。较早的教科书也有使用来表示这一集合的情况。[3]

为了消除是否包含0的歧义,有时通过上、下标的形式表示集合中是否包含0:[4]

  • 自然数:
  • 非零自然数:

定义

基于序数理论

基于序数理论提出的皮亚诺公理可以得到自然数的许多特性,这五条公理用非形式化的方法叙述如下:

  1. 0是自然数;
  2. 每一个确定的自然数a,都有一个确定的后继数a' a' 也是自然数;
  3. 对于每个自然数bcb=c当且仅当b的后继数=c的后继数;
  4. 0不是任何自然数的后继数;
  5. 任意关于自然数的命题,如果证明:它对自然数0是真的,且假定它对自然数a为真时,可以证明对a' 也真。那么,命题对所有自然数都真。

其中,一个数的后继数指紧接在这个数后面的数,例如,0的后继数是1,1的后继数是2等等;公理5保证了数学归纳法的正确性,从而被称为归纳法原理。

基于基数理论

在基数理论中,集合论的一般做法是将0定义为空集后,将任一非零自然数看作是所有比该数小的自然数组成的集合,即

通过无穷公理,可以得到存在一个只包含全体自然数的自然数集

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

性质

无限性

自然数的集合是无限集。根据定义,这种无限称为可数无限。可以与自然数建立双射关系的所有集合都具有这种无限性,称作,这个集合的

可加性

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

可乘性

同理,自然数乘法可经 得出。

加乘关系

亦是交换幺半群;符合分配律

有序性

我们说当且仅当有自然数使得是一个良序集,即每个非空子集都有一个最小的自然数。

此序也和加法及乘法兼容,即若都是自然数且,则

可除性

给定两个自然数,其中,可找到唯一的两个自然数使得

称为“商数”而称为“余数”。 若,则称可被整除,记为

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

历史与0的争议

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

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

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

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

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

认为自然数不包含零的其中一个理由是自然数所指为自然界中存在的数,例如一棵大树、两条鱼、十亿个细胞等等,而鲜少有人说零个物品。

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

中国大陆于1993年制定的强制性国家标准《物理科学和技术中使用的数学符号》(GB 3102.11-93)参照国际标准ISO 31-11规定:表示“非负整数集;自然数集”,

推广

自然数用于计数时称之为基数,用于定序时称之为序数。基数用于判定集合的大小,序数用作排列。

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

参考来源

  1. ^ Standard number sets and intervals. ISO 80000-2:2019 Quantities and units — Part 2: Mathematics. International Organization for Standardization. 2019-08: 6.
  2. ^ Terms and definitions. Information technology — Vocabulary. International Organization for Standardization. 2015-05.
  3. ^ Rudin, W. Principles of Mathematical Analysis. New York: McGraw-Hill. 1976: 25. ISBN 978-0-07-054235-8.
  4. ^ 人民教育出版社 课程教材研究所。中国数学课程教材研究开发中心. 普通高中标准课程实验教科书 数学1 必修 A版. 人民教育出版社. 2004年5月. ISBN 9787107177057 (中文(简体)).
  5. ^ 王好民,《谈谈中学数学中的“0”》。曲阜师院学报(自然科学版),1979年03期。
  6. ^ (沧州市第一中学)李元星,潘峰,《关于0是自然数的探讨》。教育实践与研究,2004年01期。
  7. ^ (江苏省连云港市墟沟实验小学)傅海洋,《“0是自然数”引发的教学问题》。现代中小学教育,2007年08期。

本页面最后更新于2021-06-01 23:48,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器