p進數

  提示：本条目的主题不是p进制数。

3进整数相互关系图示

各种各样的數

基本

N⊆Z⊆Q⊆R⊆C{displaystyle mathbb {N} subseteq mathbb {Z} subseteq mathbb {Q} subseteq mathbb {R} subseteq mathbb {C} } 正數 R+{displaystyle mathbb {R} ^{+}} 自然数 N{displaystyle mathbb {N} } 正整數 Z+{displaystyle mathbb {Z} ^{+}} 小数 有限小数 无限小数 循环小数 有理数 Q{displaystyle mathbb {Q} } 代數數 A{displaystyle mathbb {A} } 实数 R{displaystyle mathbb {R} } 複數 C{displaystyle mathbb {C} } 高斯整數 Z[i]{displaystyle mathbb {Z} [i]} 负数 R−{displaystyle mathbb {R} ^{-}} 整数 Z{displaystyle mathbb {Z} } 负整數 Z−{displaystyle mathbb {Z} ^{-}} 分數 單位分數 二进分数 規矩數 無理數 超越數 虚数 I{displaystyle mathbb {I} } 二次无理数 艾森斯坦整数 Z[ω]{displaystyle mathbb {Z} [omega ]}

延伸

雙曲複數 雙複數 四元數 H{displaystyle mathbb {H} } 共四元數（英语：Dual quaternion） 八元數 O{displaystyle mathbb {O} } 超數 上超實數 超复数 十六元數 S{displaystyle mathbb {S} } 複四元數 大實數 超實數 ∗R{displaystyle ^{*}mathbb {R} } 超現實數

其他

对偶数 序数 質數 P{displaystyle mathbb {P} } 同餘 可計算數 整數數列 數學常數 公稱值 超限数 基數 P進數 規矩數 可定義數 阿列夫數 圓周率 π=3.141592653…{displaystyle pi =3.141592653dots } 自然對數的底 e=2.718281828…{displaystyle e=2.718281828dots } 虛數單位 i=−1{displaystyle i={sqrt {-1}}} 無窮大 ∞{displaystyle infty }

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

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

目录

• 
  1 预备知识
  
  
  
  • 
    1.1 数系的拓展
    
  
  
  • 
    1.2 度量
    
  
  
  • 
    1.3 完备化
    
  
  
  
  


• 
  2 构造
  
  
  
  • 
    2.1 分析方法
    
  
  
  • 
    2.2 代数方法
    
  
  
  
  


• 
  3 展开式与记数法
  
  
  
  • 
    3.1 例子
    
  
  
  
  


• 
  4 基本性质
  
  
  
  • 
    4.1 拓扑性质
    
  
  
  • 
    4.2 代数性质
    
  
  
  
  


• 
  5 应用
  
  
  
  • 
    5.1 数论
    
  
  
  • 
    5.2 量子物理
    
  
  
  • 
    5.3 信息编码
    
  
  
  • 
    5.4 p进动力系统理论
    
  
  
  
  


• 
  6 参见
  


• 
  7 注释
  


• 
  8 参考来源
  


• 
  9 外部链接
  

预备知识

数系的拓展

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

度量

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

d(x,y)=|x−y|.{displaystyle d(x,y)=|x-y|.}

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

完备化

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

12,23,35,58,813,⋯{displaystyle {frac {1}{2}},{frac {2}{3}},{frac {3}{5}},{frac {5}{8}},{frac {8}{13}},cdots }

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

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

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

构造

分析方法

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

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

νp(x)=ordp⁡(a)−ordp⁡(b).{displaystyle nu _{p}(x)=operatorname {ord} _{p}(a)-operatorname {ord} _{p}(b).}

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

νp(x)=ordp⁡(63)−ordp⁡(550)=0−2=−2.{displaystyle nu _{p}(x)=operatorname {ord} _{p}(63)-operatorname {ord} _{p}(550)=0-2=-2.}

在此基础上，可以定义度量映射以及其对应诱导的范数^{[7]:59[4]:2[6]:90}：

dp⁡(x,y)=p−νp(x−y),|x|p=p−νp(x).{displaystyle operatorname {d} _{p}(x,y)=p^{-nu _{p}(x-y)},quad |x|_{p}=p^{-nu _{p}(x)}.}

例如

d5⁡(64550,1550)=5−ν5(63550)=52,|63550|5=5−ν5(63550)=52.{displaystyle 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}.}

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

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

代数方法

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

首先考虑由整数模pⁿ的同余类构成的环：Z/pnZ{displaystyle mathbb {Z} /p^{n}mathbb {Z} }。Z/pnZ{displaystyle mathbb {Z} /p^{n}mathbb {Z} }与Z/pn−1Z{displaystyle mathbb {Z} /p^{n-1}mathbb {Z} }之间存在自然的环同态^[8]：

φn:{Z/pnZ⟶Z/pn−1Zx↦xmodpn−1{displaystyle varphi _{n}:{begin{cases}mathbb {Z} /p^{n}mathbb {Z} longrightarrow mathbb {Z} /p^{n-1}mathbb {Z} \x;;;mapsto ;;xmod {p^{n-1}}end{cases}}}^{[N 2][8]}

考察逆向链：

⋯→φn+1Z/pnZ→φnZ/pn−1Z→φn−1⋯→φ3Z/p2Z→φ2Z/pZ{displaystyle 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} /pmathbb {Z} }

定义Zp{displaystyle mathbb {Z} _{p}}为其逆向极限：Zp=lim⟵(Z/pnZ,φn){displaystyle mathbb {Z} _{p}=;lim _{longleftarrow }left(mathbb {Z} /p^{n}mathbb {Z} ,varphi _{n}right)}^[7]:56[8]。
也就是说，每个p进整数a∈Zp{displaystyle ain mathbb {Z} _{p}}被定义为以下的序列^[8]：

a={a1,a2,⋯,an,⋯}{displaystyle a={a_{1},a_{2},cdots ,a_{n},cdots ;}}

其中an≡an−1(modpn−1){displaystyle a_{n}equiv a_{n-1}{pmod {p^{n-1}}}}。可以证明，这样定义的p进整数环Zp{displaystyle mathbb {Z} _{p}}与拓扑方法构造的Qp{displaystyle mathbb {Q} _{p}}中通过Zp={x;|x|p⩽1}{displaystyle mathbb {Z} _{p}={x;;;|x|_{p}leqslant 1}}定义的p进整数环是同构的^[6]:91-92。

在以上的定义下，整数Z{displaystyle mathbb {Z} }可以自然地嵌入Zp{displaystyle mathbb {Z} _{p}}中，每个整数都可以依照它在Z/pnZ{displaystyle mathbb {Z} /p^{n}mathbb {Z} }的同余类，唯一表示为一个p进整数^[6]:91[8]。例如在p=3{displaystyle p=3}时，整数3629在Z3{displaystyle mathbb {Z} _{3}}中对应的3进整数可以表示为：

36293={2,2,11,65,227,713,1442,3629,3629,3629,⋯}.{displaystyle 3629_{3}={2,2,11,65,227,713,1442,3629,3629,3629,cdots ;}.}

从上面的例子可以看到，对于正整数，an{displaystyle a_{n}}将收敛于a{displaystyle a}本身，对于负整数情况则复杂一些，例如，

−13={2,8,26,80,242,⋯}.{displaystyle -1_{3}={2,8,26,80,242,cdots ;}.}

由于环同态φn{displaystyle varphi _{n}}良好地保持了环的结构，所以这种结构自然地延伸到逆向极限Zp{displaystyle mathbb {Z} _{p}}中。直观上可以理解为，Zp{displaystyle mathbb {Z} _{p}}是Z/pnZ{displaystyle mathbb {Z} /p^{n}mathbb {Z} }结构的极限。n越大，Z/pnZ{displaystyle mathbb {Z} /p^{n}mathbb {Z} }和Zp{displaystyle mathbb {Z} _{p}}就越“相似”。

p进整数环Zp{displaystyle mathbb {Z} _{p}}中的单位元显然是1p={1,1,⋯,1,⋯},{displaystyle 1_{p}={1,1,cdots ,1,cdots ;},} 一个p进整数a∈Zp={a1,a2,⋯,an,⋯}{displaystyle ain mathbb {Z} _{p}={a_{1},a_{2},cdots ,a_{n},cdots ;}}是（乘法）可逆元当且仅当a1{displaystyle a_{1}}是Z/pZ{displaystyle mathbb {Z} /pmathbb {Z} }中的可逆元^[6]:91[8]。非可逆元的元素都可以表达为：

a=pvp(a)u={pvp(a)u1,pvp(a)u2,⋯,pvp(a)un,⋯},{displaystyle 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 ;},}

其中u={u1,u2,⋯,un,⋯}{displaystyle u={u_{1},u_{2},cdots ,u_{n},cdots ;}}是Zp{displaystyle mathbb {Z} _{p}}中的可逆元，v_p (a)称为p进整数a的（代数）赋值^[8]。可以看出，这个赋值和拓扑构造时的赋值是等价的。可以证明Zp{displaystyle mathbb {Z} _{p}}是特征为0的整环^[8]。构造Zp{displaystyle mathbb {Z} _{p}}的分式域，可以证明其分式域（在恰当的拓扑同构的意义上^{[N 3]}）等于前面用拓扑方法构造的Qp{displaystyle mathbb {Q} _{p}}^[6]:92[8]。

展开式与记数法

每个p进数x∈Qp{displaystyle xin mathbb {Q} _{p}}都有唯一的展开式^[7]:57：

x=α−kpk+α−k+1pk−1+⋯+α0+α1p+⋯+αipi+⋯=∑i=−k∞αipi.{displaystyle 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}.}

其中k就是x的p进赋值νp(x){displaystyle nu _{p}(x)}，ai∈{0,1,⋯,p−1}{displaystyle a_{i}in {0,1,cdots ,p-1}}，a−k≠0{displaystyle a_{-k}neq 0}。这一展开式在度量dp{displaystyle operatorname {d} _{p}}下收敛到x^[4]:14。代数构造中p进整数的数列表示的第N项，等于其展开式前N项的部分和。设p进整数x的数列表示为{a1,a2,⋯,an,⋯}{displaystyle {a_{1},a_{2},cdots ,a_{n},cdots }}，其展开式为∑i=0∞αipi{displaystyle sum _{i=0}^{infty }alpha _{i}p^{i}}，则

aN=∑i=0N−1αipi.{displaystyle a_{N}=sum _{i=0}^{N-1}alpha _{i}p^{i}.}

这说明p进整数数列表示中，随着项数增大，数列的项在dp{displaystyle operatorname {d} _{p}}下收敛到p进整数自身。

仿照有理数中p进制的记数法，可以将p进数x记为：

x=⋯αiαi−1⋯α1α0.α−1⋯α−k+1α−k{displaystyle x=cdots alpha _{i}alpha _{i-1}cdots alpha _{1}alpha _{0}.alpha _{-1}cdots alpha _{-k+1}alpha _{-k}}^[6]:92，

称为p进数的p进记法。

按dp{displaystyle operatorname {d} _{p}}的定义，x的“大小”（范数）为pk{displaystyle p^{k}}^[6]:92。也就是说，一个p进数小数点后位数越多则越大。这个性质与实数正好相反。

例子

从代数构造方法中可知，整数Z{displaystyle mathbb {Z} }可以自然地嵌入Zp{displaystyle mathbb {Z} _{p}}中，因此非负整数在Qp{displaystyle mathbb {Q} _{p}}中表现为有限位数的p进整数。其p进记法和p进制记数法雷同。例如当p=5{displaystyle p=5}时，自然数438{displaystyle 438}记为：32235{displaystyle 3223_{5}}。负整数和分母不为p的正整数次幂的分数在p进记法中则表现为向左侧延伸的无限循环^[9]:39。例如17{displaystyle {frac {1}{7}}}的p进记法为：

17=…24120324120335=2˙41203˙35{displaystyle {frac {1}{7}}=dots 2412032412033_{5}={dot {2}}4120{dot {3}}3_{5};}。

计算方法如下：

53−67=325,59−67=324120325,515−67=324120324120325,⋯{displaystyle {frac {5^{3}-6}{7}}=32_{5};,quad {frac {5^{9}-6}{7}}=32412032_{5};,quad {frac {5^{15}-6}{7}}=32412032412032_{5};,;cdots }

⇒−67=limk→+∞−67+56k+37=…324120324120325.(|56k+37|5=156k+3→k→+∞0.){displaystyle Rightarrow -{frac {6}{7}}=lim _{kto +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 {kto +infty }};0;.right)}

⇒17=−67+1=…24120324120335=2˙41203˙35{displaystyle Rightarrow {frac {1}{7}}=-{frac {6}{7}}+1=dots 2412032412033_{5}={dot {2}}4120{dot {3}}3_{5};}。

如果有理数x的分子或分母里含有p的幂次，则可以仿照p进制记数法的做法，先将其提出作为因数，写成x=pkab{displaystyle x=p^{k}{frac {a}{b}}}的形式，将ab{displaystyle {frac {a}{b}}}表达为p进记法，然后移动小数点得到x的p进记法。例如要求1175{displaystyle {frac {1}{175}}}的p进记法，可以先将1175{displaystyle {frac {1}{175}}}表示为1175=5−217{displaystyle {frac {1}{175}}=5^{-2}{frac {1}{7}}}，写出17{displaystyle {frac {1}{7}}}的p进记法後，将小数点向左移动两位得到：

1175=3˙24120˙.335{displaystyle {frac {1}{175}}={dot {3}}2412{dot {0}}.33_{5}}

因此，分母为p的正整数次幂的分数在p进数中表现为有限小数。

基本性质

Qp{displaystyle mathbb {Q} _{p}}具有许多与R{displaystyle mathbb {R} }不同的特性，其中某些可能违反直观直觉。举例来说，Q5{displaystyle mathbb {Q} _{5}}中不存在平方等于7的数（等价于实数中的7{displaystyle {sqrt {7}}}），但存在平方等于-1的数（等价于复数中的虚数单位i）。一般来说，-1在Qp{displaystyle mathbb {Q} _{p}}中有平方根，当且仅当p除以4余1^[10]。对不相同的质数p、q，Qp{displaystyle mathbb {Q} _{p}}与Qq{displaystyle mathbb {Q} _{q}}不同构，并且它们的交集只有Q{displaystyle mathbb {Q} }。每一个Qp{displaystyle mathbb {Q} _{p}}中的元素个数都是不可数的^[11]。

拓扑性质

Qp{displaystyle mathbb {Q} _{p}}上的范数|⋅|p{displaystyle |cdot |_{p}}是一个超度量的范数。它不仅满足三角不等式，而且满足更强的关系：

|x+y|p⩽max{|x|p,|y|p}.{displaystyle |x+y|_{p}leqslant max{|x|_{p},|y|_{p}}.}

这说明，如果将Qp{displaystyle mathbb {Q} _{p}}想象成一个几何空间，那么其中的三角形的一边长度总小于等于另外两边中较长者，也就是说所有的三角形都是锐角等腰三角形。这与实际中的欧式几何空间完全不同。由此Qp{displaystyle mathbb {Q} _{p}}与R{displaystyle mathbb {R} }具有截然不同的拓扑性质^[6]:90。

• 在Qp{displaystyle mathbb {Q} _{p}}中，一个数列(xn)n∈N{displaystyle (x_{n})_{nin mathbb {N} }}收敛当且仅当xn+1−xn{displaystyle x_{n+1}-x_{n}}趋于0。一个无穷级数∑n∈N{displaystyle scriptstyle sum _{nin mathbb {N} }}un{displaystyle u_{n}}收敛当且仅当un{displaystyle u_{n}}趋于0。


• 考虑Qp{displaystyle mathbb {Q} _{p}}中的一个“球”：Br(x0)={x∈Qp;|x−x0|p⩽r}{displaystyle B_{r}(x_{0})={xin mathbb {Q} _{p};;;|x-x_{0}|_{p}leqslant r}}。这个球即是开集，也是闭集。这个球中每一个点，都是球的球心。两个球之间或者完全不相交，或者一个完全在另一个里面^[6]:90。


• 
  Qp{displaystyle mathbb {Q} _{p}}上的拓扑是完全不连通的豪斯多夫空间：设有元素x∈Qp{displaystyle xin mathbb {Q} _{p}}，则包含x的连通单元只有{x}{displaystyle {x}}.^[6]:90-91
  


• 
  Qp{displaystyle mathbb {Q} _{p}}是由Q{displaystyle mathbb {Q} }完备化而得，因此Q{displaystyle mathbb {Q} }在Qp{displaystyle mathbb {Q} _{p}}中稠密。不仅如此，任意给定有限个质数p1,p2,⋯,pk{displaystyle p_{1},p_{2},cdots ,p_{k}}和正有理数ϵ>0{displaystyle epsilon >0}，并在相应的p进数域中各选定一个数：β1∈Qp1,β2∈Qp2,⋯,βk∈Qpk{displaystyle beta _{1}in mathbb {Q} _{p_{1}},beta _{2}in mathbb {Q} _{p_{2}},cdots ,beta _{k}in mathbb {Q} _{p_{k}}}後，都可找到有理数ω{displaystyle omega }，它与任一个βi∈Qpi,i∈{1,2,⋯,k}{displaystyle beta _{i}in mathbb {Q} _{p_{i}},;;iin {1,2,cdots ,k}}之间的距离都小于ϵ{displaystyle epsilon }^{[N 4][11]}。

p进整数Zp{displaystyle mathbb {Z} _{p}}定义为所有范数不大于1的p进数：Zp={x;|x|p⩽1}{displaystyle mathbb {Z} _{p}={x;;;|x|_{p}leqslant 1}}。这说明Zp{displaystyle mathbb {Z} _{p}}就是Qp{displaystyle mathbb {Q} _{p}}的单位球^[7]:61[5]:60。其“球面”为所有范数等于1的p进整数集合：Zp×={x;|x|p=1}{displaystyle mathbb {Z} _{p}^{times }={x;;;|x|_{p}=1}}，亦即Zp{displaystyle mathbb {Z} _{p}}中所有可逆元的集合^[7]:61。Zp{displaystyle mathbb {Z} _{p}}是紧致的^[6]:93[5]:64。所有的整数都是p进整数，整数集合Z{displaystyle mathbb {Z} }在Zp{displaystyle mathbb {Z} _{p}}中稠密^[7]:61[5]:60。

• 
  Qp{displaystyle mathbb {Q} _{p}}中的任一个球Br(x0){displaystyle B_{r}(x_{0})}都可以表达为x0+pmZp{displaystyle x_{0}+p^{m}mathbb {Z} _{p}}，其中的m是使得p−m⩽r{displaystyle p^{-m}leqslant r}的最小整数^[6]:93[5]:63。


• 
  Qp{displaystyle mathbb {Q} _{p}}是局部紧致的^[6]:93[5]:64。

代数性质

代数上，Qp{displaystyle mathbb {Q} _{p}}是Zp{displaystyle mathbb {Z} _{p}}的分式域。更准确地说，Qp=Zp[1p]{displaystyle mathbb {Q} _{p}=mathbb {Z} _{p}scriptstyle left[{frac {1}{p}}right]}。也即是说，对每一个x∈Qp{displaystyle xin mathbb {Q} _{p}}，都存在整数k，使得pkx∈Zp{displaystyle p^{k}xin mathbb {Z} _{p}}^{[5]:62[6]:92[9]:36}。

Zp{displaystyle mathbb {Z} _{p}}是特征为0的主理想整环。Zp{displaystyle mathbb {Z} _{p}}的非零理想只有主理想Ik=pkZp{displaystyle I_{k}=p^{k}mathbb {Z} _{p}}，其中k是任意自然数^[7]:61[9]:6。它唯一的极大理想是I1{displaystyle I_{1}}^[8][5]:60。根据同构基本定理，Zp{displaystyle mathbb {Z} _{p}}对I1{displaystyle I_{1}}的商同构于有限域Fp{displaystyle mathbb {F} _{p}}^[8]。类似地，Zp/pnZp{displaystyle mathbb {Z} _{p}/p^{n}mathbb {Z} _{p}}同构于Z/pnZ{displaystyle mathbb {Z} /p^{n}mathbb {Z} }^[9]:34。

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

如果p是奇数，那么n次单位根属于Qp{displaystyle mathbb {Q} _{p}}当且仅当n整除p-1。换句话说，Qp{displaystyle mathbb {Q} _{p}}中由单位根构成的群只有Up−1{displaystyle mathbb {U} _{p-1}}及其子群。p = 2时，单位根只有1和-1^[9]:110。

应用

数论

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

量子物理

p進數剛出現時，學者們最初認為這理論屬於純數學領域，毫無任何實用價值。但1968年，两位纯数学研究者A. Monna和F. Van Der Blij首先提出将p进数应用到物理学中。1972年，E. Beltrametti和G. Cassinelli探讨了一种取值为p进数的量子逻辑（英语：quantum logic）状态模型。进入二十世纪八十年代後，p进数在量子物理学中的应用愈为广泛。首先涌现的是p进弦和p进超弦模型。量子物理学家在这些模型中使用与实数拓扑性质不同的p进数，以构建出不同的时空结构，描述在普朗克尺度下与大尺度完全不同的物理现象和行为。在普朗克尺度下，基于实数的模型无法很好的描绘出某些量子特性，而p进数域的某些性质，比如说无序性^{[N 5]}，和普朗克尺度下的物理特质相近^[10]。

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

信息编码

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

p进动力系统理论

算术动力系统是二十世纪九十年代提出的数学理论，整合了动力系统及数论。传统的离散动力系统会探讨迭代函数在复平面或是实数中的性质。算术动力系统则探讨多项式或解析函数在整数、有理数、p进数及几何点中的迭代特性^[12]。p进数动力系统在计算机科学领域中的直线式程序（straight-line programs）问题、数值分析与模拟中的伪随机数问题、密码学中的流加密问题上都有重要作用。在计算机科学和自动机理论中，p进遍历理论可以帮助快速制造大拉丁方。後者在实验设计、软件测试和通信理论中都有良多应用^[10][13]。

参见

• p进数分析


• 亨泽尔引理


• 马勒定理

注释

1. 
   ^ 此处指Q{displaystyle mathbb {Q} }对四则运算封闭等条件，具体参见域条目中的定义。
   


2. 
   ^ 其中自变量x为Z/pnZ{displaystyle mathbb {Z} /p^{n}mathbb {Z} }的元素，而映射符号右侧的“xmodpn−1{displaystyle xmod {p^{n-1}}}”表示一个Z/pn−1Z{displaystyle mathbb {Z} /p^{n-1}mathbb {Z} }中元素，其中的x指x在整数中的自然对应元素。例如当p=3{displaystyle p=3}时，φ2{displaystyle varphi _{2}}将同余类7¯9∈Z/32Z{displaystyle {bar {7}}_{9}in mathbb {Z} /3^{2}mathbb {Z} }映射到7mod3{displaystyle 7mod {3}}，也就是1¯3∈Z/3Z{displaystyle {bar {1}}_{3}in mathbb {Z} /3mathbb {Z} }。正文中为了叙述简便，使用混淆的表达方式。
   


3. 
   ^ 使用等价的赋值构造的拓扑结构。
   


4. 
   ^ ω{displaystyle omega }与βi{displaystyle beta _{i}}间的距离小于ϵ{displaystyle epsilon }指的是在相应的度量dpi{displaystyle operatorname {d} _{p_{i}}}下的距离：|ω−βi|pi<ϵ{displaystyle left|omega -beta _{i}right|_{p_{i}}<epsilon }。
   


5. 
   ^ 实数中任两个数都能比较大小（有全序），而Qp{displaystyle mathbb {Q} _{p}}上面没有全序。
   

参考来源

1. 
   ^ 俞正光. 理工科代数基础. 清华大学出版社. 1998. ISBN 9787302029779. 
   


2. 
   ^ ^2.02.12.2 Eric Gossett. Discrete Mathematics with Proof. John Wiley & Sons（插图版）. 2009. ISBN 9780470457931 （英语）. ，附录A3
   


3. 
   ^ ^3.03.13.23.3 Gerald J. Janusz. Algebraic Number Fields 2nd. American Mathematical Soc. 1996. ISBN 9780821872437 （英语）. 
   


4. 
   ^ ^{4.04.14.24.34.4} Koblitz, Neal. P-adic Numbers, p-adic Analysis, and Zeta-Functions 2nd. Springer. 1996. ISBN 0-387-96017-1 （英语）. 
   


5. 
   ^ ^{5.05.15.25.35.45.55.65.75.8} Fernando Q. Gouvêa. p-adic Numbers : An Introduction 2nd. Springer. 2000. ISBN 3-540-62911-4 （英语）. 
   


6. 
   ^ ^{6.006.016.026.036.046.056.066.076.086.096.106.116.126.136.146.156.166.17} Pierre Colmez. Éléments d'analyse et d'algèbre. Paris: Édition École Polytechnique. 2011. ISBN 978-2-7302-1587-9 （法语）. 
   


7. 
   ^ ^{7.07.17.27.37.47.57.67.77.8} Frédérique Oggier. Algebraic Number Theory - Lecture Notes - Chapter 5: p-adic numbers (PDF). Nanyang Technology University. [2014-04-28] （英语）. 
   


8. 
   ^ ^{8.008.018.028.038.048.058.068.078.088.098.10} David Lubicz. An introduction to the algorithmic of p-adic numbers (PDF). Universté de Rennes, France. [2014-04-28] （英语）. 
   


9. 
   ^ ^{9.09.19.29.39.4} Robert, Alain M. A Course in p-adic Analysis. Springer. 2000. ISBN 0-387-98669-3 （英语）. 
   


10. 
    ^ ^{10.010.110.210.310.410.5} U. A. Rozikov. What are p-Adic Numbers? What are They Used for? (PDF). Asia Pacific Mathematics Newsletter. 2013年10月, 3 (4) （英语）. 
    


11. 
    ^ ^11.011.1 Jorn Steuding. The world of p-adic numbers and p-adic functions (PDF). Proc. Sci. Seminar Faculty of Physics and Mathematics, Siauliai University. 2002, (5): 90–107 （英语）. 
    


12. 
    ^ Stany De Smedt, Andrew Khrennikov. A p-adic behaviour of dynamical systems (PDF). Revista Mathematica Complutense. 1999, 12 (2): 301–323 （英语）. 
    


13. 
    ^ Vladimir Anashin, Andrei Khrennikov. Applied Algebraic Dynamics. Walter de Gruyter. 2009. ISBN 9783110203011 （英语）. ，前言XV.
    

外部链接

• 埃里克·韦斯坦因. p-adic Number. MathWorld. 


• 
  PlanetMath上p-adic integers的資料。


• 
  Springer在线数学百科全书p进数的资料。

This page is only for reference, If you need detailed information, please check here