mula_10为某个欧几里得空间的开集，赫尔德空间formula_11所包含的函数，是直到n阶微分都适合指数formula_4的赫尔德条件。这是拓扑向量空间，可以定义半范数：对formula_14，下式给出范数：其中formula_16涵盖所有多重指标，而