查看“︁数”︁的源代码

{{Otheruses|other=[[语法]]上的「數」|数 (语法)}}
{{numbers}}
[[File:NumberSetinC.svg|thumb|[[复数 (数学)|複數]]的[[子集]]。]]

'''數'''（number）是一個用作[[計數]]、標記或用作[[量度]]的[[抽象化|抽象]][[概念]]，是用以比较同质性或同属性物件等级的简单符号记录形式（或称[[度量]]）。因此，“数”是“量”的抽象化，数是用来界定某物件的[[量]]与一[[单位量]]的关系<ref>{{cite book |author1=李源順 |title=數學這樣教：國小數學感教育 |date=2018 |publisher=五南圖書出版股份有限公司 |isbn=9789571198651 |page=108, 109, 419}}</ref><ref>{{cite book |author1=Catherine Goldstein |coauthors=Norbert Schappacher, Joachim Schwermer |title=The Shaping of Arithmetic after C.F. Gauss's Disquisitiones Arithmeticae |date=2007 |publisher=Springer Science & Business Media |isbn=9783540347200 |page=323}}</ref>；用[[集合 (数学)|集合]]的概念来说，数是相似的类所构成的集合，其由各种物件中抽象而得<ref>Moreno, A. (1974). Bertrand Russell's Concept of Number. Angelicum, 51(1), 88–110. http://www.jstor.org/stable/44619222 {{Wayback|url=http://www.jstor.org/stable/44619222 |date=20230209073244 }}</ref>，例如5个人、5公升、5小时等相似的类（所有5个量的物件）所构成的集合，用5表示之。

代表“數”的一系列[[符號]]，包括[[數字]]、[[運算符號]]等統稱為[[記數系統]]。在日常生活中，數通常出現在在標記（如[[公稱值|公路、電話和門牌號碼]]）、序列的指標（[[序列號]]）和代碼（[[ISBN]]）上。在[[數學]]裡，數的定義延伸至包含如如分數、負數、無理數、超越數及複數等抽象化的概念。

起初人們只覺得某部分的數是數，後來隨著需要，逐步將數的概念擴大；例如[[畢達哥拉斯]]認為，數必須能用[[整數]]和整數的比表達的，後來發現[[无理数]]無法這樣表達，引起第一次[[數學危機]]，但人們漸漸接受無理數的存在，令數的概念得到擴展。

數的[[算術]]運算（如[[加法|加]][[減法|減]][[乘法|乘]][[除法|除]]）在[[抽象代數]]這一[[數學]]分支內被廣義化成抽象[[數系|數字系統]]，如[[群]]、[[環 (代數)|環]]和[[體 (數學)|體]]等。

== 數的類別 ==
數可以被分類為[[數系]]的[[集合 (数学)|集合]]內。對於以符號表示數的不同方式，則請看[[記數系統]]。

=== 自然數 ===
{{main|自然數}}

最常用的數為'''[[自然數]]'''，有些人指'''[[正整數]]'''，有些人則指'''[[非負整數]]'''。前者多在[[數論]]中被使用，而在[[集合論]]和[[電腦科學]]中則多使用後者的定義。

在[[十進位]]數字系統裡，自然數的標記符號為0至9等十個[[數字]]，將以十為基數的[[進位制]]使用在大於九的數上。
因此，大於九的數會有兩個或兩以上的位數。表示所有自然數的集合為ℕ、<math>\mathbb{N} \ </math>。

=== 整數 ===
{{main|整數|正整数|负整数|0}}

'''[[負整數]]'''是小於 [[0]] 的整數，通常在其前面加上一負號(−)，來表示其為正整數的對立。
例如，若一個正整數是用來表示距一定點 0 右邊多少的距離，則一個負整數即表示距此定點 0 左邊多少的距離。
相似地，若一正整數表示一銀行存款，則一負整數即表示一銀行提款。
負整數、正整數和零三者即合稱為[[整數]]ℤ、<math>\mathbb{Z} \ </math>（德語 ''Zahl'' 的縮寫）。

=== 有理數 ===
{{main|有理數|無理數}}

[[有理數]]是指可以被表示成整數分子(<math>\mathit{m}</math>)和非零整數分母(<math>\mathit{n}</math>)的[[分數]]的數，即<math>\tfrac{m}{n}</math>，其代表 1 被分做相同的<math>\mathit{n}</math>份，再取<math>\mathit{m}</math>份後的量。兩個不同分數可能會對應到相同的有理數，如：<math>\tfrac{-10}{-20} =\tfrac{2}{4} = \tfrac{1}{2}</math>。若<math>\mathit{m}</math>的[[絕對值]]大於<math>\mathit{n}</math>的絕對值時，其分數的絕對值會大於 1。分數可以是正的、負的、或零。所有分數所組成的集合包含有整數，因為每一個整數都可以寫成分母為 1 的分數。有理數的符號為ℚ，<math>\mathbb{Q}</math>（''quotient'' <中文：商>的縮寫）。

=== 實數 ===
{{main|實數|虚数}}
不嚴謹地說，實數可以和一連續的直線[[數線]]視為同一事物。
所有的有理數都是實數，實數也包含無理數，
所有實數可以分成正數、零和負數。

實數可以被其數學性質獨特地描繪出：它是唯一的一個[[完備性|完備]][[全序關係|全序]][[體 (數學)|體]]。
但它不是個[[代數閉域]]。

[[十進位]]數是另一種能表示數的方式。
在以十為底的數字系統內，數可以被寫成一連串的數字，
且在個位數右邊加上[[句號 (西方)|句號]]（[[小數點]]）（在美國和英國等地）或[[逗號]]（在歐洲大陸），負實數則在再前面加上一個[[負號]]。以十進位標記的有理數，其位數會一直重複或中斷（雖然其後面可以加上任意數量的零），而0是唯一不能以重複位數定義的實數。例如，分數<math>\frac{5}{4}</math>能夠寫做中斷位數的十進位數1.25，也能寫做重複位數的十進位數1.24999...（無限的9）。
分數<math>\frac{1}{3}</math>只能夠寫做 0.3333...（無限的3）。
所有重複與中斷的十進位數定義了能被寫成分數的有理數。
而不像重複與中斷的十進位數一般，非重複且非中斷的十進位數代表'''[[無理數]]'''，不能被寫成分數的數。
例如，著名的[[數學常數]]，<math>\pi</math>（[[圓周率]]）和<math>\sqrt{2}</math>都是無理數，表示成十進位數 0.101001000100001...的實數也是無理數，因為其表示不會重複，也不會中斷。

'''[[實數]]'''由所有能被十進位數表示的數所組成，不論其為有理數或無理數。
另外，實數也可以分為[[代數數]]和[[超越數]]，
其中超越數一定是無理數且有理數一定是代數數，其他則不一定。
實數的符號為<math>\mathbb{R}\ </math>ℝ(Real的縮寫)。
實數可以被用來表示[[量度]]，而且對應至[[數線]]上的點。
當量度只可能精準至某一程度時，使用實數來表示量度總是會有一些誤差。
這一問題通常以取定一適當位數的[[有效數字]]來處理。

=== 複數 ===
{{main|複數 (數學)}}
移動到更多層次的抽象化時，實數可以被延伸至'''[[複數 (數學)|複數]]'''<math>\mathbb{C}</math>。
歷史上，此數的誕生源自於如何將負1取[[平方根]]的問題。

從這一問題，一個新的數被發現了：-1的平方根。
此數被標記為'''[[虛數單位|i]]'''，由[[萊昂哈德·歐拉]]介紹出的符號。
複數包含了所有有<math>a+bi</math>形式的數，其中<math>a</math>和<math>b</math>是實數。
當<math>a</math>為零時，<math>a+bi</math>被稱為[[虛數]]。
相同地，當<math>b</math>為零時，<math>a+bi</math>為實數，因為它沒有虛數部份。
一個<math>a</math>和<math>b</math>為整數的複數稱為[[高斯整數]]。
複數是個[[代數閉域]]，即任一複數係數的[[多項式]]都能有解。
複數也可以對應至[[複數平面]]上的點。

上述就提到的各個數系，每個都是下一個數系的[[子集]]。

以符號來表示的話，即為<math>\mathbb{N} \sub \mathbb{Z} \sub \mathbb{Q} \sub \mathbb{R} \sub \mathbb{C}</math>。

=== 其他類型 ===
Superreal, [[超实数 (非标准分析)|超实数]]和[[超現實數]]加上無限小和[[無限大]]兩種數來延伸實數，但依然是[[域 (數學)|體]]。

* [[四元數]]
* [[八元數]]
* [[十六元數]]
* [[P進數]]

== 表示方式 ==
* [[分數]]
* [[小數]]
* [[科学记数法]]
* [[數系|數字系統]]
* [[进位制]]

== 記數系統 ==
數和以符號來表示數的[[記數系統]]不同。
五可以表示成十進位數5和[[羅馬數字]]V。

記數系統在歷史上的重要發展是[[進位制]]的發展，
如現今的十進位制，可以用來表示極大的數。

而羅馬數字則需要額外的符號來表示較大的數。
'''记数系统'''是指用何种方式来记录数的系统，可以是符号形式，也可以是实物形式。
无论符号记数还是实物记数，
如今都抽象成了数码的有序左右排列形式，并且认定左面的数码是右面数码的N倍（N是一个大于1的自然数），这就是N进制记数法，简称为'''N进制'''。N＝2、3、4、5、8、10、16、...的进制，就分别称为二进制、三进制、四进制、五进制、八进制、十进制、十六进制、...各种进制数之间可以转化。
例如二进制的10111和十进制的23可以相互转化。
人们熟悉十进制，目前电子机器记数使用二进制，将来出现四进制的量子态记数方式也未必可知。
记数系统中使用的占位符号叫数码，N进制的数码所代表的数从0到N-1，分别用0、1、2、... 、@来记，其中@代表的数是N-1，是最大数码。
例如十六进制使用的数码是0、1、2、3、4、5、6、7、8、9、A、B、C、D、E、F，十六进制的最大数码@就是“F”。
用数码左右排列的数如果认定某数码间的位置有一个小数点，就可以表示具有小数部分的数。
小数点左移一位，该数就缩小N倍，相反则该数扩大N倍。
人们习惯用“-”放在数码排列的最左面来表示负数，例如十进制的-675.76。
机器表示正负数一般不用“+”、“-”，而使用'''限位数'''的方法。限位数就是数码位数固定的数。
例如，3位十进制数共有1000个，只能是000～999，不可能出现其他的表示。
如果认定某位置有小数点，这1000个数就可以表示具有小数部分的数。
限位数可以不用“+”、“-”就可以表示正负数，方法是将所有能表示出来的数按着大小分为对称的两部分，
对称的规则是“表示的两整数之和是数的总数”，
较大的那个对称数就表示较小那个对称数的相反数。
这种规定之下，3位十进制数的501～999就可以认定是负数-499～-1，由于500自身对称，去掉二义性，
规定500就表示是“-500”，这就是'''对称制'''（類似[[二補數|2補數表示法]]）。对称制中偶进制的负数会比正数多一个，
因而表数正负数的区间不对称，但N是奇数时，表数区间是对称的。对称制适合机器数值计算。

== 歷史 ==
=== 整數的歷史 ===
==== 第一個數 ====
{{see|记数系统}}

數的第一次使用可回溯到大約西元前三萬年前，
當[[計數符號]]被舊石器時代的人使用的時期。
現今所知最早的一個例子在南非的一個洞穴內。[https://web.archive.org/web/20110514214202/http://www.pballew.net/arithme6.html]此一系統沒有進位制的概念（如現今所用的十進位制），這使得它表示大數的能力受到了限制。

現今所知最早有進位制的系統則是美索不達米亞的六十進位制（約西元前3400年），
而最早的十進位制在西元前3100年的[[埃及]]。[http://www.math.buffalo.edu/mad/Ancient-Africa/mad_ancient_egyptpapyrus.html#berlin] {{Wayback|url=http://www.math.buffalo.edu/mad/Ancient-Africa/mad_ancient_egyptpapyrus.html#berlin |date=20150407231917 }}

==== 0的歷史 ====
{{see|0}}

把零當成數來使用和其在[[進位制]]中當占位標記不同。
許多的古印度人使用[[梵文]]''Shunya''來指''虛無''這一概念，
而在數學文章內，這一詞則常被拿來指零這一數。
[https://web.archive.org/web/20120112073735/http://sunsite.utk.edu/math_archives/.http/hypermail/historia/apr99/0197.html][[波你尼]]（Pāṇini，西元前5世紀）在其以[[梵文]]寫[[形式文法]]的書－八章書（Ashtadhyayi）裡，使用了無效（零）算子。

文獻顯示[[古希臘]]似乎不確定零做成一個數的地位：
他們問自己"無物如何變成有物"，因而導致有趣的[[哲學]]問題。
在中世紀時，零和[[真空]]的性質和存在甚至成了宗教上的爭論。
[[埃利亞人芝諾]]的[[芝諾悖論|悖論]]很大一部份便依靠在對零不確定的解釋上。（古希臘人甚至懷疑過[[1]]是否是一個數。）

[[墨西哥]]中南部[[奧爾梅克文明]]晚期的人民已在新大陸上開始使用真正的零，
其時間可能是在西元前4世紀，但較肯定的是在西元前40年，它變成了[[瑪雅數字]]和[[瑪雅曆]]的一部份，
但完全沒有影響到舊大陸的記數系統。

西元130年時，[[托勒密]]被[[喜帕恰斯]]和巴比倫人在六十進位制裡使用了零的符號（小圓圈加上一長上標線）所影響，將其使用在[[希臘數字]]上。因為它只是單獨使用，而非做為一占位符，[[希臘數字#希臘的零|希臘的零]]是舊大陸第一個做為書寫使用的真正的零。而在之後的[[拜占庭帝國|拜占庭]]抄本上，希臘的零才演變成了[[希臘字母]][[Ο]]（另外它也有70的意思）。

另一真正的零在西元525年被使用在以[[羅馬數字]]編製的表格上（[[狄奥尼修斯·伊希格斯]]是現知第一位使用者），但當時是使用意思為''無物''的一個名詞''nulla''，而非一個符號。當除法把零視為餘數時，則使用另一意思也是''無物''的詞''nihil''。中世紀的零被所有中世紀計算[[復活節]]的[[復活節計算表冊|計算家]]們使用著。其首字母 N 的單獨使用是在西元725年由[[比德|聖比德]]或其同僚在羅字數字的表格上使用，一個真正的零的符號。

零的一個早期書寫使用是於西元628年由[[婆羅摩笈多]]（寫於[[宇宙的開始]]（Brāhmasphuṭasiddhānta））所使用的。他把零視為一個數，並討論包含零的運算，包括除法。在同一時期（西元七世紀），其概念已很清楚地傳到了[[柬埔寨]]，後來顯示其觀念的文書更傳到了[[中國]]和[[伊斯蘭]]世界。

==== 負數的歷史 ====
{{see|en:Negative and non-negative numbers#First usage of negative numbers}}

負數的抽象概念早在西元前100年至50年間就被確認過了。[[中國]]的[[九章算術]]裡就提到尋找圖形面積<!--the areas of figures，不知翻釋的對不對？-->的方法：以紅色棒子來標記正數，黑色來標記負數。這是負數在[[東方]]最早被提及的記錄。而西方的第一次論述則是在西元三世紀的[[希臘]]，[[丟番圖]]在其著作''Arithhmetica''裡提及一個和<math>4x+20=0</math>（其解為負數）相等的方程，且說這個方程會給出荒謬的解答。

在西元七世紀間，負數在[[印度]]被用來表示負債。丟番圖先前的論述被印度數學家[[婆羅摩笈多]]在[[宇宙的開始]]中討論的更詳盡，他使用負數來產生[[一元二次方程|公式解]]，到現在還依然被使用著。但到了西元12世紀的印度，[[婆什迦羅第二]]在得出一元二次方程的負根之後，卻還說這一負值「在此例不被採用，因為它不適合；人們不會同意有負根的。」

大多數的[[歐洲]]數學家直到西元十七世紀仍不接受負數的概念，雖然[[斐波那契]]允許負數在金融問題上被解釋為負債，後來又允許視為損失。負數在歐洲的第一次被使用是在西元十五世紀被[[尼古拉斯·丘凱]]所使用的。他把負號加上數的右上方（冪的位置）上來表示負數，但也說這些負數是「荒謬的數」。亞諾用<math>(-1):1=1:(-1)</math>這個比例式來反對引進負數這個概念，在這個比例式中，大數比小數等於小數比大數。

十七世紀，數學家[[沃利斯]]主張負數會大於[[無限]]，而且一般的實作應該忽略任何由題目導出的負數，因為它們是無意義的。

=== 有理數、無理數和實數的歷史 ===
{{seealso|:en:irrational number#History|圆周率#π的计算及历史|:en:History of pi}}

==== 有理數的歷史 ====
有理數的概念，相信起源於[[史前時期]]。就連[[古埃及]]的数学手稿中已经出现了將一般的[[分数]]转换成[[古埃及分數]]的方法。古希臘和古印度數學家也将有理數理論的研究作為一般數論研究的一部分。 其中最有名的是公元前300年左右的[[欧几里得]]的[[几何原本]]。在古印度手稿中与此最为相关的则是研究数论的{{lang|en|Sthananga Sutra}}。

[[小數]]的概念與十进制記號有緊密的關係；它們似乎是串聯地發展的。 比如说，在印度耆那教的箴言集就提到了<math>\pi</math>和[[2的算术平方根]]。

=== 複數 ===
{{further|复数 (数学)}}

最早但短暫論及負數平方根的是在西元一世紀希臘數學家和發明家[[希羅]]的工作中，當他在思考一[[金字塔]]可能的[[平截頭體]]體積時。複數在西元十六世紀開始變得很顯著，因為義大利數學家（見[[塔塔利亞]]和[[卡爾達諾]]）所發現三次及四次多項式的公式解。這一公式很快就被知道，而即使只注意實數解的部份，有時也會有需要操作負數平方根的時候。

這使人感到雙倍的不安，因為當時連負數都不被認為是很牢固的了。虛（imaginary）這一詞因此在1637年被[[笛卡爾]]創造出來，並且帶有些許貶義（參考[[虛數]]中討論複數真實性的部份）。更令人困惑的來源是等式<math>\sqrt{-1}^2=\sqrt{-1}\sqrt{-1}=-1</math>似乎任性地不和代數恆等式<math>\sqrt{a}\sqrt{b}=\sqrt{ab}</math>相合，而這一代數恆等式卻是在<math>a</math>和<math>b</math>都是正數時成立，而且也在<math>a</math>和<math>b</math>一正一負時可以被使用在複數計算上。這一恆等式（和另一相關的恆等式<math>\frac{1}{\sqrt{a}}=\sqrt{\frac{1}{a}}</math>）在<math>a</math>和<math>b</math>皆為負數時的錯誤使用甚至使得[[萊昂哈德·歐拉]]感到迷惑。這一困難最終導致他使用一特別的符號<math>i</math>來取代<math>\sqrt{-1}</math>來警惕此一錯誤。

觀看十八世紀時[[亞伯拉罕·棣莫弗]]和[[萊昂哈德·歐拉]]的工作。棣莫弗於西元1730年完成了以他為名的著名公式，[[棣莫弗定理]]：
:<math>(\cos \theta + i\sin \theta)^{n} = \cos n \theta + i\sin n \theta \,</math>

而歐拉則在西元1748元完成[[複數分析]]中的[[歐拉公式]]：
:<math>\cos \theta + i\sin \theta = e ^{i\theta }. \,</math>

複數的存在在西元1799年由[[卡斯帕爾·韋塞爾]]提出了幾何解釋之前都沒有被完全地接受，這一解釋在幾年後被[[高斯]]重新發現並普及，結果使複數理論得到了顯要的擴張。複數圖像表示的概念早在1685年便在[[约翰·沃利斯|沃利斯]]的''De Algebra tractatus''一書中提及。

也是在1799年，高斯提出了第一個廣為人接受的[[代數基本定理]]證明，表示任一複數係數多項都有完全的複數解。複數理論被廣泛地接受，[[奧古斯丁·路易·柯西]]和[[尼爾斯·阿貝爾]]的工作也佔了很大的功勞，尤其是後者，他是第一個大膽成功使用複數的人。

高斯研究過[[高斯整數]]（<math>a+bi</math>中的<math>a</math>和<math>b</math>是整數或有理數）。而其學生[[費迪南·艾森斯坦]]則研究過<math>a+b\omega</math>中的ω是<math>x^3-1=0</math>複數根的類型。其他種類的複數還有由較大<math>k</math>值的[[單位根]]<math>x^k-1=0</math>推出的類型。其普遍化大部份歸功於[[恩斯特·库默尔]]的工作，他也引進了[[理想數]]的概念，它在1893年被[[菲利克斯·克萊因]]表示成幾何實體。[[域 (數學)|域]]的一般理論由[[埃瓦裡斯特·伽羅瓦]]創造出來，他主要在研究由多項式方程<math> F(x)=0</math>產生出來的體。

西元1850年，[[皮瑟]]成功地把極點（pole）和分支點（branch point）區別出來，而且引起了[[奇点 (数学)|數學奇點]]的概念，這一概念最終導致出了[[黎曼球]]的概念。

==参考==
<references/>

== 參見 ==
* [[數線]]
* [[數表]]
* [[№]]
;不同文化的數字
* [[阿拉伯數字]]
* [[巴比倫數字]]
* [[古埃及數字]]
* [[希臘數字]]
* [[羅馬數字]]
* [[希伯來數字]]
{{數的系統}}
{{Authority control}}
[[Category:数| ]]