p进数

${\displaystyle \mathbb{N}\subseteq <!--\; \subseteq \; -->\mathbb{Z}\subseteq <!--\; \subseteq \; -->\mathbb{Q}\subseteq <!--\; \subseteq \; -->\mathbb{R}\subseteq <!--\; \subseteq \; -->\mathbb{C}}$进数
数学常数

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

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

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

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

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

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

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

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

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

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

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

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

同时约定${\displaystyle {\mathrm{\nu <!--\; \nu \; -->}}_p(0)=+\mathrm{\infty <!--\; \infty \; -->}}$。例如${\displaystyle p=5}$，${\displaystyle x=\frac{63}{550}}$，则

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

例如

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

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

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

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

考察逆向链：

定义${\displaystyle {\mathbb{Z}}_p}$为其逆向极限：${\displaystyle {\mathbb{Z}}_p=\underset{⟵<!--\; ⟵\; -->}{lim}\left(\mathbb{Z}/p^n\mathbb{Z},{\mathrm{\phi <!--\; \phi \; -->}}_n\right)}$:56。也就是说，每个${\displaystyle p}$进整数${\displaystyle a\in <!--\; \in \; -->{\mathbb{Z}}_p}$

相关

• 默克索引《默克索引》（英语：Merck Index）是由美国默克公司出版的记录化学品、药物和生理性物质的综合性百科全书，收录超过一万多条有关个别的物质和其相关化合物的专题文章。本书亦于附
• 补集在集合论和数学的其他分支中，存在补集的两种定义：相对补集和绝对补集。若 A {\displaystyle A} 和 B
• 联合作战司令部一体化作战司令部（Unified Combatant Command，简写UCC），又译联合作战司令部，是美军当中直属于国防部的军事指挥机构（英语：Command (military formation)）之一，分地域性和功能性，具有广
• 正宗哥斯拉《新·哥斯拉》（日语：シン・ゴジラ，英语：Godzilla Resurgence/Shin Godzilla）是2016年公映的日本特摄电影。是东宝制作的第29部哥斯拉电影，《哥斯拉系列电影》第31作。也是自2004
• 国家格言列表索引 国防预算 石油储量 军事（武装部队） 死刑 国债 生育率 最高点 官方语言 地理 政体 面积 代码 陆地面积 人口 人口密度 国内生产总值 国徽 国旗 国歌 国家格言 首都 城市
• 詹金斯的耳朵战争詹金斯的耳朵战争（英语：War of Jenkins' Ear），西班牙称阿西恩托战争（西班牙语：Guerra del Asiento，“阿西恩托”意为进口黑人许可证），是大不列颠与西班牙之间一场发生于1739年至1748
• 彼得·列别捷夫彼得·尼古拉耶维奇·列别捷夫（俄语：Пётр Николаевич Лебедев，罗马化：Pyotr Nikolaevich Lebedev，1866年3月8日－1912年3月14日），俄罗斯物理学家。他的名字有时
• 曹议文曹议文（英语：Sherry Cao，1984年9月30日－），浙江杭州人，毕业于上海师范大学谢晋影视艺术学院表演系，曾获得2003年度“上海小姐”亚军，为中国大陆知名演员。曹议文早年毕业于上海师范大
• 方希贤方希贤，直隶顺天府宛平县人，清朝政治人物。顺治九年（1652年）壬辰科进士，官至杭州府推官。
• 关仝关仝（？－？），中国五代后梁时期的山水画画家，为陕西长安人。与他的师父荆浩在画史上合称“荆关山水”，自创有“关家山水”，在秦岭、华山一代活动。现存作品有《关山行旅图》和《山溪待渡