數

數學嘅數

基本

$\mathbb {N} \subset \mathbb {Z} \subset \mathbb {Q} \subset \mathbb {R} \subset \mathbb {C}$

自然數 $\mathbb {N}$
整數 $\mathbb {Z}$
二進分數
 有限小數
 循環小數
 有理數 $\mathbb {Q}$
高斯整數 $\mathbb {Z} [i]$
代數數 $\mathbb {A}$
實數 $\mathbb {R}$
複數 $\mathbb {C}$

負數
 分數
 單位分數
 無限小數
 規矩數
 無理數
 超越數
 二次無理數
 虛數
 艾森斯坦整數 $\mathbb {Z} [\omega ]$

延伸

雙複數
 四元數 $\mathbb {H}$
共四元數
 八元數 $\mathbb {O}$
超數
 上超實數
 超現實數

超複數
 十六元數 $\mathbb {S}$
複四元數
 Tessarine
大實數
 超實數 ${}^{\star }\mathbb {R}$

其他

對偶數
 雙曲複數
 序數
 質數
 同餘
 可計算數
 艾禮富數

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

圓周率 π = 3.141592653…
自然對數嘅底 e = 2.718281828…
虛數單位 i = $+{\sqrt {-1}}$
無窮大量 ∞

數sou3（number，好多時假借漢字寫做冧把/冧巴）係用嚟數嘢或者度嘢嘅架生，寫出嚟嘅符號就係數字。好耐之前，數只可以正整數，但隨住數學嘅發展，而家數嘅定義闊好多，包括負數、0、分數、無理數、複數都可以係數。

喺數學入面，數嘅概念喺過去幾百年不斷擴展，包括咗零、負數、有理數好似二分之一、實數好似根號二同埋圓周率π，仲有複數，佢係將實數擴展到包括負一嘅平方根（同埋佢同實數加減嘅組合）。用數字計算就係用算術運算，最常見嘅就係加、減、乘、除同埋冧把。呢啲嘢嘅研究或者應用叫做算術，呢個詞有時都可以指數論，即係研究數字嘅特性。

除咗實際用途，數字喺全世界都有文化意義。例如，喺西方社會，十三呢個數字通常被認為係唔吉利嘅，而「一百萬」可能意味住「好多」，而唔係準確嘅數量。雖然而家被認為係偽科學，但相信數字有神秘意義嘅數字學喺古代同中世紀嘅思想中都好流行。數字學對希臘數學嘅發展有好大影響，刺激咗好多數論問題嘅研究，呢啲問題到而家仲係好有趣。

喺十九世紀，數學家開始發展好多唔同嘅抽象概念，呢啲概念都有某啲同數字相似嘅特性，可以話係擴展咗數字嘅概念。最早嘅其中一種就係超複數，佢係由各種複數系統嘅擴展或者修改組成。喺現代數學中，數系被認為係更一般代數結構（好似環同埋域）嘅重要特例，而「數」呢個詞嘅應用就係一種約定俗成，冇乜根本嘅重要性。

數嘅類別

自然數

自然數係最早出現嘅數，亦都係最常用嘅數，概念嚟自數物件（一個、兩個、三個、...）。喺數論入面自然數通常指正整數（唔包 0），而其他領域入面就通常都係指非負整數（包 0）。數學上會用 $\mathbb {N}$ 表示所有自然數嘅集合。

整數

整數嘅概念嚟自對自然數嘅擴充，包括正整數、0、負整數，負整數係正整數嘅對立，會喺數字前面加個負號（-）嚟表示，例如負五會寫做「-5」，表示「5」嘅相反數。若果一個正整數係用嚟表示距離一個點 0 右邊幾多幾多距離，咁一個負整數就表示距離呢個定點 0 左邊幾多嘅距離。同樣，若果一個正整數表示一個銀行存款，咁負整數就表示一個銀行提款。數學上會用 $\mathbb {Z}$ 表示所有整數嘅集合。以前嘅人唔係好接受到0同負數，甚至被某些宗教禁用，但因為計數方便，好多數學家會偷偷哋用。

有理數

有理數嚟自對整數用除法去擴充，係為咗可以表示埋啲唔完整嘅數。有理數指可以被表示成整數分子( $m$ )同非零整數分母( $n$ )嘅分數嘅數，會寫做 ${\frac {m}{n}}$ ，表示 1 被分做相同嘅 $n$ 份，再攞 $m$ 份嘅量。兩個唔同分數可以表示相同嘅有理數，例如： ${\tfrac {-10}{-20}}={\tfrac {2}{4}}={\tfrac {1}{2}}$ 。好似整數咁，分數可以係正、零或者係負。所有分數所組成嘅集合包含整數，因為每一個整數都可以寫做分母為 1 嘅分數： $m={\frac {m}{1}}$ 。數學上會用 $\mathbb {Q}$ 表示所有有理數嘅集合，字母Q係嚟自quotient嘅第一個字母。以前嘅人以為有理數就係所有嘅數，但後嚟發現有理數係唔連續嘅，唔能夠包含所有實數。（史稱第一次數學危機）

無理數

當數學家發現淨係用整數同分數冇辦法表達曬所有數（實數），就將實數分為已知嘅有理數（由整數同分數組成），其他一律叫做無理數。

實數

概念嚟自被量度嘅事物唔係一件一件，而係可以有細微變化，好似身高，距離，重量等，假想成填滿一條直線上連續嘅數，就變成咗一個數學概念，佢同物理冇關，唔會考慮粒子係唔係連續。

複數

數學家發現實數以外仲有其他數字，例如方程 $x^{2}+1=0$ ， $x={\sqrt {-1}}$ 唔係實數，而係後嚟所講嘅虛數。實數同虛數共同組成複數，係從填滿一條直線上嘅實數，擴充到填滿整個二維平面嘅數。複數喺代數上係完整嘅，意味住唔需要更多嘅數。

代數數

複數入面比較好理解嘅一類數，係可以用簡單嘅多項式嘅根去表達嘅數。有啲無理數係代數數。

超越數

因為實數係我哋最常用嘅數，數學家希望了解曬所有實數。

有理數可以用分數表達，容易理解。

無理數難理解，而有一小部分嘅無理數係代數數，可以用多項式嘅方法去研究。

而剩返落嚟嘅實數就叫做超越數，係實數當中真正最難理解嘅數，亦都係佔最多（基乎所有）嘅數。

其他

數字系統嘅結構

喺抽象代數同數學分析呢啲高深嘢度，數字系統係點樣㗎：

代數結構，通常係一個交換環或者數學體（如果唔係交換嘅就係一個體上代數，而自然數就得個毛，得個交換幺半群）。
順序結構，通常係一個有序集，自然數、整數、有理數同實數呢啲就係全序集，不過複數同超複數就咁咁地，得個偏序集。實數仲要威啲，係個良序集同有稠密序。^[1]
拓撲結構，啲數得曬嘅數字集合通常係唔連通㗎，要用離散拓撲，但係唔數得曬嘅集合就要諗個啱數學分析用嘅拓撲。

好多數字集合仲有個勁嘢，就係可以整到哈斯圖、歐拉圖同文氏圖，仲可以將呢啲圖夾埋做個似四邊形嘅歐拉-文氏圖，入面仲可以塞埋條哈斯圖（就係條直線咋）。講真，由最簡單嘅自然數到二十世紀班數學佬用模型論整出嚟嘅實數同複數嘅超越擴張，呢啲數字集合由頭到尾都係由簡單嘢慢慢整到複雜嘢。^[2]

特別嘅自然數

研究某啲數字特性嘅過程產生咗大量嘅數字類型，大多數冇特定嘅數學意義。佢哋可以歸類為數學遊戲。以下係一啲例子：

完美數: 等於佢嘅因數之和（包括1）嘅數。例如：6 = 1 + 2 + 3。
謝爾頓數: 數字73，係第21個質數，7 × 3 = 21；而將佢嘅數字倒轉就係37，係第12個質數。
自戀數: n位數嘅數字，等於佢嘅每個數字嘅n次方之和。例如：153 = 1³ + 5³ + 3³。
反質數: 倒轉數字之後仍然係質數嘅質數。例如：1597同7951都係質數。
吸血鬼數: 係由佢嘅數字組成嘅兩個數相乘得到嘅數。例如：2187 = 27 × 81。
倉鼠數: 佢嘅算術結構係 N = (a×b)²-1，其中a同b都係質數，佢嘅因數之和超過N，而佢嘅因數數量大過a×b/2；例如：1224 = (5×7)²-1
畢達哥拉斯數: 畢達哥拉斯三元組係滿足以下條件嘅三個數：其中一個數嘅平方加上另一個數嘅平方等於第三個數嘅平方，例如：(3, 4, 5)，因為 3² + 4² = 9 + 16 = 25 = 5²

一旦明白咗數字嘅本質同分類問題，就會出現另一個更實際但影響所有數字運算嘅問題：點樣寫數字。而依家全世界通用嘅系統就係位值記數法，多得零嘅發明，以一個固定嘅進位制為基礎。

更正式啲嚟講，喺《算術基礎》一書入面，哥特洛布·弗雷格 (1848-1925) 對「數」做咗一個定義，呢個定義俾好多數學家（包括伯特蘭·羅素 [1872-1970]，《數學原理》嘅共同創作者）作為參考：

Template:引用

要留意嘅係，弗雷格同其他數學家一樣，冇將數字定義為數量嘅表達，因為數學符號唔一定要指涉可數性，而「數量」呢個概念就會指涉可數嘅嘢。相反，數字用嚟定義，例如，開區間 (0, 1) 入面元素嘅基數，呢個區間包含咗無數嘅元素（連續統）。

佩亞諾喺建立佢嘅五個關於自然數嘅命題之前，明確假設大家已經知道「零」、「後繼」同「數」呢啲詞或概念嘅定義（可能因為佢覺得太明顯）。佢就咁樣提出：

0係一個自然數
每個數嘅後繼都係一個數
唔同嘅數冇相同嘅後繼
0唔係任何數嘅後繼
仲有歸納性質

不過，如果有人將「零」定義為數字100，將「數」定義為「大過100嘅數」，咁之前講嘅五個命題就會適用，但唔係佩亞諾原本想表達嘅意思，而係佢嘅形式化。

因此，數嘅定義仲未完全形式化，但係大多數人都同意採用弗雷格提出嘅定義。

歷史

整數嘅歷史

最早嘅數字

有人推測最早用數字可以追溯到超過3萬年前:喺骨頭同其他物件上面發現咗刻痕,通常認為係用嚟計數嘅記號。有人建議呢啲記號可能同計時有關,好似計日子咁,或者係記錄數量。

刻痕系統冇位值嘅概念(好似而家嘅十進制咁);呢個限制咗佢表示大數字嘅能力。通常認為呢個係最早嘅抽象系統,可以算係一個數字系統。

最早知道有位值嘅系統係美索不達米亞嘅60進制系統(公元前3400年),而最早知道嘅10進制系統係喺埃及公元前3100年出現。^[3]

零嘅歷史

用零做數字同用佢做數字系統嘅佔位符要分開嚟睇。好多古印度文獻用梵文 Shunya 嚟講「空」嘅概念;喺數學裏面,呢個字通常用嚟講數字零。

記錄顯示古希臘人對零係唔係數字好似唔係好肯定:佢哋問「『無嘢』點解可以係嘢?」,諗出咗有趣嘅哲學理論,喺中世紀仲有關於零同空嘅本質同存在嘅宗教爭論。芝諾嘅詭論好大程度上都係因為對零嘅理解唔清楚。(古希臘人連1係唔係數字都有疑問。)

墨西哥南部同中部嘅奧爾梅克人喺新大陸開始用零(一個貝殼形狀嘅符號),可能係喺公元前4世紀左右,但肯定喺公元40年之前。呢個零成為咗瑪雅數字同瑪雅曆法嘅重要部分,但冇影響到舊大陸嘅數字系統。

大約喺公元130年,托勒密受希帕克同巴比倫人影響,用咗一個符號嚟表示零(一個上面有長線嘅小圓圈),喺60進制系統入面用,唔係用希臘字母數字。因為佢單獨使用呢個符號,唔單止係佔位符,所以呢個希臘零係舊大陸第一次有記錄嘅真正零嘅使用。喺佢嘅《數學彙編》(《至大論》)嘅後期拜占庭手稿裏面,希臘零變成咗希臘字母Omicron(平時表示70)。

另一個真正嘅零喺公元525年嘅羅馬數字表裏面用過(第一次已知嘅使用係狄奧尼修斯·埃克西古斯),但係用字 nulla,意思係「無嘢」,唔係用符號。當除法餘數係零嘅時候,就用 nihil,都係「無嘢」嘅意思。呢啲中世紀嘅零之後俾所有中世紀計算家用過。大約喺公元725年,比德或者佢啲同事喺羅馬數字表裏面單獨用過佢嘅首字母N,呢個係真正嘅零符號。

有記錄顯示婆羅摩笈多(喺《梵天正確本論》入面)喺公元628年用過零。佢將零當做一個數字,仲討論過涉及零嘅運算,包括除法。到嗰陣時(7世紀),呢個概念已經好清楚,而且記錄顯示呢個概念之後傳到中國同伊斯蘭世界。

負數嘅歷史

負數呢個抽象概念喺大概公元前100年到公元前50年之間就已經出現。中國嘅《九章算術》就有講到點樣計算幾何圖形嘅面積；佢哋用紅色嘅計數棒代表正係數，黑色嘅就代表負數。呢個係東方最早提到負數嘅記錄；而西方最早嘅記錄就喺

<<- 3世紀（200年——299年）->>
200年代：	200年	201年	202年	203年	204年	205年	206年	207年	208年	209年
210年代：	210年	211年	212年	213年	214年	215年	216年	217年	218年	219年
220年代：	220年	221年	222年	223年	224年	225年	226年	227年	228年	229年
230年代：	230年	231年	232年	233年	234年	235年	236年	237年	238年	239年
240年代：	240年	241年	242年	243年	244年	245年	246年	247年	248年	249年
250年代：	250年	251年	252年	253年	254年	255年	256年	257年	258年	259年
260年代：	260年	261年	262年	263年	264年	265年	266年	267年	268年	269年
270年代：	270年	271年	272年	273年	274年	275年	276年	277年	278年	279年
280年代：	280年	281年	282年	283年	284年	285年	286年	287年	288年	289年
290年代：	290年	291年	292年	293年	294年	295年	296年	297年	298年	299年

嘅古希臘。亞歷山大嘅丟番圖喺佢嘅《算術》入面提到咗一條而家會寫成 $4x+20=0$ 嘅方程（答案係負數），佢話呢條方程嘅結果係荒謬嘅。

到咗600年代，負數喺印度已經成為表示債務嘅常用方法。丟番圖之前提到嘅嘢，印度數學家婆羅摩笈多喺佢嘅《婆羅摩笈多悉檀多》（628年）入面有更詳細嘅討論。佢用負數推導出今日仲喺用緊嘅二次方程求根公式嘅一般形式。但係到咗

<<- 12世紀（1100年——1199年）->>
1100年代：	1100年	1101年	1102年	1103年	1104年	1105年	1106年	1107年	1108年	1109年
1110年代：	1110年	1111年	1112年	1113年	1114年	1115年	1116年	1117年	1118年	1119年
1120年代：	1120年	1121年	1122年	1123年	1124年	1125年	1126年	1127年	1128年	1129年
1130年代：	1130年	1131年	1132年	1133年	1134年	1135年	1136年	1137年	1138年	1139年
1140年代：	1140年	1141年	1142年	1143年	1144年	1145年	1146年	1147年	1148年	1149年
1150年代：	1150年	1151年	1152年	1153年	1154年	1155年	1156年	1157年	1158年	1159年
1160年代：	1160年	1161年	1162年	1163年	1164年	1165年	1166年	1167年	1168年	1169年
1170年代：	1170年	1171年	1172年	1173年	1174年	1175年	1176年	1177年	1178年	1179年
1180年代：	1180年	1181年	1182年	1183年	1184年	1185年	1186年	1187年	1188年	1189年
1190年代：	1190年	1191年	1192年	1193年	1194年	1195年	1196年	1197年	1198年	1199年

，印度數學家波什迦羅二世雖然都搵到二次方程嘅負根，但係佢話負值「喺呢種情況下唔應該採用，因為唔合適；啲人唔接受負根」。

大部分歐洲數學家一直到

<<- 17世紀（1600年——1699年）->>
1600年代：	1600年	1601年	1602年	1603年	1604年	1605年	1606年	1607年	1608年	1609年
1610年代：	1610年	1611年	1612年	1613年	1614年	1615年	1616年	1617年	1618年	1619年
1620年代：	1620年	1621年	1622年	1623年	1624年	1625年	1626年	1627年	1628年	1629年
1630年代：	1630年	1631年	1632年	1633年	1634年	1635年	1636年	1637年	1638年	1639年
1640年代：	1640年	1641年	1642年	1643年	1644年	1645年	1646年	1647年	1648年	1649年
1650年代：	1650年	1651年	1652年	1653年	1654年	1655年	1656年	1657年	1658年	1659年
1660年代：	1660年	1661年	1662年	1663年	1664年	1665年	1666年	1667年	1668年	1669年
1670年代：	1670年	1671年	1672年	1673年	1674年	1675年	1676年	1677年	1678年	1679年
1680年代：	1680年	1681年	1682年	1683年	1684年	1685年	1686年	1687年	1688年	1689年
1690年代：	1690年	1691年	1692年	1693年	1694年	1695年	1696年	1697年	1698年	1699年

都唔接受負數嘅概念。雖然斐波那契喺處理財務問題時都接受負數解（可以解釋為債務），呢啲可以喺佢1202年嘅《算盤書》第13章搵到，之後喺《花》一書入面仲有講到虧損嘅情況。同一時期，中國人表示負數嘅方法係喺相應正數最右邊唔係零嘅數字上面劃一條斜線。歐洲著作入面第一次用負數係喺

<<- 15世紀（1400年——1499年）->>
1400年代：	1400年	1401年	1402年	1403年	1404年	1405年	1406年	1407年	1408年	1409年
1410年代：	1410年	1411年	1412年	1413年	1414年	1415年	1416年	1417年	1418年	1419年
1420年代：	1420年	1421年	1422年	1423年	1424年	1425年	1426年	1427年	1428年	1429年
1430年代：	1430年	1431年	1432年	1433年	1434年	1435年	1436年	1437年	1438年	1439年
1440年代：	1440年	1441年	1442年	1443年	1444年	1445年	1446年	1447年	1448年	1449年
1450年代：	1450年	1451年	1452年	1453年	1454年	1455年	1456年	1457年	1458年	1459年
1460年代：	1460年	1461年	1462年	1463年	1464年	1465年	1466年	1467年	1468年	1469年
1470年代：	1470年	1471年	1472年	1473年	1474年	1475年	1476年	1477年	1478年	1479年
1480年代：	1480年	1481年	1482年	1483年	1484年	1485年	1486年	1487年	1488年	1489年
1490年代：	1490年	1491年	1492年	1493年	1494年	1495年	1496年	1497年	1498年	1499年

由尼古拉·舒凱提出。佢用負數做指數，但係叫佢哋做「荒謬數」。

就算到咗咁近嘅

<<- 18世紀（1700年——1799年）->>
1700年代：	1700年	1701年	1702年	1703年	1704年	1705年	1706年	1707年	1708年	1709年
1710年代：	1710年	1711年	1712年	1713年	1714年	1715年	1716年	1717年	1718年	1719年
1720年代：	1720年	1721年	1722年	1723年	1724年	1725年	1726年	1727年	1728年	1729年
1730年代：	1730年	1731年	1732年	1733年	1734年	1735年	1736年	1737年	1738年	1739年
1740年代：	1740年	1741年	1742年	1743年	1744年	1745年	1746年	1747年	1748年	1749年
1750年代：	1750年	1751年	1752年	1753年	1754年	1755年	1756年	1757年	1758年	1759年
1760年代：	1760年	1761年	1762年	1763年	1764年	1765年	1766年	1767年	1768年	1769年
1770年代：	1770年	1771年	1772年	1773年	1774年	1775年	1776年	1777年	1778年	1779年
1780年代：	1780年	1781年	1782年	1783年	1784年	1785年	1786年	1787年	1788年	1789年
1790年代：	1790年	1791年	1792年	1793年	1794年	1795年	1796年	1797年	1798年	1799年

，瑞士數學家萊昂哈德·歐拉都仲以為負數大過無窮大，而且當時仲有個慣例就係忽略方程得出嘅任何負數結果，因為覺得佢哋冇意義。勒內·笛卡兒對笛卡兒坐標系嘅負數解都係咁做。

有理數、無理數同實數嘅歷史

有理數嘅歷史

分數呢個概念好大可能喺史前時代已經存在。就連古埃及人都寫過數學文本，講解點樣將一般分數轉換成佢哋特別表示法嘅埃及分數。印度同古希臘嘅數學家都研究過有理數理論，作為數論研究嘅一部分。最出名嘅係歐幾里得嘅《幾何原本》，大約喺公元前300年寫成。印度文本入面最重要嘅係《司坦伽經》，都係講數論，作為數學研究嘅一部分。

十進制分數嘅概念同十進制位值記數法有密切關係；睇嚟兩者係一齊發展嘅。譬如，《經》嘅數學入面經常會計算π或者2嘅平方根嘅十進制分數近似值。同樣，巴比倫數學文本一直都大量使用六十進制分數。

無理數嘅歷史

最早用無理數嘅記錄係喺《繩規經》入面，呢本書寫於公元前800年到公元前500年之間。第一個證明無理數存在嘅功勞通常歸功於畢達哥拉斯，更準確啲講係畢達哥拉斯學派嘅梅塔蓬圖斯嘅希帕索斯。佢證明咗2嘅平方根係無理數（好大可能係用幾何方法）。傳說講，希帕索斯喺嘗試將2嘅平方根表示為分數嘅時候發現咗無理數。但係畢達哥拉斯相信數字係絕對嘅，唔能夠接受無理數嘅存在。佢用邏輯證明唔到無理數唔存在，但係佢嘅信念又接受唔到無理數嘅存在，所以就判咗希帕索斯淹死。

到咗

<<- 16世紀（1500年——1599年）->>
1500年代：	1500年	1501年	1502年	1503年	1504年	1505年	1506年	1507年	1508年	1509年
1510年代：	1510年	1511年	1512年	1513年	1514年	1515年	1516年	1517年	1518年	1519年
1520年代：	1520年	1521年	1522年	1523年	1524年	1525年	1526年	1527年	1528年	1529年
1530年代：	1530年	1531年	1532年	1533年	1534年	1535年	1536年	1537年	1538年	1539年
1540年代：	1540年	1541年	1542年	1543年	1544年	1545年	1546年	1547年	1548年	1549年
1550年代：	1550年	1551年	1552年	1553年	1554年	1555年	1556年	1557年	1558年	1559年
1560年代：	1560年	1561年	1562年	1563年	1564年	1565年	1566年	1567年	1568年	1569年
1570年代：	1570年	1571年	1572年	1573年	1574年	1575年	1576年	1577年	1578年	1579年
1580年代：	1580年	1581年	1582年	1583年	1584年	1585年	1586年	1587年	1588年	1589年
1590年代：	1590年	1591年	1592年	1593年	1594年	1595年	1596年	1597年	1598年	1599年

，歐洲人終於接受咗正負整數同分數。

<<- 17世紀（1600年——1699年）->>
1600年代：	1600年	1601年	1602年	1603年	1604年	1605年	1606年	1607年	1608年	1609年
1610年代：	1610年	1611年	1612年	1613年	1614年	1615年	1616年	1617年	1618年	1619年
1620年代：	1620年	1621年	1622年	1623年	1624年	1625年	1626年	1627年	1628年	1629年
1630年代：	1630年	1631年	1632年	1633年	1634年	1635年	1636年	1637年	1638年	1639年
1640年代：	1640年	1641年	1642年	1643年	1644年	1645年	1646年	1647年	1648年	1649年
1650年代：	1650年	1651年	1652年	1653年	1654年	1655年	1656年	1657年	1658年	1659年
1660年代：	1660年	1661年	1662年	1663年	1664年	1665年	1666年	1667年	1668年	1669年
1670年代：	1670年	1671年	1672年	1673年	1674年	1675年	1676年	1677年	1678年	1679年
1680年代：	1680年	1681年	1682年	1683年	1684年	1685年	1686年	1687年	1688年	1689年
1690年代：	1690年	1691年	1692年	1693年	1694年	1695年	1696年	1697年	1698年	1699年

嘅時候，以而家嘅方式寫嘅十進制分數已經廣泛俾數學家使用。但係要等到

<<- 19世紀（1800年——1899年）->>
1800年代：	1800年	1801年	1802年	1803年	1804年	1805年	1806年	1807年	1808年	1809年
1810年代：	1810年	1811年	1812年	1813年	1814年	1815年	1816年	1817年	1818年	1819年
1820年代：	1820年	1821年	1822年	1823年	1824年	1825年	1826年	1827年	1828年	1829年
1830年代：	1830年	1831年	1832年	1833年	1834年	1835年	1836年	1837年	1838年	1839年
1840年代：	1840年	1841年	1842年	1843年	1844年	1845年	1846年	1847年	1848年	1849年
1850年代：	1850年	1851年	1852年	1853年	1854年	1855年	1856年	1857年	1858年	1859年
1860年代：	1860年	1861年	1862年	1863年	1864年	1865年	1866年	1867年	1868年	1869年
1870年代：	1870年	1871年	1872年	1873年	1874年	1875年	1876年	1877年	1878年	1879年
1880年代：	1880年	1881年	1882年	1883年	1884年	1885年	1886年	1887年	1888年	1889年
1890年代：	1890年	1891年	1892年	1893年	1894年	1895年	1896年	1897年	1898年	1899年

，無理數先至分為代數數同超越數，而且無理數理論嘅科學研究先至重新開始。自從歐幾里得之後，呢方面嘅研究就差唔多停頓咗。1872年，卡爾·魏爾斯特拉斯（由佢嘅學生科薩克發表）、愛德華·海涅（喺《克雷爾雜誌》第74期）、格奧爾格·康托（喺《年鑑》第5期）同理查德·戴德金嘅理論相繼發表。夏爾·梅雷喺1869年同海涅用咗同一個出發點，但係呢個理論通常都係講1872年嗰個。魏爾斯特拉斯嘅方法由薩爾瓦托雷·平謝萊（1880年）全面發展，而戴德金嘅方法因為佢之後嘅工作（1888年）同保羅·塔納里最近嘅確認（1894年）而變得更加重要。魏爾斯特拉斯、康托同海涅嘅理論都係基於無窮級數，而戴德金就以實數系統嘅分割（Schnitt）為基礎；佢將所有有理數分成兩組，每組都有某啲特徵。之後魏爾斯特拉斯、克羅內克（喺《克雷爾雜誌》第101期）同梅雷都對呢個課題有更多貢獻。

連分數同無理數有密切關係，喺尤拉嘅研究下受到關注，到咗

<<- 19世紀（1800年——1899年）->>
1800年代：	1800年	1801年	1802年	1803年	1804年	1805年	1806年	1807年	1808年	1809年
1810年代：	1810年	1811年	1812年	1813年	1814年	1815年	1816年	1817年	1818年	1819年
1820年代：	1820年	1821年	1822年	1823年	1824年	1825年	1826年	1827年	1828年	1829年
1830年代：	1830年	1831年	1832年	1833年	1834年	1835年	1836年	1837年	1838年	1839年
1840年代：	1840年	1841年	1842年	1843年	1844年	1845年	1846年	1847年	1848年	1849年
1850年代：	1850年	1851年	1852年	1853年	1854年	1855年	1856年	1857年	1858年	1859年
1860年代：	1860年	1861年	1862年	1863年	1864年	1865年	1866年	1867年	1868年	1869年
1870年代：	1870年	1871年	1872年	1873年	1874年	1875年	1876年	1877年	1878年	1879年
1880年代：	1880年	1881年	1882年	1883年	1884年	1885年	1886年	1887年	1888年	1889年
1890年代：	1890年	1891年	1892年	1893年	1894年	1895年	1896年	1897年	1898年	1899年

初期，因為約瑟夫·拉格朗日嘅著作而變得更加重要。其他值得一提嘅貢獻包括德魯肯米勒 (1837)、昆澤 (1857)、萊姆克 (1870) 同根特 (1872) 嘅研究。拉莫斯 (1855) 係第一個將呢個課題同行列式聯繫起來嘅人，之後海涅、莫比烏斯同根特喺「鏈分數行列式」理論方面都有貢獻。狄利克雷都為一般理論做咗貢獻，仲有好多應用方面嘅研究。

超越數同實數

關於超越數嘅最早研究結果係蘭伯特 (1761) 證明咗π唔係有理數，仲有eⁿ喺n係有理數（除咗n = 0）嘅情況下都係無理數。（第一次提到e常數係喺納皮爾關於對數嘅著作 (1618) 入面。）勒讓德擴展咗呢個證明，證明咗π唔係任何有理數嘅平方根。搵五次方程同更高次方程嘅根導致咗一個重要嘅發展，阿貝爾-魯芬尼定理 (魯芬尼 1799, 阿貝爾 1824) 證明咗呢啲方程唔可以用算術根（只包含算術運算同根號嘅公式）嚟解。由呢度開始，就需要考慮更大嘅集合，就係代數數嘅集合（所有多項式方程嘅解）。伽羅瓦 (1832) 將多項式方程同群論聯繫起來，創立咗伽羅瓦理論。

就算係代數數嘅集合都唔夠，實數嘅完整集合仲包括咗超越數，呢啲數嘅存在首先由利烏維爾 (1844, 1851) 證實。埃爾米特喺1873年證明咗e係超越數，林德曼喺1882年證明咗π係超越數。最後，康托爾證明咗所有實數嘅集合係不可數無限，但係所有代數數嘅集合係可數無限，所以一定有不可數無限多嘅超越數。

無限

最早已知嘅數學無限概念出現喺夜柔吠陀，佢喺某個地方講到「如果你由無限度減去一部分或者加上一部分，剩低嘅仲係無限」。無限係耆那教數學家喺大約公元前400年左右研究嘅熱門哲學話題。佢哋區分咗五種無限：一個方向嘅無限、兩個方向嘅無限、面積無限、到處都無限，同埋永恆無限。

喺西方，傳統嘅數學無限概念係由亞里士多德定義嘅，佢區分咗實際無限同潛在無限；普遍共識係只有後者先至有真正嘅價值。伽利略嘅《兩種新科學》討論咗無限集合之間嘅雙射概念。但係理論上嘅下一個重大突破係由康托爾做出嘅；喺1895年，佢出版咗一本關於佢嘅新集合論嘅書，介紹咗好多嘢，包括連續統假設。

射影幾何通過引入「理想無窮遠點」（每個空間方向都有一個）為無限提供咗一個現代觀點。對於每一組平行線，都假設佢哋喺相應嘅理想點相交。呢個概念同繪畫技術中嘅透視法嘅消失點概念有密切關係。

複數嘅歷史

最早但係短暫嘅負數平方根嘅提及出現喺

<<- 1世紀（000年——099年）->>
000年代：	000年	001年	002年	003年	004年	005年	006年	007年	008年	009年
010年代：	010年	011年	012年	013年	014年	015年	016年	017年	018年	019年
020年代：	020年	021年	022年	023年	024年	025年	026年	027年	028年	029年
030年代：	030年	031年	032年	033年	034年	035年	036年	037年	038年	039年
040年代：	040年	041年	042年	043年	044年	045年	046年	047年	048年	049年
050年代：	050年	051年	052年	053年	054年	055年	056年	057年	058年	059年
060年代：	060年	061年	062年	063年	064年	065年	066年	067年	068年	069年
070年代：	070年	071年	072年	073年	074年	075年	076年	077年	078年	079年
080年代：	080年	081年	082年	083年	084年	085年	086年	087年	088年	089年
090年代：	090年	091年	092年	093年	094年	095年	096年	097年	098年	099年

嘅亞歷山大港嘅希羅嘅著作中，當時佢研究緊一個不可能嘅棱錐體嘅體積。到咗

<<- 16世紀（1500年——1599年）->>
1500年代：	1500年	1501年	1502年	1503年	1504年	1505年	1506年	1507年	1508年	1509年
1510年代：	1510年	1511年	1512年	1513年	1514年	1515年	1516年	1517年	1518年	1519年
1520年代：	1520年	1521年	1522年	1523年	1524年	1525年	1526年	1527年	1528年	1529年
1530年代：	1530年	1531年	1532年	1533年	1534年	1535年	1536年	1537年	1538年	1539年
1540年代：	1540年	1541年	1542年	1543年	1544年	1545年	1546年	1547年	1548年	1549年
1550年代：	1550年	1551年	1552年	1553年	1554年	1555年	1556年	1557年	1558年	1559年
1560年代：	1560年	1561年	1562年	1563年	1564年	1565年	1566年	1567年	1568年	1569年
1570年代：	1570年	1571年	1572年	1573年	1574年	1575年	1576年	1577年	1578年	1579年
1580年代：	1580年	1581年	1582年	1583年	1584年	1585年	1586年	1587年	1588年	1589年
1590年代：	1590年	1591年	1592年	1593年	1594年	1595年	1596年	1597年	1598年	1599年

，因為意大利數學家尼科洛·方塔納·塔爾塔利亞同杰羅拉莫·卡爾達諾發現咗三次方程同四次方程嘅求根公式，呢啲提及變得更加常見。佢哋好快就發現，呢啲公式就算只係想搵實數解，有時都需要處理負數嘅平方根。

呢個情況特別令人不安，因為當時就連負數都仲未被認為有穩固嘅基礎。勒內·笛卡爾喺1637年創造咗「虛數」呢個詞嚟形容呢啲數量。另一個令人困惑嘅地方係呢個等式：

{\sqrt {-1}}^{2}={\sqrt {-1}}{\sqrt {-1}}=-1

似乎同呢個代數恆等式矛盾：

{\sqrt {a}}{\sqrt {b}}={\sqrt {ab}}

，

呢個恆等式對於正實數a同b係有效嘅，而且喺複數計算中當a、b其中一個係正數另一個係負數嘅時候都會用到。錯誤使用呢個恆等式同埋相關嘅恆等式：

{\frac {1}{\sqrt {a}}}={\sqrt {\frac {1}{a}}}

呢個困難導致佢哋採用咗特殊符號i代替√−1嚟避免呢個錯誤。

<<- 18世紀（1700年——1799年）->>
1700年代：	1700年	1701年	1702年	1703年	1704年	1705年	1706年	1707年	1708年	1709年
1710年代：	1710年	1711年	1712年	1713年	1714年	1715年	1716年	1717年	1718年	1719年
1720年代：	1720年	1721年	1722年	1723年	1724年	1725年	1726年	1727年	1728年	1729年
1730年代：	1730年	1731年	1732年	1733年	1734年	1735年	1736年	1737年	1738年	1739年
1740年代：	1740年	1741年	1742年	1743年	1744年	1745年	1746年	1747年	1748年	1749年
1750年代：	1750年	1751年	1752年	1753年	1754年	1755年	1756年	1757年	1758年	1759年
1760年代：	1760年	1761年	1762年	1763年	1764年	1765年	1766年	1767年	1768年	1769年
1770年代：	1770年	1771年	1772年	1773年	1774年	1775年	1776年	1777年	1778年	1779年
1780年代：	1780年	1781年	1782年	1783年	1784年	1785年	1786年	1787年	1788年	1789年
1790年代：	1790年	1791年	1792年	1793年	1794年	1795年	1796年	1797年	1798年	1799年

出現咗亞伯拉罕·德莫弗爾同萊昂哈德·歐拉嘅研究。德莫弗爾 (1730) 發現咗以佢命名嘅著名公式，德莫弗爾公式：

(\cos \theta +i\sin \theta )^{n}=\cos n\theta +i\sin n\theta \,

而歐拉 (1748) 發現咗複分析中嘅歐拉公式：

\cos \theta +i\sin \theta =e^{i\theta }.\,

複數嘅存在直到卡斯帕·韋塞爾喺1799年描述咗佢嘅幾何解釋之後先至被完全接受；呢個解釋喺幾年之後被卡爾·弗里德里希·高斯重新發現同普及，結果複數理論得到咗顯著嘅發展。不過，複數嘅圖形表示嘅概念早喺1685年約翰·沃利斯嘅《論代數》中就已經出現過。

仲有喺1799年，高斯得到咗第一個普遍認可嘅代數基本定理證明，顯示每個複數多項式喺複數域中都有一組完整嘅解。複數嘅普遍接受好大程度上要歸功於奧古斯丁-路易·柯西同尼爾斯·亨利克·阿貝爾嘅工作，特別係後者，佢係第一個大膽使用複數並取得眾所周知嘅成功嘅人。

高斯研究咗形如a + bi嘅高斯整數，其中a同b係整數或有理數（而i係 $x^{2}+1=0$ 嘅兩個根之一）。佢嘅學生費迪南德·艾森斯坦研究咗形如a + bω嘅類型，其中ω係 $x^{3}-1=0$ 嘅一個複根。其他類似嘅複數類型（叫做分圓域）係由 $x^{k}-1=0$ 嘅單位根導出嘅，k嘅值更大。呢個推廣係由恩斯特·庫默爾完成嘅，佢仲發明咗理想數，後來由菲利克斯·克萊因喺1893年表達為幾何恆等式。一般域理論係由埃瓦里斯特·伽羅瓦創立嘅，佢研究咗由任何多項式方程 $F(x)=0$ 嘅根生成嘅域。

到1850年，Victor Puiseux做咗個關鍵嘅突破，佢將極點同分支點分開，仲引入咗本質奇點嘅概念；呢個發現為後來嘅複延伸平面概念鋪平咗道路。

質數

質數自古以來都係數學家研究嘅對象。歐幾里得喺佢嘅《幾何原本》入面就有一卷專門講質數理論；佢喺度證明咗質數係無限多嘅，仲有算術基本定理，又介紹咗歐幾里得算法去搵兩個數嘅最大公因數。

喺公元前240年，埃拉托色尼發明咗埃拉托色尼篩法，可以快速將質數同其他數分開。不過大部分關於質數理論嘅發展都係喺文藝復興之後先至喺歐洲出現。

1796年，阿德里安-馬里·勒讓德提出咗質數定理嘅猜想，描述質數嘅漸近分佈。其他關於質數分佈嘅重要結果包括歐拉證明咗質數倒數之和係發散嘅，同埋哥德巴赫猜想，話每個大過2嘅偶數都可以寫成兩個質數之和。仲有一個關於質數分佈嘅猜想就係黎曼假設，呢個係伯恩哈德·黎曼喺1859年提出嘅。質數定理最後喺1896年由雅克·阿達馬同夏爾·德拉瓦萊-普桑證明咗。

睇埋

唔同文化嘅數字

參考

↑ 複數集合ℂ冇實數、有理數、整數同自然數咁牙擦擦㗎
↑ 唔一定㗎。實數系統可以用公理化嘅方法嚟搞掂，好似大衛·希爾伯特咁；複數系統都可以咁玩，好似波利亞（1887-1985）、阿爾福斯（1907-1996）、馬庫舍維奇（1908-1979）呢啲大佬咁。
↑ 埃及數學紙莎草文獻

[1] 複數集合ℂ冇實數、有理數、整數同自然數咁牙擦擦㗎

[2] 唔一定㗎。實數系統可以用公理化嘅方法嚟搞掂，好似大衛·希爾伯特咁；複數系統都可以咁玩，好似波利亞（1887-1985）、阿爾福斯（1907-1996）、馬庫舍維奇（1908-1979）呢啲大佬咁。

[3] 埃及數學紙莎草文獻

[1]

[2]

[3]