**提示**：此条目的主题不是**p进制数**。 
3进整数相互关系图示

|  |
| --- |
| **的数** |
| **基本** |
| \mathbb {N} \subseteq \mathbb {Z} \subseteq \mathbb {Q} \subseteq \mathbb {R} \subseteq \mathbb {C} 

 

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

 |
| **延伸** |
| 
 

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

 |
| **其他** |
| 
 

|  |  |
| --- | --- |
| 質數 \mathbb {P} 
可計算數
基數
阿列夫數
同餘
整數數列
公稱值
  | 規矩數
可定义数
序数
超限数
*p*進數
数学常数
  |

圓周率 {\displaystyle \pi =3.14159265}…
自然對數的底 {\displaystyle e=2.718281828}…
虛數單位 {\displaystyle i={\sqrt {-{1}}}}
無窮大 \infty |
| * 
* 论
* 编
 |

**p进数**（英語：），是数论中的概念，也称作**局部数域**，是有理数域拓展成的完备数域的一种。这种拓展与常见的有理数域\mathbb{Q}到实数域\mathbb {R} 、复数域\mathbb {C} 的数系拓展不同，其具体在于所定义的"距离"概念。p进数的距离概念建立在整数的整除性质上。给定素数p，若两个数之差被p的高次幂整除，那么这两个数距离就"接近"，幂次越高，距离越近。这种定义在数论性质上的"距离"能够反映同余的信息，使p进数理论成为了数论研究中的有力工具。

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

预备知识
----

### 数系的拓展

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

### 度量

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

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

### 完备化

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

{\frac 12},{\frac 23},{\frac 35},{\frac 58},{\frac {8}{13}},\cdots 
这说明有理数在表示长度和距离的时候是不完备的，存在着无法用有理数表达的长度。为此需要对有理数进行扩展，称为完备化。

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

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

构造
--

### 分析方法

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

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

\nu \_{p}(x)=\operatorname {ord}\_{p}(a)-\operatorname {ord}\_{p}(b).
同时约定\nu \_{p}(0)=+\infty 。例如p=5，x={\frac {63}{550}}，则

\nu \_{p}(x)=\operatorname {ord}\_{p}(63)-\operatorname {ord}\_{p}(550)=0-2=-2.
在此基础上，可以定义度量映射以及其对应诱导的范数：

\operatorname {d}\_{p}(x,y)=p^{{-\nu \_{p}(x-y)}},\quad |x|\_{p}=p^{{-\nu \_{p}(x)}}.
例如

{\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}.}
可以验证映射\operatorname {d}\_{p}满足度量所需的一切性质。因此，用与构造实数相同的手段，可以构造一个完备有序数域，记作\mathbb{Q}\_p。

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

### 代数方法

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

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

{\displaystyle \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}}}
考察逆向链：

\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}}
定义{\mathbb {Z}}\_{p}为其逆向极限：{\mathbb {Z}}\_{p}=\;\lim \_{{\longleftarrow }}\left({\mathbb {Z}}/p^{n}{\mathbb {Z}},\varphi \_{n}\right)。
也就是说，每个p进整数a\in {\mathbb {Z}}\_{p}被定义为以下的序列：

a=\{a\_{1},a\_{2},\cdots ,a\_{n},\cdots \;\}
其中a\_{n}\equiv a\_{{n-1}}{\pmod {p^{{n-1}}}}。可以证明，这样定义的p进整数环{\mathbb {Z}}\_{p}与拓扑方法构造的\mathbb{Q}\_p中通过{\mathbb {Z}}\_{p}=\{x\;;\;|x|\_{p}\leqslant 1\}定义的p进整数环是同构的。

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

3629\_{3}=\{2,2,11,65,227,713,1442,3629,3629,3629,\cdots \;\}.
从上面的例子可以看到，对于正整数，a\_{n}将收敛于a本身，对于负整数情况则复杂一些，例如，

-1\_{3}=\{2,8,26,80,242,\cdots \;\}.
由于环同态\varphi \_{n}良好地保持了环的结构，所以这种结构自然地延伸到逆向极限{\mathbb {Z}}\_{p}中。直观上可以理解为，{\mathbb {Z}}\_{p}是\mathbb{Z}/p^n\mathbb{Z}结构的极限。n越大，\mathbb{Z}/p^n\mathbb{Z}和{\mathbb {Z}}\_{p}就越"相似"。

p进整数环{\mathbb {Z}}\_{p}中的单位元显然是1\_{p}=\{1,1,\cdots ,1,\cdots \;\}, 一个p进整数a\in {\mathbb {Z}}\_{p}=\{a\_{1},a\_{2},\cdots ,a\_{n},\cdots \;\}是（乘法）可逆元当且仅当a\_{1}是{\mathbb {Z}}/p{\mathbb {Z}}中的可逆元。非可逆元的元素都可以表达为：

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=\{u\_{1},u\_{2},\cdots ,u\_{n},\cdots \;\}是{\mathbb {Z}}\_{p}中的可逆元，{\displaystyle v\_{p}(a)}称为p进整数a的（代数）赋值。可以看出，这个赋值和拓扑构造时的赋值是等价的。可以证明{\mathbb {Z}}\_{p}是特征为0的整环。构造{\mathbb {Z}}\_{p}的分式域，可以证明其分式域（在恰当的拓扑同构的意义上）等于前面用拓扑方法构造的\mathbb{Q}\_p。

展开式与记数法
-------

每个p进数x\in {\mathbb {Q}}\_{p}都有唯一的展开式：

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进赋值\nu \_{p}(x)，a\_{i}\in \{0,1,\cdots ,p-1\}，a\_{{-k}}\neq 0。这一展开式在度量\operatorname {d}\_{p}下收敛到x。代数构造中p进整数的数列表示的第N项，等于其展开式前N项的部分和。设p进整数x的数列表示为\{a\_{1},a\_{2},\cdots ,a\_{n},\cdots \}，其展开式为\sum \_{{i=0}}^{{\infty }}\alpha \_{i}p^{i}，则

a\_{N}=\sum \_{{i=0}}^{{N-1}}\alpha \_{i}p^{i}.
这说明p进整数数列表示中，随着项数增大，数列的项在\operatorname {d}\_{p}下收敛到p进整数自身。

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

x=\cdots \alpha \_{i}\alpha \_{{i-1}}\cdots \alpha \_{1}\alpha \_{0}.\alpha \_{{-1}}\cdots \alpha \_{{-k+1}}\alpha \_{{-k}}，
称为p进数的p进记法。

按\operatorname {d}\_{p}的定义，x的"大小"（范数）为p^{k}。也就是说，一个p进数小数点后位数越多则越大。这个性质与实数正好相反。

### 例子

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

\frac17 = \dots 2412032412033\_5 = \dot{2}4120\dot{3}3\_5 \; 。
计算方法如下：

{\frac {5^{3}-6}{7}}=32\_{5}\;,\quad {\frac {5^{9}-6}{7}}=32412032\_{5}\;,\quad {\frac {5^{{15}}-6}{7}}=32412032412032\_{5}\;,\;\cdots 
\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)
\Rightarrow \frac{1}{7} = -\frac{6}{7} + 1 = \dots 2412032412033\_5 = \dot{2}4120\dot{3}3\_5 \; 。
如果有理数x的分子或分母里含有p的幂次，则可以仿照p进制记数法的做法，先将其提出作为因数，写成x=p^{k}{\frac {a}{b}}的形式，将{\frac {a}{b}}表达为p进记法，然后移动小数点得到x的p进记法。例如要求{\frac {1}{175}}的p进记法，可以先将{\frac {1}{175}}表示为{\frac {1}{175}}=5^{{-2}}{\frac 17}，写出{\frac {1}{7}}的p进记法後，将小数点向左移动两位得到：

{\frac {1}{175}}={\dot {3}}2412{\dot {0}}.33\_{5}
因此，分母为p的正整数次幂的分数在p进数中表现为有限小数。

基本性质
----

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

### 拓扑性质

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

|x+y|\_{p}\leqslant \max\{|x|\_{p},|y|\_{p}\}.
这说明，如果将\mathbb{Q}\_p想象成一个几何空间，那么其中的三角形的一边长度总小于等于另外两边中较长者，也就是说所有的三角形都是锐角等腰三角形。这与实际中的欧式几何空间完全不同。由此\mathbb{Q}\_p与\mathbb {R} 具有截然不同的拓扑性质。另外可證明說超度量中的不等號可以等號取代。

* 在\mathbb{Q}\_p中，一个数列(x\_{n})\_{{n\in {\mathbb {N}}}}收敛当且仅当x\_{{n+1}}-x\_{n}趋于0。一个无穷级数\scriptstyle \sum \_{{n\in {\mathbb {N}}}}u\_{n}收敛当且仅当u\_{n}趋于0。
* 考虑\mathbb{Q}\_p中的一个"球"：B\_{{r}}(x\_{0})=\{x\in {\mathbb {Q}}\_{p}\;;\;|x-x\_{0}|\_{p}\leqslant r\}。这个球即是开集，也是闭集。这个球中每一个点，都是球的球心。两个球之间或者完全不相交，或者一个完全在另一个里面。
* \mathbb{Q}\_p上的拓扑是完全不连通的豪斯多夫空间：设有元素x\in {\mathbb {Q}}\_{p}，则包含x的连通单元只有\{x\}.
* \mathbb{Q}\_p是由\mathbb{Q}完备化而得，因此\mathbb{Q}在\mathbb{Q}\_p中稠密。不仅如此，任意给定有限个质数p\_{1},p\_{2},\cdots ,p\_{k}和正有理数\epsilon >0，并在相应的p进数域中各选定一个数：\beta \_{1}\in {\mathbb {Q}}\_{{p\_{1}}},\beta \_{2}\in {\mathbb {Q}}\_{{p\_{2}}},\cdots ,\beta \_{k}\in {\mathbb {Q}}\_{{p\_{k}}}後，都可找到有理数\omega ，它与任一个\beta \_{i}\in {\mathbb {Q}}\_{{p\_{i}}},\;\;i\in \{1,2,\cdots ,k\}之间的距离都小于\epsilon 。

p进整数{\mathbb {Z}}\_{p}定义为所有范数不大于1的p进数：{\mathbb {Z}}\_{p}=\{x\;;\;|x|\_{p}\leqslant 1\}。这说明{\mathbb {Z}}\_{p}就是\mathbb{Q}\_p的单位球。其"球面"为所有范数等于1的p进整数集合：{\mathbb {Z}}\_{p}^{\times }=\{x\;;\;|x|\_{p}=1\}，亦即{\mathbb {Z}}\_{p}中所有可逆元的集合。{\mathbb {Z}}\_{p}是紧致的。所有的整数都是p进整数，整数集合\mathbb {Z} 在{\mathbb {Z}}\_{p}中稠密。

* \mathbb{Q}\_p中的任一个球B\_{{r}}(x\_{0})都可以表达为x\_{0}+p^{m}{\mathbb {Z}}\_{p}，其中的m是使得p^{{-m}}\leqslant r的最小整数。
* \mathbb{Q}\_p是局部紧致的。

### 代数性质

代数上，\mathbb{Q}\_p是{\mathbb {Z}}\_{p}的分式域。更准确地说，{\mathbb {Q}}\_{p}={\mathbb {Z}}\_{p}\scriptstyle \left[{\frac 1p}\right]。也即是说，对每一个x\in {\mathbb {Q}}\_{p}，都存在整数k，使得p^{k}x\in {\mathbb {Z}}\_{p}。

{\mathbb {Z}}\_{p}是特征为0的主理想整环。{\mathbb {Z}}\_{p}的非零理想只有主理想I\_{k}=p^{k}{\mathbb {Z}}\_{p}，其中k是任意自然数。它唯一的极大理想是I\_{1}。根据同构基本定理，{\mathbb {Z}}\_{p}对I\_{1}的商同构于有限域\mathbb{F}\_p。类似地，{\mathbb {Z}}\_{p}/p^{n}{\mathbb {Z}}\_{p}同构于\mathbb{Z}/p^n\mathbb{Z}。

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

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

应用
--

### 数论

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

### 量子物理

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

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

### 信息编码

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

### 𝑝进动力系统理论

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

参见
--

* p进数分析
* 亨泽尔引理
* 马勒定理

参考来源
----

1. ↑  俞正光.. 清华大学出版社. 1998. ISBN 9787302029779.
2. 1 2 3  Eric Gossett.. John Wiley & Sons（插图版）. 2009. ISBN 9780470457931 （英语）. ，附录A3
3. 1 2 3 4  Gerald J. Janusz.  2nd. American Mathematical Soc. 1996. ISBN 9780821872437 （英语）.
4. 1 2 3 4 5  Koblitz, Neal.  2nd. Springer. 1996. ISBN 0-387-96017-1 （英语）.
5. 1 2 3 4 5 6 7 8 9  Fernando Q. Gouvêa.  2nd. Springer. 2000. ISBN 3-540-62911-4 （英语）.
6. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18  Pierre Colmez.. Paris: Édition École Polytechnique. 2011. ISBN 978-2-7302-1587-9 （法语）.
7. 1 2 3 4 5 6 7 8 9  Frédérique Oggier.  (PDF). Nanyang Technology University.  [2014-04-28]. （原始内容存档 (PDF)于2016-03-05） （英语）.
8. 1 2 3 4 5 6 7 8 9 10 11  David Lubicz.  (PDF). Universté de Rennes, France.  [2014-04-28]. （原始内容存档 (PDF)于2014-04-29） （英语）.
9. 1 2 3 4 5  Robert, Alain M.. Springer. 2000. ISBN 0-387-98669-3 （英语）.
10. 1 2 3 4 5 6  U. A. Rozikov.  (PDF). Asia Pacific Mathematics Newsletter. 2013年10月, **3** (4)  [2014-05-17]. （原始内容存档 (PDF)于2014-05-17） （英语）.
11. 1 2  Jorn Steuding.  (PDF). Proc. Sci. Seminar Faculty of Physics and Mathematics, Siauliai University. 2002, (5): 90–107  [2014-05-19]. （原始内容存档 (PDF)于2014-05-20） （英语）.
12. ↑  Stany De Smedt, Andrew Khrennikov.  (PDF). Revista Mathematica Complutense. 1999, **12** (2): 301–323  [2014-05-17]. （原始内容存档 (PDF)于2014-05-17） （英语）.
13. ↑  Vladimir Anashin, Andrei Khrennikov.. Walter de Gruyter. 2009. ISBN 9783110203011 （英语）. ，前言XV.

外部链接
----

|  |  |
| --- | --- |
|  | 维基共享资源中相关的多媒体资源：**P進數** |

* 埃里克·韦斯坦因.. MathWorld.
*. PlanetMath.
* Springer在线数学百科全书上*p*进数的资料（页面存档备份，存于）。

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
数的系統 |
| --- |
|  |
| 可數集 | 
* 自然数 ({\mathbb N})
* 整数 (\mathbb Z)
* 有理数 (\mathbb {Q} )
* 規矩數
* 代數數 ({\displaystyle \mathbb {A} })
* 周期（英语：）
* 可計算數
* 可定义数
* 高斯整數 (\mathbb{Z}[i])
* 艾森斯坦整数

 |
|  |
| 合成代數（英语：） | 
* 可除代數（英语：）：实数 ({\displaystyle \mathbb {R} })
* 複數 ({\displaystyle \mathbb {C} })
* 四元數 ({\mathbb H})
* 八元数 ({\mathbb O})

 |
|  |
| 凯莱－迪克森结构 | 
* 实数 ({\displaystyle \mathbb {R} })
* 複數 ({\displaystyle \mathbb {C} })
* 四元數 ({\mathbb H})
* 八元数 ({\mathbb O})
* 十六元數 ({\displaystyle \mathbb {S} })
* 三十二元數
* 六十四元數
* 一百二十八元數
* 二百五十六元數……

 |
|  |
| 分裂形式 | 
* 於{\displaystyle \mathbb {R} }：雙曲複數
* 分裂四元数
* 分裂複四元數（英语：）
* 分裂八元數（英语：） 於{\displaystyle \mathbb {C} }：雙複數
* 複四元數
* 複八元數（英语：）

 |
|  |
| 其他超複數 | 
* 二元数
* 二元四元數（英语：）
* 二元複數（英语：）
* 雙曲四元數（英语：）
* 十六元數  ({\displaystyle \mathbb {S} })
* 三十二元數
* 分裂複四元數（英语：）
* 多重複數
* 幾何代數（英语：）
	+ 物理空間代數（英语：）
	+ 時空代數（英语：）
* 三元數
	+ 無法良好構建
* 六元數

 |
|  |
| 其他系統 | 
* 基數
* 擴展自然數（英语：）
* 無理數
* 模糊數（英语：）
* 超實數
* 列維-奇維塔域（英语：）
* 超現實數
* 超越數
* 序数
* *p*進數
* 超自然數（英语：）
* 上超實數（英语：）

 |
|  |
| 
* 分類
* 列表级条目 列表（英语：）

 |

 |