，根据赫尔德不等式的极限情况，formula_89作为泛函的范数和formula_46一样，这说明formula_90是一个等距映射。此外还可以证明，对偶空间中的任一线性泛函对偶空间都能表示成某个formula_94的形式，所以formula_90是一个满射。结合以上性质可以推出，formula_90是一个等距同构。在这个同构的意义下，我们常说的对偶空间“是”。以上性质说明，当大于1的时候，是一个自反空间：的二次对偶空间（对偶空间的对偶空间）“是”它自己（在同构的意义下）。具体来说，从formula_9