開啟主選單

求真百科

變更

数论 (数学分支)

增加 8,296 位元組, 3 年前
创建页面,内容为“File:4b90f603738da97777170a23b051f8198618e3fa.jpg|缩略图|数论 [https://bkimg.cdn.bcebos.com/pic/4b90f603738da97777170a23b051f8198618e3fa?x-bce-process=image/w…”
[[File:4b90f603738da97777170a23b051f8198618e3fa.jpg|缩略图|数论 [https://bkimg.cdn.bcebos.com/pic/4b90f603738da97777170a23b051f8198618e3fa?x-bce-process=image/watermark,image_d2F0ZXIvYmFpa2UxMTY=,g_7,xp_5,yp_5/format,f_auto 图片来源百度网][https://bkimg.cdn.bcebos.com/pic/4b90f603738da97777170a23b051f8198618e3fa?x-bce-process=image/watermark,image_d2F0ZXIvYmFpa2UxMTY=,g_7,xp_5,yp_5/format,f_auto 原图链接]]]
数论是[[纯粹数学]]的分支之一,主要研究整数的性质。整数可以是方程式的解(丢番图方程)。有些解析[[函数]](像黎曼ζ函数)中包括了一些整数、质数的性质,透过这些函数也可以了解一些数论的问题。透过数论也可以建立实数和有理数之间的关系,并且用有理数来逼近实数(丢番图逼近)。
按研究方法来看,数论大致可分为初等数论和[[高等数论]]。初等数论是用初等方法研究的数论,它的研究方法本质上说,就是利用整数环的整除性质,主要包括整除理论、[[同余]]理论、[[连分]]数理论。高等数论则包括了更为深刻的数学研究工具。它大致包括[[代数数论]]、[[解析数论]]、[[计算数论]]等等。

'''中文名''':[[数论]]

'''外文名''':[[Number theory]]

'''数学范畴''':高等数学-纯数学

'''研究范围''':研究整数的性质

'''分 类''':[[代数数论]]、[[解析数论]]、[[计算数论]]

'''早期名称''':[[算术]]
[[File:8c1001e93901213fb5b015d356e736d12f2e9539.jpg|缩略图|数论[https://bkimg.cdn.bcebos.com/pic/8c1001e93901213fb5b015d356e736d12f2e9539?x-bce-process=image/watermark,image_d2F0ZXIvYmFpa2U5Mg==,g_7,xp_5,yp_5/format,f_auto 图片来源百度网][https://bkimg.cdn.bcebos.com/pic/8c1001e93901213fb5b015d356e736d12f2e9539?x-bce-process=image/watermark,image_d2F0ZXIvYmFpa2U5Mg==,g_7,xp_5,yp_5/format,f_auto 原图链接]]]
==简介==

数学理论或在较旧的使用中,叫做算术,是专门研究整数的纯数学的分支。它有时被称为“数学女王”,因为它在原理中的基础地位。数理论家研究质数以及由整数(例如有理数字)制成的对象的属性或定义为整数的概括(例如,代数整数)。

整数可以自己考虑或作为方程(Diophantine几何)的解决方案。通过研究以某种方式(分析数论)编码整数,[[素数]]或其他数论理论对象的分析对象(如Riemann zeta函数),通常最好[[地理]]解数论中的问题。人们还可以研究与有理数相关的实数,例如,由后者近似(Diophantine近似)。

数理论的较旧术语是算术。到二十世纪初,它被“数学理论”所取代(“算术”一词被普通大众用来表示“基本计算”,也在[[数学逻辑]]中获得了其他含义,如在数学理论中使用术语算术在二十世纪下半叶重新获得了一些地位,这可能部分是由于法国的影响力,特别是作为数理论的形容词,优选算术。

==门类==

===初等数论===

初等数论主要就是研究[[整数]]环的整除理论及同余理论。此外它也包括了连分数理论和少许不定方程的问题。本质上说,初等数论的研究手段局限在整除性质上。

初等数论中经典的结论包括算术基本定理、欧几里得的[[质数]]无限证明、中国剩余定理、欧拉定理(其特例是费马小定理)、高斯的二次互反律, 勾股方程的商高定理、佩尔方程的连分数求解法等等。

===解析数论===

借助[[微积分]]及[[复分析]](即复变函数)来研究关于整数的问题,主要又可以分为乘性数论与加性数论两类。乘性数论藉由研究积性生成函数的性质来探讨素数分布的问题,其中质数定理与狄利克雷定理为这个领域中最著名的古典成果。加性数论则是研究整数的加法分解之可能性与表示的问题,华林问题是该领域最著名的课题。

解析数论的创立当归功于[[黎曼]]。他发现了黎曼zeta函数之解析性质与数论中的素数分布问题存在深刻联系。确切的说, 黎曼ζ函数的非平凡零点的分布情况决定了素数的很多性质。黎曼猜测, 那些零点都落在[[复平面]]上实部为1/2的直线上。这就是著名的黎曼假设—[[千禧年大奖难题]]之一。值得注意的是, [[欧拉]]实际上在处理素数无限问题时也用到了解析方法。

解析数论方法除了圆法、筛法等等之外, 也包括和椭圆曲线相关的模形式理论等等。此后又发展到自守形式理论,从而和表示论联系起来。

===代数数论===

[[代数数论]],将整数环的数论性质研究扩展到了更一般的整环上,特别是代数数域。一个主要课题就是关于代数整数的研究,目标是为了更一般地解决不定方程求解的问题。其中一个主要的[[历史]]动力来自于寻找费马大定理的证
[[File:D439b6003af33a87afa12011c45c10385243b5e8.png|缩略图|数论[https://bkimg.cdn.bcebos.com/pic/d439b6003af33a87afa12011c45c10385243b5e8?x-bce-process=image/watermark,image_d2F0ZXIvYmFpa2U4MA==,g_7,xp_5,yp_5/format,f_auto 图片来源百度网][https://bkimg.cdn.bcebos.com/pic/d439b6003af33a87afa12011c45c10385243b5e8?x-bce-process=image/watermark,image_d2F0ZXIvYmFpa2U4MA==,g_7,xp_5,yp_5/format,f_auto 原图链接]]]
代数数论更倾向于从代数结构角度去研究各类整环的性质, 比如在给定整环上是否存在算术基本定理等等。

这个领域与代数几何之间的关联尤其紧密, 它实际上也构成了交换代数理论的一部分。它也包括了其他深刻内容,比如表示论、p-adic理论等等。

===几何数论===

主要在于通过[[几何]]观点研究整数(在此即格点, 也称整点)的分布情形。最著名的定理为Minkowski定理。这门理论也是有闵科夫斯基所创。对于研究二次型理论有着重要作用。

===计算数论===

借助[[电脑]]的算法帮助研究数论的问题,例如素数测试和[[因数分解]]等和[[密码]]学息息相关的课题。

===超越数论===

研究数的超越性,其中对于[[欧拉常数]]与特定的riemann ζ函数值之研究尤其令人感到兴趣。此外它也探讨了数的丢番图逼近理论。

===组合数论===

利用组合和[[机率]]的技巧,非构造性地证明某些无法用初等方式处理的复杂结论。这是由[[保罗·艾狄胥]]开创的思路。比如[[兰伯特]]猜想的简化证明。

===算术代数几何===

这是数论发展到目前为止最深刻最前沿的领域, 可谓集大成者。它从[[代数几何]]的观点出发,通过深刻的数学工具去研究数论的性质。比如[[怀尔斯]]证明[[费马]]猜想就是这方面的经典实例。整个证明几乎用到了当时所有最深刻的理论工具。

当代数论的一个重要的研究指导纲领,就是著名的[[郎兰兹纲领]]。

==研究方法==

除了上述传统方法之外,也有其他一些研究数论之法, 但是没有完全得到数学家的认可。比如有物理学家,通过[[量子力学]]方法声称证明了黎曼假设。

==我国的数论发展==

在我国近代,数论也是发展最早的数学分支之一。从二十世纪三十年代开始,在解析数论、[[丢番图方程]]、一致分布等方面都有过重要的贡献,出现了[[华罗庚]]、[[闵嗣鹤]]、[[柯召]]、[[陈景润]]、[[潘承洞]]等第一流的数论专家。其中华罗庚教授在[[三角]]和估值、[[堆砌素数论]]方面的研究是享有盛名的。1949年以后,数论的研究的得到了更大的发展。陈景润、[[王元]]等在“筛法”和“哥德巴赫猜想”方面的研究,已取得世界领先的优秀成绩;周海中在著名数论难题——梅森素数分布的研究中取得了世界领先的卓著成绩。 <ref>["The Unreasonable Effectiveness of Number Theory", Stefan Andrus Burr, George E. Andrews, American Mathematical Soc., 1992, ISBN 978-0-8218-5501-0]</ref>

==视频==
==数论入门:三招一试==
{{#iDisplay:o1400j2f08m | 560 | 390 | qq }}
==数论入门 整除==
{{#iDisplay:c1400hfdfar | 560 | 390 | qq }}
==参考文献==
{{Reflist}}
13,331
次編輯