p进数

✍ dations ◷ 2025-08-26 18:05:31 #域论,数论

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

例如

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

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

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

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

考察逆向链：

定义 $\mathbb {Z} _{p}$ ${\mathbb {Z}}_{p}$ 为其逆向极限： $\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。也就是说，每个 $p {\displaystyle p}$ $p$ 进整数 $a\in \mathbb {Z} _{p}$

相关

主语主语（拉丁语：subjectum，英语：subject），又称主词，是一种句法成分。如英语和法语当中，主语由名词短语或者代词充当，会决定谓语动词的形态，即达成一致。其他语言里充当类似角色的名词短语
法墨战争法国武装干涉墨西哥（西班牙语：Segunda Intervención Francesa en México），又称为马西米连诺事件或法墨战争，是一次由法兰西第二帝国远征军对墨西哥发动的一次入侵，开始时曾获得
国际化与本地化在信息技术领域，国际化与本地化（英文：internationalization and localization）是指修改软件使之能适应目标市场的语言、地区差异以及技术需要。国际化是指在设计软件，将软件与特
箱馆坐标：41°46′N 140°44′E / 41.767°N 140.733°E / 41.767; 140.733 函馆市（日语：函館市／はこだてし Hakodate shi */?），旧称箱馆，是一个位于日本北海道南部（道南）渡岛半岛东南
纬来综合台纬来综合台，即前纬来电视 ON TV，是纬来电视网旗下结合综艺节目、谈话性节目、电视动画等不同类型节目于一台的综合性频道，也会重播纬来戏剧台的戏剧节目。在纬来体育台与纬来育
以斯雷航空以斯雷航空（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taam
乔治·阿姆斯特朗·卡斯特乔治·阿姆斯特朗·卡斯特（英语：George Armstrong Custer；1839年12月5日－1876年6月25日），美国陆军军官，曾任第七骑兵团的中校团长及义勇军（英语：United States Volunteers）少将，以骁勇
田中贵子 (声优)田中贵子（10月5日－）是日本的女性声优，福井县出身。Mausu Promotion所属。2015年从大阪动画专门学校声优科动画声优学科毕业，之后进入Mausu Promotion附属养成研究所就读。2017年4
艾莫斯·巴伯艾莫斯·巴伯（Amos W. Barber）（1861年6月25日－1915年5月18日），美国政治人物，共和党人。曾担任怀俄明州第2任州长，时间为1890年11月24日至1893年1月2日。1861年6月25日，艾莫斯·巴伯生
泰根与莎拉泰根与莎拉（英语：Tegan and Sara），加拿大女双胞胎独立摇滚乐队，1995年成立于卡尔加里。此双胞胎乐队乐队以双胞胎姐妹Tegan Rain Quin和Sara Keirsten Quin（1980年9月19日－）为首。她