析是研究变量为进数的函数之分析性质的数学分支，属于数论研究中的领域。
简介.进数域是有理数域装备了与欧几里德范数不同的进范数后进行拓扑完备化得到的完备数域，一般记作formula_1。同样是有理数域的完备化，formula_1与实数域formula_3有许多差异之处。然而，同样可以对自变量取自formula_1中或值域在formula_1中的函数定义极限、微分、积分等概念，从而建立类似于实分析的分析学。定义在formula_1上的复值函数是局部紧群理论的研究对象。而通常意义上的进分