𝑝进数

${\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}$进数的概念首先由库尔特·亨泽尔于1897年构思并刻画，其发展动机主要是试图将幂级数方法引入到数论中，但现今${\displaystyle p}$进数的影响已远不止于此。例如可以在${\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}}}$收敛于${\displaystyle 0}$，就称这两个数列等价，这样就可以在所有的柯西数列中建立等价关系。而康托将所有的等价类的集合定义为实数集${\displaystyle \mathbb{R}}$。四则运算、绝对值度量和序关系“${\displaystyle >}$”都可以从有理数域自然诱导到${\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}$被定义为以下的序列：

其中${\displaystyle a_n\equiv <!--\; \equiv \; -->a_{n-<!--\; -\; -->1}(\mathrm{mod}{p}^{n-<!--\; -\; -->1})}$

相关

• 双重角色异装双重角色异装（英语：Dual-role transvestism）是心理学家和医生用来描述穿着异性服饰以暂时体验异性的人，但没有性动机或想要性别重置手术的正式诊断。《国际疾病与相关健康问题统
• 勒黑镇勒黑镇（缅甸语：လဟယ်မြို့နယ်，英语：Lahe Township）为缅甸实皆省那加自治区的镇区。2014年人口48,526人，区域面积3,941.2平方公里。该镇下分82个村庄。勒黑为该镇之首府
• 明水香稻明水香稻是济南东郊章丘县的明水公社所产的一种香稻，在中国有一定知名度。明水香稻的主要产区集中在明水城北一带。这里的水田土质条件最适合香稻的生长。历代名人对其有所描
• 接写环接写环，也称为延伸套筒（extension tube），是一种使用于微距摄影的辅助摄影器材，可令一般的镜头也具有微距镜头的微距摄影能力，使用时先将接写环装上机身的镜头接环，然后把镜头装在接
• 艾蒂儿肖像一号《艾蒂儿·布洛赫-鲍尔肖像一号 》（英语：），是奥地利画家古斯塔夫·克林姆于1907年完成的画作。1907年维也纳犹太富商布洛赫-鲍尔委托古斯塔夫·克林姆为其妻艾蒂儿·布洛赫-鲍尔
• 三国杀三国杀是主要流行于中国大陆、港澳和台湾的桌上纸牌游戏/网上游戏。该纸牌游戏以杀人纸牌（Bang!）为原型，以华夏的三国时代及演义文学为背景，拥有不同类型的身份牌、武将牌、体力
• 蒂萨河上《蒂萨河上》（俄语：Над Тиссой）是1958年在苏联上映的一部惊悚片，荣获同年度苏联电影年度票房冠军，观众人数达到了4500万人。影片根据亚历山大·阿夫杰延科的同名小说改
• 甫岭站甫岭站（日语：甫嶺駅／ほれいえき  */?）是位于岩手县大船渡市三陆町越喜来字甫岭，三陆铁道的谷湾线车站。车站爱称为“金之雫”。车站西边设有杜鹃花得著名的今出山。该处曾经以
• 卡尔布科火山卡尔布科火山（西班牙语：Volcán Calbuco）是智利的火山，位于该国南部延基韦湖东南面，由湖大区负责管辖，属于安第斯山脉的一部分，海拔高度2,003米。火山和周边地区处于延基韦国家级自
• 凯文·安德森 (网球运动员)凯文·安德森（英语：Kevin Anderson，1986年5月18日－），南非男子职业网球运动员，2007年转职业。2018年5月14日，他到达目前为止最高单打排名第5位，他的绰号为“摩天楼”。2008年3月10日，安