【P进数】
3进整数相互关系图示
进数（p-adic number），是数论中的概念，也称作局部数域，是有理数域拓展成的完备数域的一种。这种拓展与常见的有理数域到实数域、复数域的数系拓展不同，其具体在于所定义的“距离”概念。进数的距离概念建立在整数的整除性质上。给定素数，若两个数之差被的高次幂整除，那么这两个数距离就“接近”，幂次越高，距离越近。这种定义在数论性质上的“距离”能够反映同余的信息，使进数理论成为了数论研究中的有力工具。
进数的概念首先由库尔特·亨泽尔于1897年构思并刻画，其发展动机主要是试图将幂级数方法引入到数论中，但现今进数的影响已远不止于此。例如可以在进数上建立进数分析，将数论和分析的工具结合起来，安德鲁·怀尔斯对费马大定理的证明中就用到了进数理论。此外，进数在量子物理学、认知科学、计算机科学等领域都有应用。
==预备知识==
===数系的拓展===
数系是人类将自然中的数量关系抽象化得到的代数系统。最早建立的数系是带有加法与乘法的自然数，其后引入了负数、分数的概念，形成了有理数32。是“最小的”能够包容四则运算的代数系统，这样的系统在近世代数中称为域。
===度量===
数系的拓展中，自然数系到有理数系的拓展是基于代数运算的需求，而有理数系到实数系的拓展则是拓扑学的需要。这里的拓扑指的是为代数体系赋予“形状”，定义“远近”、“长短”等概念，是建立几何和分析结构的基础。一个常见的拓扑学方法是引入“距离”的概念，正式称呼为度量。最直观的定义是将两个有理数的“距离”（度量）定义为两者之差的绝对值：
两个有理数之间的度量是一个非负的有理数。也即是说度量是一个从有理数域映射到非负有理数集合的二元函数：。其中的大小关系则是有理数域上定义的全序。这个度量基于欧几里得几何，叫做欧几里得度量或绝对值度量。
===完备化===
在上装备了度量后，可以讨论极限的概念。极限描述了一个数列在下标趋于无穷时的趋势，是分析学的基础。如果一个有理数列在下标趋于无穷时，数列的项与某个数的距离可以小于任意给定的正有理数，就称为此数列的极限。拥有极限的数列的项在下标趋于无穷时相互无限“靠近”。但反过来，这样的数列不一定拥有有理数极限。比如说以下数列：
这说明有理数在表示长度和距离的时候是不完备的，存在着无法用有理数表达的长度。为此需要对有理数进行扩展，称为完备化。
将完备化的拓扑方法由格奥尔格·康托提出。康托的方法依赖于现称为柯西数列的概念。柯西数列是一种可以用任意“小”的“圆盘”覆盖从某项起所有项的无穷数列。某个有理数数列是柯西数列，当且仅当对任意有理数，都存在自然数，使得对任意，都有。康托承认每个这样的有理数数列都收敛到某个极限，将实数定义为某个柯西数列的极限。显然，对于所有有理数，都能找到一个以它为极限的柯西数列，比如常数数列。如果当两个柯西数列和的差：收敛于，就称这两个数列等价，这样就可以在所有的柯西数列中建立等价关系。而康托将所有的等价类的集合定义为实数集。四则运算、绝对值度量和序关系“”都可以从有理数域自然诱导到上。最重要的是，可以证明，所有中元素构成的柯西数列都收敛到中。这说明是一个有序完备数域。
实数作为的完备化是建立在绝对值度量上的，这种度量与日常现实中的欧几里德式的“距离”概念吻合，符合直观经验。实数也因此成为描述现实世界的有力数学工具。进数与实数的不同在于，它是将绝对值度量改为另一种非直观的度量对有理数进行完备化后得到的完备数域page2=50-51。
== 构造 ==
=== 分析方法 ===
在有理数上引入绝对值度量，与此对应的柯西序列的等价类构成了完备数域。进数则是在上引入不同的度量后进行完备化得到的完备数域。
给定素数。对任意，将其写为分数形式，其中和是整数，不等于0。根据算术基本定理，每个整数都可以唯一分解为素因数的乘积。考察在和的素因数分解中的次数和，定义进赋值page2=1-2：
同时约定。例如，，则
在此基础上，可以定义度量映射以及其对应诱导的范数page3=90：
例如
可以验证映射满足度量所需的一切性质page1=59。因此，用与构造实数相同的手段，可以构造一个完备有序数域，记作page2=60-61。
由奥斯特洛夫斯基定理，的所有绝对值赋值或者等价于绝对值，或为平凡赋值，或等价于某素数的进赋值。从而（关于某赋值）的完备化也只有这些page2=3。
=== 代数方法 ===
用代数的方法，首先定义进整数环，然后构造其分式域，也可以得到进数域page1=92。
首先考虑由整数模的同余类构成的环：。与之间存在自然的环同态dl：
dl
考察逆向链：
定义为其逆向极限：page1=56。
也就是说，每个进整数被定义为以下的序列dl：
其中。可以证明，这样定义的进整数环与拓扑方法构造的中通过定义的进整数环是同构的page1=91-92。
在以上的定义下，整数可以自然地嵌入中，每个整数都可以依照它在的同余类，唯一表示为一个进整数page1=91。例如在时，整数3629在中对应的3进整数可以表示为：
从上面的例子可以看到，对于正整数，将收敛于本身，对于负整数情况则复杂一些，例如，
由于环同态良好地保持了环的结构，所以这种结构自然地延伸到逆向极限中。直观上可以理解为，是结构的极限。越大，和就越“相似”。
进整数环中的单位元显然是 一个进整数是（乘法）可逆元当且仅当是中的可逆元page1=91。非可逆元的元素都可以表达为：
其中是中的可逆元，称为进整数的（代数）赋值dl。可以看出，这个赋值和拓扑构造时的赋值是等价的。可以证明是特征为0的整环dl。构造的分式域，可以证明其分式域（在恰当的拓扑同构的意义上）等于前面用拓扑方法构造的page1=92。
==展开式与记数法==
每个进数都有唯一的展开式page1=57：
其中就是的进赋值，，。这一展开式在度量下收敛到page1=14。代数构造中进整数的数列表示的第项，等于其展开式前项的部分和。设进整数的数列表示为，其展开式为，则
这说明进整数数列表示中，随着项数增大，数列的项在下收敛到进整数自身。
仿照有理数中进制的记数法，可以将进数记为：
page1=92，
称为进数的进记法。
按的定义，的“大小”（范数）为page1=92。也就是说，一个进数小数点后位数越多则越大。这个性质与实数正好相反。
===例子===
从代数构造方法中可知，整数可以自然地嵌入中，因此非负整数在中表现为有限位数的进整数。其进记法和进制记数法雷同。例如当时，自然数记为：。负整数和分母不为的正整数次幂的分数在进记法中则表现为向左侧延伸的无限循环page1=39。例如的进记法为：
。
计算方法如下：
。
如果有理数的分子或分母里含有的幂次，则可以仿照进制记数法的做法，先将其提出作为因数，写成的形式，将表达为进记法，然后移动小数点得到的进记法。例如要求的进记法，可以先将表示为，写出的进记法后，将小数点向左移动两位得到：
因此，分母为的正整数次幂的分数在进数中表现为有限小数。
==基本性质==
具有许多与不同的特性，其中某些可能违反直观直觉。举例来说，中不存在平方等于7的数（等价于实数中的），但存在平方等于-1的数（等价于复数中的虚数单位）。一般来说，-1在中有平方根，当且仅当除以4余1uar。对不相同的质数、，与不同构，并且它们的交集只有。每一个中的元素个数都是不可数的。
===拓扑性质===
上的范数是一个超度量的范数。它不仅满足三角不等式，而且满足更强的关系：
这说明，如果将想象成一个几何空间，那么其中的三角形的一边长度总小于等于另外两边中较长者，也就是说所有的三角形都是锐角等腰三角形。这与实际中的欧式几何空间完全不同。由此与具有截然不同的拓扑性质page1=90。
*在中，一个数列收敛当且仅当趋于0。一个无穷级数收敛当且仅当趋于0。
*考虑中的一个“球”：。这个球即是开集，也是闭集。这个球中每一个点，都是球的球心。两个球之间或者完全不相交，或者一个完全在另一个里面page1=90。
*上的拓扑是完全不连通的豪斯多夫空间：设有元素，则包含的连通单元只有.page1=90-91
*是由完备化而得，因此在中稠密。不仅如此，任意给定有限个质数和正有理数，并在相应的进数域中各选定一个数：后，都可找到有理数，它与任一个之间的距离都小于。
进整数定义为所有范数不大于1的进数：。这说明就是的单位球page2=60。其“球面”为所有范数等于1的进整数集合：，亦即中所有可逆元的集合page1=61。是紧致的page2=64。所有的整数都是进整数，整数集合在中稠密page2=60。
*中的任一个球都可以表达为，其中的是使得的最小整数page2=63。
*是局部紧致的page2=64。
===代数性质===
代数上，是的分式域。更准确地说，。也即是说，对每一个，都存在整数，使得page3=36。
是特征为0的主理想整环。的非零理想只有主理想，其中是任意自然数page2=6。它唯一的极大理想是page2=60。根据同构基本定理，对的商同构于有限域dl。类似地，同构于page1=34。
实数域只有一个真代数扩张，就是复数域。不仅是代数闭域，而且是完备的。域扩张的次数为2。与此不同的是，的任何有限扩张都不是代数封闭的，的代数闭包是上的无限扩张，一般记作。将上的拓扑拓延到后会发现，并不是完备的空间。使用标准方法将其完备化后，得到的空间称为进复数，记作。和复数域是代数同构的，可以视为装备了另一种拓扑结构（超度量）的复数域page1=94。
如果是奇数，那么次单位根属于当且仅当整除-1。换句话说，中由单位根构成的群只有及其子群。时，单位根只有1和-1page1=110。
==应用==
===数论===
进数对于同余信息有一种独特的编码方法，这在数论里作用很大。例如，困扰数学家长达三百多年的费马最后定理，终于在1994年由安德鲁·怀尔斯使用进数理论证明，这是数学上的重大突破。怀尔斯因此获得2005年度邵逸夫奖uar。
===量子物理===
进数刚出现时，学者们最初认为这理论属于纯数学领域，毫无任何实用价值。但1968年，两位纯数学研究者A. Monna和F. van der Blij首先提出将进数应用到物理学中。1972年，E. Beltrametti和G. Cassinelli探讨了一种取值为进数的quantum logic状态模型。进入二十世纪八十年代后，进数在量子物理学中的应用愈为广泛。首先涌现的是进弦和进超弦模型。量子物理学家在这些模型中使用与实数拓扑性质不同的进数，以构建出不同的时空结构，描述在普朗克尺度下与大尺度完全不同的物理现象和行为。在普朗克尺度下，基于实数的模型无法很好的描绘出某些量子特性，而进数域的某些性质，比如说无序性，和普朗克尺度下的物理特质相近uar。
进数量子物理学中的应用也带动了数学中对进数的研究。例如进弦论的研究促使数学家展开了对进数上的分布理论、微分方程及伪微分方程（pseudodifferential equation）、概率论以及进数上相应希尔伯特空间（装备了额外结构的）中的算子谱理论等多方面的研究uar。
===信息编码===
进数的数列展开表示可以被用于信息的编码。因此进数可以被用来描述很多信息处理的过程，在认知科学、心理学和社会学研究中出现uar。
===进动力系统理论===
算术动力系统是二十世纪九十年代提出的数学理论，整合了动力系统及数论。传统的离散动力系统会探讨迭代函数在复平面或是实数中的性质。算术动力系统则探讨多项式或解析函数在整数、有理数、进数及几何点中的迭代特性。进数动力系统在计算机科学领域中的直线式程序（straight-line programs）问题、数值分析与模拟中的伪随机数问题、密码学中的流加密问题上都有重要作用。在计算机科学和自动机理论中，进遍历理论可以帮助快速制造大拉丁方。后者在实验设计、软件测试和通信理论中都有良多应用uar。