P 進數

p 進位制數}}

3 進整數相互關係圖示

進數（p-adic number），是數論中的概念，也稱作區域性數域，是有理數域拓展成的完備數域的一種。這種拓展與常見的有理數域到實數域、複數域的數系拓展不同，其具體在於所定義的 “距離” 概念。進數的距離概念建立在整數的整除性質上。給定素數，若兩個數之差被的高次冪整除，那麼這兩個數距離就 “接近”，冪次越高，距離越近。這種定義在數論性質上的 “距離” 能夠反映同餘的資訊，使進數理論成為了數論研究中的有力工具。

進數的概念首先由庫爾特・亨澤爾於 1897 年構思並刻畫，其發展動機主要是試圖將冪級數方法引入到數論中，但現今進數的影響已遠不止於此。例如可以在進數上建立進數分析，將數論和分析的工具結合起來，安德魯・懷爾斯對費馬大定理的證明中就用到了進數理論。此外，進數在量子物理學、認知科學、計算機科學等領域都有應用。

預備知識

1.1 數系的拓展

數系是人類將自然中的數量關係抽象化得到的代數系統。最早建立的數系是帶有加法與乘法的自然數，其後引入了負數、分數的概念，形成了有理數。是 “最小的” 能夠包容四則運算的代數系統，這樣的系統在近世代數中稱為域。

1.2 度量

數系的拓展中，自然數繫到有理數系的拓展是基於代數運算的需求，而有理數繫到實數系的拓展則是拓撲學的需要。這裡的拓撲指的是為代數體系賦予 “形狀”，定義 “遠近”、“長短” 等概念，是建立幾何和分析結構的基礎。一個常見的拓撲學方法是引入 “距離” 的概念，正式稱呼為度量。最直觀的定義是將兩個有理數的 “距離”（度量）定義為兩者之差的絕對值：

兩個有理數之間的度量是一個非負的有理數。也即是說度量是一個從有理數域對映到非負有理數集合的二元函式：。其中的大小關係則是有理數域上定義的全序。這個度量基於歐幾里得幾何，叫做歐幾里得度量或絕對值度量。

1.3 完備化

在上裝備了度量後，可以討論極限的概念。極限描述了一個數列在下標趨於無窮時的趨勢，是分析學的基礎。如果一個有理數列在下標趨於無窮時，數列的項與某個數的距離可以小於任意給定的正有理數，就稱為此數列的極限。擁有極限的數列的項在下標趨於無窮時相互無限 “靠近”。但反過來，這樣的數列不一定擁有有理數極限。比如說以下數列：

這說明有理數在表示長度和距離的時候是不完備的，存在著無法用有理數表達的長度。為此需要對有理數進行擴充套件，稱為完備化。

將完備化的拓撲方法由格奧爾格・康託提出。康託的方法依賴於現稱為柯西數列的概念。柯西數列是一種可以用任意 “小” 的 “圓盤” 覆蓋從某項起所有項的無窮數列。某個有理數數列是柯西數列，當且僅當對任意有理數，都存在自然數，使得對任意，都有。康託承認每個這樣的有理數數列都收斂到某個極限，將實數定義為某個柯西數列的極限。顯然，對於所有有理數，都能找到一個以它為極限的柯西數列，比如常數數列。如果當兩個柯西數列和的差：收斂於，就稱這兩個數列等價，這樣就可以在所有的柯西數列中建立等價關係。而康託將所有的等價類的集合定義為實數集。四則運算、絕對值度量和序關係 “” 都可以從有理數域自然誘導到上。最重要的是，可以證明，所有中元素構成的柯西數列都收斂到中。這說明是一個有序完備數域。

實數作為的完備化是建立在絕對值度量上的，這種度量與日常現實中的歐幾里德式的 “距離” 概念吻合，符合直觀經驗。實數也因此成為描述現實世界的有力數學工具。進數與實數的不同在於，它是將絕對值度量改為另一種非直觀的度量對有理數進行完備化後得到的完備數域。

構造

2.1 分析方法

在有理數上引入絕對值度量，與此對應的柯西序列的等價類構成了完備數域。進數則是在上引入不同的度量後進行完備化得到的完備數域。

給定素數。對任意，將其寫為分數形式，其中和是整數，不等於 0。根據算術基本定理，每個整數都可以唯一分解為素因數的乘積。考察在和的素因數分解中的次數和，定義進賦值：

同時約定。例如，，則

在此基礎上，可以定義度量對映以及其對應誘導的範數：

例如

可以驗證對映滿足度量所需的一切性質。因此，用與構造實數相同的手段，可以構造一個完備有序數域，記作。

由奧斯特洛夫斯基定理，的所有絕對值賦值或者等價於絕對值，或為平凡賦值，或等價於某素數的進賦值。從而（關於某賦值）的完備化也只有這些。

2.2 代數方法

用代數的方法，首先定義進整數環，然後構造其分式域，也可以得到進數域。

首先考慮由整數模的同餘類構成的環：。與之間存在自然的環同態：

考察逆向鏈：

定義為其逆向極限：。

也就是說，每個進整數被定義為以下的序列：

其中。可以證明，這樣定義的進整數環與拓撲方法構造的中透過定義的進整數環是同構的。

在以上的定義下，整數可以自然地嵌入中，每個整數都可以依照它在的同餘類，唯一表示為一個進整數。例如在時，整數 3629 在中對應的 3 進整數可以表示為：

從上面的例子可以看到，對於正整數，將收斂於本身，對於負整數情況則複雜一些，例如，

由於環同態良好地保持了環的結構，所以這種結構自然地延伸到逆向極限中。直觀上可以理解為，是結構的極限。越大，和就越 “相似”。

進整數環中的單位元顯然是 一個進整數是（乘法）可逆元當且僅當是中的可逆元。非可逆元的元素都可以表達為：

其中是中的可逆元，稱為進整數的（代數）賦值。可以看出，這個賦值和拓撲構造時的賦值是等價的。可以證明是特徵為 0 的整環。構造的分式域，可以證明其分式域（在恰當的拓撲同構的意義上）等於前面用拓撲方法構造的。

展開式與記數法

每個進數都有唯一的展開式：

其中就是的進賦值，，。這一展開式在度量下收斂到。代數構造中進整數的數列表示的第項，等於其展開式前項的部分和。設進整數的數列表示為，其展開式為，則

這說明進整數數列表示中，隨著項數增大，數列的項在下收斂到進整數自身。

仿照有理數中進位制的記數法，可以將進數記為：

，

稱為進數的進記法。

按的定義，的 “大小”（範數）為。也就是說，一個進數小數點後位數越多則越大。這個性質與實數正好相反。

3.1 例子

從代數構造方法中可知，整數可以自然地嵌入中，因此非負整數在中表現為有限位數的進整數。其進記法和進位制記數法雷同。例如當時，自然數記為：。負整數和分母不為的正整數次冪的分數在進記法中則表現為向左側延伸的無限迴圈。例如的進記法為：。

計算方法如下：

。

如果有理數的分子或分母裡含有的冪次，則可以仿照進位制記數法的做法，先將其提出作為因數，寫成的形式，將表達為進記法，然後移動小數點得到的進記法。例如要求的進記法，可以先將表示為，寫出的進記法後，將小數點向左移動兩位得到：

因此，分母為的正整數次冪的分數在進數中表現為有限小數。

基本性質

具有許多與不同的特性，其中某些可能違反直觀直覺。舉例來說，中不存在平方等於 7 的數（等價於實數中的），但存在平方等於 - 1 的數（等價於複數中的虛數單位）。一般來說，-1 在中有平方根，當且僅當除以 4 餘 1。對不相同的質數、，與不同構，並且它們的交集只有。每一箇中的元素個數都是不可數的。

4.1 拓撲性質

上的範數是一個超度量的範數。它不僅滿足三角不等式，而且滿足更強的關係：

這說明，如果將想象成一個幾何空間，那麼其中的三角形的一邊長度總小於等於另外兩邊中較長者，也就是說所有的三角形都是銳角等腰三角形。這與實際中的歐式幾何空間完全不同。由此與具有截然不同的拓撲性質。另外可證明說超度量中的不等號可以等號取代。

在中，一個數列收斂當且僅當趨於 0。一個無窮級數收斂當且僅當趨於 0。
考慮中的一個 “球”：。這個球即是開集，也是閉集。這個球中每一個點，都是球的球心。兩個球之間或者完全不相交，或者一個完全在另一個裡面。
上的拓撲是完全不連通的豪斯多夫空間：設有元素，則包含的連通單元只有.

是由完備化而得，因此在中稠密。不僅如此，任意給定有限個質數和正有理數，並在相應的進數域中各選定一個數：後，都可找到有理數，它與任一個之間的距離都小於。

進整數定義為所有範數不大於 1 的進數：。這說明就是的單位球。其 “球面” 為所有範數等於 1 的進整數集合：，亦即中所有可逆元的集合。是緊緻的。所有的整數都是進整數，整數集合在中稠密。

中的任一個球都可以表達為，其中的是使得的最小整數。
是區域性緊緻的。

4.2 代數性質

代數上，是的分式域。更準確地說，。也即是說，對每一個，都存在整數，使得。

是特徵為 0 的主理想整環。的非零理想只有主理想，其中是任意自然數。它唯一的極大理想是。根據同構基本定理，對的商同構於有限域。類似地，同構於。

實數域只有一個真代數擴張，就是複數域。不僅是代數閉域，而且是完備的。域擴張的次數為 2。與此不同的是，的任何有限擴張都不是代數封閉的，的代數閉包是上的無限擴張，一般記作。將上的拓撲拓延到後會發現，並不是完備的空間。使用標準方法將其完備化後，得到的空間稱為進複數，記作。和複數域是代數同構的，可以視為裝備了另一種拓撲結構（超度量）的複數域。

如果是奇數，那麼次單位根屬於當且僅當整除 - 1。換句話說，中由單位根構成的群只有及其子群。時，單位根只有 1 和 - 1。

應用

5.1 數論

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

5.2 量子物理

進數剛出現時，學者們最初認為這理論屬於純數學領域，毫無任何實用價值。但 1968 年，兩位純數學研究者 A. Monna 和 F. van der Blij 首先提出將進數應用到物理學中。1972 年，E. Beltrametti 和 G. Cassinelli 探討了一種取值為進數的狀態模型。進入二十世紀八十年代後，進數在量子物理學中的應用愈為廣泛。首先湧現的是進弦和進超弦模型。量子物理學家在這些模型中使用與實數拓撲性質不同的進數，以構建出不同的時空結構，描述在普朗克尺度下與大尺度完全不同的物理現象和行為。在普朗克尺度下，基於實數的模型無法很好的描繪出某些量子特性，而進數域的某些性質，比如說無序性，和普朗克尺度下的物理特質相近。

進數量子物理學中的應用也帶動了數學中對進數的研究。例如進弦論的研究促使數學家展開了對進數上的分佈理論、微分方程及偽微分方程（pseudodifferential equation）、機率論以及進數上相應希爾伯特空間（裝備了額外結構的）中的運算元譜理論等多方面的研究。

5.3 資訊編碼

進數的數列展開表示可以被用於資訊的編碼。因此進數可以被用來描述很多資訊處理的過程，在認知科學、心理學和社會學研究中出現。

5.4 𝑝進動力系統理論

算術動力系統是二十世紀九十年代提出的數學理論，整合了動力系統及數論。傳統的離散動力系統會探討迭代函式在複平面或是實數中的性質。算術動力系統則探討多項式或解析函式在整數、有理數、進數及幾何點中的迭代特性。進數動力系統在計算機科學領域中的直線式程式（straight-line programs）問題、數值分析與模擬中的偽隨機數問題、密碼學中的流加密問題上都有重要作用。在計算機科學和自動機理論中，進遍歷理論可以幫助快速製造大拉丁方。後者在實驗設計、軟體測試和通訊理論中都有良多應用。