性质.
对偶空间.一个拓扑向量空间的对偶空间是指由这个向量空间上的所有的连续线性泛函构成的泛函空间。对某个大于1的实数，设是满足formula_86的唯一实数，则空间的对偶空间与同构。这个关系可以通过一个自然的同构映射展现：赫尔德不等式保证了其中的泛函formula_89是良好定义并且是连续的。formula_90是一个线性映射，根据赫尔德不等式的极限情况，formula_89作为泛函的范数和formula_46一样，这说明formula_90是一个等距映射。此外还可以证明，对偶空