P进数分析

p进数分析是研究变量为p进数的函数之分析性质的数学分支，属于数论研究中的领域。

简介

p进数域是有理数域装备了与欧几里德范数不同的p进范数后进行拓扑完备化得到的完备数域，一般记作。同样是有理数域的完备化，与实数域有许多差异之处。然而，同样可以对自变量取自中或值域在中的函数定义极限、微分、积分等概念，从而建立类似于实分析的分析学。定义在上的复值函数是局部紧群理论的研究对象。而通常意义上的p进分析也指研究取值在上的函数之分析性质的理论。
p进数分析主要应用在数论中。在丢番图几何与丢番图逼近理论中，p进数分析有重要作用。有些应用甚至需要涉及到基于p进数的泛函分析和谱理论。p进数分析在某些意义上较传统的实分析或复分析更为“简单”。这是因为p进数域的拓扑对应的是超度量而不是阿基米德度量。超度量对应的“三角不等式”相较阿基米德度量的三角不等式更强，因此能够导出更强的结论。例如在级数论中，p进数项构成的无穷级数的收敛条件比实数项或复数项无穷级数的更简单。基于同样的原因，p进数域上的拓扑向量空间与实数域或复数域上的拓扑向量空间不同。例如前者中与凸性相关的性质以及哈恩－巴拿赫定理都不同于后者中的对应性质与定理。

Z
          
          
            p
          
        
      
    
    {\displaystyle \mathbb {Z} _{p}}
  
上的函数

表示所有p进整数，即在p进范数小于等于1的p进数的集合。由于是完全不连通的空间，不具有与实数中“区间”对应的研究对象，因此较常作为研究基础的是其中的球。是一个紧致的球。与中的任何球一样，是开集也是闭集。由的超度量特性可以推出，可以划分为形同的球的不交并集，其中的x是即的代表元素。因此要研究上的函数，可以转化为研究上的函数。

连续函数

上的连续函数定义与实数中的定义一致。适用于所有度量空间的连续性基本性质在上也适用，例如在紧集上处处连续的函数绝对连续。
在实分析与复分析中，魏尔斯特拉斯逼近定理说明了，闭区间上的实值或复值连续函数能够被多项式函数一致逼近，然而统一而具体的逼近多项式函数是不存在的。在p进数分析中，马勒定理说明了上的连续函数（取值在或上）能够被多项式函数一致逼近，而且这些多项式函数有统一的显式表达（其系数都是只和函数本身相关的常数）。范德普特定理说明，上的连续函数都能够被上的球指示函数（即只在球上取值为1，其余时候取值为0的函数）的线性组合一致逼近，而且给出了具体的系数。