𝑝进数

✍ dations ◷ 2025-08-23 17:57:57 #𝑝进数

${displaystyle mathbb {N} subseteq mathbb {Z} subseteq mathbb {Q} subseteq mathbb {R} subseteq mathbb {C} }$ 进数
数学常数

圆周率 ${displaystyle pi =3.141592653dots }$ ${displaystyle pi =3.141592653dots }$
自然对数的底 ${displaystyle e=2.718281828dots }$ ${displaystyle e=2.718281828dots }$
虚数单位 ${displaystyle i={sqrt {-1}}}$ ${displaystyle i={sqrt {-1}}}$
无穷大 ${displaystyle infty }$ $infty$

${displaystyle p}$ $p$ 进数（英语：p-adic number），是数论中的概念，也称作局部数域，是有理数域拓展成的完备数域的一种。这种拓展与常见的有理数域 ${displaystyle mathbb {Q} }$ $mathbb{Q}$ 到实数域 ${displaystyle mathbb {R} }$ $mathbb {R}$ 、复数域 ${displaystyle mathbb {C} }$ $mathbb {C}$ 的数系拓展不同，其具体在于所定义的“距离”概念。 ${displaystyle p}$ $p$ 进数的距离概念建立在整数的整除性质上。给定素数 ${displaystyle p}$ $p$ ，若两个数之差被 ${displaystyle p}$ $p$ 的高次幂整除，那么这两个数距离就“接近”，幂次越高，距离越近。这种定义在数论性质上的“距离”能够反映同余的信息，使 ${displaystyle p}$ $p$ 进数理论成为了数论研究中的有力工具。

${displaystyle p}$ $p$ 进数的概念首先由库尔特·亨泽尔于1897年构思并刻画，其发展动机主要是试图将幂级数方法引入到数论中，但现今 ${displaystyle p}$ $p$ 进数的影响已远不止于此。例如可以在 ${displaystyle p}$ $p$ 进数上建立 ${displaystyle p}$ $p$ 进数分析，将数论和分析的工具结合起来，安德鲁·怀尔斯对费马大定理的证明中就用到了 ${displaystyle p}$ $p$ 进数理论。此外， ${displaystyle p}$ $p$ 进数在量子物理学、认知科学、计算机科学等领域都有应用。

数系是人类将自然中的数量关系抽象化得到的代数系统。最早建立的数系是带有加法与乘法的自然数 ${displaystyle mathbb {N} ={0,1,2,3cdots }}$ ${mathbb {N}}={0,1,2,3cdots }$ ，其后引入了负数、分数的概念，形成了有理数 ${displaystyle mathbb {Q} }$ $mathbb{Q}$ :32。 ${displaystyle mathbb {Q} }$ $mathbb{Q}$ 是“最小的”能够包容四则运算的代数系统，这样的系统在近世代数中称为域。

数系的拓展中，自然数系到有理数系的拓展是基于代数运算的需求，而有理数系到实数系的拓展则是拓扑学的需要。这里的拓扑指的是为代数体系赋予“形状”，定义“远近”、“长短”等概念，是建立几何和分析结构的基础。一个常见的拓扑学方法是引入“距离”的概念，正式称呼为度量。最直观的定义是将两个有理数的“距离”（度量） ${displaystyle d}$ $d$ 定义为两者之差的绝对值：

两个有理数之间的度量是一个非负的有理数。也即是说度量 ${displaystyle d}$ $d$ 是一个从有理数域映射到非负有理数集合的二元函数： ${displaystyle mathbb {Q} times mathbb {Q} rightarrow mathbb {Q} ^{+}={xin mathbb {Q} ;;;xgeqslant 0}}$ ${mathbb {Q}}times {mathbb {Q}}rightarrow {mathbb {Q}}^{+}={xin {mathbb {Q}};;;xgeqslant 0}$ 。其中 ${displaystyle mathbb {Q} ^{+}}$ ${mathbb {Q}}^{+}$ 的大小关系则是有理数域上定义的全序。这个度量基于欧几里得几何，叫做欧几里得度量或绝对值度量。

在 ${displaystyle mathbb {Q} }$ $mathbb{Q}$ 上装备了度量后，可以讨论极限的概念。极限描述了一个数列在下标趋于无穷时的趋势，是分析学的基础。如果一个有理数列在下标趋于无穷时，数列的项与某个数 ${displaystyle lin mathbb {Q} }$ $lin {mathbb {Q}}$ 的距离可以小于任意给定的正有理数，就称 ${displaystyle l}$ $l$ 为此数列的极限。拥有极限的数列的项在下标趋于无穷时相互无限“靠近”。但反过来，这样的数列不一定拥有有理数极限。比如说以下数列：

这说明有理数在表示长度和距离的时候是不完备的，存在着无法用有理数表达的长度。为此需要对有理数进行扩展，称为完备化。

将 ${displaystyle mathbb {Q} }$ $mathbb{Q}$ 完备化的拓扑方法由格奥尔格·康托提出。康托的方法依赖于现称为柯西数列的概念。柯西数列是一种可以用任意“小”的“圆盘”覆盖从某项起所有项的无穷数列。某个有理数数列 ${displaystyle (a_{n})_{nin mathbb {N} }in mathbb {Q} ^{mathbb {N} }}$ $(a_{n})_{{nin {mathbb {N}}}}in {mathbb {Q}}^{{{mathbb {N}}}}$ 是柯西数列，当且仅当对任意有理数 ${displaystyle epsilon >0}$ $epsilon >0$ ，都存在自然数 ${displaystyle N_{epsilon }in mathbb {N} }$ $N_{epsilon }in {mathbb {N}}$ ，使得对任意 ${displaystyle n,m>N_{epsilon }}$ $n,m>N_{epsilon }$ ，都有 ${displaystyle d(a_{n},a_{m})<epsilon }$ $d(a_{n},a_{m})<epsilon$ 。康托承认每个这样的有理数数列都收敛到某个极限，将实数定义为某个柯西数列的极限。显然，对于所有有理数，都能找到一个以它为极限的柯西数列，比如常数数列。如果当两个柯西数列 ${displaystyle (a_{n})_{nin mathbb {N} }}$ $(a_{n})_{{nin {mathbb {N}}}}$ 和 ${displaystyle (b_{n})_{nin mathbb {N} }}$ $(b_{n})_{{nin {mathbb {N}}}}$ 的差： ${displaystyle (a_{n}-b_{n})_{nin mathbb {N} }}$ $(a_{n}-b_{n})_{{nin {mathbb {N}}}}$ 收敛于 ${displaystyle 0}$ ${displaystyle 0}$ ，就称这两个数列等价，这样就可以在所有的柯西数列中建立等价关系。而康托将所有的等价类的集合定义为实数集 ${displaystyle mathbb {R} }$ $mathbb {R}$ 。四则运算、绝对值度量和序关系“ ${displaystyle >}$ $>$ ”都可以从有理数域自然诱导到 ${displaystyle mathbb {R} }$ $mathbb {R}$ 上。最重要的是，可以证明，所有 ${displaystyle mathbb {R} }$ $mathbb {R}$ 中元素构成的柯西数列都收敛到 ${displaystyle mathbb {R} }$ $mathbb {R}$ 中。这说明 ${displaystyle mathbb {R} }$ $mathbb {R}$ 是一个有序完备数域。

实数 ${displaystyle mathbb {R} }$ $mathbb {R}$ 作为 ${displaystyle mathbb {Q} }$ $mathbb{Q}$ 的完备化是建立在绝对值度量上的，这种度量与日常现实中的欧几里德式的“距离”概念吻合，符合直观经验。实数也因此成为描述现实世界的有力数学工具。 ${displaystyle p}$ $p$ 进数与实数的不同在于，它是将绝对值度量改为另一种非直观的度量对有理数进行完备化后得到的完备数域:8:50-51。

在有理数 ${displaystyle mathbb {Q} }$ $mathbb{Q}$ 上引入绝对值度量，与此对应的柯西序列的等价类构成了完备数域 ${displaystyle mathbb {R} }$ $mathbb {R}$ 。 ${displaystyle p}$ $p$ 进数则是在 ${displaystyle mathbb {Q} }$ $mathbb{Q}$ 上引入不同的度量后进行完备化得到的完备数域。

给定素数 ${displaystyle p}$ $p$ 。对任意 ${displaystyle xin mathbb {Q} }$ $xin {mathbb {Q}}$ ，将其写为分数形式 ${displaystyle x={frac {a}{b}}}$ $x={frac {a}{b}}$ ，其中 ${displaystyle a}$ $a$ 和 ${displaystyle b}$ $b$ 是整数， ${displaystyle b}$ $b$ 不等于0。根据算术基本定理，每个整数都可以唯一分解为素因数的乘积。考察 ${displaystyle p}$ $p$ 在 ${displaystyle a}$ $a$ 和 ${displaystyle b}$ $b$ 的素因数分解中的次数 ${displaystyle operatorname {ord} _{p}(a)}$ $operatorname {ord}_{p}(a)$ 和 ${displaystyle operatorname {ord} _{p}(b)}$ $operatorname {ord}_{p}(b)$ ，定义 ${displaystyle p}$ $p$ 进赋值:90:1-2：

同时约定 ${displaystyle nu _{p}(0)=+infty }$ $nu _{p}(0)=+infty$ 。例如 ${displaystyle p=5}$ $p=5$ ， ${displaystyle x={frac {63}{550}}}$ $x={frac {63}{550}}$ ，则

在此基础上，可以定义度量映射以及其对应诱导的范数:59:2:90：

例如

可以验证映射 ${displaystyle operatorname {d} _{p}}$ $operatorname {d}_{p}$ 满足度量所需的一切性质:59。因此，用与构造实数相同的手段，可以构造一个完备有序数域，记作 ${displaystyle mathbb {Q} _{p}}$ $mathbb{Q}_p$ :90:60-61。

由奥斯特洛夫斯基定理， ${displaystyle mathbb {Q} }$ $mathbb{Q}$ 的所有绝对值赋值或者等价于绝对值，或为平凡赋值，或等价于某素数 ${displaystyle p}$ $p$ 的 ${displaystyle p}$ $p$ 进赋值。从而 ${displaystyle mathbb {Q} }$ $mathbb{Q}$ （关于某赋值）的完备化也只有这些:46:3。

用代数的方法，首先定义 ${displaystyle p}$ $p$ 进整数环 ${displaystyle mathbb {Z} _{p}}$ ${mathbb {Z}}_{p}$ ，然后构造其分式域，也可以得到 ${displaystyle p}$ $p$ 进数域:92。

首先考虑由整数模 ${displaystyle p^{n}}$ $p^{n}$ 的同余类构成的环： ${displaystyle mathbb {Z} /p^{n}mathbb {Z} }$ $mathbb{Z}/p^nmathbb{Z}$ 。 ${displaystyle mathbb {Z} /p^{n}mathbb {Z} }$ $mathbb{Z}/p^nmathbb{Z}$ 与 ${displaystyle mathbb {Z} /p^{n-1}mathbb {Z} }$ ${mathbb {Z}}/p^{{n-1}}{mathbb {Z}}$ 之间存在自然的环同态：

考察逆向链：

定义 ${displaystyle mathbb {Z} _{p}}$ ${mathbb {Z}}_{p}$ 为其逆向极限： ${displaystyle mathbb {Z} _{p}=;lim _{longleftarrow }left(mathbb {Z} /p^{n}mathbb {Z} ,varphi _{n}right)}$ ${mathbb {Z}}_{p}=;lim _{{longleftarrow }}left({mathbb {Z}}/p^{n}{mathbb {Z}},varphi _{n}right)$ :56。也就是说，每个 ${displaystyle p}$ $p$ 进整数 ${displaystyle ain mathbb {Z} _{p}}$ $ain {mathbb {Z}}_{p}$ 被定义为以下的序列：

其中 ${displaystyle a_{n}equiv a_{n-1}{pmod {p^{n-1}}}}$

相关

碳酸锂碳酸锂（Li2CO3）是一种无色至白色结晶，能溶于水，但溶解性不佳。用于治疗精神疾病，多用于躁狂症的治疗。白色单斜，碱性晶体，无潮解性，在空气中是稳定的。在水中的溶解度很小，因此可以通
亨德里克·范德胡斯特亨德里克·克里斯托菲尔·“亨克”·范德胡斯特，ForMemRS（荷兰语：Hendrik Christoffel "Henk" van de Hulst，1918年11月19日－2000年7月31日），荷兰天文学家和数学家。1944年，范德胡斯
C-118举重霸王道格拉斯DC-6是由道格拉斯飞行器公司在1946年到1958年间生产的一种活塞动力商用客机／运输机。最初是为从事军事运输而设计的，但自第二次世界大战结束后，道格拉斯公司便将DC-6改
液体火箭发动机液体推进剂火箭发动机（英语：Liquid Propellant Rocket Engine，缩写为LPRE），简称液体火箭发动机:2或液态火箭发动机，是指采用液态的燃料和氧化剂作为能源和工质的火箭发动机。液体
南希·度普雷南希·哈奇·度普雷（Nancy Hatch Dupree，1927年10月3日－2017年9月10日）是美国知名的阿富汗历史、艺术和考古专家。南希·度普雷于1962年作为一名外交官的妻子来到阿富汗，而后毕生
第49届柏林影展第49届柏林影展（德语：）于1999年2月10日至2月21日于德国柏林举办，德国导演马克斯·法贝尔布克（英语：Max Färberböck）执导的《艾美与亚歌（德语：Aimée & Jaguar）》被选为影展开幕片，美
里斯托·吕蒂里斯托·海基·吕蒂（芬兰语：Risto Heikki Ryti，1889年2月3日胡伊蒂宁 - 1956年10月25日赫尔辛基），芬兰政治家，芬兰民族进步党成员，曾任芬兰总理和芬兰总统。1941年6月25日带领芬兰
竺沙雅章竺沙雅章（日语：竺沙雅章／ちくさまさあき，1930年3月14日－2015年10月2日）日本的中国史专家、京都大学名誉教授。出生于京都府。京都大学人文科学研究所助理教授，1968年京都大学文
楠萨奇岛楠萨奇岛是百慕大的岛屿，位于大西洋海域，长0.46公里、宽0.1公里，面积0.057平方公里，最高点海拔高度16米，该岛是自然保护区的一部分，岛上无人居住。坐标：32°20′50″N 64°39′48″
梅斐尔德克莱门特·莫罗（Clément Moreau，1903年3月26日－1988年），其真实的名字是Carl Josef Meffert，鲁迅将其翻译为凯尔·梅斐尔德，生在德国的科布伦茨，是一个关注社会政治现实的木刻艺术家。他的主要作品是《黑夜笼罩德国》。梅斐尔德1903年3月26日在科布伦茨出生，是一个私生子。经历过一个痛苦的童年后，他于1914年至1918年作为问题少年在威斯特法伦州两个感化院被收容，几次尝试逃跑均告失败。 1927年，他搬到了柏林，在那里他遇到了珂勒惠支、埃米利、 Heinrich Vo