<i>p</i>进数

✍ dations ◷ 2025-10-22 07:29:15 #<i>p</i>进数

${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}}}}$

<i>p</i>进数

相关