查看“︁P進數”︁的源代码

{{NoteTA
|T = zh-hans:𝑝进数; zh-hant:𝑝進數;
|G1 = Math
}}
{{distinguish|进位制{{!}}p进制数}}
[[Image:3-adic integers with dual colorings.svg|thumb|3进整数相互关系图示]]
{{数}}
'''<math>p</math>进数'''（{{lang-en|p-adic number}}），是[[数论]]中的概念，也称作'''局部数域'''，是[[有理数|有理数域]]拓展成的[[完备空间|完备]]数域的一种。这种拓展与常见的有理数域<math>\mathbb{Q}</math>到[[实数|实数域]]<math>\mathbb{R}</math>、[[复数 (数学)|复数域]]<math>\mathbb{C}</math>的数系拓展不同，其具体在于所定义的“[[度量|距离]]”概念。<math>p</math>进数的距离概念建立在[[整数]]的[[整除]]性质上。给定[[素数]]<math>p</math>，若两个数之差被<math>p</math>的高次[[幂]][[整除]]，那么这两个数距离就“接近”，幂次越高，距离越近。这种定义在数论性质上的“距离”能够反映[[同余]]的信息，使<math>p</math>进数理论成为了数论研究中的有力工具。

<math>p</math>进数的概念首先由[[库尔特·亨泽尔]]于1897年构思并刻画，其发展动机主要是试图将[[幂级数]]方法引入到[[数论]]中，但现今<math>p</math>进数的影响已远不止于此。例如可以在<math>p</math>进数上建立[[p进数分析|<math>p</math>进数分析]]，将数论和分析的工具结合起来，[[安德鲁·怀尔斯]]对[[费马大定理]]的证明中就用到了<math>p</math>进数理论。此外，<math>p</math>进数在[[量子物理学]]、[[认知科学]]、[[计算机科学]]等领域都有应用。

==预备知识==
===数系的拓展===
数系是人类将自然中的数量关系抽象化得到的[[代数系统]]。最早建立的数系是带有加法与乘法的[[自然数]]<math>\mathbb{N} = \{ 0,1,2,3 \cdots \}</math>，其後引入了[[负数]]、[[分数]]的概念，形成了[[有理数]]<math>\mathbb{Q}</math><ref>{{cite book|author=俞正光|title=理工科代数基础|year=1998|publisher=清华大学出版社|isbn=9787302029779}}</ref>{{rp|32}}。<math>\mathbb{Q}</math>是“最小的”能够包容[[四则运算]]的代数系统<ref group="N">此处指<math>\mathbb{Q}</math>对四则运算封闭等条件，具体参见[[域 (数学)|域]]条目中的定义。</ref>，这样的系统在近世代数中称为[[域 (数学)|域]]<ref name="eg">{{cite book|author=Eric Gossett|title=Discrete Mathematics with Proof|year=2009|publisher=John Wiley & Sons（插图版）|language=en|isbn=9780470457931}}，附录A3</ref>。

===度量===
数系的拓展中，自然数系到有理数系的拓展是基于代数运算的需求，而有理数系到实数系的拓展则是[[拓扑学]]的需要。这里的拓扑指的是为代数体系赋予“形状”，定义“远近”、“长短”等概念，是建立[[几何学|几何]]和[[分析学|分析]]结构的基础。一个常见的拓扑学方法是引入“距离”的概念，正式称呼为[[距离函数|度量]]<ref name="gtm007">{{cite book|author=Gerald J. Janusz|title=Algebraic Number Fields|url=https://archive.org/details/algebraicnumberf00unse|year=1996|edition=2nd|publisher=American Mathematical Soc.|language=en|isbn=9780821872437}}</ref>。最直观的定义是将两个有理数的“距离”（度量）<math>d</math>定义为两者之差的[[绝对值]]：
:<math>d(x, y) = |x - y|.</math>
两个有理数之间的度量是一个非负的有理数。也即是说度量<math>d</math>是一个从有理数域映射到非负有理数集合的二元函数：<math>\mathbb{Q}\times \mathbb{Q} \rightarrow \mathbb{Q}^+ = \{ x \in \mathbb{Q} ; \; \; x \geqslant 0\}  </math>。其中<math>\mathbb{Q}^+</math>的大小关系则是有理数域上定义的[[全序]]。这个度量基于[[平面几何|欧几里得几何]]，叫做欧几里得度量或绝对值度量<ref name="gtm007"/>。

===完备化===
在<math>\mathbb{Q}</math>上装备了度量後，可以讨论[[极限 (数学)|极限]]的概念。极限描述了一个数列在下标趋于无穷时的趋势，是分析学的基础。如果一个有理数列在下标趋于无穷时，数列的项与某个数<math>l \in \mathbb{Q}</math>的距离可以小于任意给定的正有理数，就称<math>l</math>为此数列的极限。拥有极限的数列的项在下标趋于无穷时相互无限“靠近”。但反过来，这样的数列不一定拥有有理数极限。比如说以下数列：
:<math>\frac12 , \frac23 , \frac35 , \frac58 , \frac{8}{13} , \cdots</math>
这说明有理数在表示长度和距离的时候是不完备的，存在着无法用有理数表达的长度<ref name="eg"/>。为此需要对有理数进行扩展，称为[[完备化]]<ref name="gtm007"/>。

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

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

== 构造 ==
=== 分析方法 ===
在[[有理数]]<math>\mathbb{Q}</math>上引入绝对值度量，与此对应的[[柯西序列]]的[[等价类]]构成了完备数域<math>\mathbb{R}</math>。<math>p</math>进数则是在<math>\mathbb{Q}</math>上引入不同的度量后进行完备化得到的完备数域。

给定[[素数]]<math>p</math>。对任意<math>x \in \mathbb{Q}</math>，将其写为分数形式<math>x = \frac{a}{b}</math>，其中<math>a</math>和<math>b</math>是整数，<math>b</math>不等于0。根据[[算术基本定理]]，每个整数都可以唯一分解为素因数的乘积。考察<math>p</math>在<math>a</math>和<math>b</math>的素因数分解中的次数<math>\operatorname{ord}_p(a)</math>和<math>\operatorname{ord}_p(b)</math>，定义<math>p</math>进[[P进赋值|赋值]]{{r|eaa|nk|page1=90|page2=1-2}}：
:<math>\nu_p (x) = \operatorname{ord}_p(a) - \operatorname{ord}_p(b).</math>
同时约定<math>\nu_p (0) =+\infty</math>。例如<math>p = 5</math>，<math>x = \frac{63}{550}</math>，则
:<math>\nu_p (x) = \operatorname{ord}_p(63) - \operatorname{ord}_p(550) = 0 - 2 = -2.</math>
在此基础上，可以定义度量映射以及其对应诱导的[[范数]]{{r|fo|nk|eaa|page1=59|page2=2|page3=90}}：
:<math>\operatorname{d}_p (x, y) = p^{-\nu_p (x - y)}, \quad |x|_p = p^{-\nu_p (x)}.</math>
例如
:<math>\operatorname{d}_5 (\frac{64}{550}, \frac{1}{550}) = 5^{-\nu_5 (\frac{63}{550})} = 5^{2}, \quad \left|\frac{63}{550}\right|_5 = 5^{-\nu_5 (\frac{63}{550})} = 5^{2}.</math>

可以验证映射<math>\operatorname{d}_p</math>满足度量所需的一切性质{{r|fo|page1=59}}。因此，用与构造实数相同的手段，可以构造一个完备有序数域，记作<math>\mathbb{Q}_p</math>{{r|eaa|fo|page1=90|page2=60-61}}。

由[[奥斯特洛夫斯基定理]]，<math>\mathbb{Q}</math>的所有绝对值[[赋值]]或者等价于绝对值，或为平凡赋值，或等价于某素数<math>p</math>的<math>p</math>进赋值。从而<math>\mathbb{Q}</math>（关于某赋值）的[[完备化]]也只有这些{{r|fqg|nk|page1=46|page2=3}}。

=== 代数方法 ===
用代数的方法，首先定义<math>p</math>进整数环<math>\mathbb{Z}_p</math>，然后构造其[[分式域]]，也可以得到<math>p</math>进数域{{r|eaa|page1=92}}。

首先考虑由整数模<math>p^n</math>的[[同餘#同餘類|同余类]]构成的环：<math>\mathbb{Z}/p^n\mathbb{Z}</math>。<math>\mathbb{Z}/p^n\mathbb{Z}</math>与<math>\mathbb{Z}/p^{n-1}\mathbb{Z}</math>之间存在自然的[[环同态]]{{r|dl}}：
:<math>\varphi_n : 
\begin{cases}
\mathbb{Z}/p^n\mathbb{Z} \to \mathbb{Z}/p^{n-1}\mathbb{Z} \\
x \mapsto x \bmod{p^{n-1}} 
\end{cases}
</math><ref group="N">其中自变量<math>x</math>为<math>\mathbb{Z}/p^n\mathbb{Z}</math>的元素，而映射符号右侧的“<math>x \bmod{p^{n-1}} </math>”表示一个<math>\mathbb{Z}/p^{n-1}\mathbb{Z}</math>中元素，其中的<math>x</math>指<math>x</math>在整数中的自然对应元素。例如当<math>p = 3</math>时，<math>\varphi_2</math>将同余类<math>\bar{7}_9 \in \mathbb{Z}/3^2\mathbb{Z}</math>映射到<math>7 \mod{3}</math>，也就是<math>\bar{1}_3 \in \mathbb{Z}/3\mathbb{Z}</math>。正文中为了叙述简便，使用混淆的表达方式。</ref>{{r|dl}}
考察逆向链：
:<math> \cdots \; \xrightarrow{\varphi_{n+1}} \; \mathbb{Z}/p^n\mathbb{Z} \; \xrightarrow{\varphi_n} \; \mathbb{Z}/p^{n-1}\mathbb{Z} \; \xrightarrow{\varphi_{n-1}} \; \cdots  \; \xrightarrow{\varphi_3} \; \mathbb{Z}/p^2\mathbb{Z} \; \xrightarrow{\varphi_2} \; \mathbb{Z}/p\mathbb{Z}</math>
定义<math>\mathbb{Z}_p</math>为其[[极限 (范畴论)|逆向极限]]：<math>\mathbb{Z}_p = \; \lim_{\longleftarrow} \left( \mathbb{Z}/p^n\mathbb{Z} , \varphi_n \right)</math>{{r|fo|dl|page1=56}}。
也就是说，每个<math>p</math>进整数<math>a \in \mathbb{Z}_p </math>被定义为以下的序列{{r|dl}}：
:<math>a = \{a_1 , a_2, \cdots , a_n , \cdots \; \}</math>
其中<math> a_n \equiv a_{n-1} \pmod{p^{n-1}} </math>。可以证明，这样定义的<math>p</math>进整数环<math>\mathbb{Z}_p</math>与拓扑方法构造的<math>\mathbb{Q}_p</math>中通过<math>\mathbb{Z}_p = \{ x \; ; \; |x|_p \leqslant 1 \}</math>定义的<math>p</math>进整数环是[[同构]]的{{r|eaa|page1=91-92}}。

在以上的定义下，整数<math>\mathbb{Z}</math>可以自然地嵌入<math>\mathbb{Z}_p</math>中，每个整数都可以依照它在<math>\mathbb{Z}/p^n\mathbb{Z}</math>的同余类，唯一表示为一个<math>p</math>进整数{{r|eaa|dl|page1=91}}。例如在<math>p=3</math>时，整数3629在<math>\mathbb{Z}_3</math>中对应的3进整数可以表示为：
:<math>3629_3 = \{2 , 2 , 11 , 65, 227, 713 , 1442 , 3629 , 3629 , 3629 , \cdots \; \}.</math>
从上面的例子可以看到，对于正整数，<math>a_n</math>将收敛于<math>a</math>本身，对于负整数情况则复杂一些，例如，
:<math>-1_3 = \{2 , 8 , 26, 80, 242, \cdots \; \}.</math>
由于环同态<math>\varphi_n</math>良好地保持了环的结构，所以这种结构自然地延伸到逆向极限<math>\mathbb{Z}_p</math>中。直观上可以理解为，<math>\mathbb{Z}_p</math>是<math>\mathbb{Z}/p^n\mathbb{Z}</math>结构的极限。<math>n</math>越大，<math>\mathbb{Z}/p^n\mathbb{Z}</math>和<math>\mathbb{Z}_p</math>就越“相似”。

<math>p</math>进整数环<math>\mathbb{Z}_p</math>中的[[单位元]]显然是<math>1_p = \{1 , 1, \cdots , 1 , \cdots \; \},</math> 一个<math>p</math>进整数<math>a \in \mathbb{Z}_p =  \{a_1 , a_2, \cdots , a_n , \cdots \; \}</math>是（乘法）[[可逆元]][[当且仅当]]<math>a_1</math>是<math>\mathbb{Z}/p\mathbb{Z}</math>中的可逆元{{r|eaa|dl|page1=91}}。非可逆元的元素都可以表达为：
:<math>a = p^{v_p(a)} u = \{p^{v_p(a)} u_1 , p^{v_p(a)} u_2, \cdots , p^{v_p(a)} u_n , \cdots \; \},</math>
其中<math>u = \{u_1 ,u_2, \cdots ,  u_n , \cdots \; \}</math>是<math>\mathbb{Z}_p</math>中的可逆元，<math>v_p(a)</math>称为<math>p</math>进整数<math>a</math>的（代数）赋值{{r|dl}}。可以看出，这个赋值和拓扑构造时的赋值是等价的。可以证明<math>\mathbb{Z}_p</math>是[[特征 (代数)|特征]]为0的[[整环]]{{r|dl}}。构造<math>\mathbb{Z}_p</math>的[[分式域]]，可以证明其分式域（在恰当的拓扑同构的意义上<ref group="N">使用等价的赋值构造的拓扑结构。</ref>）等于前面用拓扑方法构造的<math>\mathbb{Q}_p</math>{{r|eaa|dl|page1=92}}。

==展开式与记数法==
每个<math>p</math>进数<math>x \in \mathbb{Q}_p</math>都有唯一的展开式{{r|fo|page1=57}}：

:<math>x = \frac{\alpha_{-k}}{p^k} + \frac{\alpha_{-k+1}}{p^{k-1}} + \cdots + \alpha_0 + \alpha_1 p + \cdots + \alpha_i p^i + \cdots = \sum_{i=-k}^{\infty} \alpha_i p^i.</math> 

其中<math>k</math>就是<math>x</math>的<math>p</math>进赋值<math>\nu_p(x)</math>，<math>a_i \in \{ 0, 1, \cdots , p -1 \} </math>，<math>a_{-k} \neq 0</math>。这一展开式在度量<math>\operatorname{d}_p </math>下[[收敛]]到<math>x</math>{{r|nk|page1=14}}。代数构造中<math>p</math>进整数的数列表示的第<math>N</math>项，等于其展开式前<math>N</math>项的部分和。设<math>p</math>进整数<math>x</math>的数列表示为<math>\{ a_1, a_2, \cdots , a_n , \cdots \}</math>，其展开式为<math>\sum_{i=0}^{\infty} \alpha_i p^i</math>，则
:<math> a_N = \sum_{i=0}^{N-1} \alpha_i p^i.</math>
这说明<math>p</math>进整数数列表示中，随着项数增大，数列的项在<math>\operatorname{d}_p </math>下收敛到<math>p</math>进整数自身。

仿照有理数中<math>p</math>[[进制]]的[[记数法]]，可以将<math>p</math>进数<math>x</math>记为：
:<math>x = \cdots  \alpha_i \alpha_{i-1} \cdots \alpha_1 \alpha_0 . \alpha_{-1} \cdots \alpha_{-k+1} \alpha_{-k} </math>{{r|eaa|page1=92}}，
称为<math>p</math>进数的<math>p</math>进记法。

按<math>\operatorname{d}_p </math>的定义，<math>x</math>的“大小”（范数）为<math>p^k</math>{{r|eaa|page1=92}}。也就是说，一个<math>p</math>进数小数点后位数越多则越大。这个性质与实数正好相反。

===例子===
从代数构造方法中可知，整数<math>\mathbb{Z}</math>可以自然地嵌入<math>\mathbb{Z}_p</math>中，因此非负整数在<math>\mathbb{Q}_p</math>中表现为有限位数的<math>p</math>进整数。其<math>p</math>进记法和<math>p</math>进制记数法雷同。例如当<math>p=5</math>时，自然数<math>438</math>记为：<math>3223_5</math>。负整数和分母不为<math>p</math>的正整数次幂的分数在<math>p</math>进记法中则表现为向左侧延伸的无限循环{{r|gtm198|page1=39}}。例如<math>\frac17</math>的<math>p</math>进记法为：
:<math>\frac17 = \dots 2412032412033_5 = \dot{2}4120\dot{3}3_5 \; </math>。
计算方法如下：
:<math>\frac{5^3 - 6}{7} = 32_5 \; , \quad \frac{5^9 - 6}{7} = 32412032_5 \; , \quad \frac{5^{15} - 6}{7} = 32412032412032_5 \; , \; \cdots</math>
:<math>\Rightarrow -\frac{6}{7} = \lim_{k\to +\infty} -\frac{6}{7} + \frac{5^{6k+3}}{7} = \dots 32412032412032_5 \; . \quad \left( \left| \frac{5^{6k+3}}{7} \right|_5 = \frac{1}{5^{6k+3}} \; \xrightarrow{k\to +\infty} \; 0 \; . \right)</math>
:<math>\Rightarrow \frac{1}{7} = -\frac{6}{7} + 1 = \dots 2412032412033_5 = \dot{2}4120\dot{3}3_5 \; </math>。
如果有理数<math>x</math>的分子或分母里含有<math>p</math>的幂次，则可以仿照<math>p</math>进制记数法的做法，先将其提出作为因数，写成<math>x = p^k \frac{a}{b}</math>的形式，将<math>\frac{a}{b}</math>表达为<math>p</math>进记法，然后移动小数点得到<math>x</math>的<math>p</math>进记法。例如要求<math>\frac{1}{175}</math>的<math>p</math>进记法，可以先将<math>\frac{1}{175}</math>表示为<math>\frac{1}{175} = 5^{-2} \frac17</math>，写出<math>\frac{1}{7}</math>的<math>p</math>进记法後，将小数点向左移动两位得到：
:<math>\frac{1}{175} = \dot{3}2412\dot{0}.33_5</math>
因此，分母为<math>p</math>的正整数次幂的分数在<math>p</math>进数中表现为有限小数。

==基本性质==
<math>\mathbb{Q}_p</math>具有许多与<math>\mathbb{R}</math>不同的特性，其中某些可能违反直观直觉。举例来说，<math>\mathbb{Q}_5</math>中不存在平方等于7的数（等价于实数中的<math>\sqrt{7}</math>），但存在平方等于-1的数（等价于复数中的[[虚数单位]]<math>i</math>）。一般来说，-1在<math>\mathbb{Q}_p</math>中有[[平方根]]，当且仅当<math>p</math>[[带余除法|除以]]4余1{{r|uar}}。对不相同的质数<math>p</math>、<math>q</math>，<math>\mathbb{Q}_p</math>与<math>\mathbb{Q}_q</math>不同构，并且它们的交集只有<math>\mathbb{Q}</math>。每一个<math>\mathbb{Q}_p</math>中的元素个数都是[[可数集|不可数]]的<ref name="steud">{{cite journal|author=Jorn Steuding|title=The world of p-adic numbers and p-adic functions|journal=Proc. Sci. Seminar Faculty of Physics and Mathematics, Siauliai University|url=http://siauliaims.su.lt/pdfai/2002/STEUD-02.pdf|year=2002|issue=5|language=en|pages=90-107|access-date=2014-05-19|archive-url=https://web.archive.org/web/20140520001122/http://siauliaims.su.lt/pdfai/2002/STEUD-02.pdf|archive-date=2014-05-20|dead-url=no}}</ref>。

===拓扑性质===
<math>\mathbb{Q}_p</math>上的范数<math>| \cdot |_p</math>是一个[[超度量]]的范数。它不仅满足[[三角不等式]]，而且满足更强的关系：
:<math>| x + y |_p \leqslant \max \{| x|_p , | y |_p\}.</math>
这说明，如果将<math>\mathbb{Q}_p</math>想象成一个几何空间，那么其中的三角形的一边长度总小于等于另外两边中较长者，也就是说所有的三角形都是锐角等腰三角形。这与实际中的欧式几何空间完全不同。由此<math>\mathbb{Q}_p</math>与<math>\mathbb{R}</math>具有截然不同的拓扑性质{{r|eaa|page1=90}}。另外可證明說超度量中的不等號可以等號取代。

*在<math>\mathbb{Q}_p</math>中，一个数列<math>(x_n)_{n\in\mathbb{N}}</math>收敛当且仅当<math>x_{n+1} - x_n</math>趋于0。一个[[无穷级数]]<math>\scriptstyle \sum_{n\in\mathbb{N}}</math><math>u_n</math>收敛当且仅当<math>u_n</math>趋于0。
*考虑<math>\mathbb{Q}_p</math>中的一个“球”：<math>B_{r}(x_0) = \{ x \in \mathbb{Q}_p \; ; \; |x - x_0|_p \leqslant r\} </math>。这个球即是[[开集]]，也是[[闭集]]。这个球中每一个点，都是球的球心。两个球之间或者完全不相交，或者一个完全在另一个里面{{r|eaa|page1=90}}。
*<math>\mathbb{Q}_p</math>上的拓扑是完全不[[连通空间|连通]]的[[豪斯多夫空间]]：设有元素<math>x \in \mathbb{Q}_p</math>，则包含<math>x</math>的[[连通单元]]只有<math>\{ x \}</math>.{{r|eaa|page1=90-91}}
*<math>\mathbb{Q}_p</math>是由<math>\mathbb{Q}</math>完备化而得，因此<math>\mathbb{Q}</math>在<math>\mathbb{Q}_p</math>中[[稠密集|稠密]]。不仅如此，任意给定有限个质数<math>p_1, p_2 , \cdots , p_k</math>和正有理数<math>\epsilon >0</math>，并在相应的<math>p</math>进数域中各选定一个数：<math>\beta_1 \in \mathbb{Q}_{p_1} , \beta_2  \in \mathbb{Q}_{p_2}, \cdots , \beta_k \in \mathbb{Q}_{p_k}</math>後，都可找到有理数<math>\omega</math>，它与任一个<math>\beta_i \in \mathbb{Q}_{p_i} , \; \; i \in \{1,2, \cdots , k\}</math>之间的距离都小于<math>\epsilon</math><ref group="N"><math>\omega</math>与<math>\beta_i</math>间的距离小于<math>\epsilon</math>指的是在相应的度量<math>\operatorname{d}_{p_i}</math>下的距离：<math>\left| \omega - \beta_i \right|_{p_i} < \epsilon</math>。</ref><ref name="steud"/>。

<math>p</math>进整数<math>\mathbb{Z}_p</math>定义为所有范数不大于1的<math>p</math>进数：<math>\mathbb{Z}_p = \{ x \; ; \; |x|_p \leqslant 1 \}</math>。这说明<math>\mathbb{Z}_p</math>就是<math>\mathbb{Q}_p</math>的单位球{{r|fo|fqg|page1=61|page2=60}}。其“球面”为所有范数等于1的<math>p</math>进整数集合：<math>\mathbb{Z}_p^\times = \{ x \; ; \; |x|_p = 1 \}</math>，亦即<math>\mathbb{Z}_p</math>中所有可逆元的集合{{r|fo|page1=61}}。<math>\mathbb{Z}_p</math>是[[紧致]]的{{r|eaa|fqg|page1=93|page2=64}}。所有的整数都是<math>p</math>进整数，整数集合<math>\mathbb{Z}</math>在<math>\mathbb{Z}_p</math>中[[稠密集|稠密]]{{r|fo|fqg|page1=61|page2=60}}。
*<math>\mathbb{Q}_p</math>中的任一个球<math>B_{r}(x_0)</math>都可以表达为<math>x_0 + p^m \mathbb{Z}_p</math>，其中的<math>m</math>是使得<math>p^{-m} \leqslant r</math>的最小整数{{r|eaa|fqg|page1=93|page2=63}}。
*<math>\mathbb{Q}_p</math>是[[紧空间#其他形式的紧致性|局部紧致]]的{{r|eaa|fqg|page1=93|page2=64}}。

===代数性质===
代数上，<math>\mathbb{Q}_p</math>是<math>\mathbb{Z}_p</math>的分式域。更准确地说，<math>\mathbb{Q}_p = \mathbb{Z}_p \scriptstyle \left[\frac1p \right]</math>。也即是说，对每一个<math>x \in \mathbb{Q}_p</math>，都存在整数<math>k</math>，使得<math>p^kx \in\mathbb{Z}_p</math>{{r|fqg|eaa|gtm198|page2=92|page1=62|page3=36}}。

<math>\mathbb{Z}_p</math>是特征为0的[[主理想整环|主理想]][[整环]]。<math>\mathbb{Z}_p</math>的非零[[理想 (环论)|理想]]只有[[主理想]]<math>I_k = p^k \mathbb{Z}_p</math>，其中<math>k</math>是任意[[自然数]]{{r|fo|gtm198|page1=61|page2=6}}。它唯一的极大理想是<math>I_1</math>{{r|dl|fqg|page2=60}}。根据[[同构基本定理]]，<math>\mathbb{Z}_p</math>对<math>I_1</math>的商同构于[[有限域]]<math>\mathbb{F}_p</math>{{r|dl}}。类似地，<math>\mathbb{Z}_p/p^n\mathbb{Z}_p</math>同构于<math>\mathbb{Z}/p^n\mathbb{Z}</math>{{r|gtm198|page1=34}}。

实数域<math>\mathbb{R}</math>只有一个真[[代数扩张]]，就是复数域<math>\mathbb{C} = \mathbb{R}(i)</math>。<math>\mathbb{C}</math>不仅是[[代数闭域]]，而且是完备的。[[域扩张]]<math>\mathbb{C}/\mathbb{R}</math>的次数为2。与此不同的是，<math>\mathbb{Q}_p</math>的任何[[有限扩张]]都不是代数封闭的，<math>\mathbb{Q}_p</math>的[[代数閉域#代數閉包|代數閉包]]是<math>\mathbb{Q}_p</math>上的无限扩张，一般记作<math>\bar{\mathbb{Q}}_p</math>。将<math>\mathbb{Q}_p</math>上的拓扑拓延到<math>\bar{\mathbb{Q}}_p</math>後会发现，<math>\bar{\mathbb{Q}}_p</math>并不是完备的空间。使用标准方法将其完备化後，得到的空间称为'''<math>p</math>进复数'''，记作<math>\mathbb{C}_p</math>。<math>\mathbb{C}_p</math>和复数域<math>\mathbb{C}</math>是代数同构的，可以视为装备了另一种拓扑结构（超度量）的复数域{{r|eaa|page1=94}}。

如果<math>p</math>是[[奇数]]，那么<math>n</math>次[[单位根]]属于<math>\mathbb{Q}_p</math>当且仅当<math>n</math>整除<math>p</math>-1。换句话说，<math>\mathbb{Q}_p</math>中由单位根构成的群只有<math>\mathbb{U}_{p-1}</math>及其子群。<math>p = 2</math>时，单位根只有1和-1{{r|gtm198|page1=110}}。

==应用==
===数论===
<math>p</math>進數對於同餘信息有一種獨特的編碼方法，這在[[數論]]裏作用很大。例如，困擾數學家長達三百多年的[[費馬最後定理]]，終於在1994年由[[安德魯·懷爾斯]]使用<math>p</math>進數理論證明，這是數學上的重大突破。懷爾斯因此獲得2005年度[[邵逸夫獎]]{{r|uar}}。

===量子物理===
<math>p</math>進數剛出現時，學者們最初認為這理論屬於[[純數學]]領域，毫無任何實用價值。但1968年，两位纯数学研究者A. Monna和F. van der Blij首先提出将<math>p</math>进数应用到物理学中。1972年，E. Beltrametti和G. Cassinelli探讨了一种取值为<math>p</math>进数的{{link-en|量子逻辑|quantum logic}}状态模型。进入二十世纪八十年代後，<math>p</math>进数在[[量子物理学]]中的应用愈为广泛。首先涌现的是<math>p</math>进[[弦论|弦]]和<math>p</math>进[[超弦]]模型。量子物理学家在这些模型中使用与实数拓扑性质不同的<math>p</math>进数，以构建出不同的[[时空]]结构，描述在[[普朗克尺度]]下与大尺度完全不同的物理现象和行为。在普朗克尺度下，基于实数的模型无法很好的描绘出某些量子特性，而<math>p</math>进数域的某些性质，比如说无序性<ref group="N">实数中任两个数都能比较大小（有全序），而<math>\mathbb{Q}_p</math>上面没有全序。</ref>，和普朗克尺度下的物理特质相近{{r|uar}}。

<math>p</math>进数量子物理学中的应用也带动了数学中对<math>p</math>进数的研究。例如<math>p</math>进弦论的研究促使数学家展开了对<math>p</math>进数上的[[分布理论]]、[[微分方程]]及[[伪微分算子|伪微分方程]]（pseudodifferential equation）、[[概率论]]以及<math>p</math>进数上相应[[希尔伯特空间]]（装备了额外结构的<math>\mathbb{C}_p</math>）中的[[算子理论|算子]][[谱定理|谱理论]]等多方面的研究{{r|uar}}。

===信息编码===
<math>p</math>进数的数列展开表示可以被用于信息的编码。因此<math>p</math>进数可以被用来描述很多信息处理的过程，在[[认知科学]]、[[心理学]]和[[社会学]]研究中出现{{r|uar}}。

===𝑝进动力系统理论===
[[动态系统理论|算术动力系统]]是二十世纪九十年代提出的数学理论，整合了[[动力系统]]及数论。传统的离散动力系统会探讨[[迭代函数]]在复平面或是实数中的性质。算术动力系统则探讨[[多项式]]或[[解析函数]]在整数、有理数、<math>p</math>进数及几何点中的迭代特性<ref>{{cite journal|author=Stany De Smedt, Andrew Khrennikov|title=A p-adic behaviour of dynamical systems|journal=Revista Mathematica Complutense|language=en|year=1999|volume=12|issue=2|pages=301-323|url=http://www.mat.ucm.es/serv/revmat/vol12-2/vol12-2a.pdf|access-date=2014-05-17|archive-url=https://web.archive.org/web/20140517204032/http://www.mat.ucm.es/serv/revmat/vol12-2/vol12-2a.pdf|archive-date=2014-05-17|dead-url=no}}</ref>。<math>p</math>进数动力系统在[[计算机科学]]领域中的[[直线式程序]]（straight-line programs）问题、[[数值分析]]与模拟中的[[伪随机数]]问题、[[密码学]]中的[[流加密]]问题上都有重要作用。在计算机科学和自动机理论中，<math>p</math>进遍历理论可以帮助快速制造大[[拉丁方]]。後者在实验设计、软件测试和通信理论中都有良多应用{{r|uar}}<ref>{{cite book|author=Vladimir Anashin, Andrei Khrennikov|title=Applied Algebraic Dynamics|url=https://archive.org/details/appliedalgebraic0000anas|year=2009|publisher=Walter de Gruyter|language=en|isbn=9783110203011}}，前言XV.</ref>。

==参见==
* [[p进数分析]]
* [[亨泽尔引理]]
* [[马勒定理]]

==注释==
{{Reflist|group="N"}}

==参考来源==
{{Reflist|2|refs=
<ref name="eaa">{{cite book|author=Pierre Colmez|title=Éléments d'analyse et d'algèbre|year=2011|publisher=Édition École Polytechnique|location=Paris|language=fr|isbn=978-2-7302-1587-9}}</ref> 
<ref name="dl">{{cite web|author=David Lubicz|title=An introduction to the algorithmic of p-adic numbers|url=http://www.hyperelliptic.org/tanja/conf/summerschool08/slides/p-adics.pdf|publisher=Universté de Rennes, France|language=en|accessdate=2014-04-28|archive-url=https://web.archive.org/web/20140429061646/http://www.hyperelliptic.org/tanja/conf/summerschool08/slides/p-adics.pdf|archive-date=2014-04-29|dead-url=no}}</ref> 
<ref name="fo">{{cite web|author=Frédérique Oggier|title=Algebraic Number Theory - Lecture Notes - Chapter 5: p-adic numbers|url=http://www1.spms.ntu.edu.sg/~frederique/antchap5.pdf|publisher=Nanyang Technology University|language=en|accessdate=2014-04-28|archive-url=https://web.archive.org/web/20160305042443/http://www1.spms.ntu.edu.sg/~frederique/antchap5.pdf|archive-date=2016-03-05|dead-url=no}}</ref>
<ref name="fqg">{{cite book | author= Fernando Q. Gouvêa| year= 2000| title= p-adic Numbers : An Introduction| edition= 2nd| publisher= Springer| isbn=3-540-62911-4 |language=en}}</ref> 
<ref name="nk">{{cite book | first= Neal| last= Koblitz| year= 1996| title= P-adic Numbers, p-adic Analysis, and Zeta-Functions | edition= 2nd| publisher= Springer| isbn=0-387-96017-1 |language=en}}</ref>
<ref name="gtm198">{{cite book | first= Alain M.| last= Robert| year= 2000| title= A Course in p-adic Analysis| url= https://archive.org/details/courseinpadicana0000robe| publisher= Springer|language=en| isbn=0-387-98669-3 }}</ref>
<ref name="uar">{{cite journal|author=U. A. Rozikov|title=What are p-Adic Numbers? What are They Used for?|journal=Asia Pacific Mathematics Newsletter|volume=3|issue=4|language=en|url=http://www.asiapacific-mathnews.com/03/0304/0001_0006.pdf|date=2013年10月|access-date=2014-05-17|archive-url=https://web.archive.org/web/20140517194710/http://www.asiapacific-mathnews.com/03/0304/0001_0006.pdf|archive-date=2014-05-17|dead-url=no}}</ref>
}}
<!---

<ref name="kgb">{{cite book|author=K. G. Binmore|title=The Foundations of Analysis: A Straightforward Introduction: Book 1 Logic, Sets and Numbers|url=https://archive.org/details/foundationsofana0000binm|year=1980|publisher=CUP Archive|isbn=9780521299152|language=en}}</ref> 
*{{cite book | first= George| last= Bachman| year= 1964| title= Introduction to p-adic Numbers and Valuation Theory| publisher= Academic Press| isbn=0-12-070268-1 }}
*{{cite book | first= Lynn Arthur| last= Steen| year= 1978| title= Counterexamples in Topology| publisher= Dover| isbn=0-486-68735-X }}
--->

==外部链接==
{{Commonscat|P-adic numbers}}
*{{MathWorld|urlname=p-adicNumber|title=p-adic Number}}
*{{planetmath reference|id=3118|title=p-adic integers|urlname=padicintegers}}
*[http://www.encyclopediaofmath.org/index.php/P-adic_number Springer在线数学百科全书上''p''进数的资料]{{Wayback|url=http://www.encyclopediaofmath.org/index.php/P-adic_number |date=20120812192000 }}。

{{數的系統}}
{{DEFAULTSORT:P-Adic Number}}
[[Category:P進數| ]]
[[Category:域论]]
[[Category:数论]]
{{Good article}}