论非超度量非阿基米德分析的概念

给定某个非阿基米德域$\mathbb{K}$与某$\mathbb{K}$-线性空间$X$，在$X$上定义范数的通常方式涉及{\em 超度量不等式}$\|x+y\|\leq\max\{\||x\|,\|y\|\}$。在本注记中，我们将尝试分析考虑更广泛范数类型的便利性。本注记的主要结果是刻画了在某些赋予范数$\|\,\cdot\,\|_1$的赋值域上的有限维线性空间之间的等距映射，该结果可视为非阿基米德分析中最接近Mazur--Ulam定理的结论。