跳去內容

出自維基百科,自由嘅百科全書
(由號碼跳轉過嚟)
數學
基本

延伸

其他

圓周率 π = 3.141592653…
自然對數嘅底 e = 2.718281828…
虛數單位 i = 
無窮大量 

幾個雙位正整數

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

自然數整數有理數實數複數嘅包含關係

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

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

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

數嘅類別

[編輯]

自然數

[編輯]
内文:自然數

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

整數

[編輯]
内文:整數0

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

有理數

[編輯]
内文:有理數

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

無理數

[編輯]
内文:無理數

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

實數

[編輯]
内文:實數

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

複數

[編輯]
内文:複數

數學家發現實數以外仲有其他數字,例如方程 唔係實數,而係後嚟所講嘅虛數實數虛數共同組成複數,係從填滿一條直線上嘅實數,擴充到填滿整個二維平面嘅數。複數代數上係完整嘅,意味住唔需要更多嘅數。

代數數

[編輯]
内文:代數數

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

超越數

[編輯]
内文:超越數

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

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

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

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

其他

[編輯]

數字系統嘅結構

[編輯]

抽象代數數學分析呢啲高深嘢度,數字系統係點樣㗎:

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

古希臘亞歷山大嘅丟番圖喺佢嘅《算術》入面提到咗一條而家會寫成 嘅方程(答案係負數),佢話呢條方程嘅結果係荒謬嘅。

到咗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) 證明咗π唔係有理數,仲有enn係有理數(除咗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年創造咗「虛數」呢個詞嚟形容呢啲數量。另一個令人困惑嘅地方係呢個等式:

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

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

呢個困難導致佢哋採用咗特殊符號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) 發現咗以佢命名嘅著名公式,德莫弗爾公式

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

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

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

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


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

質數

[編輯]

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

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

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

睇埋

[編輯]

唔同文化嘅數字

[編輯]

參考

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