跳至內容

P進數分析

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

p進數分析是研究變量p進數函數分析性質的數學分支,屬於數論研究中的領域。

簡介

p數域有理數域裝備了與歐幾里德範數不同的p進範數後進行拓撲完備化得到的完備數域,一般記作。同樣是有理數域的完備化,實數有許多差異之處。然而,同樣可以對自變量取自中或值域在中的函數定義極限、微分、積分等概念,從而建立類似於實分析的分析學。定義在上的復值函數是局部緊群理論的研究對象。而通常意義上的p進分析也指研究取值在上的函數之分析性質的理論。

p進數分析主要應用在數論中。在丟番圖幾何丟番圖逼近理論中,p進數分析有重要作用。有些應用甚至需要涉及到基於p進數的泛函分析和譜理論。p進數分析在某些意義上較傳統的實分析或複分析更為「簡單」。這是因為p進數域的拓撲對應的是超度量而不是阿基米德度量。超度量對應的「三角不等式」相較阿基米德度量的三角不等式更強,因此能夠導出更強的結論。例如在級數論中,p進數項構成的無窮級數的收斂條件比實數項或複數項無窮級數的更簡單。基於同樣的原因,p進數域上的拓撲向量空間與實數域或複數域上的拓撲向量空間不同。例如前者中與凸性相關的性質以及哈恩-巴拿赫定理都不同於後者中的對應性質與定理。

數列與級數

上的拓撲建立在p進範數上。是一個超度量(也稱為非阿基米德度量)的範數。它不僅滿足三角不等式,而且滿足更強的關係:

因此,在中,數列無窮級數的收斂條件較實數中更寬鬆。一個數列柯西數列若且唯若xn+1 - xn趨於0。因此數列有極限等價於說其相鄰項之差趨於0[1]:88。無窮級數的相鄰兩個部分和的差就是級數的通項an,所以無窮級數收斂若且唯若其通項趨於0[1]:89

上的函數

表示所有p整數,即在p範數小於等於1的p進數的集合。由於完全不連通的空間,不具有與實數中「區間」對應的研究對象,因此較常作為研究基礎的是其中的球[1]:92是一個緊緻的球。與中的任何球一樣,開集也是閉集。由超度量特性可以推出,可以劃分為形同的球的不交併集,其中的x的代表元素。因此要研究上的函數,可以轉化為研究上的函數[2]:160

連續函數

上的連續函數定義與實數中的定義一致。適用於所有度量空間的連續性基本性質在上也適用,例如在緊集上處處連續的函數絕對連續[1]:93

在實分析與複分析中,魏爾斯特拉斯逼近定理說明了,閉區間上的實值或復值連續函數能夠被多項式函數一致逼近,然而統一而具體的逼近多項式函數是不存在的[2]:160。在p進數分析中,馬勒定理說明了上的連續函數(取值在上)能夠被多項式函數一致逼近,而且這些多項式函數有統一的顯式表達(其係數都是只和函數本身相關的常數)[2]:173范德普特定理說明,上的連續函數都能夠被上的球指示函數(即只在球上取值為1,其餘時候取值為0的函數)的線性組合一致逼近,而且給出了具體的係數[2]:182-183

導數

上的函數也可以定義導數,就像實分析中一樣:給定開集U,考察函數。對U中一點x,如果極限:

存在,就稱函數f在點x可導,導數為上述極限f '(x)。這樣定義的導數和導函數與它們在實分析中對應的對象擁有某些共同點。比如可導的函數總是連續函數。不過,由於「區間」概念的缺失,上無法建立對應於實分析中中值定理的結論。沒有「中值定理」,「傳統的」導數在p進分析中無法擁有很多在實分析中有重要價值的性質。比如,存在一個處處可導,導函數恆等於零的函數,它自身並不是常數函數[1]:93-94

參見

參考來源

  1. ^ 1.0 1.1 1.2 1.3 1.4 Fernando Q. Gouvêa. p-adic Numbers : An Introduction 2nd. Springer. 2000. ISBN 3-540-62911-4 (英語). 
  2. ^ 2.0 2.1 2.2 2.3 Robert, Alain M. A Course in p-adic Analysis. Springer. 2000. ISBN 0-387-98669-3 (英語).