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